117 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
chriseth	c19c785c93	Merge pull request #64 from chriseth/display_analyzed ... Display for analyzed data.	2023-02-28 17:16:17 +01:00
chriseth	c2e0d6a314	Display for analyzed data.	2023-02-28 17:13:59 +01:00
chriseth	beb0bf528c	Merge pull request #62 from chriseth/refactor_commit ... Explain reasons for failure.	2023-02-28 16:44:48 +01:00
chriseth	c326a5ae31	Explain reasons for failure.	2023-02-28 16:42:25 +01:00
chriseth	5398c56372	Merge pull request #61 from chriseth/witness_lookup ... Support lookups in witness computation.	2023-02-27 21:34:28 +01:00
chriseth	c554187af8	Support lookups in witness computation.	2023-02-27 21:32:03 +01:00
chriseth	73afc34896	Merge pull request #60 from chriseth/on_next ... Evaluate directly on next row if needed.	2023-02-27 20:32:07 +01:00
chriseth	9016f9c64d	Evaluate on next if no next ref.	2023-02-27 20:30:13 +01:00
chriseth	5db079fd7d	Improve test.	2023-02-27 20:26:36 +01:00
chriseth	bef70e54b1	Allow evaluating expressions on next row.	2023-02-27 20:26:22 +01:00
chriseth	c12de214e3	Merge pull request #57 from chriseth/tempdir ... Properly use temporary directories for tests.	2023-02-27 15:49:01 +01:00
chriseth	20bae0e50f	Properly use temporary directories for tests.	2023-02-27 15:45:36 +01:00
chriseth	fef61fea76	Merge pull request #56 from chriseth/fn_mut ... Use FnMut for callback.	2023-02-27 15:45:15 +01:00
chriseth	addcc54516	Use FnMut for callback.	2023-02-27 14:31:54 +01:00
chriseth	b840c1db36	Merge pull request #53 from chriseth/witness_hints ... Witness hints	2023-02-27 12:43:17 +01:00
chriseth	b7bd1e6a5c	Witness queries.	2023-02-26 01:58:09 +01:00
chriseth	92a14eb6e6	Merge pull request #54 from chriseth/strings_and_tuples ... Support strings and tuples of expressions.	2023-02-26 01:10:28 +01:00
chriseth	6f08cee626	Support strings and tuples of expressions.	2023-02-25 19:19:27 +01:00
chriseth	f688c248c2	Merge pull request #47 from chriseth/asm_compilation ... Asm compilation	2023-02-23 11:43:34 +01:00
chriseth	0337551737	Compile asm to pil.	2023-02-22 17:34:44 +01:00
chriseth	4f0c26e553	Merge pull request #48 from chriseth/constant_arrays ... Support fixed columns in array form.	2023-02-21 23:09:56 +01:00
chriseth	885cdcfd23	Support fixed columns in array form.	2023-02-21 23:04:28 +01:00
chriseth	e32ba0729e	Merge pull request #46 from chriseth/pil_ast_printer ... PIL ast printer.	2023-02-21 12:43:04 +01:00
chriseth	ef7fe59046	PIL ast printer.	2023-02-21 12:34:58 +01:00
chriseth	e7c363027f	Merge pull request #45 from chriseth/parse_deduplication ... Remove code duplication.	2023-02-20 17:06:11 +01:00
chriseth	611c44b6e0	Remove code duplication.	2023-02-20 16:49:22 +01:00
chriseth	eaa49effb1	Merge pull request #44 from chriseth/split_analyzer ... Split analyzer.	2023-02-20 14:58:26 +01:00
chriseth	b6d00ed04f	Split analyzer.	2023-02-20 14:54:02 +01:00
chriseth	0bb340ee89	Merge pull request #43 from chriseth/simple_asm ... First simple example of an assembly program.	2023-02-20 14:46:35 +01:00
chriseth	c7bdda36c1	ASM parser.	2023-02-20 14:42:05 +01:00
chriseth	f9a511f8b3	First simple example of an assembly program.	2023-02-16 15:17:33 +01:00
chriseth	52bb3a89ad	Merge pull request #42 from chriseth/reference_other_fixed_columns ... Reference other fixed columns.	2023-02-15 22:28:06 +01:00
chriseth	0652c89c9d	Reference other fixed columns.	2023-02-15 22:24:10 +01:00
chriseth	1d5d24d70f	Merge pull request #41 from chriseth/more_operators ... More operators.	2023-02-15 21:35:03 +01:00
chriseth	5a590034c0	More operators.	2023-02-15 16:26:37 +01:00
chriseth	1df6393e55	Merge pull request #39 from chriseth/aliases ... Allow different terms for pol, constant and commit.	2023-02-15 15:11:44 +01:00
chriseth	1adcc5e082	Allow different terms for pol, constant and commit.	2023-02-15 14:18:28 +01:00
chriseth	9becce8d94	Merge pull request #38 from chriseth/move_test_files ... Move test files.	2023-02-15 14:16:33 +01:00
chriseth	46d3906f02	Move test files.	2023-02-15 14:04:24 +01:00
chriseth	4c916bff60	Merge pull request #37 from chriseth/chriseth-patch-1 ... Disclaimer and some changes in asm	2023-02-15 14:02:25 +01:00
chriseth	387ee636fe	Disclaimer and some changes in asm	2023-02-15 14:02:09 +01:00
chriseth	80142a8cc1	Merge pull request #35 from chriseth/macro ... Macros	2023-02-15 13:57:46 +01:00
chriseth	052c1e5736	Macros	2023-02-14 18:13:07 +01:00
chriseth	0d6d2c980e	Merge pull request #34 from chriseth/refactor_statements ... Refactor: Combine identity statements.	2023-02-13 21:30:03 +01:00
chriseth	08dfe04a40	Refactor: Combine identity statements.	2023-02-13 21:27:08 +01:00
chriseth	f8597a3fa6	Merge pull request #33 from chriseth/notes_on_asm ... Notes on assembly.	2023-02-13 19:24:44 +01:00
chriseth	c91016ed96	Notes on assembly.	2023-02-13 18:48:35 +01:00
chriseth	331c93c2c3	Merge pull request #29 from chriseth/buffer_Writes ... Use buffered writes.	2023-02-09 18:10:11 +01:00
chriseth	bb5a5f3cb9	Use buffered writes.	2023-02-09 18:06:23 +01:00
chriseth	8f6084fff1	Merge pull request #28 from chriseth/evaluate_commits ... Evaluate commits	2023-02-09 17:59:17 +01:00