Age | Commit message (Expand) | Author |
---|---|---|
2021-04-15 | Rename occurrences of CVC4 to CVC5. (#6351) | Aina Niemetz |
2019-10-15 | Fix regression (#3393) | Andres Noetzli |
2019-10-14 | Disable regression test for competition build (#3388) | Andres Noetzli |
2019-10-11 | Check that logic is set when synth-fun command is encountered (#3384) | Andrew Reynolds |