Consensys/corset

Issues

• Prevent Conflicting Function in Lookup

  #257 opened 2 days ago
  0

• Nondeterminism in `corset check`

  #256 opened 11 days ago
  0

• Removing refunds for `SELFDESTRUCT`'s

  #255 opened 13 days ago
  0

• Corset didn't pick up typo in Shakira constraints file???

  #254 opened 16 days ago
  2

• panicked at src/column.rs (unwrap() on a None value)

  #253 opened 22 days ago
  0

• Option to display module specific instruction names

  #252 opened a month ago
  3

• fix: new `Trace.java` files cannot be generated in the hub branch

  #251 opened a month ago
  4

• Option to display leading zeros in `corset inspect`

  #250 opened a month ago
  0

• Number of columns on both sides of a lookup argument

  #249 opened a month ago
  2

• Perspective aware lexicographic ordering arguments

  #248 opened a month ago
  7

• Namespaces or so for naming constraints, constants and shorthands

  #247 opened 2 months ago
  0

• Report Current Module in `Inspect`

  #246 opened 2 months ago
  0

• Wrong Evaluation of Normalized Loobean And

  #244 opened 2 months ago
  2

• Rework `ifs` transform

  #243 opened 2 months ago
  0

• Wrong Evaluation of Constraint Expressions using Expansion

  #241 opened 2 months ago
  6

• Fix `--locked` from `release.yml`

  #238 opened 2 months ago
  0

• Fix Release Action

  #236 opened 2 months ago
  0

• Fix release action

  #233 opened 2 months ago
  0

• Correct Build Action

  #232 opened 2 months ago
  1

• Release `v9.7.13`

  #230 opened 2 months ago
  0

• Panic with Normalised `or`

  #227 opened 2 months ago
  0

• feat: Switch default `bin` format from `RON` to `JSON`

  #222 opened 2 months ago
  0

• Support both `RON` and `JSON` bin formats together

  #221 opened 2 months ago
  0

• Different Behavior for Expansion and Native Flag Combinations

  #219 opened 2 months ago
  5

• Strange Lookup Configuration

  #218 opened 3 months ago
  1

• Spillings change ?

  #217 opened 3 months ago
  5

• Optionally make values invisible in multiplexed columns when not in the right perspective

  #215 opened 2 months ago
  2

• can't install latest corset

  #214 opened 3 months ago
  9

• Column names are truncated in `corset inspect` when filtering columns

  #212 opened 2 months ago
  2

• chore: Release `v9.7.12`

  #211 opened 3 months ago
  0

• Aliases cause Undeclared Variables in `define.go`

  #209 opened 3 months ago
  0

• Unused Registers

  #207 opened 3 months ago
  1

• Remove Debugging Code

  #205 opened 3 months ago
  0

• Too Many Arguments for `Mul` in `define.go`

  #203 opened 3 months ago
  0

• Incorrect `Trace` construction

  #201 opened 3 months ago
  0

• Add Tests for Array Resolution

  #200 opened 3 months ago
  0

• Inefficient Handling of Sorted Permutations?

  #199 opened 3 months ago
  1

• Incorrect Padding for Descending Permutation Sorts

  #198 opened 3 months ago
  2

• Unexpected list operand for `*`

  #195 opened 3 months ago
  0

• Exit Code on Error

  #193 opened 3 months ago
  5

• Error when Missing Reduce

  #191 opened 3 months ago
  6

• Negative Trace Literals

  #190 opened 3 months ago
  0

• On the Distinction Between `loobean` and `boolean`

  #189 opened 3 months ago
  2