Skip to content

Actions: formalsec/smtml

Actions

Test Z3

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add bitvector library Test Z3 #461: Pull request #284 synchronize by filipeom
February 18, 2025 09:11 15m 23s filipeom:add-bitvector
filipeom:add-bitvector
February 18, 2025 09:11 15m 23s
Add bitvector library Test Z3 #460: Pull request #284 synchronize by filipeom
February 17, 2025 21:36 14m 49s filipeom:add-bitvector
filipeom:add-bitvector
February 17, 2025 21:36 14m 49s
Add bitvector library Test Z3 #459: Pull request #284 synchronize by filipeom
February 17, 2025 21:19 14m 55s filipeom:add-bitvector
filipeom:add-bitvector
February 17, 2025 21:19 14m 55s
Add bitvector library Test Z3 #458: Pull request #284 synchronize by filipeom
February 17, 2025 20:20 16m 5s filipeom:add-bitvector
filipeom:add-bitvector
February 17, 2025 20:20 16m 5s
Add bitvector library Test Z3 #457: Pull request #284 synchronize by filipeom
February 17, 2025 19:40 15m 7s filipeom:add-bitvector
filipeom:add-bitvector
February 17, 2025 19:40 15m 7s
Add bitvector library Test Z3 #456: Pull request #284 synchronize by filipeom
February 16, 2025 16:38 15m 25s filipeom:add-bitvector
filipeom:add-bitvector
February 16, 2025 16:38 15m 25s
Add bitvector library Test Z3 #455: Pull request #284 synchronize by filipeom
February 16, 2025 15:58 14m 43s filipeom:add-bitvector
filipeom:add-bitvector
February 16, 2025 15:58 14m 43s
Add bitvector library Test Z3 #454: Pull request #284 synchronize by filipeom
February 16, 2025 11:50 14m 47s filipeom:add-bitvector
filipeom:add-bitvector
February 16, 2025 11:50 14m 47s
Add bitvector library Test Z3 #453: Pull request #284 synchronize by filipeom
February 16, 2025 10:51 14m 30s filipeom:add-bitvector
filipeom:add-bitvector
February 16, 2025 10:51 14m 30s
Add bitvector library Test Z3 #452: Pull request #284 synchronize by filipeom
February 15, 2025 21:55 4m 41s filipeom:add-bitvector
filipeom:add-bitvector
February 15, 2025 21:55 4m 41s
optimize Expr.equal, cache Expr.simplify Test Z3 #451: Commit 9805061 pushed by filipeom
February 12, 2025 20:27 14m 52s main
main
February 12, 2025 20:27 14m 52s
Add bitvector library Test Z3 #450: Pull request #284 synchronize by filipeom
February 12, 2025 16:24 16m 3s filipeom:add-bitvector
filipeom:add-bitvector
February 12, 2025 16:24 16m 3s
Add bitvector library Test Z3 #449: Pull request #284 synchronize by filipeom
February 12, 2025 16:07 1m 36s filipeom:add-bitvector
filipeom:add-bitvector
February 12, 2025 16:07 1m 36s
optimize Expr.equal, cache Expr.simplify Test Z3 #448: Pull request #285 opened by zapashcanon
February 12, 2025 11:59 15m 57s zapashcanon:main
zapashcanon:main
February 12, 2025 11:59 15m 57s
Add bitvector library Test Z3 #447: Pull request #284 opened by filipeom
February 11, 2025 14:37 1m 49s filipeom:add-bitvector
filipeom:add-bitvector
February 11, 2025 14:37 1m 49s
Fix synopsis Test Z3 #446: Commit 8393d76 pushed by filipeom
February 11, 2025 12:39 17m 54s main
main
February 11, 2025 12:39 17m 54s
Fix synopsis Test Z3 #445: Pull request #283 opened by filipeom
February 11, 2025 12:20 18m 52s filipeom:fix-synopsis
filipeom:fix-synopsis
February 11, 2025 12:20 18m 52s
Bring back forall and exists quantifiers (Closes #200) Test Z3 #444: Commit 67ef314 pushed by filipeom
February 9, 2025 20:38 14m 44s main
main
February 9, 2025 20:38 14m 44s
Bring back forall and exists quantifiers (Closes #200) Test Z3 #443: Pull request #281 synchronize by filipeom
February 9, 2025 20:20 14m 52s filipeom:add-quantifiers
filipeom:add-quantifiers
February 9, 2025 20:20 14m 52s
Bring back forall and exists quantifiers (Closes #200) Test Z3 #442: Pull request #281 opened by filipeom
February 9, 2025 20:18 14m 38s filipeom:add-quantifiers
filipeom:add-quantifiers
February 9, 2025 20:18 14m 38s
Update README.md with how to install at least one solver (Closes #164) Test Z3 #441: Commit 1c89bd4 pushed by filipeom
February 8, 2025 20:15 14m 46s main
main
February 8, 2025 20:15 14m 46s
Update README.md with how to install at least one solver (Closes #164) Test Z3 #440: Pull request #280 opened by filipeom
February 8, 2025 20:00 14m 45s filipeom:update-readme
filipeom:update-readme
February 8, 2025 20:00 14m 45s
Add floating-point operator Copysign (Closes #185) Test Z3 #439: Commit 062100a pushed by filipeom
February 8, 2025 19:59 14m 42s main
main
February 8, 2025 19:59 14m 42s
Add floating-point operator Copysign (Closes #185) Test Z3 #438: Pull request #279 opened by filipeom
February 8, 2025 19:39 14m 41s filipeom:add-copysign
filipeom:add-copysign
February 8, 2025 19:39 14m 41s
Add sign extension to operators with unsigned counter parts (Closes #… Test Z3 #437: Commit 5ac25aa pushed by filipeom
February 8, 2025 19:16 14m 56s main
main
February 8, 2025 19:16 14m 56s