19 Commits (private-witness)

Author SHA1 Message Date
  Kevin Jue c01f530fe1
fix: Support range checking non aligned bitwidth values (#47) 1 year ago
  Kevin Jue 8567f335cb fix for V-SCT-VUL-033 1 year ago
  Kevin Jue 9e6d08b99c fix for V-SCT-VUL-032 1 year ago
  Kevin Jue e3eff27eb1 fix for V-SCT-VUL-030 1 year ago
  Kevin Jue 06f91e4465 fix for V-SCT-VUL-029 1 year ago
  Kevin Jue de0ff4f698 fix for V-SCT-VUL-028 1 year ago
  Kevin Jue f256ca69f3 fix for V-SCT-VUL-027 1 year ago
  Kevin Jue 888b247e02 fix for V-SCT-VUL-023 1 year ago
  Kevin Jue cc064aeb3e fix for V-SCT-VUL-021 1 year ago
  Kevin Jue 96171410b0 fix for V-SCT-VUL-015 1 year ago
  Kevin Jue 5dd6da255e fix for V-SCT-VUL-013 1 year ago
  puma314 940c81b212
Significant refactor and all tests passing, as well as optimized range check for Goldilocks (#37) 2 years ago
  puma314 0c677ddd0d
Revert "Range check optimizations" 2 years ago
  Uma Roy 19da211317 rename another file 2 years ago
  Uma Roy 3aef7954ed All tests pass 2 years ago
  Uma Roy b173b28649 checkpoint 2 years ago
  Uma Roy 5d53737841 Moved to variables 2 years ago
  Uma Roy 1c0235b35a Renamed symbol a bunch in goldilocks, goldilocks tests pass 2 years ago
  John Guibas b670530e7f
Use optimized goldilocks in codebase (#26) 2 years ago