chriseth
cd2c272f75
Merge pull request #638 from powdr-labs/ignore_cargo_target
...
Ignore cargo_target.
2023-09-27 10:04:44 +00:00
chriseth
46a3e4f6ee
Merge pull request #528 from powdr-labs/processor-in-block-machine
...
Use `Processor` in `BlockMachine`
2023-09-27 09:34:16 +00:00
chriseth
1b69ee19b1
Ignore cargo_target.
2023-09-27 11:16:52 +02:00
Georg Wiese
082c2d70e5
Use Processor in BlockMachine
2023-09-27 08:01:38 +00:00
Lucas Clemente Vella
890c10d64e
Merge pull request #637 from powdr-labs/skip_diff
...
Skip diff computation if not needed.
2023-09-26 21:10:42 +00:00
Lucas Clemente Vella
85acb68269
Skip diff computation if not needed.
2023-09-26 21:34:49 +01:00
Leo
4a55a54b62
Merge pull request #494 from powdr-labs/stark-via-eigen
...
eStark backend via eigen-zkvm's starky
2023-09-26 16:25:40 +00:00
Leo Alt
eed6949238
book
2023-09-26 15:03:29 +02:00
Leo Alt
a86802b4b8
run estark proofs in tests
2023-09-26 15:03:29 +02:00
Lucas Clemente Vella
52bca1b07f
STARK prover
2023-09-26 15:03:29 +02:00
chriseth
83cc485960
Merge pull request #633 from powdr-labs/array_literals
...
Array literals in expressions.
2023-09-26 09:26:24 +00:00
chriseth
ac0ccff780
Array literals in expressions.
2023-09-26 10:54:16 +02:00
chriseth
0ead3bd1c7
Merge pull request #564 from powdr-labs/generic_declaration
...
Let statement and lambda functions.
2023-09-25 16:54:44 +00:00
chriseth
a7c65e0990
Lambda expressions
2023-09-25 17:28:38 +02:00
chriseth
18143f7f7a
Generic let statement.
2023-09-25 17:28:38 +02:00
Lucas Clemente Vella
dde0ea2313
Merge pull request #631 from powdr-labs/join_with_comma
...
Use itertools::format.
2023-09-25 15:01:31 +00:00
chriseth
7441a8e40b
Merge pull request #630 from powdr-labs/same-feature-set
...
Using same feature set for all cargo commands in checks.
2023-09-25 14:54:09 +00:00
chriseth
45e9cc5354
Use itertools::format.
2023-09-25 16:31:17 +02:00
Lucas Clemente Vella
927eda9717
Using same feature set for all cargo commands in checks.
...
Except for the one that tests a different feature, obviously.
This should speedup the run a little.
2023-09-25 15:20:23 +01:00
Lucas Clemente Vella
118a401b0a
Merge pull request #615 from powdr-labs/fence-instruction
...
Implementing fence and fence.i instructions.
2023-09-25 13:48:08 +00:00
chriseth
b0a38695fa
Merge pull request #617 from powdr-labs/insn-parsing
...
Parsing .insn assembly directive.
2023-09-25 13:33:12 +00:00
Lucas Clemente Vella
7bf8d507c4
Implementing fence and fence.i instructions.
2023-09-25 14:06:55 +01:00
Lucas Clemente Vella
209529e182
Parsing .insn assembly directive.
2023-09-25 14:02:50 +01:00
chriseth
5e21e6ae0f
Merge pull request #616 from powdr-labs/revm-test-crate
...
Added revm test project.
2023-09-25 10:43:28 +00:00
Lucas Clemente Vella
1efa90bc3e
Added revm test project.
2023-09-25 12:14:09 +02:00
Leo
d6d0a2ffd8
Merge pull request #624 from powdr-labs/ci-test-profile
...
Using a custom cargo profile in the per PR tests.
2023-09-25 09:22:11 +00:00
Lucas Clemente Vella
7187404f30
Using a custom cargo profile in the per PR tests.
2023-09-21 17:19:45 +01:00
chriseth
04880f0e4a
Merge pull request #602 from powdr-labs/unify_exprs
...
Unify parsed and analyzed expressions
2023-09-19 15:08:05 +00:00
chriseth
3b31c670a7
Unify parsed and analyzed expressions.
2023-09-19 16:33:56 +02:00
Lucas Clemente Vella
0c87dfe382
Merge pull request #613 from powdr-labs/merge-queue
...
Enabling CI jobs for PRs as the merge queue conditional.
2023-09-18 20:51:31 +00:00
Lucas Clemente Vella
2e743b9133
Enabling CI jobs for PRs as the merge queue conditional.
2023-09-18 18:13:22 +01:00
Leo
353230dbb3
Merge pull request #608 from fredo/fix-pil-link
...
docs: fix link to Polygon's PIL docs
2023-09-18 16:09:02 +02:00
fredo
8f65e0e095
docs: fix link to PIL documentation
2023-09-17 22:57:28 +02:00
Thibaut Schaeffer
1a140edbcb
Change register updates to have degree 2, rewrite read-only update ( #565 )
...
* change pc update to have degree 2, rewrite readonly update
* use intermediate pols
---------
Co-authored-by: Leo Alt <leo@ethereum.org >
2023-09-15 08:35:11 +00:00
Georg Wiese
e8f50b3a63
Merge pull request #570 from powdr-labs/wrap-gl
...
Implement wrapping of arbitrary field elements (Goldilocks)
2023-09-14 17:25:55 +02:00
Georg Wiese
6f280e4c03
Implement wrapping of arbitrary field elements (Goldilocks)
2023-09-14 14:49:52 +00:00
Thibaut Schaeffer
797e83cfc2
avoid cloning in importer ( #591 )
2023-09-14 14:33:18 +00:00
Leo
0557a806c5
Merge pull request #592 from powdr-labs/support-intermediate-polys-in-witgen
...
Implement witgen for intermediate polynomials
2023-09-14 16:28:23 +02:00
Leo Alt
01cd3f637a
clippy
2023-09-14 16:00:42 +02:00
Georg Wiese
b4dc623b80
Merge pull request #606 from powdr-labs/fix_snark_verifier
...
fix snark verifier
2023-09-14 15:31:39 +02:00
schaeff
75e806a0d6
inline imp before witgen
...
inline intermediate polynomials for halo2
2023-09-14 15:28:48 +02:00
Leo Alt
58d3b872f8
fix snark verifier
2023-09-14 14:57:22 +02:00
chriseth
6a507561cd
Merge pull request #598 from powdr-labs/make_reg_offset_optional
...
Make reg offset optional
2023-09-13 23:01:55 +02:00
Thibaut Schaeffer
17d22ed552
Module system ( #558 )
...
* implement import system
* address review comments
* use folder in macro expansion
* use folder in file loader
* use folder in canonicalizer
* use parse_absolute_path
2023-09-13 17:47:29 +02:00
Leo
1068e55bb6
Merge pull request #599 from powdr-labs/add_newline
...
Fixed missing endline.
2023-09-13 15:44:52 +02:00
chriseth
bd7dffa397
Remove unused dependencies. ( #600 )
2023-09-13 13:19:30 +02:00
chriseth
6a6bd1813b
Merge pull request #588 from powdr-labs/support-imp
...
Support intermediate polynomials
2023-09-13 09:54:09 +02:00
schaeff
8191e8d009
support intermediate polynomials
2023-09-12 19:26:05 +02:00
Lucas Clemente Vella
69402c37a5
Fixed missing endline.
2023-09-12 19:15:15 +02:00
Lucas Clemente Vella
30609d0868
Making offset optional.
2023-09-12 19:11:03 +02:00
