Skip to content

Actions: formalsec/smtml

Actions

Test Colibri2

Actions

Loading...
Loading

Show workflow options

Create status badge

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