Georg Wiese
f666b8e5b7
Refactor Block Machine Witness Generation #457 ( #457 )
2023-08-18 12:30:25 +00:00
Georg Wiese
2ee4a58881
Block Machine: Handle last row ( #503 )
...
* Block Machine: Handle last row
* Make Poseidon SM work with cyclic backends
* Introduce solver
* Refactor
* Format
* Comment code
* Bug fixes
* Refactor
* Fix bug fix
* Add logging
2023-08-18 10:08:21 +02:00
Georg Wiese
0ba95b8774
Witgen: Use enums instead of Box to store machines #488
2023-08-14 12:26:04 +00:00
Georg Wiese
c2f5ce2746
Refactor Main Machine Witness Generation #470
2023-08-14 09:45:58 +00:00
Georg Wiese
1283f61daf
Use PolyID instead of PolynomialReference or usize ( #460 )
...
* Use PolyID instead of PolynomialReference or usize
* SortedWitnesses: Represent rows as map
* Refactor query stuff
* Bug fix
* Return name of right lifetimes
* Revert "Return name of right lifetimes"
This reverts commit f0f38ebde1
2023-08-07 19:16:43 +02:00
Georg Wiese
dac0278e83
Simplify global range constraints #458
2023-08-02 19:56:02 +00:00
Georg Wiese
c5669f0328
Fix non-unique overflowing division
2023-07-26 11:02:45 +00:00
Georg Wiese
e1a8c8ca02
Block machine witness generation: allow for multiple passes per row #393
2023-07-25 13:51:57 +02:00
Georg Wiese
64115133fe
Block machine: exit early when input has been seen before
2023-07-25 10:20:52 +02:00
schaeff
3995dba166
fix entry not found in block machine
2023-07-25 10:20:52 +02:00
chriseth
ddd0349589
Rollback on incomplete lookup instead of on error.
2023-07-20 14:13:36 +02:00
chriseth
caf51184d9
Use less formatting.
2023-07-20 10:59:30 +02:00
Georg Wiese
87637b9597
Merge pull request #402 from powdr-labs/star-operator-arbitrary-size
...
Star operator: expand to arbitrary size
2023-07-18 23:50:52 +02:00
Thibaut Schaeffer
3561d7e1ce
support block machines with block size 1 ( #403 )
2023-07-18 20:12:11 +02:00
Georg Wiese
a4069db115
Star operator: expand to arbitrary size #402
2023-07-17 20:21:50 +02:00
Georg Wiese
5d14f71e53
Add logging to witness generation code ( #382 )
...
* Add logging to witness generation code #382
* EvalError::FixedLookupFailed: Format query only on display
2023-07-13 10:39:59 +02:00
Georg Wiese
d2a95ac1f4
Block machine witness generation: Repeat first real block #386
2023-07-12 12:41:53 +00:00
chriseth
e3467f431e
Support ranges in range constraints.
2023-07-11 17:19:05 +02:00
schaeff
fc8ba429df
modular powdr syntax, basic romgen, and basic linker for single machine
2023-07-10 17:56:29 +02:00
chriseth
edbe05f699
Some more uses of is_zero and is_one.
2023-07-10 09:36:54 +02:00
chriseth
f80646d60f
Some more features for the number types.
2023-07-10 09:36:54 +02:00
Lucas Clemente Vella
8010afbf6e
Merge pull request #372 from powdr-org/add_expression_function
...
Add expression function for poly id.
2023-07-07 14:09:22 +01:00
chriseth
b58354322a
PIL optimizer: remove constant columns.
2023-07-06 21:00:39 +02:00
chriseth
5b5d725092
Add expression function for poly id.
2023-07-06 17:36:00 +02:00
chriseth
fd3e889eb5
Move analyzed ast into the ast crate.
2023-07-03 15:18:36 +02:00
chriseth
7e41a7502c
Simplify type.
2023-06-30 23:20:15 +02:00
chriseth
10c10204b9
Only list witnesses that belong to the base machine.
2023-06-28 14:56:15 +02:00
chriseth
66ff34265a
Rename bit constraints to more generic term.
2023-06-26 19:32:27 +02:00
Lucas Clemente Vella
ac12c92359
Enabling logging in tests.
2023-06-22 16:27:32 +01:00
schaeff
3bbdd1c243
improve compiler pipeline
2023-06-19 16:01:02 +02:00
chriseth
54cb1a58fd
Fix memory access.
2023-06-15 14:26:23 +01:00
Lucas Clemente Vella
f07d6aa189
Merge pull request #324 from powdr-org/underdetermined_zero_no_solution
...
Underdetermined constraints with zero not being a solution
2023-06-15 11:27:50 +01:00
Leo
bcf57d5b6e
Merge pull request #333 from powdr-org/multithreading_ready
...
Make some types ready for multi-threading.
2023-06-15 10:16:31 +02:00
chriseth
5b9a733a8e
Make some types ready for multi-threading.
2023-06-14 19:53:43 +02:00
chriseth
98e0fb16a0
Check if zero is a valid "unknown" solution.
2023-06-14 19:50:09 +02:00
chriseth
d3bc3ab8d3
Expect message.
2023-06-14 19:29:39 +02:00
chriseth
d154b944cb
Move progress to a local variable.
...
Co-authored-by: Thibaut Schaeffer <schaeffer.thibaut@gmail.com >
2023-06-12 10:41:16 +02:00
chriseth
aa3643b880
Extract identity processing.
2023-06-12 10:41:16 +02:00
schaeff
30915a0132
optional halo2 proving in cli
2023-06-02 16:05:25 +02:00
schaeff
29eea41f3b
expose mock-proving as a separate CLI step
2023-05-24 15:03:41 +02:00
schaeff
f8cd4e4e75
remove wrapping behavior
2023-05-24 15:03:41 +02:00
chriseth
0ea3663750
Less logging on witgen failure.
2023-05-22 16:29:57 +02:00
Leo
e36d3e1f59
Merge pull request #286 from chriseth/check_power_two
...
Better check for power of two.
2023-05-19 10:52:19 +02:00
chriseth
3b4c566d3b
clippy
2023-05-18 13:22:33 +02:00
chriseth
b8c1fe196a
Better check for power of two.
2023-05-18 13:18:50 +02:00
schaeff
0b23b5bd40
make everything generic over FieldElementTrait
2023-05-12 14:56:30 +02: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
