Skip to content

Actions: uuverifiers/eldarica

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
67 workflow runs
67 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
answers Scala CI #196: Commit ba423a6 pushed by pruemmer
11m 59s master
master
11m 59s
correctly typed terms with constant propagation Scala CI #195: Commit f0fe51e pushed by pruemmer
7m 51s master
master
7m 51s
correct sorts in solution output Scala CI #194: Commit e901c96 pushed by pruemmer
11m 57s master
master
11m 57s
versions, native build Scala CI #193: Commit c839daa pushed by pruemmer
10m 29s master
master
10m 29s
handle also versions of the bit-vector theory with dependencies Scala CI #192: Commit cfc642e pushed by pruemmer
11m 26s master
master
11m 26s
updated version and help text Scala CI #191: Commit 96c0236 pushed by pruemmer
11m 0s master
master
11m 0s
optimization Scala CI #190: Commit 8f3430f pushed by pruemmer
6h 5m 5s master
master
6h 5m 5s
optimization Scala CI #189: Commit 3c002a3 pushed by pruemmer
12m 9s master
master
12m 9s
added an equation inliner to the preprocessor, which should help for … Scala CI #188: Commit a48f721 pushed by pruemmer
12m 23s master
master
12m 23s
restore option -noIntervals to switch of interval-based analysis Scala CI #187: Commit aac25cc pushed by pruemmer
6h 5m 4s master
master
6h 5m 4s
method for shifting hint arguments Scala CI #186: Commit 766d30c pushed by pruemmer
12m 54s master
master
12m 54s
Merge pull request #81 from uuverifiers/graalvm-fixes-v2 Scala CI #185: Commit f8fb73e pushed by pruemmer
11m 55s master
master
11m 55s
Replace graalvm changes from #79 with a simpler one Scala CI #184: Pull request #81 synchronize by zafer-esen
12m 4s graalvm-fixes-v2
graalvm-fixes-v2
12m 4s
Scala CI Scala CI #183: Manually run by zafer-esen
2m 32s graalvm-fixes-v2
graalvm-fixes-v2
2m 32s
Scala CI Scala CI #182: synchronize by zafer-esen
Startup failure graalvm-fixes-v2
graalvm-fixes-v2
Startup failure
Merge pull request #79 from uuverifiers/native-image-fixes Scala CI #178: Commit b6b228f pushed by pruemmer
13m 37s master
master
13m 37s
Native image fixes Scala CI #177: Pull request #79 opened by zafer-esen
13m 33s native-image-fixes
native-image-fixes
13m 33s
Answers Scala CI #176: Commit 934a3c2 pushed by zafer-esen
16m 27s master
master
16m 27s
Answers Scala CI #175: Commit dfacae5 pushed by zafer-esen
14m 25s master
master
14m 25s
answers Scala CI #174: Commit 50a2aa0 pushed by pruemmer
14m 48s master
master
14m 48s
more classes for the native image; use a shorter interpolation abstra… Scala CI #173: Commit 0098a0b pushed by pruemmer
2m 26s master
master
2m 26s
support for native images through GraalVM Scala CI #172: Commit e8da9e6 pushed by pruemmer
2m 20s master
master
2m 20s
Scala CI Scala CI #171: Manually run by zafer-esen
1m 32s master
master
1m 32s
Update heap tests and answers in special Scala CI #170: Commit add7c8e pushed by zafer-esen
6h 0m 21s master
master
6h 0m 21s
Update horn-heap answers Scala CI #169: Commit ee68962 pushed by zafer-esen
17m 49s master
master
17m 49s