Skip to content

Actions: uuverifiers/tricera

Actions

Scala CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scala.yml
72 workflow runs
72 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add parser jars as unmanaged on compile in build.sbt. Scala CI #84: Commit 92b8fa4 pushed by zafer-esen
November 16, 2023 12:26 13m 36s master
master
November 16, 2023 12:26 13m 36s
Enable CI for extquans branch. Scala CI #83: Commit ac6e7f1 pushed by zafer-esen
November 15, 2023 14:57 18m 43s extquans
extquans
November 15, 2023 14:57 18m 43s
Updates regression tests. Scala CI #82: Commit 068423b pushed by zafer-esen
November 13, 2023 17:39 13m 32s master
master
November 13, 2023 17:39 13m 32s
Applies fix from previous commit to assert, updates regression tests. Scala CI #81: Commit 31c451e pushed by zafer-esen
November 13, 2023 17:22 14m 57s master
master
November 13, 2023 17:22 14m 57s
Improves encoding of assumes and asserts in certain cases. Scala CI #80: Commit 3972e80 pushed by zafer-esen
November 13, 2023 16:50 13m 46s master
master
November 13, 2023 16:50 13m 46s
Fixes bug in errors not failing regression tests. Scala CI #79: Commit 5a44b61 pushed by zafer-esen
November 12, 2023 17:16 13m 21s master
master
November 12, 2023 17:16 13m 21s
Fixes a few missed cases from previous commit. Scala CI #78: Commit 28737fd pushed by zafer-esen
November 12, 2023 17:07 10m 23s master
master
November 12, 2023 17:07 10m 23s
Report error when a predicate/function is passed wrong number Scala CI #77: Commit 7f8adf7 pushed by zafer-esen
November 12, 2023 16:53 13m 17s master
master
November 12, 2023 16:53 13m 17s
ACSL parser and translator improvements (#7) Scala CI #76: Commit d2c36a1 pushed by zafer-esen
October 26, 2023 22:08 19m 10s master
master
October 26, 2023 22:08 19m 10s
ACSL parser and translator improvements Scala CI #75: Pull request #7 opened by zafer-esen
October 26, 2023 21:44 22m 19s acsl-precedence-fix
acsl-precedence-fix
October 26, 2023 21:44 22m 19s
Support for floating-point arithmetic added Scala CI #73: Pull request #6 opened by dannem1337
October 18, 2023 13:57 17m 20s dannem1337:master
dannem1337:master
October 18, 2023 13:57 17m 20s
Theory of heaps translation Scala CI #72: Pull request #4 synchronize by zafer-esen
October 18, 2023 13:46 16m 13s OskarSoderberg:theory-of-heaps-translation
OskarSoderberg:theory-of-heaps-translation
October 18, 2023 13:46 16m 13s
Theory of heaps translation Scala CI #71: Pull request #4 synchronize by zafer-esen
October 18, 2023 13:39 16m 35s OskarSoderberg:theory-of-heaps-translation
OskarSoderberg:theory-of-heaps-translation
October 18, 2023 13:39 16m 35s
Add support for symbolic execution (experimental). Scala CI #70: Commit 9d3dc96 pushed by zafer-esen
October 17, 2023 19:41 16m 55s master
master
October 17, 2023 19:41 16m 55s
Fix: support file names with spaces with -cpp option Scala CI #69: Commit bbd6694 pushed by zafer-esen
October 17, 2023 18:11 14m 58s master
master
October 17, 2023 18:11 14m 58s
Fix: support spaces in filenames and incorrect error message when cpp… Scala CI #68: Commit 7e71181 pushed by zafer-esen
October 17, 2023 17:38 16m 20s master
master
October 17, 2023 17:38 16m 20s
Theory of heaps translation Scala CI #67: Pull request #4 synchronize by OskarSoderberg
October 14, 2023 10:15 12m 58s OskarSoderberg:theory-of-heaps-translation
OskarSoderberg:theory-of-heaps-translation
October 14, 2023 10:15 12m 58s
Theory of heaps translation Scala CI #66: Pull request #4 synchronize by zafer-esen
October 9, 2023 21:13 17m 32s OskarSoderberg:theory-of-heaps-translation
OskarSoderberg:theory-of-heaps-translation
October 9, 2023 21:13 17m 32s
Theory of heaps translation Scala CI #65: Pull request #4 synchronize by zafer-esen
October 9, 2023 19:55 16m 29s OskarSoderberg:theory-of-heaps-translation
OskarSoderberg:theory-of-heaps-translation
October 9, 2023 19:55 16m 29s
Use longest match during ACSL variable back-substitution Scala CI #64: Pull request #5 opened by gustavung
October 9, 2023 12:07 15m 34s gustavung:master
gustavung:master
October 9, 2023 12:07 15m 34s
Adds support for Eldarica option -logPreds for filtering log output. Scala CI #63: Commit 53f5f6d pushed by zafer-esen
October 6, 2023 15:15 15m 41s master
master
October 6, 2023 15:15 15m 41s
Theory of heaps translation Scala CI #62: Pull request #4 opened by OskarSoderberg
October 1, 2023 17:04 13m 54s OskarSoderberg:theory-of-heaps-translation
OskarSoderberg:theory-of-heaps-translation
October 1, 2023 17:04 13m 54s