Robin Salen
|
6d1b99e5ca
|
v1.0.0 release (#1637)
* Update CHANGELOG
* Bump versions
|
2024-11-26 02:58:04 +09:00 |
|
Robin Salen
|
76da138338
|
Bump versions pre-release (#1569)
|
2024-04-16 20:10:19 +09:00 |
|
Ben
|
c386a63902
|
One more
|
2024-04-15 20:40:23 +01:00 |
|
Ben
|
fefe94d174
|
Update CHANGELOG.md
|
2024-04-15 20:33:07 +01:00 |
|
Ben
|
240839e8a6
|
Update CHANGELOG.md
|
2024-03-22 15:28:56 +00:00 |
|
Hamy Ratoanina
|
54cee24b36
|
Bump versions pre-release (#1557)
|
2024-03-21 14:34:41 -04:00 |
|
Alonso González
|
4f8e631550
|
Prove Starks without constraints (#1552)
* Enable starks without constraints
* Clippy
* Add test stark without constraints
* Missing file
* Missing changes in the recursive side
* Fix bug with recursion
* Missing import
* Clippy
* Apply suggestions from code review
Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>
* Address reviews
* Fix TODO
* Apply suggestions from code review
Co-authored-by: Linda Guiga <101227802+LindaGuiga@users.noreply.github.com>
* More reviews
* Fix bug in eval_helper_columns
* Apply suggestions from code review
Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>
* Address reviews
* Allow <= blowup_factor + 1 constraints + reviews
* Add unconstrined Stark
* Missing file
* Remove asserts
---------
Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>
Co-authored-by: Linda Guiga <101227802+LindaGuiga@users.noreply.github.com>
|
2024-03-15 11:43:45 +00:00 |
|
Robin Salen
|
2a2becc415
|
Fix CTLs with exactly two looking tables (#1555)
|
2024-03-14 23:30:18 +09:00 |
|
Robin Salen
|
66127bcf73
|
Bump starky (#1549)
|
2024-02-29 22:54:08 +00:00 |
|
David
|
16746f1ed7
|
chore: remove conditional compilation for debug_utils (#1540)
* chore: remove conditional compilation for debug_utils
* chore: update CHANGELOG
|
2024-02-23 09:39:10 -05:00 |
|
Robin Salen
|
c94dc6f858
|
Version bump pre-release (#1536)
* Bump versions
* Bump hashbrown and ahash accordingly
* Update changelog
|
2024-02-20 14:50:43 -05:00 |
|