Skip to content

Actions: formalsec/smtml

Actions

Test Bitwuzla

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-bitwuzla.yml
64 workflow run results
64 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixes section headers in CHANGES.md Test Bitwuzla #64: Commit 4f1b4d2 pushed by filipeom
June 11, 2024 21:44 3m 4s main
main
June 11, 2024 21:44 3m 4s
Fixes section headers in CHANGES.md Test Bitwuzla #63: Pull request #144 opened by filipeom
June 11, 2024 21:44 2m 46s changes
changes
June 11, 2024 21:44 2m 46s
Equality defined using boolean theory Test Bitwuzla #62: Commit e19388e pushed by filipeom
June 11, 2024 21:24 3m 15s main
main
June 11, 2024 21:24 3m 15s
Equality defined using boolean theory Test Bitwuzla #61: Pull request #143 opened by filipeom
June 11, 2024 21:20 3m 40s fix-lexer
fix-lexer
June 11, 2024 21:20 3m 40s
Equality defined using boolean theory Test Bitwuzla #60: Pull request #142 synchronize by filipeom
June 11, 2024 12:55 3m 20s fix-lexer
fix-lexer
June 11, 2024 12:55 3m 20s
Equality defined using boolean theory Test Bitwuzla #59: Pull request #142 opened by filipeom
June 11, 2024 12:55 2m 52s fix-lexer
fix-lexer
June 11, 2024 12:55 2m 52s
Fixes test-z3 workflow name Test Bitwuzla #58: Commit d89904a pushed by filipeom
June 11, 2024 11:59 6m 8s main
main
June 11, 2024 11:59 6m 8s
Update Z3 contraint to include 4.13 Test Bitwuzla #57: Pull request #141 synchronize by filipeom
June 11, 2024 11:52 6m 11s bump-z3
bump-z3
June 11, 2024 11:52 6m 11s
Update Z3 contraint to include 4.13 Test Bitwuzla #56: Pull request #141 opened by filipeom
June 11, 2024 11:50 4m 33s bump-z3
bump-z3
June 11, 2024 11:50 4m 33s
Fixes CI Test Bitwuzla #55: Commit a88dc62 pushed by filipeom
June 10, 2024 13:13 5m 44s main
main
June 10, 2024 13:13 5m 44s
Fixes CI Test Bitwuzla #54: Pull request #140 opened by filipeom
June 10, 2024 12:56 5m 33s fix-ci
fix-ci
June 10, 2024 12:56 5m 33s
make z3 actually optional Test Bitwuzla #53: Commit dad13b8 pushed by filipeom
June 10, 2024 12:33 6m 30s main
main
June 10, 2024 12:33 6m 30s
make z3 actually optional Test Bitwuzla #52: Pull request #139 opened by zapashcanon
June 7, 2024 15:11 6m 45s zapashcanon:main
zapashcanon:main
June 7, 2024 15:11 6m 45s
Bitwuzla: bool_sort and better error messages Test Bitwuzla #51: Commit e419958 pushed by filipeom
June 6, 2024 21:30 4m 40s main
main
June 6, 2024 21:30 4m 40s
Fixes parametric mappings Test Bitwuzla #50: Pull request #137 synchronize by filipeom
June 6, 2024 21:21 4m 42s fix-mappings
fix-mappings
June 6, 2024 21:21 4m 42s
Fixes parametric mappings Test Bitwuzla #49: Pull request #137 opened by filipeom
June 6, 2024 20:43 4m 39s fix-mappings
fix-mappings
June 6, 2024 20:43 4m 39s
Missing Fresh modules Test Bitwuzla #48: Commit b8f4f2c pushed by filipeom
June 6, 2024 14:46 5m 1s main
main
June 6, 2024 14:46 5m 1s
Adds S_with_fresh Test Bitwuzla #47: Commit 723f7f7 pushed by filipeom
June 6, 2024 14:20 4m 21s main
main
June 6, 2024 14:20 4m 21s
Export all mappings with Fresh module Test Bitwuzla #46: Pull request #135 opened by filipeom
June 6, 2024 14:13 4m 14s filipeom:fix-interfaces
filipeom:fix-interfaces
June 6, 2024 14:13 4m 14s
provide Mappings_intf_with_fresh.S Test Bitwuzla #45: Pull request #134 synchronize by zapashcanon
June 6, 2024 14:01 4m 51s zapashcanon:main
zapashcanon:main
June 6, 2024 14:01 4m 51s
provide Mappings_intf_with_fresh.S Test Bitwuzla #44: Pull request #134 opened by zapashcanon
June 6, 2024 14:00 4m 27s zapashcanon:main
zapashcanon:main
June 6, 2024 14:00 4m 27s
Fix interface signatures Test Bitwuzla #43: Pull request #133 opened by filipeom
June 6, 2024 13:53 5m 27s filipeom:fix-interfaces
filipeom:fix-interfaces
June 6, 2024 13:53 5m 27s
change return type of Solver_dispatcher.solver_type_of_string, add Test Bitwuzla #42: Commit 4bb20f0 pushed by filipeom
June 6, 2024 13:28 5m 24s main
main
June 6, 2024 13:28 5m 24s
change return type of Solver_dispatcher.solver_type_of_string, add Test Bitwuzla #41: Pull request #132 opened by zapashcanon
June 6, 2024 13:21 5m 18s zapashcanon:main
zapashcanon:main
June 6, 2024 13:21 5m 18s
add inlined hint to Hc functor Test Bitwuzla #40: Commit 3dc4278 pushed by filipeom
June 6, 2024 12:36 4m 37s main
main
June 6, 2024 12:36 4m 37s