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

Use dolmen Test Bitwuzla #242: Pull request #202 synchronize by filipeom
September 5, 2024 19:48 4m 11s use-dolmen
use-dolmen
September 5, 2024 19:48 4m 11s
Rename std to syntax and add more list functions in Result Test Bitwuzla #241: Commit 6ac4d6c pushed by filipeom
September 5, 2024 18:13 4m 35s main
main
September 5, 2024 18:13 4m 35s
Rename std to syntax and add more list functions in Result Test Bitwuzla #240: Commit 78e61da pushed by filipeom
September 5, 2024 18:09 4m 18s main
main
September 5, 2024 18:09 4m 18s
Hard code undefined simplifications Test Bitwuzla #239: Commit 73e2bc5 pushed by filipeom
September 5, 2024 15:03 3m 59s main
main
September 5, 2024 15:03 3m 59s
Fix app tests Test Bitwuzla #238: Commit fda436f pushed by filipeom
September 5, 2024 15:00 4m 31s main
main
September 5, 2024 15:00 4m 31s
Explodejs fixes Test Bitwuzla #237: Pull request #206 synchronize by filipeom
September 5, 2024 11:27 3m 58s explodejs-fixes
explodejs-fixes
September 5, 2024 11:27 3m 58s
Explodejs fixes Test Bitwuzla #236: Pull request #206 opened by filipeom
September 5, 2024 11:12 4m 9s explodejs-fixes
explodejs-fixes
September 5, 2024 11:12 4m 9s
Remove unecessary simplify Test Bitwuzla #235: Commit 30d5111 pushed by filipeom
September 2, 2024 15:12 4m 3s main
main
September 2, 2024 15:12 4m 3s
Use dolmen Test Bitwuzla #234: Pull request #202 synchronize by filipeom
September 2, 2024 14:42 4m 8s use-dolmen
use-dolmen
September 2, 2024 14:42 4m 8s
Use dolmen Test Bitwuzla #233: Pull request #202 synchronize by filipeom
September 2, 2024 13:24 4m 16s use-dolmen
use-dolmen
September 2, 2024 13:24 4m 16s
Use dolmen Test Bitwuzla #232: Pull request #202 synchronize by filipeom
September 2, 2024 13:01 5m 30s use-dolmen
use-dolmen
September 2, 2024 13:01 5m 30s
Use dolmen Test Bitwuzla #231: Pull request #202 synchronize by filipeom
September 2, 2024 12:31 3m 59s use-dolmen
use-dolmen
September 2, 2024 12:31 3m 59s
Reorganize smtml executable and add test command Test Bitwuzla #230: Commit 711dbad pushed by filipeom
September 2, 2024 08:19 4m 20s main
main
September 2, 2024 08:19 4m 20s
Add set data structure and new benchmarking dir Test Bitwuzla #229: Pull request #201 synchronize by filipeom
September 2, 2024 08:03 4m 12s improve-cached
improve-cached
September 2, 2024 08:03 4m 12s
Add set data structure and new benchmarking dir Test Bitwuzla #228: Pull request #201 synchronize by filipeom
September 2, 2024 07:19 4m 15s improve-cached
improve-cached
September 2, 2024 07:19 4m 15s
Use dolmen Test Bitwuzla #227: Pull request #202 synchronize by filipeom
September 2, 2024 07:18 4m 24s use-dolmen
use-dolmen
September 2, 2024 07:18 4m 24s
Add set data structure and new benchmarking dir Test Bitwuzla #226: Pull request #201 synchronize by filipeom
August 31, 2024 08:16 4m 1s improve-cached
improve-cached
August 31, 2024 08:16 4m 1s
Use dolmen Test Bitwuzla #225: Pull request #202 opened by filipeom
August 31, 2024 08:14 4m 11s use-dolmen
use-dolmen
August 31, 2024 08:14 4m 11s
Add set data structure and new benchmarking dir Test Bitwuzla #224: Pull request #201 synchronize by filipeom
August 31, 2024 07:51 3m 56s improve-cached
improve-cached
August 31, 2024 07:51 3m 56s
Add set data structure and new benchmarking dir Test Bitwuzla #223: Pull request #201 synchronize by filipeom
August 31, 2024 07:47 4m 8s improve-cached
improve-cached
August 31, 2024 07:47 4m 8s
Add set data structure and new benchmarking dir Test Bitwuzla #222: Pull request #201 opened by filipeom
August 31, 2024 07:45 4m 14s improve-cached
improve-cached
August 31, 2024 07:45 4m 14s
Add some sub-directories in src/ Test Bitwuzla #221: Commit fee718c pushed by filipeom
August 30, 2024 20:24 4m 0s main
main
August 30, 2024 20:24 4m 0s
Organize src a little Test Bitwuzla #220: Pull request #198 synchronize by filipeom
August 30, 2024 20:10 4m 41s org
org
August 30, 2024 20:10 4m 41s
Simplify subtractions with ptr Test Bitwuzla #219: Commit 3b3371f pushed by filipeom
August 27, 2024 13:45 4m 7s main
main
August 27, 2024 13:45 4m 7s
Organize src a little Test Bitwuzla #218: Pull request #198 opened by filipeom
August 27, 2024 13:31 4m 12s org
org
August 27, 2024 13:31 4m 12s