Skip to content

Actions: moves-rwth/caesar

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
195 workflow runs
195 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix merge conflict Rust #196: Commit 51e5c11 pushed by Philipp15b
October 4, 2024 12:20 15m 5s main
main
October 4, 2024 12:20 15m 5s
Merge pull request #42 from umutdural/32-calculus-annotations-check-p… Rust #195: Commit c989402 pushed by Philipp15b
October 4, 2024 11:56 13m 39s main
main
October 4, 2024 11:56 13m 39s
encodings: k-induction k=0 bug fix (#46) Rust #194: Commit 5859929 pushed by Philipp15b
October 4, 2024 07:36 15m 10s main
main
October 4, 2024 07:36 15m 10s
clippy, whitespace, minor correction Rust #193: Commit ca32fd3 pushed by Philipp15b
October 3, 2024 14:25 15m 11s main
main
October 3, 2024 14:25 15m 11s
45 k induction stack overflow when k=0 Rust #192: Pull request #46 opened by umutdural
October 1, 2024 19:01 13m 27s umutdural:45-k-induction-stack-overflow-when-k=0
umutdural:45-k-induction-stack-overflow-when-k=0
October 1, 2024 19:01 13m 27s
Refactored unsoundness checking Rust #191: Pull request #42 synchronize by umutdural
September 25, 2024 15:48 15m 8s umutdural:32-calculus-annotations-check-proc-calls
umutdural:32-calculus-annotations-check-proc-calls
September 25, 2024 15:48 15m 8s
Refactored unsoundness checking Rust #190: Pull request #42 synchronize by umutdural
September 25, 2024 14:12 14m 42s umutdural:32-calculus-annotations-check-proc-calls
umutdural:32-calculus-annotations-check-proc-calls
September 25, 2024 14:12 14m 42s
docs: add note about slicing cmd flags Rust #189: Commit 898e9f9 pushed by Philipp15b
August 21, 2024 08:52 15m 44s main
main
August 21, 2024 08:52 15m 44s
vscode-ext: autostart server by default Rust #188: Commit 3a24726 pushed by Philipp15b
August 10, 2024 06:48 15m 29s main
main
August 10, 2024 06:48 15m 29s
Refactored unsoundness checking Rust #187: Pull request #42 synchronize by umutdural
August 6, 2024 13:10 15m 53s umutdural:32-calculus-annotations-check-proc-calls
umutdural:32-calculus-annotations-check-proc-calls
August 6, 2024 13:10 15m 53s
proof rules: add empty line in doc comment Rust #186: Commit e74328c pushed by Philipp15b
August 5, 2024 07:30 15m 39s main
main
August 5, 2024 07:30 15m 39s
slicing: better wording in the model Rust #185: Commit dbb1d67 pushed by Philipp15b
July 29, 2024 11:29 15m 45s main
main
July 29, 2024 11:29 15m 45s
Refactored unsoundness checking Rust #184: Pull request #42 opened by umutdural
July 10, 2024 00:46 16m 25s umutdural:32-calculus-annotations-check-proc-calls
umutdural:32-calculus-annotations-check-proc-calls
July 10, 2024 00:46 16m 25s
version 2.0.8 Rust #183: Commit efe6614 pushed by Philipp15b
June 25, 2024 13:25 15m 32s main
main
June 25, 2024 13:25 15m 32s
version 2.0.8 Rust #182: Commit efe6614 pushed by Philipp15b
June 25, 2024 13:25 15m 37s v2.0.8
v2.0.8
June 25, 2024 13:25 15m 37s
lsp: also show diagnostic note in client Rust #181: Commit a734b28 pushed by Philipp15b
June 22, 2024 22:20 20m 39s main
main
June 22, 2024 22:20 20m 39s
tycheck: better error message for immutable assigns Rust #180: Commit ff1961e pushed by Philipp15b
June 22, 2024 22:05 20m 14s main
main
June 22, 2024 22:05 20m 14s
mc: fix translation of local variable initializers Rust #179: Commit ff82939 pushed by Philipp15b
June 22, 2024 14:18 15m 46s main
main
June 22, 2024 14:18 15m 46s
clippy Rust #178: Commit 0e47be9 pushed by Philipp15b
June 21, 2024 14:09 16m 14s main
main
June 21, 2024 14:09 16m 14s
proof rules: better error handling Rust #177: Commit d432bbd pushed by Philipp15b
June 21, 2024 13:29 15m 41s main
main
June 21, 2024 13:29 15m 41s
vscode-ext: make show output command always available Rust #176: Commit 8a45abb pushed by Philipp15b
June 19, 2024 12:13 16m 9s main
main
June 19, 2024 12:13 16m 9s
website: add expression documentation (fix #28) Rust #175: Commit d505e9e pushed by Philipp15b
June 18, 2024 12:25 15m 40s main
main
June 18, 2024 12:25 15m 40s
version 2.0.7 Rust #174: Commit ab9cbd3 pushed by Philipp15b
June 5, 2024 09:57 15m 56s v2.0.7
v2.0.7
June 5, 2024 09:57 15m 56s
version 2.0.7 Rust #173: Commit ab9cbd3 pushed by Philipp15b
June 5, 2024 09:57 15m 23s main
main
June 5, 2024 09:57 15m 23s
website: add section on while loops Rust #172: Commit cb6bcf0 pushed by Philipp15b
June 4, 2024 11:40 17m 21s main
main
June 4, 2024 11:40 17m 21s