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