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

Implement execution of swine-z3 on SMT2 files Rust #280: Pull request #65 opened by SeRin-Yang
February 11, 2025 22:39 Action required SeRin-Yang:main
SeRin-Yang:main
February 11, 2025 22:39 Action required
website: minor improvements and add search Rust #279: Commit d4fd2ae pushed by Philipp15b
February 10, 2025 22:20 15m 26s main
main
February 10, 2025 22:20 15m 26s
lsp server: fix response sending order Rust #278: Pull request #64 synchronize by umutdural
February 8, 2025 00:23 15m 13s umutdural:fix-timeout-delay
umutdural:fix-timeout-delay
February 8, 2025 00:23 15m 13s
lsp server: fix response sending order Rust #277: Pull request #64 synchronize by umutdural
February 4, 2025 11:16 15m 43s umutdural:fix-timeout-delay
umutdural:fix-timeout-delay
February 4, 2025 11:16 15m 43s
clippy & fmt Rust #276: Commit d46da59 pushed by Philipp15b
January 31, 2025 20:03 16m 21s main
main
January 31, 2025 20:03 16m 21s
add support for z3 probes Rust #275: Commit 4d47855 pushed by Philipp15b
January 31, 2025 20:00 15m 25s main
main
January 31, 2025 20:00 15m 25s
main: early exit for --no-verify for just model checking Rust #274: Commit 423e785 pushed by Philipp15b
January 30, 2025 18:26 15m 9s main
main
January 30, 2025 18:26 15m 9s
mc: fix logic to determine when to emit JANI Rust #273: Commit e31c396 pushed by Philipp15b
January 30, 2025 17:59 15m 8s main
main
January 30, 2025 17:59 15m 8s
docs: add note about NO_COLOR env var Rust #272: Commit 2c7d593 pushed by Philipp15b
January 30, 2025 17:13 15m 17s main
main
January 30, 2025 17:13 15m 17s
lsp server: fix response sending order Rust #271: Pull request #64 opened by umutdural
January 29, 2025 00:23 15m 2s umutdural:fix-timeout-delay
umutdural:fix-timeout-delay
January 29, 2025 00:23 15m 2s
Caesar 2.1.2 Rust #270: Commit 0342e2a pushed by Philipp15b
January 22, 2025 16:55 15m 33s v2.1.2
v2.1.2
January 22, 2025 16:55 15m 33s
Caesar 2.1.2 Rust #269: Commit 0342e2a pushed by Philipp15b
January 22, 2025 16:55 15m 13s main
main
January 22, 2025 16:55 15m 13s
lsp server: enable option to prevent crash Rust #268: Commit e61cbbf pushed by Philipp15b
January 22, 2025 16:21 15m 35s main
main
January 22, 2025 16:21 15m 35s
vscode-ext: use new invocation for lsp server Rust #267: Commit 81a0ae4 pushed by Philipp15b
January 18, 2025 09:58 15m 26s main
main
January 18, 2025 09:58 15m 26s
vscode-ext: use new invocation for lsp server Rust #266: Commit 81a0ae4 pushed by Philipp15b
January 18, 2025 09:58 15m 21s v2.1.1
v2.1.1
January 18, 2025 09:58 15m 21s
Caesar 2.1.0 release Rust #265: Commit c66216d pushed by Philipp15b
January 17, 2025 10:08 15m 15s main
main
January 17, 2025 10:08 15m 15s
Caesar 2.1.0 release Rust #264: Commit c66216d pushed by Philipp15b
January 17, 2025 10:08 15m 25s v2.1.0
v2.1.0
January 17, 2025 10:08 15m 25s
clippy Rust #263: Commit 793f537 pushed by Philipp15b
January 17, 2025 08:46 15m 13s main
main
January 17, 2025 08:46 15m 13s
Merge PR #60: VSCode Extension Timeout Handling Rust #262: Commit 7d3bb98 pushed by Philipp15b
January 17, 2025 08:44 15m 15s main
main
January 17, 2025 08:44 15m 15s
Vscode Extension Timeout Handling Rust #261: Pull request #60 synchronize by umutdural
January 16, 2025 23:17 15m 59s umutdural:vscode-ext-timeout-handling
umutdural:vscode-ext-timeout-handling
January 16, 2025 23:17 15m 59s
Vscode Extension Timeout Handling Rust #260: Pull request #60 synchronize by umutdural
January 14, 2025 15:50 18m 19s umutdural:vscode-ext-timeout-handling
umutdural:vscode-ext-timeout-handling
January 14, 2025 15:50 18m 19s
Limited functions Rust #259: Pull request #54 synchronize by ole-thoeb
January 11, 2025 14:51 23m 39s ole-thoeb:limited
ole-thoeb:limited
January 11, 2025 14:51 23m 39s
Limited functions Rust #258: Pull request #54 synchronize by ole-thoeb
January 9, 2025 17:33 22m 57s ole-thoeb:limited
ole-thoeb:limited
January 9, 2025 17:33 22m 57s
docs: add note about !?(b) notation Rust #257: Commit 7274133 pushed by Philipp15b
January 7, 2025 16:21 15m 2s main
main
January 7, 2025 16:21 15m 2s
Limited functions Rust #256: Pull request #54 synchronize by ole-thoeb
January 3, 2025 18:16 18m 55s ole-thoeb:limited
ole-thoeb:limited
January 3, 2025 18:16 18m 55s