Commit Graph

  • 75b825f677 Zokrates term ckpt 2 Alex Ozdemir 2021-02-17 11:55:10 -08:00
  • bb16ac4e72 Zokrates term ckpt Alex Ozdemir 2021-02-17 00:51:24 -08:00
  • 1d020d21d6 Allow field-indexed arrays. Alex Ozdemir 2021-02-16 23:58:25 -08:00
  • 3132977a23 fmt Alex Ozdemir 2021-02-16 12:27:18 -08:00
  • 6de075aef5 pf2bv Alex Ozdemir 2021-02-16 12:26:13 -08:00
  • 10ef9a4f10 R1cs optimization Alex Ozdemir 2021-02-16 11:28:25 -08:00
  • 1f11b95f01 First cut at circify Alex Ozdemir 2021-02-14 15:16:42 -08:00
  • d2d3fe0c5b mem test Alex Ozdemir 2021-02-13 15:20:21 -08:00
  • 899c591277 bool->SMT, with qc tests Alex Ozdemir 2021-02-13 12:13:14 -08:00
  • 28c4623b87 fix check() changes in tests Alex Ozdemir 2021-02-13 01:04:49 -08:00
  • cb8874ac95 Memory ckpt Alex Ozdemir 2021-02-12 18:54:21 -08:00
  • 84816be9d1 Oblivious array elim Alex Ozdemir 2021-02-12 00:53:44 -08:00
  • 5613c2930c mem visitor & linear mem pass Alex Ozdemir 2021-02-11 20:07:29 -08:00
  • 7abb0587bb SHA CH optimization Alex Ozdemir 2021-02-11 00:00:23 -08:00
  • 4fb604e0d1 trim some dead constants Alex Ozdemir 2021-02-09 20:11:07 -08:00
  • 1b84831ae7 cfold for BVs, everything for field elems Alex Ozdemir 2021-02-09 17:02:43 -08:00
  • 6d6e0a10fb constant folding for booleans Alex Ozdemir 2021-02-08 20:28:22 -08:00
  • 2667785def Include a semantic test for n-ary optimization Alex Ozdemir 2021-02-08 19:37:26 -08:00
  • 66fbf2e972 n-ary flattening Alex Ozdemir 2021-02-08 00:31:50 -08:00
  • 7e4fad6382 profiling release profile Alex Ozdemir 2021-02-07 00:33:26 -08:00
  • e473dfad1f div, shift tests Alex Ozdemir 2021-02-07 00:15:33 -08:00
  • ec9f1c464a Reasonably complete BV->R1CS Alex Ozdemir 2021-02-06 22:48:01 -08:00
  • 224b056ef4 Bv eval/R1CS ckpt Alex Ozdemir 2021-02-06 01:29:57 -08:00
  • 9e8a21efd1 debitify Alex Ozdemir 2021-02-05 09:59:14 -08:00
  • 0e6e987a15 Some docs Alex Ozdemir 2021-02-05 09:51:15 -08:00
  • ff0ae80a78 booleans in IR->R1cs Alex Ozdemir 2021-02-05 09:40:27 -08:00
  • 711f97503a Started IR->R1cs Alex Ozdemir 2021-02-04 02:04:57 -08:00
  • fe7280b10e R1cs Alex Ozdemir 2021-02-03 01:48:02 -08:00
  • 343ea2fa63 Random boolean term generation. Alex Ozdemir 2021-02-02 13:33:48 -08:00
  • e145a1bbe1 Finish type-checking Alex Ozdemir 2021-02-02 12:13:25 -08:00
  • e9e12a32e4 Start type-checking Alex Ozdemir 2021-02-02 01:25:46 -08:00