Skip to content

Actions: tamarin-prover/tamarin-prover

Actions

Tamarin compilation and regression tests

Actions

Loading...

Show workflow options

Create status badge

tamarin-integration-test.yaml
251 workflow runs
251 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Rewrite execProofMethod Tamarin compilation and regression tests #398: Pull request #650 synchronize by felixlinker
June 20, 2024 15:06 13m 45s felixlinker:rewrite-prover
felixlinker:rewrite-prover
June 20, 2024 15:06 13m 45s
Rewrite execProofMethod Tamarin compilation and regression tests #397: Pull request #650 synchronize by felixlinker
June 20, 2024 15:04 55s felixlinker:rewrite-prover
felixlinker:rewrite-prover
June 20, 2024 15:04 55s
remove unuseful aes file Tamarin compilation and regression tests #396: Pull request #656 opened by Mathias-AURAND
June 20, 2024 06:28 Action required Mathias-AURAND:remove_aes_file
Mathias-AURAND:remove_aes_file
June 20, 2024 06:28 Action required
Refactor Main.TheoryLoader Tamarin compilation and regression tests #395: Pull request #634 synchronize by arcz
June 19, 2024 21:53 23m 42s arcz:refactor-theoryloader
arcz:refactor-theoryloader
June 19, 2024 21:53 23m 42s
Add functionality to debug in GHCI Tamarin compilation and regression tests #394: Pull request #655 opened by felixlinker
June 19, 2024 13:21 15m 38s felixlinker:debug-repl
felixlinker:debug-repl
June 19, 2024 13:21 15m 38s
Rewrite execProofMethod Tamarin compilation and regression tests #393: Pull request #650 synchronize by felixlinker
June 19, 2024 11:57 13m 44s felixlinker:rewrite-prover
felixlinker:rewrite-prover
June 19, 2024 11:57 13m 44s
Cut proofs on sorry for new oracle-prover Tamarin compilation and regression tests #392: Pull request #654 opened by felixlinker
June 19, 2024 11:49 14m 31s felixlinker:cut-on-sorry
felixlinker:cut-on-sorry
June 19, 2024 11:49 14m 31s
Fix incomplete list of reserved fact symbols in the syntax description Tamarin compilation and regression tests #391: Pull request #653 opened by rkunnema
June 19, 2024 09:39 14m 3s rkunnema:fix/feature-in-manual
rkunnema:fix/feature-in-manual
June 19, 2024 09:39 14m 3s
remove comment from file before parsing Tamarin compilation and regression tests #390: Pull request #652 opened by Mathias-AURAND
June 19, 2024 07:09 Action required Mathias-AURAND:remove_comment_parsing
Mathias-AURAND:remove_comment_parsing
June 19, 2024 07:09 Action required
Stop proving other branches when encountering Sorry Tamarin compilation and regression tests #389: Pull request #651 opened by felixlinker
June 19, 2024 07:08 1h 2m 4s felixlinker:oracle-dfs-abort
felixlinker:oracle-dfs-abort
June 19, 2024 07:08 1h 2m 4s
Rewrite execProofMethod Tamarin compilation and regression tests #388: Pull request #650 synchronize by felixlinker
June 18, 2024 15:43 14m 36s felixlinker:rewrite-prover
felixlinker:rewrite-prover
June 18, 2024 15:43 14m 36s
Rewrite execProofMethod Tamarin compilation and regression tests #387: Pull request #650 synchronize by felixlinker
June 18, 2024 15:35 50s felixlinker:rewrite-prover
felixlinker:rewrite-prover
June 18, 2024 15:35 50s
Rewrite execProofMethod Tamarin compilation and regression tests #386: Pull request #650 opened by felixlinker
June 18, 2024 15:08 14m 13s felixlinker:rewrite-prover
felixlinker:rewrite-prover
June 18, 2024 15:08 14m 13s
Add card payment models (#649) Tamarin compilation and regression tests #385: Commit 1a5d5a4 pushed by rsasse
June 18, 2024 13:58 14m 9s develop
develop
June 18, 2024 13:58 14m 9s
Document new interactive prover (#647) Tamarin compilation and regression tests #384: Commit 80df6dd pushed by rsasse
June 18, 2024 13:30 14m 6s develop
develop
June 18, 2024 13:30 14m 6s
Add card payment models to examples Tamarin compilation and regression tests #383: Pull request #649 opened by hxenia
June 18, 2024 13:25 14m 29s hxenia:cardpayments
hxenia:cardpayments
June 18, 2024 13:25 14m 29s
Integrate Tree-sitter grammar for Spthy Tamarin compilation and regression tests #382: Pull request #648 opened by kevinmorio
June 18, 2024 10:56 14m 37s kevinmorio:feature/tree-sitter-parser
kevinmorio:feature/tree-sitter-parser
June 18, 2024 10:56 14m 37s
Document new interactive prover Tamarin compilation and regression tests #381: Pull request #647 opened by felixlinker
June 17, 2024 07:33 14m 19s felixlinker:develop
felixlinker:develop
June 17, 2024 07:33 14m 19s
Revert "Interactive prover that stops when oracle returns nothing" Tamarin compilation and regression tests #380: Commit a4b4929 pushed by cascremers
June 14, 2024 15:12 14m 13s revert-644-oracle-prover
revert-644-oracle-prover
June 14, 2024 15:12 14m 13s
Merge pull request #644 from felixlinker/oracle-prover Tamarin compilation and regression tests #379: Commit beb4f03 pushed by cascremers
June 14, 2024 15:11 14m 52s develop
develop
June 14, 2024 15:11 14m 52s
Interactive prover that stops when oracle returns nothing Tamarin compilation and regression tests #378: Pull request #644 synchronize by felixlinker
June 14, 2024 14:21 13m 52s felixlinker:oracle-prover
felixlinker:oracle-prover
June 14, 2024 14:21 13m 52s
click and open img in new tab Tamarin compilation and regression tests #377: Pull request #645 opened by Mathias-AURAND
June 14, 2024 13:55 15m 14s Mathias-AURAND:click_and_open_img_new_tab
Mathias-AURAND:click_and_open_img_new_tab
June 14, 2024 13:55 15m 14s
Refactor Main.TheoryLoader Tamarin compilation and regression tests #376: Pull request #634 synchronize by arcz
June 14, 2024 12:21 23m 58s arcz:refactor-theoryloader
arcz:refactor-theoryloader
June 14, 2024 12:21 23m 58s
Refactor tamarin-prover-export Tamarin compilation and regression tests #375: Pull request #635 synchronize by arcz
June 14, 2024 12:16 24m 41s arcz:refactor-export
arcz:refactor-export
June 14, 2024 12:16 24m 41s
Refactor Main.TheoryLoader Tamarin compilation and regression tests #374: Pull request #634 synchronize by arcz
June 14, 2024 12:07 15m 20s arcz:refactor-theoryloader
arcz:refactor-theoryloader
June 14, 2024 12:07 15m 20s