github/circ
1
1
Fork 0
mirror of https://github.com/circify/circ.git synced 2026-01-10 22:27:55 -05:00
Code Issues Packages Projects Releases Wiki Activity
6 Commits 19 Branches 0 Tags
ff0ae80a78e82e1874ff1de683e3261f6d4e16aa
Commit Graph

6 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Alex Ozdemir
ff0ae80a78 booleans in IR->R1cs 2021-02-05 09:40:27 -08:00
Alex Ozdemir
711f97503a Started IR->R1cs 2021-02-04 02:04:57 -08:00
Alex Ozdemir
fe7280b10e R1cs 2021-02-03 01:48:02 -08:00
Alex Ozdemir
343ea2fa63 Random boolean term generation. 
May be useful for benchmarking
 2021-02-02 13:33:48 -08:00
Alex Ozdemir
e145a1bbe1 Finish type-checking 2021-02-02 12:13:25 -08:00
Alex Ozdemir
e9e12a32e4 Start type-checking 2021-02-02 01:25:46 -08:00