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

clippy got smarter on the latest release! Rust #80: Commit 52be9c6 pushed by Philipp15b
May 4, 2024 20:45 26m 8s main
main
May 4, 2024 20:45 26m 8s
fix rustdoc links Rust #79: Commit e53dc93 pushed by Philipp15b
May 4, 2024 19:57 26m 11s main
main
May 4, 2024 19:57 26m 11s
clippy Rust #78: Commit 56aa13b pushed by Philipp15b
May 2, 2024 12:18 35m 40s main
main
May 2, 2024 12:18 35m 40s
Add support to export HeyVL programs to JANI Rust #77: Commit e753c6c pushed by Philipp15b
May 2, 2024 10:40 50m 51s main
main
May 2, 2024 10:40 50m 51s
smt: better pretty-printing of fractions as decimals Rust #76: Commit 98df055 pushed by Philipp15b
May 1, 2024 23:24 30m 53s main
main
May 1, 2024 23:24 30m 53s
website: minor docs fixes Rust #75: Commit bedc11d pushed by Philipp15b
May 1, 2024 10:15 25m 43s main
main
May 1, 2024 10:15 25m 43s
Merge branch 'slicing': program slicing for Caesar Rust #74: Commit 67fe48d pushed by Philipp15b
May 1, 2024 08:49 25m 50s main
main
May 1, 2024 08:49 25m 50s
Program Slicing Rust #72: Pull request #10 synchronize by Philipp15b
April 29, 2024 18:43 2h 40m 4s slicing
slicing
April 29, 2024 18:43 2h 40m 4s
remove unused import Rust #71: Commit 348e873 pushed by Philipp15b
April 29, 2024 18:43 2h 14m 48s slicing
slicing
April 29, 2024 18:43 2h 14m 48s
Program Slicing Rust #70: Pull request #10 opened by Philipp15b
April 29, 2024 18:14 1h 53m 13s slicing
slicing
April 29, 2024 18:14 1h 53m 13s
docs: rename links Rust #69: Commit ed987fb pushed by Philipp15b
April 29, 2024 18:10 1h 32m 47s slicing
slicing
April 29, 2024 18:10 1h 32m 47s
program slicing support in Caesar Rust #68: Commit 581869c pushed by Philipp15b
April 29, 2024 18:06 1h 10m 57s slicing
slicing
April 29, 2024 18:06 1h 10m 57s
proc_verify: prevent crash with coprocs and --print-core-procs Rust #67: Commit 3536c0c pushed by Philipp15b
April 29, 2024 18:04 47m 33s main
main
April 29, 2024 18:04 47m 33s
program slicing support in Caesar Rust #66: Commit 581869c pushed by Philipp15b
April 29, 2024 18:02 25m 33s main
main
April 29, 2024 18:02 25m 33s
CI builds and Docker image cleanup Rust #65: Pull request #9 synchronize by darionhaase
April 29, 2024 15:35 2h 16m 41s darionhaase:main
darionhaase:main
April 29, 2024 15:35 2h 16m 41s
main: add a default timeout and memory limit Rust #64: Commit 1ab2961 pushed by Philipp15b
April 10, 2024 19:54 24m 36s main
main
April 10, 2024 19:54 24m 36s
smt: eval values atomically to gracefully handle things we cannot Rust #63: Commit 46a21ee pushed by Philipp15b
April 10, 2024 15:18 24m 58s main
main
April 10, 2024 15:18 24m 58s
smt: print evaluation of vc in counterexample Rust #62: Commit d7cd855 pushed by Philipp15b
April 10, 2024 14:43 24m 35s main
main
April 10, 2024 14:43 24m 35s
smt: add additional debugging assertions to detect type confusions Rust #61: Commit 6cdb988 pushed by Philipp15b
April 10, 2024 10:13 48m 35s new-new-ast-rule
new-new-ast-rule
April 10, 2024 10:13 48m 35s
Rust Rust #60: by Philipp15b
April 10, 2024 10:13 24m 48s main
main
April 10, 2024 10:13 24m 48s
update test to use ast annotation Rust #59: Commit 850d898 pushed by Philipp15b
April 10, 2024 09:27 24m 43s new-new-ast-rule
new-new-ast-rule
April 10, 2024 09:27 24m 43s
Rust Rust #58: by Philipp15b
April 10, 2024 09:05 24m 3s new-new-ast-rule
new-new-ast-rule
April 10, 2024 09:05 24m 3s
ast rule improvements WIP Rust #57: Commit 06f8bfa pushed by Philipp15b
April 9, 2024 08:34 23m 2s new-new-ast-rule
new-new-ast-rule
April 9, 2024 08:34 23m 2s
opt/boolify: fix type confusion in visit_leq Rust #56: Commit d50a6c1 pushed by Philipp15b
April 9, 2024 08:05 24m 53s main
main
April 9, 2024 08:05 24m 53s
docs: update installation instructions Rust #55: Commit 45b476e pushed by Philipp15b
April 8, 2024 16:45 25m 7s main
main
April 8, 2024 16:45 25m 7s