460 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Leo	53af89edae	Merge pull request #279 from chriseth/clarify_erorr ... Clarify error message.	2023-05-16 12:20:04 +02:00
Leo	b8e0112544	Merge pull request #245 from gballet/implement-srai ... implement the srai instruction	2023-05-16 11:58:38 +02:00
Guillaume Ballet	6f4ee18a3b	implement the srai instruction	2023-05-16 11:32:44 +02:00
chriseth	bde0fcd5a8	Merge pull request #277 from chriseth/no_init_zero_mem ... Do not explicitly initialize memory objects to zero.	2023-05-16 11:18:36 +02:00
chriseth	e4a48db176	Clarify error message.	2023-05-16 11:16:30 +02:00
chriseth	0aa5c50f4c	Do not explicitly initialize memory objects to zero.	2023-05-15 21:07:04 +02:00
chriseth	5ce4e99ae9	Merge pull request #274 from chriseth/working_instruction_tests ... Add instruction tests.	2023-05-15 11:57:28 +02:00
chriseth	4981199c65	Add tests.	2023-05-13 17:31:41 +02:00
chriseth	65d9104d25	Merge pull request #273 from chriseth/parse_constant_expressions_in_asm ... Parse constant expressions in assembly.	2023-05-13 16:55:10 +02:00
chriseth	f9c7324467	Parse constant expressions in assembly.	2023-05-13 00:05:38 +02:00
Leo	d82b4a4533	Merge pull request #269 from chriseth/reachability_simplification ... Simplifying reachability.	2023-05-12 21:37:04 +02:00
Leo	36a5bccefc	Merge pull request #272 from chriseth/update_readme ... update readme	2023-05-12 16:20:56 +02:00
Leo Alt	232fb0c6b7	update readme	2023-05-12 16:14:00 +02:00
Leo	5198dacbd5	Merge pull request #261 from chriseth/some_risc_asm_impr ... Some risc asm improvements	2023-05-12 15:16:43 +02:00
Leo	f6aad84ac7	Merge pull request #256 from chriseth/field-generic ... Make all of powdr generic over the field type	2023-05-12 15:04:18 +02:00
chriseth	21c6ca5eff	Support writing to x0.	2023-05-12 15:04:12 +02:00
chriseth	7fcf7ea1c0	Implement nop.	2023-05-12 15:04:12 +02:00
chriseth	dacf63c42c	Escape slashes.	2023-05-12 15:04:12 +02:00
schaeff	0b23b5bd40	make everything generic over FieldElementTrait	2023-05-12 14:56:30 +02:00
Leo	4fa2a905e9	Merge pull request #271 from chriseth/signed-bugs ... Fixed a couple of signed instructions bugs.	2023-05-12 13:38:22 +02:00
Lucas Clemente Vella	6ca34e980d	Fixed a couple of signed instructions bugs.	2023-05-12 11:42:38 +01:00
Leo	f5ba47219e	Merge pull request #241 from chriseth/add-bn254 ... Add support for bn254	2023-05-12 12:09:01 +02:00
Lucas Clemente Vella	ebb70096b0	Simplifying reachability.	2023-05-11 17:03:37 +01:00
schaeff	b75a2f9cab	address review comments	2023-05-11 15:30:19 +02:00
schaeff	91d7a798bc	use array-based bigint for bitwise	2023-05-11 11:28:38 +02:00
schaeff	60be9f7efc	fix bitwise negation	2023-05-11 10:24:29 +02:00
schaeff	8136562be0	add bn254 to number types, move methods to trait, use biguint	2023-05-11 10:24:29 +02:00
Leo	bdf6f0c86a	Merge pull request #264 from chriseth/fix_multi_var_ref ... Fix the case where a variable is used multiple times in an expression.	2023-05-10 19:36:33 +02:00
chriseth	4f79f66908	Fix the case where a variable is used multiple times in an expression.	2023-05-10 19:17:50 +02:00
Leo	60828c7493	Merge pull request #260 from chriseth/fix_grammar ... Fix grammar.	2023-05-10 19:00:52 +02:00
chriseth	7c1fa49f12	Fix grammar.	2023-05-10 18:10:06 +02:00
chriseth	612107ccb5	Merge pull request #258 from chriseth/improve_asm_parser ... Allow semicolon-separated statements, empty statements and labeled statements.	2023-05-10 16:48:35 +02:00
Leo	f889adc207	Merge pull request #259 from gballet/fix-readme-typos ... fix a couple typos in README	2023-05-10 15:54:52 +02:00
chriseth	57c02da108	Allow semicolon-separated statements, empty statements and labeled statements.	2023-05-10 15:21:54 +02:00
Guillaume Ballet	e374b420aa	fix a couple typos in README	2023-05-10 14:43:40 +02:00
chriseth	f6423dbbeb	Merge pull request #176 from chriseth/debug_out ... Debug print	2023-05-10 11:26:01 +02:00
Leo	4d7102f3e1	Merge pull request #248 from chriseth/use_log_for_wit_err ... Use logging for witness generation error.	2023-05-09 19:56:28 +02:00
chriseth	d97f1f83b5	Debug print.	2023-05-09 19:55:09 +02:00
Leo	d19d95dabf	Merge pull request #254 from chriseth/revert-246-cargo_error_output ... Revert "Print cargo error output."	2023-05-09 19:52:06 +02:00
chriseth	ccc167b1a5	Revert "Print cargo error output."	2023-05-09 19:47:47 +02:00
chriseth	b0e71da221	Use logging for witness generation error.	2023-05-09 19:31:47 +02:00
chriseth	c19e2bfa0f	Merge pull request #252 from chriseth/print_failing_identity ... Print failing identity.	2023-05-09 19:28:00 +02:00
chriseth	ad8abfbf8e	Print failing identity.	2023-05-09 18:00:38 +02:00
chriseth	2b89caf2c6	Format affine expression in error.	2023-05-09 18:00:38 +02:00
chriseth	ed579faddd	Merge pull request #249 from chriseth/fix_sum_test ... Fix sum test.	2023-05-09 17:57:21 +02:00
chriseth	ea46efd533	Fix sum test.	2023-05-09 17:50:37 +02:00
chriseth	6d425d663b	Merge pull request #250 from chriseth/print_names ... Print names.	2023-05-09 17:28:50 +02:00
chriseth	8449ea4f3d	Print names.	2023-05-09 17:00:54 +02:00
Leo	7283ec9711	Merge pull request #247 from chriseth/relative_out_dir_bug ... Fixed bug where output dir had to be absolute.	2023-05-09 15:10:55 +02:00
Leo	9ae1c7a785	Merge pull request #238 from chriseth/genericize ... Genericize	2023-05-09 15:07:56 +02:00