Releases: Consensys/corset
Releases · Consensys/corset
v9.7.17
What's Changed
Full Changelog: v9.7.16...v9.7.17
v9.7.16
What's Changed
- feat: support filtering of perspectives by @DavePearce in #281
- feat: enabling scrolling of tabs by @DavePearce in #282
- feat(stdlib): perspective constancy function by @lorenzogentile404 in #288
- feat: Allow empty
(begin ..)
by @DavePearce in #289 - fix: column setters in trace template by @DavePearce in #290
- feat: improved error reporting in generated
Trace.java
by @DavePearce in #291
New Contributors
- @lorenzogentile404 made their first contribution in #288
Full Changelog: v9.7.15...v9.7.16
v9.7.15
What's Changed
- Update implementation of eq! (#269) by @DavePearce
- Fix Trace.java template (#270) by @DavePearce
- Support custom class name for trace file (#272) by @DavePearce
- setting column size factor manually (#274) by @DavePearce
- fix: trace file template (#277) by @DavePearce
Full Changelog: v9.7.14...v9.7.15
v9.7.14
What's Changed
- Remove
--locked
fromrelease
action by @DavePearce in #239 - Correct Build Action by @DavePearce in #240
- fix: Wrong Evaluation of Constraint Expressions using Expansion by @DavePearce in #242
- fix: Rework
ifs
transform by @DavePearce in #245 - fix: Remove Vector Operations #244
Full Changelog: v9.7.13...v9.7.14
v9.7.13
What's Changed
- Fixes for
ratatui
dependency issue by @DavePearce in #216 - Rework generated "putters". by @DavePearce in #220
- feat: Support
RON
andJSON
bin formats by @DavePearce in #223 - feat: Support Perspective "blanking" by @DavePearce in #224
- feat: Switch default
bin
format fromRON
toJSON
by @DavePearce in #225 - Fix: Truncated Column Names by @DavePearce in #226
- Fix: Different Behavior for Expansion and Native Flag Combinations by @DavePearce in #228
- fix: Update
check
reporting for perspectives by @DavePearce in #229
Full Changelog: v9.7.12...v9.7.13
v9.7.12
What's Changed
- feat: Implement
byte@prove
using range constraints by @DavePearce in #182 - fix: Custom
Serializer
forColumnRef
by @DavePearce in #184 - Minor correction for serialisation of
ColumnRef
by @DavePearce in #188 - Fix for Singleton Reduce by @DavePearce in #192
- fix: Error when missing reduce by @DavePearce in #194
- Fix for unexpected list on
*
by @DavePearce in #196 - fix: Unused Declaration for Array Columns (
define.go
) by @DavePearce in #197 - Fix #178 by @DavePearce in #202
- Fix: Incorrect Handling of Perspective Selectors by @DavePearce in #204
- Remove debugging code by @DavePearce in #206
- Fix: Incorrect Trace Construction by @DavePearce in #208
- Fix #209 by @DavePearce in #210
Full Changelog: v9.7.11...v9.7.12
v9.7.11
What's Changed
- Document vector operations. by @DavePearce in #82
- Add relevant warning on the corset stdli by @DavePearce in #84
- Enable caching for github actions by @DavePearce in #86
- Binary Output Serialisation to JSON by @DavePearce in #89
- Improved translation for
NORM(e)
#91 by @DavePearce in #93 - Fix
ifs::raise_ifs
#87 by @DavePearce in #97 - 75 document expand ifs raise ifs by @DavePearce in #99
- fix: remove old
to_string
invokation by @delehef in #109 - Display
:bytes
in big endian by @DavePearce in #113 - Fix Default Base for Interleaved Constraints by @DavePearce in #114
- fix: rendering of columns in
convert
by @delehef in #110 - fix: erroneous inversion optimization by @delehef in #108
- Add initial set of pre-commit hooks. by @DavePearce in #116
- 117 implement initial testing framework by @DavePearce in #124
- Update testing framework to support padding by @DavePearce in #125
- build(deps): bump the cargo group across 1 directory with 2 updates by @dependabot in #103
- feat(besu-exporter): add missing bigInt package by @letypequividelespoubelles in #137
- Remove
Column::shift
by @DavePearce in #144 - Fix for
eq!
typing instdlib.lisp
by @DavePearce in #145 - Add some documentation for
concretize
by @DavePearce in #147 - Add some documentation by @DavePearce in #148
- 135 corset should automatically fill spillingtoml by @DavePearce in #150
- Optimise spillage by removing
future_spilling()
by @DavePearce in #152 - Revert "Optimise spillage by removing
future_spilling()
" by @DavePearce in #154 - Fix for
corset compute
by @DavePearce in #156 - Fix #158 by @DavePearce in #159
- 161 bug nil spilling used in compute expression function by @DavePearce in #167
- fix: Incorrect typing of vector operations by @DavePearce in #175
New Contributors
- @letypequividelespoubelles made their first contribution in #137
Full Changelog: v9.7.10...v9.7.11