Skip to content

Actions: moves-rwth/caesar

Actions

github pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
website.yml
36 workflow run results
36 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

build: use lld by default on linux github pages #56: Pull request #14 opened by Philipp15b
May 8, 2024 07:55 1m 33s link-lld
link-lld
May 8, 2024 07:55 1m 33s
model checking: more docs on while loop semantics github pages #55: Commit cd06d79 pushed by Philipp15b
May 7, 2024 17:24 1m 46s main
main
May 7, 2024 17:24 1m 46s
model checking: better error if post can be infty github pages #54: Commit bc90560 pushed by Philipp15b
May 7, 2024 10:22 1m 35s main
main
May 7, 2024 10:22 1m 35s
model checking: fix loop semantics to use total rewards github pages #53: Commit be89be1 pushed by Philipp15b
May 6, 2024 19:42 1m 33s main
main
May 6, 2024 19:42 1m 33s
clippy got way too smart github pages #52: Commit 8ae55ab pushed by Philipp15b
May 6, 2024 10:43 1m 35s main
main
May 6, 2024 10:43 1m 35s
clippy got smarter on the latest release! github pages #51: Commit 52be9c6 pushed by Philipp15b
May 4, 2024 20:45 1m 32s main
main
May 4, 2024 20:45 1m 32s
fix rustdoc links github pages #50: Commit e53dc93 pushed by Philipp15b
May 4, 2024 19:57 1m 42s main
main
May 4, 2024 19:57 1m 42s
clippy github pages #49: Commit 56aa13b pushed by Philipp15b
May 2, 2024 12:18 1m 39s main
main
May 2, 2024 12:18 1m 39s
Add support to export HeyVL programs to JANI github pages #48: Commit e753c6c pushed by Philipp15b
May 2, 2024 10:40 1m 30s main
main
May 2, 2024 10:40 1m 30s
smt: better pretty-printing of fractions as decimals github pages #47: Commit 98df055 pushed by Philipp15b
May 1, 2024 23:24 1m 38s main
main
May 1, 2024 23:24 1m 38s
website: minor docs fixes github pages #46: Commit bedc11d pushed by Philipp15b
May 1, 2024 10:15 1m 32s main
main
May 1, 2024 10:15 1m 32s
Merge branch 'slicing': program slicing for Caesar github pages #45: Commit 67fe48d pushed by Philipp15b
May 1, 2024 08:49 1m 37s main
main
May 1, 2024 08:49 1m 37s
Program Slicing github pages #43: Pull request #10 synchronize by Philipp15b
April 29, 2024 18:43 1m 33s slicing
slicing
April 29, 2024 18:43 1m 33s
Program Slicing github pages #42: Pull request #10 opened by Philipp15b
April 29, 2024 18:14 1m 42s slicing
slicing
April 29, 2024 18:14 1m 42s
proc_verify: prevent crash with coprocs and --print-core-procs github pages #41: Commit 3536c0c pushed by Philipp15b
April 29, 2024 18:04 1m 49s main
main
April 29, 2024 18:04 1m 49s
program slicing support in Caesar github pages #40: Commit 581869c pushed by Philipp15b
April 29, 2024 18:02 1m 47s main
main
April 29, 2024 18:02 1m 47s
CI builds and Docker image cleanup github pages #39: Pull request #9 synchronize by darionhaase
April 29, 2024 15:35 1m 37s darionhaase:main
darionhaase:main
April 29, 2024 15:35 1m 37s
main: add a default timeout and memory limit github pages #38: Commit 1ab2961 pushed by Philipp15b
April 10, 2024 19:54 1m 38s main
main
April 10, 2024 19:54 1m 38s
smt: eval values atomically to gracefully handle things we cannot github pages #37: Commit 46a21ee pushed by Philipp15b
April 10, 2024 15:18 1m 47s main
main
April 10, 2024 15:18 1m 47s
smt: print evaluation of vc in counterexample github pages #36: Commit d7cd855 pushed by Philipp15b
April 10, 2024 14:43 1m 31s main
main
April 10, 2024 14:43 1m 31s
github pages github pages #35: by Philipp15b
April 10, 2024 10:13 1m 39s main
main
April 10, 2024 10:13 1m 39s
opt/boolify: fix type confusion in visit_leq github pages #34: Commit d50a6c1 pushed by Philipp15b
April 9, 2024 08:05 1m 32s main
main
April 9, 2024 08:05 1m 32s
docs: update installation instructions github pages #33: Commit 45b476e pushed by Philipp15b
April 8, 2024 16:45 1m 38s main
main
April 8, 2024 16:45 1m 38s
clippy & rustfmt github pages #32: Commit c473dcc pushed by Philipp15b
April 2, 2024 14:27 1m 37s main
main
April 2, 2024 14:27 1m 37s
smt: better counter-example printing github pages #31: Commit 4254ffc pushed by Philipp15b
April 2, 2024 14:06 1m 53s main
main
April 2, 2024 14:06 1m 53s