Skip to content

Actions: uuverifiers/tricera

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
72 workflow runs
72 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Download tri-pp in CI and add macOS Scala CI #135: Commit 3b488d9 pushed by zafer-esen
September 19, 2024 14:37 19m 6s mac-ci
mac-ci
September 19, 2024 14:37 19m 6s
Extend stack pointer support in TriCera Scala CI #133: Pull request #24 opened by zafer-esen
September 17, 2024 09:49 16m 8s issue-12
issue-12
September 17, 2024 09:49 16m 8s
Include AST visitors in parser jars Scala CI #132: Commit 77ede6a pushed by zafer-esen
September 17, 2024 09:23 16m 5s master
master
September 17, 2024 09:23 16m 5s
Include AST visitors in parser jars Scala CI #131: Commit a6bde6d pushed by zafer-esen
September 17, 2024 09:21 1m 14s master
master
September 17, 2024 09:21 1m 14s
Fix -logSimplified, new -dumpSimplified option, bump version. Scala CI #130: Commit 094ab38 pushed by zafer-esen
June 26, 2024 01:34 16m 0s master
master
June 26, 2024 01:34 16m 0s
Fix -logSimplified, new -dumpSimplified option, bump version. Scala CI #129: Commit d5f1955 pushed by zafer-esen
June 26, 2024 01:16 15m 58s master
master
June 26, 2024 01:16 15m 58s
Merge pull request #13 from woosh/ola-theory-of-heaps-translation Scala CI #128: Commit d1e803f pushed by zafer-esen
June 19, 2024 11:27 16m 7s master
master
June 19, 2024 11:27 16m 7s
Theory of heaps translation (again) Scala CI #127: Pull request #13 synchronize by woosh
June 19, 2024 08:02 16m 6s woosh:ola-theory-of-heaps-translation
woosh:ola-theory-of-heaps-translation
June 19, 2024 08:02 16m 6s
Theory of heaps translation (again) Scala CI #126: Pull request #13 synchronize by woosh
June 17, 2024 05:42 6h 0m 25s woosh:ola-theory-of-heaps-translation
woosh:ola-theory-of-heaps-translation
June 17, 2024 05:42 6h 0m 25s
Theory of heaps translation (again) Scala CI #125: Pull request #13 synchronize by woosh
May 31, 2024 12:47 19m 1s woosh:ola-theory-of-heaps-translation
woosh:ola-theory-of-heaps-translation
May 31, 2024 12:47 19m 1s
Theory of heaps translation (again) Scala CI #124: Pull request #13 synchronize by woosh
May 31, 2024 12:45 19m 21s woosh:ola-theory-of-heaps-translation
woosh:ola-theory-of-heaps-translation
May 31, 2024 12:45 19m 21s
Theory of heaps translation (again) Scala CI #123: Pull request #13 opened by woosh
May 31, 2024 09:38 21m 45s woosh:ola-theory-of-heaps-translation
woosh:ola-theory-of-heaps-translation
May 31, 2024 09:38 21m 45s
Fixes printing of struct fields in ACSL contracts. Scala CI #122: Commit 2736b6c pushed by zafer-esen
May 15, 2024 11:44 14m 18s master
master
May 15, 2024 11:44 14m 18s
Add support for heap pointers to uninterpreted predicates Scala CI #121: Commit 0aad60c pushed by zafer-esen
April 10, 2024 19:17 15m 7s master
master
April 10, 2024 19:17 15m 7s
Add support for heap pointers to uninterpreted predicates Scala CI #120: Commit 135956d pushed by zafer-esen
April 10, 2024 19:01 14m 23s master
master
April 10, 2024 19:01 14m 23s
Eliminate nightly dependencies, bump version to 0.3 Scala CI #119: Commit da0ef67 pushed by zafer-esen
March 25, 2024 14:15 14m 49s master
master
March 25, 2024 14:15 14m 49s
Support for floating-point arithmetic added Scala CI #118: Pull request #6 synchronize by jesper-amilon
March 20, 2024 10:21 15m 34s dannem1337:master
dannem1337:master
March 20, 2024 10:21 15m 34s
Adapt to changes from Eldarica Scala CI #117: Commit f33c6a3 pushed by zafer-esen
March 20, 2024 09:11 15m 13s master
master
March 20, 2024 09:11 15m 13s
Adapt to changes in Eldarica Scala CI #116: Commit 860ff13 pushed by zafer-esen
March 5, 2024 11:55 14m 59s master
master
March 5, 2024 11:55 14m 59s
Replace FileInputStream with FileReader (#11) Scala CI #115: Commit f0a67a1 pushed by zafer-esen
February 28, 2024 11:58 15m 3s master
master
February 28, 2024 11:58 15m 3s
Replace FileInputStream with FileReader in TriCeraParameters Scala CI #114: Pull request #11 opened by woosh
February 28, 2024 11:36 14m 58s fix-eldarica-api
fix-eldarica-api
February 28, 2024 11:36 14m 58s
Support for floating-point arithmetic added Scala CI #113: Pull request #6 synchronize by zafer-esen
February 12, 2024 13:26 15m 49s dannem1337:master
dannem1337:master
February 12, 2024 13:26 15m 49s
Comment clarification Scala CI #112: Commit d9cccea pushed by zafer-esen
February 12, 2024 13:06 14m 56s master
master
February 12, 2024 13:06 14m 56s
Fix incorrect dumping of expected status for memtrack benchmarks Scala CI #111: Commit 896579e pushed by zafer-esen
February 3, 2024 12:25 14m 53s master
master
February 3, 2024 12:25 14m 53s
Fixes in tri-pp, bump up its version Scala CI #110: Commit c7a6357 pushed by zafer-esen
February 2, 2024 15:28 14m 57s master
master
February 2, 2024 15:28 14m 57s