Skip to content

Actions: uuverifiers/tricera

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
68 workflow runs
68 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
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 woosh:fix-eldarica-api
woosh: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
Add missing test file. Scala CI #109: Commit 89630b8 pushed by zafer-esen
February 1, 2024 21:12 14m 41s master
master
February 1, 2024 21:12 14m 41s
Fix valid-cleanup not being violated at abort statements Scala CI #108: Commit 97c1a48 pushed by zafer-esen
February 1, 2024 20:56 14m 36s master
master
February 1, 2024 20:56 14m 36s
Disable heap-stack pointer combinations. Scala CI #107: Commit 07948bd pushed by zafer-esen
February 1, 2024 18:18 13m 46s master
master
February 1, 2024 18:18 13m 46s
Fixes a bug in memcleanup, and another when casting pointers to int. Scala CI #106: Commit 6620df8 pushed by zafer-esen
February 1, 2024 12:38 14m 34s master
master
February 1, 2024 12:38 14m 34s