formalsec / smtml / 118
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 118 | main | rename github actions | push |  filipeom |
github |
48.1 |
|
| 117 | main | Remove unsupproted test | push | filipeom |
github |
48.1 |
|
| 116 | main | Uncomment part of the test | push | filipeom |
github |
48.1 |
|
| 115 | main | Add workflow to test Bitwuzla | push | filipeom |
github |
47.9 |
|
| 114 | main | Float binops and cvtops | push | filipeom |
github |
47.9 |
|
| 113 | main | Format code | push | filipeom |
github |
47.9 |
|
| 112 | main | Bump ocamlformat | push |  filipeom |
github |
48.13 |
|
| 111 | main | Remove cvc5 from optional binary Due to formalsec/ocaml-cvc5#19 | push | filipeom |
github |
48.13 |
|
| 110 | main | Add `QF_S` logic | push | filipeom |
github |
48.13 |
|
| 108 | main | Update README.md | push | filipeom |
github |
48.15 |