Skip to content

Actions: formalsec/smtml

Actions

Test Bitwuzla

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-bitwuzla.yml
392 workflow runs
392 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update LICENSE Test Bitwuzla #342: Pull request #234 opened by filipeom
October 16, 2024 13:04 5m 46s use-mit-license
use-mit-license
October 16, 2024 13:04 5m 46s
Use a map to store solver params Test Bitwuzla #341: Commit 3468f0f pushed by filipeom
October 14, 2024 20:16 5m 53s main
main
October 14, 2024 20:16 5m 53s
Allow using Z3 in parallel mode (Closes #205) Test Bitwuzla #340: Pull request #232 synchronize by filipeom
October 14, 2024 18:36 5m 36s parallel-mode
parallel-mode
October 14, 2024 18:36 5m 36s
Allow using Z3 in parallel mode (Closes #205) Test Bitwuzla #339: Pull request #232 synchronize by filipeom
October 14, 2024 17:18 6m 2s parallel-mode
parallel-mode
October 14, 2024 17:18 6m 2s
Allow using Z3 in parallel mode (Closes #205) Test Bitwuzla #338: Pull request #232 synchronize by filipeom
October 14, 2024 16:57 5m 25s parallel-mode
parallel-mode
October 14, 2024 16:57 5m 25s
Allow using Z3 in parallel mode (Closes #205) Test Bitwuzla #337: Pull request #232 synchronize by filipeom
October 14, 2024 16:29 5m 27s parallel-mode
parallel-mode
October 14, 2024 16:29 5m 27s
Allow using Z3 in parallel mode (Closes #205) Test Bitwuzla #336: Pull request #232 synchronize by filipeom
October 14, 2024 14:00 5m 34s parallel-mode
parallel-mode
October 14, 2024 14:00 5m 34s
Allow using Z3 in parallel mode (Closes #205) Test Bitwuzla #335: Pull request #232 synchronize by filipeom
October 11, 2024 17:47 6m 0s parallel-mode
parallel-mode
October 11, 2024 17:47 6m 0s
Allow using Z3 in parallel mode (Closes #205) Test Bitwuzla #334: Pull request #232 opened by filipeom
October 11, 2024 15:59 5m 48s parallel-mode
parallel-mode
October 11, 2024 15:59 5m 48s
Add Expr.compare function (Closes #161) Test Bitwuzla #333: Commit 429e52f pushed by filipeom
October 11, 2024 15:22 6m 13s main
main
October 11, 2024 15:22 6m 13s
Add Expr.compare function (Closes #161) Test Bitwuzla #332: Pull request #231 opened by filipeom
October 11, 2024 15:06 5m 31s add-compare
add-compare
October 11, 2024 15:06 5m 31s
mention Alt-Ergo in changes Test Bitwuzla #331: Commit e10a0c2 pushed by filipeom
October 10, 2024 17:45 5m 52s main
main
October 10, 2024 17:45 5m 52s
Update README.md and CHANGES.md Test Bitwuzla #330: Pull request #230 opened by hra687261
October 10, 2024 12:44 6m 16s hra687261:update_readme
hra687261:update_readme
October 10, 2024 12:44 6m 16s
revert colibri2, missing solver message *for real* Test Bitwuzla #329: Commit 17214de pushed by filipeom
October 9, 2024 20:16 5m 50s main
main
October 9, 2024 20:16 5m 50s
Add Alt-Ergo Test Bitwuzla #328: Pull request #228 synchronize by hra687261
October 9, 2024 19:23 5m 38s hra687261:add_alt-ergo
hra687261:add_alt-ergo
October 9, 2024 19:23 5m 38s
Add Alt-Ergo Test Bitwuzla #327: Pull request #228 synchronize by hra687261
October 9, 2024 19:04 7m 1s hra687261:add_alt-ergo
hra687261:add_alt-ergo
October 9, 2024 19:04 7m 1s
Add Alt-Ergo Test Bitwuzla #326: Pull request #228 synchronize by hra687261
October 9, 2024 18:34 5m 58s hra687261:add_alt-ergo
hra687261:add_alt-ergo
October 9, 2024 18:34 5m 58s
Add Alt-Ergo Test Bitwuzla #325: Pull request #228 synchronize by hra687261
October 9, 2024 18:27 5m 34s hra687261:add_alt-ergo
hra687261:add_alt-ergo
October 9, 2024 18:27 5m 34s
Add Alt-Ergo Test Bitwuzla #324: Pull request #228 synchronize by hra687261
October 9, 2024 18:20 5m 56s hra687261:add_alt-ergo
hra687261:add_alt-ergo
October 9, 2024 18:20 5m 56s
Add Alt-Ergo Test Bitwuzla #323: Pull request #228 synchronize by hra687261
October 9, 2024 18:09 5m 29s hra687261:add_alt-ergo
hra687261:add_alt-ergo
October 9, 2024 18:09 5m 29s
Add Alt-Ergo Test Bitwuzla #322: Pull request #228 opened by hra687261
October 9, 2024 18:08 5m 17s hra687261:add_alt-ergo
hra687261:add_alt-ergo
October 9, 2024 18:08 5m 17s
Add --from-file argument to run command Test Bitwuzla #321: Commit 3ce9451 pushed by filipeom
October 7, 2024 19:30 5m 21s main
main
October 7, 2024 19:30 5m 21s
Add --from-file argument to run command Test Bitwuzla #320: Pull request #227 synchronize by filipeom
October 7, 2024 19:14 5m 25s from-file
from-file
October 7, 2024 19:14 5m 25s
Add --from-file argument to run command Test Bitwuzla #319: Pull request #227 opened by filipeom
October 7, 2024 18:15 5m 27s from-file
from-file
October 7, 2024 18:15 5m 27s
Don't clone submodules in CI Test Bitwuzla #318: Commit 23f7136 pushed by filipeom
October 7, 2024 16:35 5m 28s main
main
October 7, 2024 16:35 5m 28s