github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-04-20 03:03:25 -04:00
Code Issues Packages Projects Releases Wiki Activity
696 Commits 544 Branches 9 Tags
03808f3e231dafa949b33971d9cade2f9343b07f
Commit Graph

94 Commits

Author SHA1 Message Date
John Smith
03808f3e23 fix: clippy complain (#545) 2023-08-30 15:20:07 +02:00
chriseth
9169f70983 Update documentation. 2023-08-29 18:49:26 +02:00
chriseth
6bc13aa30b tiny change 2023-08-29 10:12:30 +02:00
Georg Wiese
e45b9fdf31 Add unit test to Processor 2023-08-25 08:53:53 +00:00
Georg Wiese
d404a00e3e Refactor Witgen call interface 2023-08-24 14:49:23 +00:00
Georg Wiese
c7f5f3e664 Extract module 2023-08-21 13:53:07 +00:00
Georg Wiese
765051ed16 Reduce verbosity (#509) 2023-08-21 12:28:36 +02:00
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.

* Clean up

* Generator: Use Vectors as rows

* Convenience methods

* Bug fix

* List of rows

* Refactor

* Rename

* Clean up witgen

* Undo changing loop detection frequency

* Extract ColumnMap

* Simplify loop detection

* Fix test

* Polish

* Simplify

* Use ColumnMap for global range constraints

* Format

* Remove poly_id_u64()

* Sorted Witness Machine: Use ColumnMap

* Undo changes in sorted witness machine

* Clippy

* Readd comment

* Review feedback
 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
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