Skip to content

Actions: uuverifiers/tricera

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
174 workflow runs
174 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
More ACSL support Scala CI #345: Pull request #73 opened by zafer-esen
21m 43s annot-funcdecs
annot-funcdecs
21m 43s
Merge pull request #72 from uuverifiers/struct-enum-fix Scala CI #344: Commit 96042c2 pushed by zafer-esen
16m 48s master
master
16m 48s
Fix multiple issues in translation of solutions with heaps into ACSL contracts Scala CI #343: Pull request #72 synchronize by zafer-esen
15m 37s struct-enum-fix
struct-enum-fix
15m 37s
Fix multiple issues in translation of solutions with heaps into ACSL contracts Scala CI #342: Pull request #72 opened by zafer-esen
15m 23s struct-enum-fix
struct-enum-fix
15m 23s
Add support for throws clauses in ACSL function contracts Scala CI #341: Pull request #69 opened by hugo-saci
15m 43s Plastpase123:acsl-exceptions
Plastpase123:acsl-exceptions
15m 43s
Add support for ACSL ghost annotations Scala CI #338: Pull request #63 synchronize by zafer-esen
15m 8s acsl-ghost-support
acsl-ghost-support
15m 8s
(PR for dev branch tests) Scala CI #337: Pull request #53 synchronize by zafer-esen
19m 38s dev
dev
19m 38s
Fix a bug where null was sometimes encoded as 0 instead of nullAddr Scala CI #336: Commit b36b2bc pushed by zafer-esen
16m 30s master
master
16m 30s
Fix dependency versions Scala CI #335: Commit 7f04060 pushed by zafer-esen
15m 14s master
master
15m 14s
(PR for nightly branch tests) Scala CI #334: Pull request #62 synchronize by zafer-esen
20m 0s nightly
nightly
20m 0s
(PR for nightly branch tests) Scala CI #333: Pull request #62 synchronize by zafer-esen
20m 20s nightly
nightly
20m 20s
Merge pull request #66 from Plastpase123/exception-transformations Scala CI #332: Commit d7c6e18 pushed by zafer-esen
16m 46s master
master
16m 46s
Add support for C++ exceptions Scala CI #331: Pull request #66 synchronize by zafer-esen
15m 53s Plastpase123:exception-transformations
Plastpase123:exception-transformations
15m 53s
Add support for C++ exceptions Scala CI #330: Pull request #66 synchronize by zafer-esen
18m 12s Plastpase123:exception-transformations
Plastpase123:exception-transformations
18m 12s
Merge pull request #67 from uuverifiers/tripp-update Scala CI #329: Commit 7b95427 pushed by zafer-esen
16m 15s master
master
16m 15s
tri-pp to v0.3.0 with checksum verification; multi-platform CI and releases Scala CI #328: Pull request #67 synchronize by zafer-esen
13m 27s tripp-update
tripp-update
13m 27s
tri-pp to v0.3.0 with checksum verification; multi-platform CI and releases Scala CI #327: Pull request #67 synchronize by zafer-esen
15m 43s tripp-update
tripp-update
15m 43s
tri-pp to v0.3.0 with checksum verification; multi-platform CI and releases Scala CI #326: Pull request #67 synchronize by zafer-esen
16m 48s tripp-update
tripp-update
16m 48s
tri-pp to v0.3.0 with checksum verification; multi-platform CI and releases Scala CI #325: Pull request #67 synchronize by zafer-esen
26m 7s tripp-update
tripp-update
26m 7s
Scala CI Scala CI #324: synchronize by zafer-esen
Startup failure tripp-update
tripp-update
Startup failure
tri-pp to v0.3.0 with checksum verification; multi-platform CI and releases Scala CI #322: Pull request #67 opened by zafer-esen
14m 7s tripp-update
tripp-update
14m 7s
Add support for C++ exceptions Scala CI #321: Pull request #66 synchronize by zafer-esen
11m 27s Plastpase123:exception-transformations
Plastpase123:exception-transformations
11m 27s
Don't create a duplicate AST when collecting at expressions Scala CI #320: Commit 9b1c56d pushed by zafer-esen
10m 40s master
master
10m 40s
Remove line renumbering visitors by using call site locs for generate… Scala CI #319: Commit 1c7edd2 pushed by zafer-esen
11m 6s master
master
11m 6s
Simplify and inline CCAstMaxLineNumber by adding an atNode to AST Fol… Scala CI #318: Commit c17395e pushed by zafer-esen
10m 18s master
master
10m 18s