Skip to content

Actions: sireum/slang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
180 workflow runs
180 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

@ induct support. CI #436: Commit aaed62e pushed by robby-phd
March 19, 2024 14:24 7m 30s master
master
March 19, 2024 14:24 7m 30s
Updated imply and short-circuit imply symbols. CI #435: Commit 44bfe95 pushed by robby-phd
March 19, 2024 11:46 7m 50s master
master
March 19, 2024 11:46 7m 50s
@ induct support. CI #434: Commit 6c07e9a pushed by robby-phd
March 19, 2024 11:36 8m 9s master
master
March 19, 2024 11:36 8m 9s
@ induct support. CI #433: Commit 54fb52e pushed by robby-phd
March 18, 2024 21:58 12m 15s master
master
March 18, 2024 21:58 12m 15s
Fixed implicit this expansion in method invocation. CI #432: Commit 0aa96ab pushed by robby-phd
March 18, 2024 18:14 15m 19s master
master
March 18, 2024 18:14 15m 19s
Added @induct. CI #431: Commit 80b0b79 pushed by robby-phd
March 18, 2024 14:50 14m 25s master
master
March 18, 2024 14:50 14m 25s
Changed RS synthetic companion $ to $$ to avoid conflict with extensi… CI #430: Commit cea089b pushed by robby-phd
March 17, 2024 19:26 8m 49s master
master
March 17, 2024 19:26 8m 49s
Fixed implicit this type checking. CI #429: Commit 923b88f pushed by robby-phd
March 17, 2024 19:10 15m 7s master
master
March 17, 2024 19:10 15m 7s
Rewriting system. CI #428: Commit 4cbbac3 pushed by robby-phd
March 17, 2024 15:16 7m 53s master
master
March 17, 2024 15:16 7m 53s
Rewriting system. CI #427: Commit c48bacd pushed by robby-phd
March 16, 2024 16:30 8m 7s master
master
March 16, 2024 16:30 8m 7s
More proof template insertion in subproof/let fixes. CI #426: Commit 05ea7c4 pushed by robby-phd
March 11, 2024 18:19 10m 9s master
master
March 11, 2024 18:19 10m 9s
More proof template insertion in subproof/let fixes. CI #425: Commit e502728 pushed by robby-phd
March 11, 2024 17:58 10m 56s master
master
March 11, 2024 17:58 10m 56s
Added scalameta location workaround for let proof step. CI #424: Commit c9fe4c4 pushed by robby-phd
March 11, 2024 16:53 12m 21s master
master
March 11, 2024 16:53 12m 21s
Rewriting system. CI #423: Commit 3618732 pushed by robby-phd
March 8, 2024 20:01 15m 34s master
master
March 8, 2024 20:01 15m 34s
Improved proof template insertion location. CI #422: Commit d02b437 pushed by robby-phd
March 6, 2024 12:37 7m 45s master
master
March 6, 2024 12:37 7m 45s
Fixed assert and let templates. CI #421: Commit 775a19a pushed by robby-phd
March 5, 2024 23:07 12m 10s master
master
March 5, 2024 23:07 12m 10s
Fixed subproof and let templates. CI #420: Commit e3ae04b pushed by robby-phd
March 5, 2024 23:06 11m 23s master
master
March 5, 2024 23:06 11m 23s
Fixed proof step template insertion on Windows. CI #419: Commit cd58f28 pushed by robby-phd
March 5, 2024 22:51 24m 1s master
master
March 5, 2024 22:51 24m 1s
Added <companion>.$.<id> syntax to refer to instance methods in RS(...). CI #418: Commit c0c48df pushed by robby-phd
March 4, 2024 23:06 29m 24s master
master
March 4, 2024 23:06 29m 24s
Allowed RS method eta-expansion without type parameters. Fixed copy f… CI #417: Commit 396bf42 pushed by robby-phd
March 4, 2024 16:51 9m 20s master
master
March 4, 2024 16:51 9m 20s
Ensure to preserve consistent line separators after formatting/proof … CI #416: Commit 262685b pushed by robby-phd
March 2, 2024 14:06 7m 59s master
master
March 2, 2024 14:06 7m 59s
Rewriting system. CI #415: Commit 6d071d5 pushed by robby-phd
February 29, 2024 15:56 14m 40s master
master
February 29, 2024 15:56 14m 40s
Fixed proof template insertion and formatting. CI #414: Commit 2396c10 pushed by robby-phd
February 29, 2024 02:02 31m 59s master
master
February 29, 2024 02:02 31m 59s
Rewriting system. CI #413: Commit f78832d pushed by robby-phd
February 29, 2024 00:45 8m 5s master
master
February 29, 2024 00:45 8m 5s
Fixed proof-related templates. CI #412: Commit eaadc97 pushed by robby-phd
February 27, 2024 21:22 7m 40s master
master
February 27, 2024 21:22 7m 40s