Skip to content

Actions: moves-rwth/caesar

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
238 workflow runs
238 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

jani: add Display impls Rust #205: Commit 8052332 pushed by Philipp15b
October 18, 2024 14:55 17m 51s main
main
October 18, 2024 14:55 17m 51s
jani: add Clone impls Rust #204: Commit 5c8f8a6 pushed by Philipp15b
October 18, 2024 11:31 16m 21s main
main
October 18, 2024 11:31 16m 21s
jani: add more impls for Identifier type Rust #203: Commit 4eff455 pushed by Philipp15b
October 18, 2024 09:28 16m 3s main
main
October 18, 2024 09:28 16m 3s
slicing: docs fixes Rust #202: Commit 3d8d065 pushed by Philipp15b
October 17, 2024 14:18 15m 43s main
main
October 17, 2024 14:18 15m 43s
slicing: update docs Rust #201: Commit fa04758 pushed by Philipp15b
October 17, 2024 14:14 16m 46s main
main
October 17, 2024 14:14 16m 46s
slicing: add minimal unsat subset algorithm, default to unsat core Rust #200: Commit 70efc68 pushed by Philipp15b
October 17, 2024 13:52 15m 42s main
main
October 17, 2024 13:52 15m 42s
39 vscode extension better status bar information Rust #199: Pull request #48 opened by umutdural
October 9, 2024 14:02 16m 16s umutdural:39-vscode-extension-better-status-bar-information
umutdural:39-vscode-extension-better-status-bar-information
October 9, 2024 14:02 16m 16s
Merge pull request #47 from ole-thoeb/integration-tests-windows Rust #198: Commit 64302f2 pushed by Philipp15b
October 8, 2024 14:02 15m 48s main
main
October 8, 2024 14:02 15m 48s
Use cmd to run integration tests on windows Rust #197: Pull request #47 opened by ole-thoeb
October 8, 2024 10:06 15m 14s ole-thoeb:integration-tests-windows
ole-thoeb:integration-tests-windows
October 8, 2024 10:06 15m 14s
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