Skip to content

Actions: formalsec/smtml

Actions

Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
597 workflow runs
597 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Refactor exception handling in operator evaluation Build #1287: Pull request #453 synchronize by filipeom
34m 45s filipe/improve-exception-handling
filipe/improve-exception-handling
34m 45s
Refactor exception handling in operator evaluation Build #1286: Pull request #453 opened by filipeom
36m 32s filipe/improve-exception-handling
filipe/improve-exception-handling
36m 32s
Feature: Random_seed parameter Build #1285: Pull request #452 synchronize by tiferrei
36m 29s tiferrei:main
tiferrei:main
36m 29s
Feature: Random_seed parameter Build #1284: Pull request #452 synchronize by tiferrei
35m 49s tiferrei:main
tiferrei:main
35m 49s
Feature: Random_seed parameter Build #1283: Pull request #452 opened by tiferrei
3m 56s tiferrei:main
tiferrei:main
3m 56s
add the ability to inline a symbol in a set Build #1282: Pull request #451 synchronize by redianthus
36m 41s redianthus:inline_symbol
redianthus:inline_symbol
36m 41s
put the cache info (hits/misses) in solver stats Build #1281: Pull request #449 synchronize by S41d
33m 44s S41d:cache-info-in-solver-stats
S41d:cache-info-in-solver-stats
33m 44s
add the ability to inline a symbol in a set Build #1280: Pull request #451 opened by redianthus
4m 55s redianthus:inline_symbol
redianthus:inline_symbol
4m 55s
put the cache info (hits/misses) in solver stats Build #1279: Pull request #449 synchronize by S41d
37m 50s S41d:cache-info-in-solver-stats
S41d:cache-info-in-solver-stats
37m 50s
put the cache info (hits/misses) in solver stats Build #1278: Pull request #449 synchronize by S41d
36m 8s S41d:cache-info-in-solver-stats
S41d:cache-info-in-solver-stats
36m 8s
put the cache info (hits/misses) in solver stats Build #1277: Pull request #449 opened by S41d
37m 57s S41d:cache-info-in-solver-stats
S41d:cache-info-in-solver-stats
37m 57s
add shell.nix and Nix CI Build #1276: Pull request #448 synchronize by redianthus
35m 55s redianthus:main
redianthus:main
35m 55s
add shell.nix and Nix CI Build #1275: Pull request #448 opened by redianthus
35m 12s redianthus:main
redianthus:main
35m 12s
Add threads to smtml's libraries stanza Build #1274: Pull request #446 opened by filipeom
37m 9s filipe/add-threads-to-libraries
filipe/add-threads-to-libraries
37m 9s
move cache hits and misses to Solver_intf.S Build #1273: Pull request #444 synchronize by filipeom
37m 1s S41d:unify-solver-intf
S41d:unify-solver-intf
37m 1s
move cache hits and misses to Solver_intf.S Build #1272: Pull request #444 opened by S41d
40m 43s S41d:unify-solver-intf
S41d:unify-solver-intf
40m 43s
WIP: Add a simple Smtml.Expr.t -> smt2 pretty printer Build #1271: Pull request #440 opened by filipeom
36m 13s filipe/smt-printer
filipe/smt-printer
36m 13s
Bring back collections-c benchmarking Build #1270: Pull request #439 synchronize by filipeom
36m 58s filipe/benchmarks
filipe/benchmarks
36m 58s
Bring back collections-c benchmarking Build #1269: Pull request #439 opened by filipeom
32s filipe/benchmarks
filipe/benchmarks
32s
Expose solver mappings to declare non-parametric datatypes Build #1268: Pull request #436 synchronize by filipeom
37m 10s filipe/add-datatypes
filipe/add-datatypes
37m 10s
Expose solver mappings to declare non-parametric datatypes Build #1267: Pull request #436 synchronize by filipeom
4m 1s filipe/add-datatypes
filipe/add-datatypes
4m 1s
Fix the printing of bit-vectors and floating-point numbers Build #1266: Pull request #433 synchronize by hra687261
37m 10s hra687261:fix_bv_fp_printing
hra687261:fix_bv_fp_printing
37m 10s
Expose solver mappings to declare non-parametric datatypes Build #1265: Pull request #436 opened by filipeom
36m 19s filipe/add-datatypes
filipe/add-datatypes
36m 19s
Fix the printing of bit-vectors and floating-point numbers Build #1264: Pull request #433 synchronize by hra687261
38m 49s hra687261:fix_bv_fp_printing
hra687261:fix_bv_fp_printing
38m 49s
Expose a solver's M_with_make as part of the solver mappings Build #1263: Pull request #435 opened by filipeom
37m 27s filipe/issue-434
filipe/issue-434
37m 27s