Commit Graph

14 Commits

Author SHA1 Message Date
Alex Ozdemir
eb8007ca3a Add paper & slides link 2022-02-15 23:19:46 -08:00
Alex Ozdemir
09c9f032ce TODOs 2022-01-26 20:15:32 -08:00
Alex Ozdemir
efd74f7b76 Remove nightly from README 2022-01-10 02:43:05 -08:00
Alex Ozdemir
aadd6b7c2d Make the SMT solver configurable. (#34) 2021-12-29 12:22:52 -08:00
Alex Ozdemir
6c0374b944 Dependencies update & scripts 2021-08-04 21:42:45 -07:00
Alex Ozdemir
b13cb383fd Add note about nightly compiler 2021-06-29 23:31:24 -07:00
Alex Ozdemir
a31d0907a2 tuple note 2021-05-22 09:30:41 -07:00
Alex Ozdemir
0138e15001 more TODOs 2021-04-26 23:16:58 -07:00
Alex Ozdemir
ae05a657a9 more README 2021-04-26 17:11:08 -07:00
Alex Ozdemir
3769b0ec31 architecture description 2021-04-14 10:49:21 -07:00
Alex Ozdemir
f564cf0dfa Zokrate & perf improvements 2021-02-26 20:26:50 -08:00
Alex Ozdemir
6c896af58f Update todos 2021-02-24 14:10:18 -08:00
Alex Ozdemir
1f11b95f01 First cut at circify 2021-02-14 15:16:42 -08:00
Alex Ozdemir
d2d3fe0c5b mem test 2021-02-13 15:20:21 -08:00