Skip to content

Actions: sireum/logika

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
173 workflow runs
173 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added CoreExp.StringInterpolate. CI #962: Commit af263f7 pushed by robby-phd
October 1, 2024 13:30 18m 52s master
master
October 1, 2024 13:30 18m 52s
Logika API changes to accept an initial (e.g., pre-built library) typ… CI #961: Commit 2f05769 pushed by robby-phd
September 30, 2024 19:59 19m 0s master
master
September 30, 2024 19:59 19m 0s
Adapted to Slang changes. CI #960: Commit f1cb9a5 pushed by robby-phd
September 30, 2024 03:01 1h 24m 36s master
master
September 30, 2024 03:01 1h 24m 36s
Fixed PbC. CI #959: Commit 248b670 pushed by robby-phd
September 27, 2024 16:45 32m 34s master
master
September 27, 2024 16:45 32m 34s
Extended and refactored CoreExp API. CI #958: Commit 1a26aac pushed by robby-phd
September 23, 2024 14:28 23m 28s master
master
September 23, 2024 14:28 23m 28s
Refactored CoreExp translation out from Logika to Slang. CI #957: Commit 1bccfb1 pushed by robby-phd
September 23, 2024 13:14 32m 36s master
master
September 23, 2024 13:14 32m 36s
Create LICENSE.md (#4) CI #956: Commit b465fce pushed by robby-phd
September 20, 2024 22:30 1h 5m 3s master
master
September 20, 2024 22:30 1h 5m 3s
Addressed whitespace issues in SIREUM_HOME path. CI #955: Commit 2c9dbe4 pushed by robby-phd
September 12, 2024 19:40 58m 34s master
master
September 12, 2024 19:40 58m 34s
Addressed whitespace issues in SIREUM_HOME path. CI #954: Commit 0704b88 pushed by robby-phd
September 11, 2024 21:14 1h 32m 27s master
master
September 11, 2024 21:14 1h 32m 27s
Addressed whitespace issues in SIREUM_HOME path. CI #953: Commit dcfa1b1 pushed by robby-phd
September 11, 2024 15:14 34m 1s master
master
September 11, 2024 15:14 34m 1s
Allowed empty subproofs. CI #952: Commit aaa4341 pushed by robby-phd
September 11, 2024 02:06 32m 53s master
master
September 11, 2024 02:06 32m 53s
Added coverage reporting on Task.Claim.compute. CI #951: Commit a227a89 pushed by robby-phd
September 10, 2024 20:33 23m 31s master
master
September 10, 2024 20:33 23m 31s
Allowed ReporterImpl to be subclassed. CI #950: Commit 3e3acd7 pushed by robby-phd
September 9, 2024 23:49 39m 20s master
master
September 9, 2024 23:49 39m 20s
Tweaked claim and rewriting feedback. CI #949: Commit 5de1715 pushed by robby-phd
September 4, 2024 15:45 24m 20s master
master
September 4, 2024 15:45 24m 20s
Added Task.Claim. CI #948: Commit 16b3f56 pushed by robby-phd
August 30, 2024 21:56 32m 40s master
master
August 30, 2024 21:56 32m 40s
Adapted to OptionMap changes. CI #947: Commit bcddbd7 pushed by robby-phd
August 13, 2024 18:58 38m 17s master
master
August 13, 2024 18:58 38m 17s
Added smtlib-parser. CI #946: Commit 6b43b11 pushed by robby-phd
May 16, 2024 12:01 55m 2s master
master
May 16, 2024 12:01 55m 2s
Fixed smt2 query check timing. CI #945: Commit 02e2809 pushed by robby-phd
April 12, 2024 11:24 25m 15s master
master
April 12, 2024 11:24 25m 15s
Updated opsem.sc and opsem-alt.sc. CI #944: Commit 4ca6499 pushed by robby-phd
April 9, 2024 15:26 25m 48s master
master
April 9, 2024 15:26 25m 48s
Enhanced Premise. CI #943: Commit 409e606 pushed by robby-phd
April 8, 2024 15:21 24m 8s master
master
April 8, 2024 15:21 24m 8s
Removed mill configs. CI #942: Commit ed8dc2c pushed by robby-phd
April 6, 2024 13:29 24m 17s master
master
April 6, 2024 13:29 24m 17s
Fixed non-zero check message. CI #941: Commit 375c199 pushed by robby-phd
April 4, 2024 19:07 25m 41s master
master
April 4, 2024 19:07 25m 41s
Renamed opsem.sc and opsem-alt.sc. CI #940: Commit 99b164f pushed by robby-phd
April 3, 2024 14:54 24m 29s master
master
April 3, 2024 14:54 24m 29s
Removed build.sc CI #939: Commit f99298c pushed by robby-phd
March 29, 2024 19:21 28m 13s master
master
March 29, 2024 19:21 28m 13s
Updated build.cmd. CI #938: Commit f89dd53 pushed by robby-phd
March 29, 2024 13:34 25m 29s master
master
March 29, 2024 13:34 25m 29s