Skip to content

Actions: uuverifiers/eldarica

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
49 workflow runs
49 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
versions Scala CI #70: Commit f7d49e1 pushed by pruemmer
January 19, 2024 07:40 48m 18s master
master
January 19, 2024 07:40 48m 18s
maven repo Scala CI #69: Commit 156fbfa pushed by pruemmer
January 19, 2024 07:34 2m 33s master
master
January 19, 2024 07:34 2m 33s
eliminated duplicated code Scala CI #68: Commit 19da496 pushed by pruemmer
December 23, 2023 22:22 11m 13s master
master
December 23, 2023 22:22 11m 13s
fixed compilation problem Scala CI #67: Commit 5b6fcdf pushed by pruemmer
November 30, 2023 08:20 11m 25s master
master
November 30, 2023 08:20 11m 25s
better help text Scala CI #66: Commit 15b0cda pushed by pruemmer
October 6, 2023 14:56 13m 29s master
master
October 6, 2023 14:56 13m 29s
Merge pull request #52 from uuverifiers/log-predicate-filtering Scala CI #65: Commit 57bd464 pushed by pruemmer
October 6, 2023 14:47 17m 10s master
master
October 6, 2023 14:47 17m 10s
Adds option -logPreds for filtering log output. Scala CI #64: Pull request #52 opened by zafer-esen
October 6, 2023 14:26 13m 8s log-predicate-filtering
log-predicate-filtering
October 6, 2023 14:26 13m 8s