Skip to content

Actions: sireum/logika

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 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
Enhanced ClaimOf justification for lemma/theorem methods. CI #1036: Commit 09a7349 pushed by robby-phd
30m 21s master
master
30m 21s
Disabled cvc5-wasm-server in GitHub Action. CI #1035: Commit 664eb15 pushed by robby-phd
29m 15s master
master
29m 15s
Updated LogikaTest smt2 solver configs. CI #1034: Commit a520b96 pushed by robby-phd
38m 52s master
master
38m 52s
Adapted to Slang changes. CI #1033: Commit 808d0f4 pushed by robby-phd
54m 51s master
master
54m 51s
Added missing files. CI #1032: Commit ed756b3 pushed by robby-phd
49m 50s master
master
49m 50s
Updated to use WasmServer. CI #1027: Commit 365a77f pushed by robby-phd
48m 56s cvc5-wasm
cvc5-wasm
48m 56s
add checkTasksH that allows for task-specific reporting CI #1024: Commit 83dfac1 pushed by jasonbelt
24m 54s master
master
24m 54s
Allowed nat ded justifications to use Ref with witnesses. CI #1023: Commit 0eab392 pushed by robby-phd
30m 22s master
master
30m 22s
Updated copyright years. CI #1022: Commit d49d75c pushed by robby-phd
31m 13s master
master
31m 13s
Adapted to Slang AST changes. CI #1021: Commit 31d4a21 pushed by robby-phd
31m 15s master
master
31m 15s
Fixed IS/MS modifies clause wrt size. CI #1020: Commit 6cabc54 pushed by robby-phd
53m 33s master
master
53m 33s
Updated realfloats and LogikaRcTest. CI #1019: Commit 46988b8 pushed by robby-phd
31m 25s master
master
31m 25s
Updated LogikaRcTest. CI #1018: Commit cfffc8c pushed by robby-phd
30m 20s master
master
30m 20s
Disabled realfloats.sc test in GitHub Action Windows arm64. CI #1017: Commit 3e132c3 pushed by robby-phd
24m 1s master
master
24m 1s
Disabled cvc4 in arm64 platforms. CI #1016: Commit 1cb4c60 pushed by robby-phd
24m 53s master
master
24m 53s
Updated CI.yml. CI #1015: Commit 24c6bf7 pushed by robby-phd
24m 17s master
master
24m 17s
Updated cvc5 and z3 installations. CI #1014: Commit aee8da4 pushed by robby-phd
25m 0s master
master
25m 0s
Fixed pattern var binding name shadowing check. CI #1013: Commit d43a888 pushed by robby-phd
27m 3s master
master
27m 3s
Added subZ type invariants on declare-const. CI #1012: Commit f723672 pushed by robby-phd
50m 23s master
master
50m 23s
Fixed Logika.evalExp.evalQuantType value inv. Added value invariant o… CI #1011: Commit 273361f pushed by robby-phd
25m 58s master
master
25m 58s
Fixed assertion on ClaimsToExps let context. CI #1010: Commit c335e92 pushed by robby-phd
24m 21s master
master
24m 21s
Added support for sub-Z Min and Max. CI #1009: Commit 570d3a6 pushed by robby-phd
1h 1m 32s master
master
1h 1m 32s
Updated ignored examples. CI #1008: Commit 7c54519 pushed by robby-phd
49m 30s master
master
49m 30s
Fixed Java caching in CI. CI #1007: Commit 04d0d36 pushed by robby-phd
8m 16s master
master
8m 16s
Expanded CI to test on both amd64 and arm64 platforms. CI #1006: Commit 44cc671 pushed by robby-phd
46m 43s master
master
46m 43s