Skip to content

Actions: uuverifiers/eldarica

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
46 workflow runs
46 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
adapted to Princess changes Scala CI #97: Commit c2880b9 pushed by pruemmer
April 26, 2024 12:16 11m 30s master
master
April 26, 2024 12:16 11m 30s
Add parser jars to unmanaged jars Scala CI #96: Commit 406d7bd pushed by zafer-esen
March 25, 2024 14:48 11m 23s master
master
March 25, 2024 14:48 11m 23s
missing information Scala CI #95: Commit 84e21cb pushed by pruemmer
March 22, 2024 13:21 11m 58s master
master
March 22, 2024 13:21 11m 58s
option -sym Scala CI #94: Commit a112e5c pushed by pruemmer
March 22, 2024 11:16 11m 31s master
master
March 22, 2024 11:16 11m 31s
versions Scala CI #93: Commit 1643061 pushed by pruemmer
March 22, 2024 11:08 11m 20s master
master
March 22, 2024 11:08 11m 20s
improved fix Scala CI #92: Commit 8791c90 pushed by pruemmer
March 20, 2024 08:13 11m 37s master
master
March 20, 2024 08:13 11m 37s
fixed a case of a hanging pre-processor Scala CI #91: Commit 3740819 pushed by pruemmer
March 19, 2024 08:39 12m 11s master
master
March 19, 2024 08:39 12m 11s
fixed compilation Scala CI #90: Commit a08805f pushed by pruemmer
March 15, 2024 15:36 11m 27s master
master
March 15, 2024 15:36 11m 27s
added symbolic execution to the portfolio Scala CI #89: Commit ac738b0 pushed by pruemmer
March 15, 2024 15:21 2m 22s master
master
March 15, 2024 15:21 2m 22s
formatting Scala CI #88: Commit 0f45b54 pushed by pruemmer
March 15, 2024 13:55 11m 37s master
master
March 15, 2024 13:55 11m 37s
replaced the Tree class with ap.basetypes.Tree Scala CI #87: Commit e1bb651 pushed by pruemmer
March 11, 2024 21:59 11m 45s master
master
March 11, 2024 21:59 11m 45s
corrected use of ArrayStack Scala CI #86: Commit 4345836 pushed by pruemmer
March 11, 2024 21:34 11m 50s master
master
March 11, 2024 21:34 11m 50s
compilation problem fixed Scala CI #85: Commit 67a428d pushed by pruemmer
February 28, 2024 22:56 11m 38s master
master
February 28, 2024 22:56 11m 38s
comment Scala CI #84: Commit e9e602e pushed by pruemmer
February 28, 2024 22:42 2m 16s master
master
February 28, 2024 22:42 2m 16s
eliminated a case of non-determinism Scala CI #83: Commit ca5237d pushed by pruemmer
February 28, 2024 21:28 11m 50s master
master
February 28, 2024 21:28 11m 50s
Extended quantifiers refactor Scala CI #82: Pull request #56 opened by zafer-esen
February 26, 2024 21:44 11m 36s zafer-esen:ghost-vars-refactor
zafer-esen:ghost-vars-refactor
February 26, 2024 21:44 11m 36s
made the -in option also work in interactive mode / command line Scala CI #81: Commit e19dc69 pushed by pruemmer
February 26, 2024 14:31 11m 42s master
master
February 26, 2024 14:31 11m 42s
test case for stdin Scala CI #80: Commit fd57593 pushed by pruemmer
February 26, 2024 14:12 11m 25s master
master
February 26, 2024 14:12 11m 25s
Merge pull request #53 from sankalpgambhir/stdin-input Scala CI #79: Commit a4ae48c pushed by pruemmer
February 26, 2024 13:59 11m 36s master
master
February 26, 2024 13:59 11m 36s
Porting to Scala 2.13.12 Scala CI #78: Pull request #54 synchronize by sankalpgambhir
February 8, 2024 13:42 3m 40s sankalpgambhir:213-port
sankalpgambhir:213-port
February 8, 2024 13:42 3m 40s
Add support for reading from stdin Scala CI #77: Pull request #53 synchronize by sankalpgambhir
February 8, 2024 13:41 11m 27s sankalpgambhir:stdin-input
sankalpgambhir:stdin-input
February 8, 2024 13:41 11m 27s
Porting to Scala 2.13.12 Scala CI #75: Pull request #54 opened by sankalpgambhir
February 7, 2024 16:26 3m 48s sankalpgambhir:213-port
sankalpgambhir:213-port
February 7, 2024 16:26 3m 48s
Add support for reading from stdin Scala CI #74: Pull request #53 synchronize by sankalpgambhir
February 5, 2024 16:38 11m 35s sankalpgambhir:stdin-input
sankalpgambhir:stdin-input
February 5, 2024 16:38 11m 35s
URLs Scala CI #72: Commit d86895f pushed by pruemmer
January 28, 2024 21:20 11m 38s master
master
January 28, 2024 21:20 11m 38s
path Scala CI #71: Commit 5aa2904 pushed by pruemmer
January 19, 2024 12:12 11m 20s master
master
January 19, 2024 12:12 11m 20s