eth-sc-comp/benchmarks

Issues

• Halmos fails to build after `nix flake update`

  #32 opened 2 months ago
  5

• Test suite types

  #13 opened a year ago
  2

• Support Cold/Hot Runs, Offline Only Mode and Environment repeatability

  #12 opened a year ago
  2

• Standard for compiling/running benchmarks

  #2 opened 7 months ago
  1