Skip to content

Actions: sireum/slang

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
143 workflow runs
143 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updated copyright years. CI #493: Commit 7fa2b32 pushed by robby-phd
January 8, 2025 17:28 7m 23s master
master
January 8, 2025 17:28 7m 23s
Always use memoized FrontEnd.checkedLibraryReporter. CI #492: Commit 43b8463 pushed by robby-phd
December 12, 2024 15:54 13m 16s master
master
December 12, 2024 15:54 13m 16s
Added ProofAst.Step.Let.context. CI #491: Commit 0e1183a pushed by robby-phd
November 20, 2024 21:09 28m 23s master
master
November 20, 2024 21:09 28m 23s
Updated CI. CI #490: Commit a4487f9 pushed by robby-phd
October 21, 2024 23:47 7m 34s master
master
October 21, 2024 23:47 7m 34s
Refactored CoreExp. CI #489: Commit bdcf941 pushed by robby-phd
October 19, 2024 23:11 10m 47s master
master
October 19, 2024 23:11 10m 47s
Slang evaluator. CI #488: Commit ba51c13 pushed by robby-phd
October 19, 2024 22:03 7m 18s master
master
October 19, 2024 22:03 7m 18s
Slang evaluator. CI #487: Commit 25a4a15 pushed by robby-phd
October 19, 2024 20:24 27m 36s master
master
October 19, 2024 20:24 27m 36s
Slang evaluator. Renamed CoreExp.VarRef to CoreExp.ObjectVarRef. CI #486: Commit 19d9734 pushed by robby-phd
October 19, 2024 01:54 19m 36s master
master
October 19, 2024 01:54 19m 36s
Translate instance method invocation using Apply and Select. CI #485: Commit 2bc31c0 pushed by robby-phd
October 19, 2024 00:18 7m 10s master
master
October 19, 2024 00:18 7m 10s
Fixed tipe. CI #484: Commit 1b60994 pushed by robby-phd
October 18, 2024 22:30 13m 56s master
master
October 18, 2024 22:30 13m 56s
Slang evaluator. CI #483: Commit d541e99 pushed by robby-phd
October 18, 2024 22:15 1m 10s master
master
October 18, 2024 22:15 1m 10s
Fixed TypeHierarchy.induct on trees. CI #482: Commit 7136314 pushed by robby-phd
October 17, 2024 11:08 36m 28s master
master
October 17, 2024 11:08 36m 28s
Fixed sireum slang template column option short key. CI #481: Commit 370320a pushed by robby-phd
October 14, 2024 15:17 10m 46s master
master
October 14, 2024 15:17 10m 46s
Added column option in sireum slang template. CI #480: Commit 07e83e2 pushed by robby-phd
October 14, 2024 15:11 42m 11s master
master
October 14, 2024 15:11 42m 11s
Added Slang refactoring and template insertion tools. CI #479: Commit eb6cf64 pushed by robby-phd
October 12, 2024 21:33 13m 53s master
master
October 12, 2024 21:33 13m 53s
Normalized x.<op>(y) to x <op> y. CI #478: Commit dfd8a80 pushed by robby-phd
October 11, 2024 14:22 42m 12s master
master
October 11, 2024 14:22 42m 12s
Fixed Assert proof step handling. CI #477: Commit d3f5973 pushed by robby-phd
October 11, 2024 13:52 55m 10s master
master
October 11, 2024 13:52 55m 10s
TypeHierarchy.ExpNormalizer now transforms x.++(y) as x ++ y. CI #476: Commit d96e642 pushed by robby-phd
October 11, 2024 11:33 14m 1s master
master
October 11, 2024 11:33 14m 1s
Transform abs methods and check them similar to strictpure methods. CI #475: Commit 341c04c pushed by robby-phd
October 9, 2024 13:22 14m 45s master
master
October 9, 2024 13:22 14m 45s
Slang script support for VSCode. CI #474: Commit c2e3b9d pushed by robby-phd
October 9, 2024 01:17 40m 30s master
master
October 9, 2024 01:17 40m 30s
Simplified State.Type. CI #473: Commit 30c10a9 pushed by robby-phd
October 8, 2024 19:48 14m 8s master
master
October 8, 2024 19:48 14m 8s
Slang evaluator. CI #472: Commit 4bbc336 pushed by robby-phd
October 4, 2024 19:50 36m 19s master
master
October 4, 2024 19:50 36m 19s
Slang evaluator. CI #471: Commit 04087ff pushed by robby-phd
October 4, 2024 15:09 38m 26s master
master
October 4, 2024 15:09 38m 26s
Refined Reflection API. CI #470: Commit 79c878e pushed by robby-phd
October 4, 2024 14:04 28m 10s master
master
October 4, 2024 14:04 28m 10s
Use Macro.isNative. CI #469: Commit 6ca16be pushed by robby-phd
October 2, 2024 18:53 15m 31s master
master
October 2, 2024 18:53 15m 31s