Skip to content

Actions: tamarin-prover/tamarin-prover

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
220 workflow runs
220 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge pull request #639 from addap/abbrev-pull Tamarin compilation and regression tests #358: Commit facc031 pushed by cascremers
May 30, 2024 12:00 16m 14s develop
develop
May 30, 2024 12:00 16m 14s
Introduce abstract graph to generate dot/JSON from & implement abbreviations. Tamarin compilation and regression tests #357: Pull request #639 opened by addap
May 30, 2024 07:27 15m 26s addap:abbrev-pull
addap:abbrev-pull
May 30, 2024 07:27 15m 26s
Add more comfortable debug tracing functions. Tamarin compilation and regression tests #356: Pull request #638 synchronize by addap
May 29, 2024 19:43 14m 0s addap:env-tracer
addap:env-tracer
May 29, 2024 19:43 14m 0s
Add option to suppress server logs. Tamarin compilation and regression tests #355: Pull request #637 synchronize by addap
May 29, 2024 18:57 13m 48s addap:server-logging
addap:server-logging
May 29, 2024 18:57 13m 48s
Merge pull request #636 from addap/ui-fix Tamarin compilation and regression tests #354: Commit 9c3f9e5 pushed by cascremers
May 27, 2024 10:45 14m 4s develop
develop
May 27, 2024 10:45 14m 4s
Add more comfortable debug tracing functions. Tamarin compilation and regression tests #353: Pull request #638 opened by addap
May 27, 2024 09:52 14m 7s addap:env-tracer
addap:env-tracer
May 27, 2024 09:52 14m 7s
Add option to suppress server logs. Tamarin compilation and regression tests #352: Pull request #637 opened by addap
May 27, 2024 09:41 13m 51s addap:server-logging
addap:server-logging
May 27, 2024 09:41 13m 51s
Refactor tamarin-prover-export Tamarin compilation and regression tests #350: Pull request #635 opened by arcz
May 23, 2024 17:19 22m 28s arcz:refactor-export
arcz:refactor-export
May 23, 2024 17:19 22m 28s
Refactor Main.TheoryLoader Tamarin compilation and regression tests #349: Pull request #634 opened by arcz
May 23, 2024 11:16 24m 6s arcz:refactor-theoryloader
arcz:refactor-theoryloader
May 23, 2024 11:16 24m 6s
Refactor tamarin-prover package Tamarin compilation and regression tests #348: Pull request #621 synchronize by arcz
May 16, 2024 18:56 13m 45s arcz:refactor
arcz:refactor
May 16, 2024 18:56 13m 45s
Merge pull request #633 from cascremers/integrate-manual-master Tamarin compilation and regression tests #347: Commit 4ae2db9 pushed by cascremers
May 15, 2024 15:20 21m 21s master
master
May 15, 2024 15:20 21m 21s
Merge pull request #632 from cascremers/integrate-manual-develop Tamarin compilation and regression tests #346: Commit 680795d pushed by cascremers
May 15, 2024 15:18 15m 21s develop
develop
May 15, 2024 15:18 15m 21s
Merge pull request #622 from arcz/refactor-main Tamarin compilation and regression tests #345: Commit 66c4662 pushed by cascremers
May 15, 2024 08:52 25m 21s develop
develop
May 15, 2024 08:52 25m 21s
Integrate manual into code repository (master branch) Tamarin compilation and regression tests #344: Pull request #633 opened by cascremers
May 15, 2024 08:42 22m 53s cascremers:integrate-manual-master
cascremers:integrate-manual-master
May 15, 2024 08:42 22m 53s
Integrate manual into code repository (develop branch) Tamarin compilation and regression tests #343: Pull request #632 opened by cascremers
May 15, 2024 08:40 24m 39s cascremers:integrate-manual-develop
cascremers:integrate-manual-develop
May 15, 2024 08:40 24m 39s
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