Skip to content

Actions: uuverifiers/eldarica

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

work on expanding some heap operations Scala CI #163: Commit 91549d8 pushed by pruemmer
4m 2s master
master
4m 2s
removed support for C programs, which is no provided through TriCera Scala CI #162: Commit 1935e5b pushed by pruemmer
4m 3s master
master
4m 3s
fixed solution reconstruction Scala CI #161: Commit 1a642de pushed by pruemmer
4m 25s master
master
4m 25s
answers Scala CI #160: Commit 31f4a5e pushed by pruemmer
4m 21s master
master
4m 21s
Merge branch 'master' of github.com:uuverifiers/eldarica Scala CI #159: Commit 7b563af pushed by pruemmer
4m 28s master
master
4m 28s
answers Scala CI #158: Commit 2b9237e pushed by pruemmer
4m 20s master
master
4m 20s
started updated Answers to account for -solutionReconstruction:cegar Scala CI #157: Commit f457a7b pushed by pruemmer
4m 20s master
master
4m 20s
CEGAR as default solution reconstruction Scala CI #156: Commit 018ed74 pushed by pruemmer
4m 26s master
master
4m 26s
Answers Scala CI #155: Commit 7bca839 pushed by zafer-esen
15m 55s master
master
15m 55s
Answers Scala CI #154: Commit 56473d0 pushed by zafer-esen
14m 27s master
master
14m 27s
Execute unit tests sequentially Scala CI #153: Commit 278cc1c pushed by zafer-esen
13m 42s master
master
13m 42s
versions Scala CI #152: Commit 01aa364 pushed by pruemmer
14m 6s master
master
14m 6s
correct back-translation of heap terms Scala CI #151: Commit 92f3ad7 pushed by pruemmer
15m 38s master
master
15m 38s
different strategies for reconstructing solutions after clause inlining Scala CI #150: Commit 2db1c2f pushed by pruemmer
15m 43s master
master
15m 43s
Merge branch 'master' of github.com:uuverifiers/eldarica Scala CI #149: Commit e524ee3 pushed by pruemmer
14m 54s master
master
14m 54s
updated answers Scala CI #148: Commit f39feb9 pushed by pruemmer
14m 38s master
master
14m 38s
preprocessor to expand array heap arguments Scala CI #147: Commit 89d7a1f pushed by pruemmer
13m 23s master
master
13m 23s
renaming Scala CI #146: Commit 4354cf5 pushed by pruemmer
15m 27s master
master
15m 27s
updated scripts and answers Scala CI #145: Commit ab67993 pushed by pruemmer
15m 41s master
master
15m 41s
scripts Scala CI #144: Commit fb96697 pushed by pruemmer
2m 37s master
master
2m 37s
Update HeapExpander to work with latest Princess Scala CI #143: Commit 44e4a3f pushed by zafer-esen
5m 45s master
master
5m 45s
Add .gitignore Scala CI #142: Commit 06b31d8 pushed by zafer-esen
5m 27s master
master
5m 27s
Use sbt dirs instead of relative paths in build.sbt Scala CI #141: Commit dc81815 pushed by zafer-esen
5m 33s master
master
5m 33s
enabled HeapExpander again (but only for NativeHeap) Scala CI #140: Commit 92860f1 pushed by pruemmer
5m 37s master
master
5m 37s
more heap integration Scala CI #139: Commit 81b4991 pushed by pruemmer
5m 39s master
master
5m 39s