Skip to content

Actions: formalsec/smtml

Actions

Test Z3

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-z3.yml
408 workflow runs
408 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Small fixes and adds cvc5 CI Test Z3 #33: Pull request #155 opened by filipeom
June 18, 2024 08:11 13m 36s another-ci-fix
another-ci-fix
June 18, 2024 08:11 13m 36s
[cvc5 mappings] Fix argument type Test Z3 #32: Commit a71c8f6 pushed by filipeom
June 17, 2024 15:18 13m 7s main
main
June 17, 2024 15:18 13m 7s
Fix argument type in cvc5 mappings Test Z3 #31: Pull request #154 opened by joaomhmpereira
June 17, 2024 15:05 13m 33s fix-cvc5-mappings
fix-cvc5-mappings
June 17, 2024 15:05 13m 33s
More parametric tests and only run tests when z3 available Test Z3 #30: Commit 9be702f pushed by filipeom
June 17, 2024 14:36 13m 59s main
main
June 17, 2024 14:36 13m 59s
Parametric optimizers and fix tests Test Z3 #29: Pull request #153 synchronize by filipeom
June 17, 2024 14:20 13m 8s fix-tests
fix-tests
June 17, 2024 14:20 13m 8s
Parametric optimizers and fix tests Test Z3 #28: Pull request #153 opened by filipeom
June 17, 2024 14:14 14m 38s fix-tests
fix-tests
June 17, 2024 14:14 14m 38s
Adds is_available flag to know which solvers are installed Test Z3 #27: Commit dda3058 pushed by filipeom
June 17, 2024 11:59 13m 45s main
main
June 17, 2024 11:59 13m 45s
Adds is_available flag to know which solvers are installed Test Z3 #26: Pull request #152 synchronize by filipeom
June 17, 2024 11:45 13m 22s is-available
is-available
June 17, 2024 11:45 13m 22s
Adds is_available flag to know which solvers are installed Test Z3 #25: Pull request #152 opened by filipeom
June 17, 2024 11:05 14m 31s is-available
is-available
June 17, 2024 11:05 14m 31s
Add command to convert smtml scripts to smt-lib scripts Test Z3 #24: Commit feefe1f pushed by filipeom
June 16, 2024 18:47 13m 0s main
main
June 16, 2024 18:47 13m 0s
Add command to convert smtml scripts to smt-lib scripts Test Z3 #23: Pull request #150 opened by filipeom
June 16, 2024 18:33 13m 5s filipeom:to-smt2
filipeom:to-smt2
June 16, 2024 18:33 13m 5s
Better error messages on non-implemented functions Test Z3 #22: Commit 5fc23a0 pushed by filipeom
June 14, 2024 12:33 13m 41s main
main
June 14, 2024 12:33 13m 41s
Towards model generation in bitwuzla Test Z3 #21: Pull request #148 synchronize by filipeom
June 14, 2024 12:20 13m 22s filipeom:bitwuzla-mappings2
filipeom:bitwuzla-mappings2
June 14, 2024 12:20 13m 22s
Towards model generation in bitwuzla Test Z3 #20: Pull request #148 synchronize by filipeom
June 14, 2024 08:03 13m 10s filipeom:bitwuzla-mappings2
filipeom:bitwuzla-mappings2
June 14, 2024 08:03 13m 10s
Towards model generation in bitwuzla Test Z3 #19: Pull request #148 opened by filipeom
June 13, 2024 23:39 13m 4s filipeom:bitwuzla-mappings2
filipeom:bitwuzla-mappings2
June 13, 2024 23:39 13m 4s
Compile with z3_mappings2.nop.ml when z3 is not installed Test Z3 #18: Commit 8415660 pushed by filipeom
June 12, 2024 14:56 13m 19s main
main
June 12, 2024 14:56 13m 19s
Z3 mappings Test Z3 #17: Pull request #147 synchronize by filipeom
June 12, 2024 14:42 13m 32s z3_mappings
z3_mappings
June 12, 2024 14:42 13m 32s
Cleanup parametric mappings Test Z3 #16: Commit 57c7b3b pushed by filipeom
June 12, 2024 14:40 16m 44s main
main
June 12, 2024 14:40 16m 44s
Z3 mappings Test Z3 #15: Pull request #147 synchronize by filipeom
June 12, 2024 14:38 14m 3s z3_mappings
z3_mappings
June 12, 2024 14:38 14m 3s
Z3 mappings Test Z3 #14: Pull request #147 opened by filipeom
June 12, 2024 14:34 16m 39s z3_mappings
z3_mappings
June 12, 2024 14:34 16m 39s
Cleanup parametric mappings Test Z3 #13: Pull request #146 synchronize by filipeom
June 12, 2024 14:32 13m 8s refactor-pmappings
refactor-pmappings
June 12, 2024 14:32 13m 8s
Cleanup parametric mappings Test Z3 #12: Pull request #146 opened by filipeom
June 12, 2024 12:04 16m 23s refactor-pmappings
refactor-pmappings
June 12, 2024 12:04 16m 23s
Fixes section headers in CHANGES.md Test Z3 #11: Commit 4f1b4d2 pushed by filipeom
June 11, 2024 21:44 13m 43s main
main
June 11, 2024 21:44 13m 43s
Fixes section headers in CHANGES.md Test Z3 #10: Pull request #144 opened by filipeom
June 11, 2024 21:44 13m 53s changes
changes
June 11, 2024 21:44 13m 53s
Equality defined using boolean theory Test Z3 #9: Commit e19388e pushed by filipeom
June 11, 2024 21:24 13m 29s main
main
June 11, 2024 21:24 13m 29s
ProTip! You can narrow down the results and go further in time using created:<2024-06-11 or the other filters available.