60 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Steve Wang	876f611f82	minor	2023-07-20 14:11:27 +08:00
Steve Wang	45b1e6164b	removed virtual environment folder structure, though we are still using virtual environment by calling source bin/activate before we can use maturin	2023-07-20 14:10:15 +08:00
Steve Wang	fe76fe55a9	fmt	2023-07-19 16:26:20 +08:00
Steve Wang	512fc8da8d	minor	2023-07-19 16:25:43 +08:00
Steve Wang	05290cccc8	fixed uuid and untied constraint builder functions from Constraint type	2023-07-19 16:24:31 +08:00
Steve Wang	49e2487774	Merge branch 'main' into steve/remove-rust-add-submodule	2023-07-19 12:40:35 +08:00
Steve Wang	c7359e056c	Update README.md	2023-07-19 12:33:36 +08:00
Steve Wang	9db254acc3	resolved circular reference and formatted files	2023-07-19 12:09:16 +08:00
Steve Wang	b535378ae5	changes before splitting to multiple files	2023-07-19 10:14:19 +08:00
Steve Wang	14c0fad496	updated submodule and tests	2023-07-19 10:04:19 +08:00
Steve Wang	1d6fd552b1	formatted documents	2023-07-18 23:36:12 +08:00
Steve Wang	a23bf86b33	added submodule for steve/frontend branch; updated lib.rs bindings	2023-07-18 23:34:34 +08:00
Steve Wang	8aa41a14fe	deleted rust code but before adding submodule	2023-07-18 23:09:25 +08:00
Steve Wang	358e034fb0	Update README.md	2023-07-17 18:09:04 +08:00
Steve Wang	dd7e2322c1	Update README.md	2023-07-17 18:07:33 +08:00
Steve Wang	7e566a7c92	reorganized boilerplate	2023-07-17 17:47:26 +08:00
Steve Wang	05579c99a6	added scripts for .env	2023-07-17 17:18:58 +08:00
Steve Wang	5c811cdb4c	Update README.md	2023-07-17 16:18:48 +08:00
Steve Wang	06583a4b2a	ast convertion part ready for review	2023-07-17 16:13:01 +08:00
Steve Wang	298883cd85	reorganized tests; retired irrelevant ones	2023-07-17 14:32:42 +08:00
Steve Wang	524571e007	refactored all files; created witness deserializer	2023-07-17 13:48:59 +08:00
Steve Wang	eb074f4711	successfully generated python json, deserailized in rust, and parsed to chiquito ast, using the fibo example	2023-07-16 23:19:01 +08:00
Steve Wang	6a7475adc9	json format for rust	2023-07-16 06:40:58 +08:00
Steve Wang	3937061b00	experimented with different serialization strategies; will implement custom rust serialization using Serde and custom __json__ serialization in Python; serialization will be for AST only	2023-07-14 22:09:44 +08:00
Steve Wang	e5ca528883	notes	2023-07-12 20:28:30 +08:00
Steve Wang	764bdbf2d4	finished debugging pychiquito core using fibo example	2023-07-12 16:49:10 +08:00
Steve Wang	8f03168c24	refactored step type	2023-07-12 13:33:30 +08:00
Steve Wang	7028af0385	deleted step type handler and step type wg handler; added wg field back to step type; not fully debugged yet	2023-07-11 22:13:31 +08:00
Steve Wang	93ae1e40bb	set up pyo3	2023-07-11 17:22:58 +08:00
Steve Wang	8797323b36	Update README.md	2023-07-07 20:13:27 +08:00
Steve Wang	e8347efc39	applied black formatter	2023-07-07 20:11:43 +08:00
Steve Wang	d6ff1d383e	debug print methods for TraceWitness and tested on fibo example:	2023-07-07 20:05:07 +08:00
Steve Wang	3bf005c7ff	finished wit_gen and obtained TraceWitness object from fibo example	2023-07-07 19:43:06 +08:00
Steve Wang	df3284624d	formatted with black formatter	2023-07-07 18:49:58 +08:00
Steve Wang	9528eb81f6	wit_gen	2023-07-07 18:49:30 +08:00
Steve Wang	1246d6317d	fixed debug print	2023-07-07 17:24:19 +08:00
Steve Wang	c46218a386	refactored the entire file structure; added debug print methods	2023-07-07 17:04:52 +08:00
Steve Wang	963465f370	trying to fix circular reference: collapsed files to only ast and dsl	2023-07-07 13:45:45 +08:00
Steve Wang	a40a410cd5	Update README.md	2023-07-06 18:21:20 +08:00
Steve Wang	99efe36074	minor fix for fibo	2023-07-06 18:13:56 +08:00
Steve Wang	87c26c4fe3	updated gitignore	2023-07-06 18:08:15 +08:00
Steve Wang	a2ff6d1448	fibo example (not debugged yet)	2023-07-06 18:06:09 +08:00
Steve Wang	4a0d4ca15a	refactored dsl	2023-07-06 15:40:39 +08:00
Steve Wang	086694b0bf	refactored cb	2023-07-06 14:50:30 +08:00
Steve Wang	8f3fd6faa6	removed gitignore files from remote	2023-07-06 12:48:10 +08:00
Steve Wang	639ce121ea	gitignore	2023-07-06 12:45:20 +08:00
Steve Wang	98ff5be3dc	refactored ast	2023-07-06 11:47:09 +08:00
Steve Wang	144035f0f3	refactored query	2023-07-06 11:14:28 +08:00
Steve Wang	ba355b5362	refactored expr	2023-07-06 10:06:18 +08:00
Steve Wang	304516c586	more dsl	2023-07-05 17:29:32 +08:00