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

..

src

Use PolyID instead of PolynomialReference or usize (#460)

2023-08-07 19:16:43 +02:00

Cargo.toml

Add logging to witness generation code (#382)

2023-07-13 10:39:59 +02:00