4 Commits (main)

Author SHA1 Message Date
  arnaucube bd01a89971 Fix c tester witness file read 3 years ago
  Jordi Baylina 020cb4d510
Add optimization options 3 years ago
  alrubio 06ea743c3e minor changes 3 years ago
  alrubio 2740ff9c05 tester for c added 3 years ago