Skip to content

Actions: zafer-esen/eldarica

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More improvements to extended quantifiers Scala CI #62: Commit 0d12993 pushed by zafer-esen
March 14, 2024 08:00 11m 21s master
master
March 14, 2024 08:00 11m 21s
Make Boolean inst op more precise when writing within range Scala CI #61: Commit 917a13b pushed by zafer-esen
March 13, 2024 14:37 11m 25s master
master
March 13, 2024 14:37 11m 25s
Another test Scala CI #60: Commit 4b40c9a pushed by zafer-esen
March 13, 2024 09:58 11m 43s master
master
March 13, 2024 09:58 11m 43s
Fix a bug in preprocessing, add test cases Scala CI #59: Commit 3b38e7c pushed by zafer-esen
March 13, 2024 09:55 11m 45s master
master
March 13, 2024 09:55 11m 45s
Restrict ghost var ranges to only 1 Scala CI #58: Commit c092198 pushed by zafer-esen
March 12, 2024 09:27 11m 27s master
master
March 12, 2024 09:27 11m 27s
adding tests for numof and exists Scala CI #57: Commit b056197 pushed by jesper-amilon
March 11, 2024 21:44 11m 32s master
master
March 11, 2024 21:44 11m 32s
changed BoolInstrOp so can be used for numof Scala CI #56: Commit 11752df pushed by jesper-amilon
March 11, 2024 21:44 11m 30s master
master
March 11, 2024 21:44 11m 30s
Merging cleanup in BooleanInstrOp Merge branch 'ghost-vars-refactor' Scala CI #55: Commit 265f1c6 pushed by jesper-amilon
March 11, 2024 21:13 11m 41s master
master
March 11, 2024 21:13 11m 41s
Cleanup Scala CI #54: Commit 0d21407 pushed by zafer-esen
February 27, 2024 10:05 19s master
master
February 27, 2024 10:05 19s
Merge pull request #1 from zafer-esen/ghost-vars-refactor Scala CI #53: Commit 22a712e pushed by zafer-esen
February 26, 2024 22:07 11m 39s master
master
February 26, 2024 22:07 11m 39s
Extended quantifiers refactor Scala CI #52: Pull request #1 opened by zafer-esen
February 26, 2024 21:51 11m 56s ghost-vars-refactor
ghost-vars-refactor
February 26, 2024 21:51 11m 56s
Merge branch 'master' of https://github.com/uuverifiers/eldarica Scala CI #51: Commit 21332ac pushed by zafer-esen
February 26, 2024 21:38 2m 52s master
master
February 26, 2024 21:38 2m 52s
Fixes a bug in back-translation with extended-quantfiers. Scala CI #50: Commit 315e83e pushed by zafer-esen
November 16, 2023 14:31 11m 19s master
master
November 16, 2023 14:31 11m 19s
Updates version number. Scala CI #49: Commit ca7b21c pushed by zafer-esen
November 14, 2023 16:27 18m 46s master
master
November 14, 2023 16:27 18m 46s
Merge branch 'master' of https://github.com/uuverifiers/eldarica Scala CI #48: Commit 44a4326 pushed by zafer-esen
November 14, 2023 11:02 13m 52s master
master
November 14, 2023 11:02 13m 52s