Skip to content

Actions: jdreier/tamarin-prover

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
47 workflow runs
47 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
Use pinned tree-sitter CLI for generation (#889) Tamarin compilation and regression tests #133: Commit b9ac5d4 pushed by jdreier
34m 15s develop
develop
34m 15s
Use pinned tree-sitter CLI for generation (#889) Deploy to Github pages #24: Commit b9ac5d4 pushed by jdreier
2m 19s develop
develop
2m 19s
User defined AC function symbols (#883) Deploy to Github pages #23: Commit d678a3a pushed by jdreier
1m 38s develop
develop
1m 38s
User defined AC function symbols (#883) Tamarin compilation and regression tests #132: Commit d678a3a pushed by jdreier
44m 41s develop
develop
44m 41s
Level of Detail toggle for interactive graph (#844) Tamarin compilation and regression tests #131: Commit cae3688 pushed by jdreier
16m 58s develop
develop
16m 58s
Level of Detail toggle for interactive graph (#844) Deploy to Github pages #22: Commit cae3688 pushed by jdreier
2m 50s develop
develop
2m 50s
Allow terminating comma in fact lists (#795) Tamarin compilation and regression tests #130: Commit 1bf2b24 pushed by jdreier
13m 33s develop
develop
13m 33s
Allow terminating comma in fact lists (#795) Deploy to Github pages #21: Commit 1bf2b24 pushed by jdreier
1m 48s develop
develop
1m 48s
examples: Escape literal regex metacharacters in tactics (#876) Deploy to Github pages #20: Commit e7967dd pushed by jdreier
1m 51s develop
develop
1m 51s
examples: Escape literal regex metacharacters in tactics (#876) Tamarin compilation and regression tests #129: Commit e7967dd pushed by jdreier
25m 48s develop
develop
25m 48s
Switch DisjT from ListT to LogicT (#863) Tamarin compilation and regression tests #128: Commit e5d6a6f pushed by jdreier
30m 50s develop
develop
30m 50s
Switch DisjT from ListT to LogicT (#863) Deploy to Github pages #19: Commit e5d6a6f pushed by jdreier
1m 56s develop
develop
1m 56s
Replaced "Loading, please wait" by "Analyzing, please wait". (#841) Deploy to Github pages #18: Commit 255986b pushed by jdreier
1m 45s develop
develop
1m 45s
Replaced "Loading, please wait" by "Analyzing, please wait". (#841) Tamarin compilation and regression tests #127: Commit 255986b pushed by jdreier
33m 42s develop
develop
33m 42s
Avoid warnings in empty lets (#833) Tamarin compilation and regression tests #126: Commit 3a52314 pushed by jdreier
22m 31s develop
develop
22m 31s
Avoid warnings in empty lets (#833) Deploy to Github pages #17: Commit 3a52314 pushed by jdreier
1m 54s develop
develop
1m 54s
Merge remote-tracking branch 'origin/develop' Deploy to Github pages #16: Commit 82780bb pushed by jdreier
1m 47s master
master
1m 47s
Merge remote-tracking branch 'origin/develop' Tamarin compilation and regression tests #125: Commit 82780bb pushed by jdreier
20m 43s master
master
20m 43s
merge Tamarin compilation and regression tests #124: Commit 86ba3ad pushed by jdreier
2m 45s prepare-release
prepare-release
2m 45s
Prepare release of Tamarin 1.12.0 (#825) Deploy to Github pages #15: Commit a086cf2 pushed by jdreier
1m 44s develop
develop
1m 44s
Prepare release of Tamarin 1.12.0 (#825) Tamarin compilation and regression tests #123: Commit a086cf2 pushed by jdreier
23m 9s develop
develop
23m 9s
new develop version Tamarin compilation and regression tests #122: Commit f7e376b pushed by jdreier
23m 34s prepare-release
prepare-release
23m 34s
Update regression targets Tamarin compilation and regression tests #121: Commit c0f3804 pushed by jdreier
23m 16s prepare-release
prepare-release
23m 16s
Merge, added CHANGES Tamarin compilation and regression tests #120: Commit d71b31c pushed by jdreier
24m 3s prepare-release
prepare-release
24m 3s
Remove unnecessary whitespace in theory pretty printing (#826) Tamarin compilation and regression tests #119: Commit 64c6d39 pushed by jdreier
22m 41s develop
develop
22m 41s