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
chriseth
eb9b0e97bb
Use &PolynomialReference as keys.
2023-05-09 14:52:28 +02:00
Lucas Clemente Vella
6ffe91066d
Fixed bug where output dir had to be absolute.
2023-05-09 12:23:40 +01:00
Leo
4185bd82e8
Merge pull request #246 from chriseth/cargo_error_output
...
Print cargo error output.
2023-05-09 12:01:52 +02:00
chriseth
707b979f9e
Print cargo error output.
2023-05-09 11:46:55 +02:00
chriseth
43e42c164e
Merge pull request #212 from gballet/add-runtime-crate
...
add a runtime crate
2023-05-08 23:05:38 +02:00
chriseth
7ba175b95f
Merge pull request #237 from chriseth/fix_affine_format
...
Bugfix: affine format
2023-05-08 23:04:01 +02:00
chriseth
3aa613a02f
Merge pull request #244 from chriseth/print_info
...
Change print to log info.
2023-05-08 23:03:37 +02:00
Guillaume Ballet
5d5ab18d7b
add a runtime crate
...
Update riscv/runtime/src/lib.rs
Co-authored-by: chriseth <chris@ethereum.org >
package runtime lib to compile single files
Remove need for loop{} in main
Remove 'extern "C"' from main declaration
implement mem* funcs in the runtime
Co-Authored-by: chriseth <chris@ethereum.org >
fix a couple endianness and alignment issues
remove unused build entry in compiler/Cargo.toml
more review feedback
fix clippy linter error
update README
Remove all #[no_main]
Add test runner for memfuncs.
2023-05-08 22:42:54 +02:00
chriseth
2bdd5435b5
Change print to log info.
2023-05-08 22:23:21 +02:00
chriseth
ac8bcc3b9c
Merge pull request #243 from chriseth/deterministic_machine_extraction
...
Sorting in the places where HashSet order influences the result of machine extraction
2023-05-08 20:26:29 +02:00
Lucas Clemente Vella
50969341ca
Sorting in the places where HashSet order influence the result.
2023-05-08 17:39:39 +01:00
chriseth
77e38a3075
Fix affine format
2023-05-06 13:49:36 +02:00
chriseth
dc7c2d4fce
Merge pull request #239 from chriseth/substitute_constants
...
Substitute constants in identities.
2023-05-06 13:48:58 +02:00
Leo
840793a1e0
Merge pull request #240 from chriseth/fix_nightly
...
Fix nightly.
2023-05-06 07:35:58 +02:00
chriseth
026d6b7ef4
Fix nightly.
2023-05-05 21:44:33 +02:00
chriseth
173d163832
Substitute constants in identities.
2023-05-05 21:18:20 +02:00
Thibaut Schaeffer
ae9a8ef996
Merge pull request #229 from chriseth/fixed_data_col_keys_as_integers
...
Change fixed data cols lookup to integer.
2023-05-05 18:25:49 +02:00
Thibaut Schaeffer
0428884b8b
Merge pull request #236 from chriseth/better_const_move
...
Better const move
2023-05-05 18:25:22 +02:00
chriseth
c4e0cbf665
Review comments.
2023-05-04 22:09:51 +02:00
chriseth
daa11b590e
Change PolyID to struct.
2023-05-04 22:04:02 +02:00
chriseth
ccc9aabcfc
Improve constant generation performance.
2023-05-04 21:37:28 +02:00
chriseth
b480b31179
Change fixed data cols lookup to integer.
2023-05-04 18:38:09 +02:00
chriseth
225c20aa25
Merge pull request #228 from chriseth/use_refs_in_eval
...
Use poly ref in expression evaluator.
2023-05-04 17:31:06 +02:00
chriseth
34f8f1c04c
Use poly ref in expression evaluator.
2023-05-04 14:53:12 +02:00
chriseth
b6aca7eca2
Merge pull request #227 from chriseth/use_id_directly
...
Make some use of poly ids.
2023-05-04 14:50:06 +02:00
chriseth
f176b8bd43
Make some use of poly ids.
2023-05-04 13:15:53 +02:00
chriseth
0da312ae3d
Merge pull request #223 from chriseth/add_id_to_ref
...
Add id to ref
2023-05-04 13:15:26 +02:00
chriseth
8b129c52aa
Add IDs at end of analysis.
2023-05-04 12:01:56 +02:00
chriseth
1d42cf0f7b
Add IDs to references.
2023-05-04 12:01:56 +02:00
chriseth
21a780eeb3
Add IDs to references.
2023-05-04 12:01:56 +02:00
chriseth
f5177edf3f
More tree visit utils.
2023-05-04 12:01:56 +02:00
chriseth
fd39c2150c
Merge pull request #231 from chriseth/rename_affine_constructor
...
Rename affine constructor
2023-05-02 22:12:36 +02:00
chriseth
391a39bc52
Rename constructor function for AffineExpression.
2023-05-02 22:08:09 +02:00
chriseth
c03aebd298
Merge pull request #230 from chriseth/fix_clippy
...
Fix clippy.
2023-05-02 22:00:15 +02:00
chriseth
d760a0a2de
Fix clippy.
2023-05-02 21:49:39 +02:00
chriseth
2cdae21bd9
Merge pull request #209 from chriseth/complete-flag-in-executor
...
Ignore identities which we know won't yield more constraints
2023-05-02 17:18:00 +02:00
schaeff
5abfacf7c3
ignore identities which cannot yield more results, better error reporting in the executor
2023-05-02 17:03:06 +02:00
Thibaut Schaeffer
bf1b3c4fc9
Merge pull request #220 from chriseth/parallel_constant_generation
...
Parallel constant generation
2023-05-02 16:13:00 +02:00
Leo
eea877e81a
Merge pull request #222 from cheethas/md/readme-patch
...
docs: update readme example path
2023-04-30 10:46:03 +02:00
Maddiaa
345268e1de
Update README.md
...
example compilation has moved dir
2023-04-29 21:27:47 +01:00
chriseth
bc9033ee1c
Merge pull request #219 from chriseth/opt_affine
...
Use BTreeMap for AffineExpression.
2023-04-29 18:03:16 +02:00
chriseth
77b746c5e0
Parallel constant generation.
2023-04-28 11:14:50 +02:00
chriseth
26e0bd1d9b
report time
2023-04-28 11:14:42 +02:00
chriseth
94ab822824
Use HashMap for AffineExpression.
2023-04-28 10:50:32 +02:00
chriseth
543ffecc55
Merge pull request #216 from chriseth/fix_clippy
...
Fix clippy
2023-04-28 00:37:20 +02:00
