formalsec / smtml / 205

Builds Branch Commit Type Ran Committer Via Coverage
205 main Remove unecessary simplify push filipeom github
46.85
204 main Reorganize smtml executable and add test command Reorganize smtml executable and adds a new test command that will be used to benchmark push filipeom github
51.82
203 main Add some sub-directories in `src/` push filipeom github
52.16
202 main Simplify subtractions with ptr push filipeom github
51.47
201 main Try to improve expression formatting push filipeom github
51.51
200 main Remove constraints from depopts push filipeom github
47.26
199 main Release v0.2.5 push filipeom github
47.26
198 main Cvc5 default options and CI tests push filipeom github
51.49
197 main Bump actions/upload-pages-artifact from 2 to 3 Bumps [actions/upload-pages-artifact](https://github.com/actions/upload-pages-artifact) from 2 to 3. - [Release notes](https://github.com/actions/upload-pages-artifact/releases) - [Commits](https://g... push filipeom github
47.26
196 main Bump actions/configure-pages from 3 to 5 Bumps [actions/configure-pages](https://github.com/actions/configure-pages) from 3 to 5. - [Release notes](https://github.com/actions/configure-pages/releases) - [Commits](https://github.com/actions/config... push filipeom github
47.26
195 main Bump actions/deploy-pages from 2 to 4 Bumps [actions/deploy-pages](https://github.com/actions/deploy-pages) from 2 to 4. - [Release notes](https://github.com/actions/deploy-pages/releases) - [Commits](https://github.com/actions/deploy-pages/compa... push filipeom github
47.26
194 main Fix dependabot push filipeom github
47.26
193 main Add dependabot.yml push filipeom github
47.26
192 main Bring back cvc5 CI push filipeom github
52.18
191 main Reorganise some stuff push filipeom github
51.49