Skip to content

Actions: sireum/runtime

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow run results
13 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Rewriting system. CI #526: Commit 1d34bbf pushed by robby-phd
February 19, 2024 13:47 4m 53s master
master
February 19, 2024 13:47 4m 53s
Rewriting system. CI #525: Commit c5ccc3f pushed by robby-phd
February 15, 2024 18:23 5m 32s master
master
February 15, 2024 18:23 5m 32s
Rewriting system. CI #524: Commit 0540acc pushed by robby-phd
February 14, 2024 18:55 6m 52s master
master
February 14, 2024 18:55 6m 52s
Rewriting system. CI #523: Commit 5101fb3 pushed by robby-phd
February 9, 2024 22:07 9m 31s master
master
February 9, 2024 22:07 9m 31s
Changed RS as @ext trait. Added ~RS(...). CI #522: Commit 139aac9 pushed by robby-phd
February 9, 2024 14:29 8m 6s master
master
February 9, 2024 14:29 8m 6s
Added B.=>:. CI #521: Commit d79bbc2 pushed by robby-phd
February 8, 2024 19:52 6m 15s master
master
February 8, 2024 19:52 6m 15s
Added rewriting set definition and definitional/abstract strictpure m… CI #520: Commit 176f95e pushed by robby-phd
February 7, 2024 19:36 10m 21s master
master
February 7, 2024 19:36 10m 21s
Added abs and rw annotations. CI #519: Commit fdf5415 pushed by robby-phd
February 7, 2024 14:52 9m 12s master
master
February 7, 2024 14:52 9m 12s
Updated cvc4 installation. CI #518: Commit 6ded6e6 pushed by robby-phd
January 26, 2024 17:03 6m 30s master
master
January 26, 2024 17:03 6m 30s
Updated cvc4 installation. CI #517: Commit 4a8db39 pushed by robby-phd
January 26, 2024 16:53 5m 53s master
master
January 26, 2024 16:53 5m 53s
Updated cvc4 installation. CI #516: Commit 6ded6e6 pushed by robby-phd
January 26, 2024 16:44 7m 2s master
master
January 26, 2024 16:44 7m 2s
Updated cvc5 installation. CI #515: Commit 18f5eb3 pushed by robby-phd
January 26, 2024 16:32 23m 6s master
master
January 26, 2024 16:32 23m 6s
Added jar + path decoding. CI #514: Commit 225bf22 pushed by robby-phd
January 19, 2024 20:19 6m 18s master
master
January 19, 2024 20:19 6m 18s