Skip to content

Actions: smtlib/jSMTLIB

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump download-solvers pin to the fixed commit Build jSMTLIB #75: Commit 90ce411 pushed by davidcok
 26m 23s master
master
 26m 23s
Bump download-solvers pin to the fixed commit Build jSMTLIB #74: Commit 90ce411 pushed by davidcok
 20m 13s dev
dev
 20m 13s
Use OpenJML/Solvers' shared download-solvers action instead of an inl… Build jSMTLIB #73: Commit c958379 pushed by davidcok
 20m 2s dev
dev
 20m 2s
Restore full CI solver list, now including bitwuzla and simplify Build jSMTLIB #72: Commit dcc7ab2 pushed by davidcok
 18m 56s dev
dev
 18m 56s
LogicsBadPath: exempt bitwuzla like the other forward-only adapters Build jSMTLIB #71: Commit ad8b45f pushed by davidcok
 6m 22s dev
dev
 6m 22s
Onboard bitwuzla and simplify goldens; fix real adapter bugs found al… Build jSMTLIB #70: Commit 7f6d635 pushed by davidcok
 6m 28s dev
dev
 6m 28s
Add adapters for bitwuzla and alt-ergo, reinstate simplify Build jSMTLIB #69: Commit f207db6 pushed by davidcok
 20m 49s dev
dev
 20m 49s
Launch smtinterpol via the .command property instead of adapter-built… Build jSMTLIB #68: Commit 48f8573 pushed by davidcok
 16m 54s dev
dev
 16m 54s
Fix remaining CI failures for the older z3 versions on Linux/macOS-arm64 Build jSMTLIB #67: Commit d2fb66d pushed by davidcok
 17m 1s dev
dev
 17m 1s
Add golden files for z3-4.5.0/4.6.0/4.7.1/4.12.6 Build jSMTLIB #66: Commit cb1c4ce pushed by davidcok
 16m 24s dev
dev
 16m 24s
Add z3-4.5.0/4.6.0/4.7.1/4.12.6 to the default test solver list Build jSMTLIB #65: Commit 559a4a8 pushed by davidcok
 20m 49s dev
dev
 20m 49s
Fix 40 z3-5.1.0 test failures by restructuring golden files per-version Build jSMTLIB #64: Commit fb50d11 pushed by davidcok
 14m 49s dev
dev
 14m 49s
Trim the default solver set; work around missing linux-arm64 binaries Build jSMTLIB #63: Commit 682fd35 pushed by davidcok
 12m 53s dev
dev
 12m 53s
Widen CI back to the full default solver set (adds yices2, all z3 ver… Build jSMTLIB #62: Commit af733a3 pushed by davidcok
 14m 55s dev
dev
 14m 55s
Wrap SolverProcess.send()'s write path in NoResponseException; skip b… Build jSMTLIB #61: Commit 57db5ba pushed by davidcok
 6m 51s dev
dev
 6m 51s
Disable the heartbeat; restore failure artifact upload on timeout-can… Build jSMTLIB #60: Commit 9b89a1d pushed by davidcok
 8m 35s dev
dev
 8m 35s
Skip err_getInfo2_reasonUnknown.tst for z3-4.3 on arm64 (known timeou… Build jSMTLIB #59: Commit 6221fba pushed by davidcok
 14m 10s dev
dev
 14m 10s
Touching up test output Build jSMTLIB #29: Commit 7e176bb pushed by davidcok
 1m 9s dev
dev
 1m 9s
Merge origin/master (line-ending fixes) into local master Build jSMTLIB #6: Commit af7e8d1 pushed by davidcok
 5m 8s master
master
 5m 8s
More debugging and touchup Build jSMTLIB #5: Commit 43729b2 pushed by davidcok
 5m 6s dev
dev
 5m 6s
More workflow debugging Build jSMTLIB #3: Commit ac46f2b pushed by davidcok
 4m 44s dev
dev
 4m 44s
Debugging workflow Build jSMTLIB #2: Commit c120961 pushed by davidcok
 4m 47s dev
dev
 4m 47s