Skip to content

Actions: tamarin-prover/tamarin-prover

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
210 workflow runs
210 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
MSR-to-ProVerif: Pulling out formula negations Tamarin compilation and regression tests #342: Pull request #631 synchronize by rkunnema
May 13, 2024 07:49 24m 47s yavivanov:pr-feature-msr2prvf-pull-negations
yavivanov:pr-feature-msr2prvf-pull-negations
May 13, 2024 07:49 24m 47s
MSR-to-ProVerif: Pulling out formula negations Tamarin compilation and regression tests #341: Pull request #631 opened by yavivanov
April 30, 2024 05:30 25m 36s yavivanov:pr-feature-msr2prvf-pull-negations
yavivanov:pr-feature-msr2prvf-pull-negations
April 30, 2024 05:30 25m 36s
Display 'None' when there are no injective fact instances (#612) Tamarin compilation and regression tests #340: Commit 0e1aa8f pushed by rsasse
April 3, 2024 13:26 3m 28s develop
develop
April 3, 2024 13:26 3m 28s
Refactor Main from tamarin-prover package Tamarin compilation and regression tests #339: Pull request #622 opened by arcz
March 8, 2024 19:57 25m 44s arcz:refactor-main
arcz:refactor-main
March 8, 2024 19:57 25m 44s
Refactor tamarin-prover package Tamarin compilation and regression tests #338: Pull request #621 synchronize by arcz
February 28, 2024 22:42 13m 7s arcz:refactor
arcz:refactor
February 28, 2024 22:42 13m 7s
Refactor tamarin-prover package Tamarin compilation and regression tests #337: Pull request #621 opened by arcz
February 28, 2024 22:32 3m 34s arcz:refactor
arcz:refactor
February 28, 2024 22:32 3m 34s
Merge pull request #446 from yavivanov/pr-plainOpenGoals-fix Tamarin compilation and regression tests #336: Commit d694dff pushed by cascremers
February 27, 2024 09:29 12m 49s develop
develop
February 27, 2024 09:29 12m 49s
Solving the second issue of PR#394 without plainOpenGoals Tamarin compilation and regression tests #335: Pull request #446 synchronize by jdreier
February 26, 2024 14:01 13m 1s yavivanov:pr-plainOpenGoals-fix
yavivanov:pr-plainOpenGoals-fix
February 26, 2024 14:01 13m 1s
Merge manual repository as subtree into the manual directory of the main repo. Tamarin compilation and regression tests #334: Pull request #619 opened by cascremers
February 26, 2024 12:36 13m 42s cascremers:merge-manual
cascremers:merge-manual
February 26, 2024 12:36 13m 42s
Update to GHC 9.6 (#618) Tamarin compilation and regression tests #333: Commit b3e18f6 pushed by jdreier
February 26, 2024 09:04 27m 8s develop
develop
February 26, 2024 09:04 27m 8s
Update to GHC 9.6 Tamarin compilation and regression tests #332: Pull request #618 opened by arcz
February 22, 2024 17:00 26m 48s arcz:ghc96
arcz:ghc96
February 22, 2024 17:00 26m 48s
Configuration blocks in spthy files and a new default oraclename (#512) Tamarin compilation and regression tests #331: Commit 662a857 pushed by rkunnema
February 9, 2024 19:13 23m 22s develop
develop
February 9, 2024 19:13 23m 22s
Configuration blocks in spthy files and a new default oraclename Tamarin compilation and regression tests #330: Pull request #512 synchronize by yavivanov
February 7, 2024 02:23 22m 46s yavivanov:pr-spthy-config
yavivanov:pr-spthy-config
February 7, 2024 02:23 22m 46s
Configuration blocks in spthy files and a new default oraclename Tamarin compilation and regression tests #329: Pull request #512 synchronize by rkunnema
January 23, 2024 10:13 12m 36s yavivanov:pr-spthy-config
yavivanov:pr-spthy-config
January 23, 2024 10:13 12m 36s
Add Esorics'23 Bluetooth examples (#605) Tamarin compilation and regression tests #328: Commit fbf19d9 pushed by jdreier
January 9, 2024 15:52 24m 49s develop
develop
January 9, 2024 15:52 24m 49s
Display 'None' when there are no injective fact instances Tamarin compilation and regression tests #327: Pull request #612 opened by felixlinker
December 8, 2023 17:02 13m 24s felixlinker:develop
felixlinker:develop
December 8, 2023 17:02 13m 24s
Adaptation clanDot python3 (#611) Tamarin compilation and regression tests #326: Commit 2a52f12 pushed by jdreier
December 8, 2023 10:35 14m 5s develop
develop
December 8, 2023 10:35 14m 5s
Fix accountability examples (#607) Tamarin compilation and regression tests #325: Commit e6a90bf pushed by rkunnema
December 5, 2023 15:29 13m 11s develop
develop
December 5, 2023 15:29 13m 11s
Fix accountability examples Tamarin compilation and regression tests #324: Pull request #607 synchronize by kevinmorio
December 5, 2023 14:35 13m 21s kevinmorio:fix-accountability-examples
kevinmorio:fix-accountability-examples
December 5, 2023 14:35 13m 21s
Fix accountability examples Tamarin compilation and regression tests #323: Pull request #607 synchronize by kevinmorio
December 5, 2023 13:02 13m 17s kevinmorio:fix-accountability-examples
kevinmorio:fix-accountability-examples
December 5, 2023 13:02 13m 17s
Archive case studies of CI run as artifact (#608) Tamarin compilation and regression tests #322: Commit 4e67cd0 pushed by rkunnema
December 5, 2023 11:00 24m 34s develop
develop
December 5, 2023 11:00 24m 34s
Archive case studies of CI run as artifact Tamarin compilation and regression tests #321: Pull request #608 synchronize by kevinmorio
December 5, 2023 10:28 24m 53s kevinmorio:feature/archive-case-studies
kevinmorio:feature/archive-case-studies
December 5, 2023 10:28 24m 53s
Fix accountability examples Tamarin compilation and regression tests #320: Pull request #607 synchronize by rkunnema
December 5, 2023 10:24 22m 40s kevinmorio:fix-accountability-examples
kevinmorio:fix-accountability-examples
December 5, 2023 10:24 22m 40s
Update failing case study (#610) Tamarin compilation and regression tests #319: Commit 1a7df25 pushed by rkunnema
December 5, 2023 10:22 7m 5s develop
develop
December 5, 2023 10:22 7m 5s
Adaptation clanDot python3 Tamarin compilation and regression tests #318: Pull request #611 opened by marcoCalipari
November 25, 2023 15:46 13m 21s marcoCalipari:cleanDotpython3
marcoCalipari:cleanDotpython3
November 25, 2023 15:46 13m 21s