{"push_id":614788453,"size":1,"distinct_size":1,"ref":"refs/heads/cryptol","head":"b75b5a93127dedc737592ef3f177465747806607","before":"116e66102ddabbc4367f8878d79df647e152b407","commits":[{"sha":"b75b5a93127dedc737592ef3f177465747806607","author":{"email":"5ccda968a27f556d4759415cd449a9b0de9fb1de@galois.com","name":"Adam C. Foltzer"},"message":"add cryptol and cvc4\n\n- Add a formula for the Cryptol interpreter\n\nBuilds the 2.2.0 release from source by default, and has a pointer to\nHEAD. Runs a simple smoke test to make sure the interpreter can start\nup, and run a simple proof through the cvc4 dependency.\n\n- Add a formula for the CVC4 SMT solver (and its libraries)\nas well as extending the libantlr3c formula so that CVC4 can be\nsuccessfully built.\n\nThis is a relatively basic build that doesn't include any of the\nhigher-performance but harder-to-build dependencies.","distinct":true,"url":"https://api.github.com/repos/acfoltzer/homebrew/commits/b75b5a93127dedc737592ef3f177465747806607"}]}