16 Commits

Author	SHA1	Message	Date
Sorawee Porncharoenwase	d3c8a24efc	docker: support cvc5-ff-range	2024-03-14 05:04:03 +07:00
Sorawee Porncharoenwase	1027ba095c	docker: add an image to build custom circom for modular Picus	2024-03-14 05:04:03 +07:00
sorawee	d88a659052	cvc5: use mainline cvc5 (#25)	2024-03-14 05:04:03 +07:00
Sorawee Porncharoenwase	c1712a589a	docker: bump Circom version to 2.1.6	2024-03-14 05:04:03 +07:00
sorawee	a30b903495	Docker: update required software (#46)	2023-10-03 07:15:03 -05:00
Yanju Chen	088e4b8aa0	sync with latest research artifact	2023-08-16 16:56:02 -07:00
chyanju	2bd5538885	update benchmarks and entrypoint	2022-10-09 18:34:30 -07:00
chyanju	ff6d1535a6	update entrypoint and cexp support	2022-10-09 17:36:24 -07:00
Bryan Tan	32de137676	Add docker_entrypoint.sh variables to make running easier	2022-09-06 15:40:36 -07:00
Bryan Tan	7125f427c9	Simplify docker image build and add entrypoint script	2022-09-03 13:42:25 -07:00
chyanju	ecba0920a1	added docker support and other small fixes	2022-09-03 08:23:22 -07:00
chyanju	9768423478	naive slicing	2022-08-09 15:00:09 -04:00
chyanju	c3396396bb	WIP: refactored	2022-07-14 11:15:27 -04:00
chyanju	e809e9a4fa	raw prototype for circom vm	2022-04-19 02:16:17 -07:00
chyanju	9e4aeca71c	clean up	2022-04-08 05:39:45 -07:00
chyanju	3fbfc16379	equivalence init	2022-04-08 04:50:34 -07:00