Skip to content

Actions: formalsec/smtml

Test Bitwuzla

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
392 workflow runs
392 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Caches consts
Test Bitwuzla #292: Pull request #221 opened by filipeom
October 3, 2024 09:49 9m 10s caches-consts
October 3, 2024 09:49 9m 10s
Add support for regular expressions
Test Bitwuzla #291: Pull request #220 opened by joaomhmpereira
October 1, 2024 19:07 9m 1s add-regexp
October 1, 2024 19:07 9m 1s
Fix parsing for .smt2 files
Test Bitwuzla #290: Pull request #219 synchronize by joaomhmpereira
September 30, 2024 15:55 5m 56s fix-parsing
September 30, 2024 15:55 5m 56s
Fix parsing for .smt2 files
Test Bitwuzla #289: Pull request #219 synchronize by joaomhmpereira
September 29, 2024 14:59 5m 49s fix-parsing
September 29, 2024 14:59 5m 49s
Fix parsing for .smt2 files
Test Bitwuzla #288: Pull request #219 synchronize by joaomhmpereira
September 29, 2024 14:26 5m 51s fix-parsing
September 29, 2024 14:26 5m 51s
Fix parsing for .smt2 files
Test Bitwuzla #287: Pull request #219 opened by joaomhmpereira
September 28, 2024 11:06 8m 52s fix-parsing
September 28, 2024 11:06 8m 52s
Parse smt2 logic correctly
Test Bitwuzla #286: Commit 80743e9 pushed by filipeom
September 20, 2024 08:28 6m 16s main
September 20, 2024 08:28 6m 16s
Add some comments
Test Bitwuzla #285: Commit 991e17d pushed by filipeom
September 20, 2024 08:13 6m 8s main
September 20, 2024 08:13 6m 8s
Make test_fp.smt2 faster and fix parsing of fp32 literals
Test Bitwuzla #284: Commit 30b49ba pushed by filipeom
September 19, 2024 07:03 5m 53s main
September 19, 2024 07:03 5m 53s
Add SMTLIB parsing for FPs
Test Bitwuzla #283: Pull request #217 synchronize by filipeom
September 18, 2024 17:32 6m 6s extend-smt2
September 18, 2024 17:32 6m 6s
Add SMTLIB parsing for FPs
Test Bitwuzla #282: Pull request #217 synchronize by joaomhmpereira
September 18, 2024 15:57 5m 49s extend-smt2
September 18, 2024 15:57 5m 49s
Add SMTLIB parsing for FPs
Test Bitwuzla #281: Pull request #217 opened by joaomhmpereira
September 18, 2024 14:28 5m 55s extend-smt2
September 18, 2024 14:28 5m 55s
Add back colibrilib pin dependency to fix CI
Test Bitwuzla #280: Commit 2cbc033 pushed by filipeom
September 17, 2024 18:23 6m 1s main
September 17, 2024 18:23 6m 1s
Update colibri2 and dolmen
Test Bitwuzla #279: Pull request #216 synchronize by hra687261
September 17, 2024 18:07 6m 36s hra687261:update_colibri2
September 17, 2024 18:07 6m 36s
Update colibri2 and dolmen
Test Bitwuzla #278: Pull request #216 synchronize by hra687261
September 17, 2024 18:01 6m 5s hra687261:update_colibri2
September 17, 2024 18:01 6m 5s
Update colibri2 and dolmen
Test Bitwuzla #277: Pull request #216 opened by hra687261
September 17, 2024 17:58 5m 57s hra687261:update_colibri2
September 17, 2024 17:58 5m 57s
Fix binary list operators
Test Bitwuzla #276: Commit 9a9c26d pushed by filipeom
September 17, 2024 17:46 5m 51s main
September 17, 2024 17:46 5m 51s
Fix binary list operators
Test Bitwuzla #275: Pull request #215 synchronize by filipeom
September 17, 2024 17:29 5m 56s list-simpl
September 17, 2024 17:29 5m 56s
Fix binary list operators
Test Bitwuzla #274: Pull request #215 opened by filipeom
September 17, 2024 17:14 5m 56s list-simpl
September 17, 2024 17:14 5m 56s
Adds missing string operators: < and <=
Test Bitwuzla #273: Commit 24435b5 pushed by filipeom
September 17, 2024 14:44 6m 3s main
September 17, 2024 14:44 6m 3s
Fix Colibri2 mapping of cvtop operations
Test Bitwuzla #272: Commit 8b16db4 pushed by filipeom
September 16, 2024 21:18 6m 7s main
September 16, 2024 21:18 6m 7s
Fix Colibri2 mapping of cvtop operations
Test Bitwuzla #271: Pull request #214 opened by hra687261
September 16, 2024 20:41 6m 20s hra687261:fix_colibri2_cvtop
September 16, 2024 20:41 6m 20s
This has to fix CI
Test Bitwuzla #270: Commit 30dc99f pushed by filipeom
September 15, 2024 19:33 5m 50s main
September 15, 2024 19:33 5m 50s
Try to fix CI again
Test Bitwuzla #269: Commit 519f165 pushed by filipeom
September 14, 2024 18:01 5m 53s main
September 14, 2024 18:01 5m 53s
Try to fix CI again
Test Bitwuzla #268: Commit a2c0895 pushed by filipeom
September 14, 2024 17:43 5m 52s main
September 14, 2024 17:43 5m 52s