Skip to content

Actions: paultristanwagner/model-checking

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
17 workflow runs
17 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix typo Build #39: Commit 26e56aa pushed by paultristanwagner
February 5, 2024 17:37 57s main
main
February 5, 2024 17:37 57s
Generify TS, modify transitions and general clean up Build #38: Commit d3891f5 pushed by paultristanwagner
October 12, 2023 17:50 3m 27s main
main
October 12, 2023 17:50 3m 27s
Generify NBA and GNBA, minor performance improvement Build #37: Commit 25a41d9 pushed by paultristanwagner
October 2, 2023 23:54 1m 0s main
main
October 2, 2023 23:54 1m 0s
Use sets instead of lists Build #36: Commit fe67275 pushed by paultristanwagner
October 2, 2023 11:28 1m 1s main
main
October 2, 2023 11:28 1m 1s
Simplify LTL model checker Build #35: Commit 87a7f7e pushed by paultristanwagner
October 2, 2023 11:16 1m 0s main
main
October 2, 2023 11:16 1m 0s
Fix bug in synchronous product and ts.copy() Build #34: Commit 08634df pushed by paultristanwagner
September 30, 2023 07:12 1m 8s main
main
September 30, 2023 07:12 1m 8s
Fix bug in synchronous product and ts.copy() Build #33: Commit 1052049 pushed by paultristanwagner
September 30, 2023 07:11 58s main
main
September 30, 2023 07:11 58s
Fix bug in synchronous product and ts.copy() Build #32: Commit 9aff317 pushed by paultristanwagner
September 30, 2023 07:08 59s main
main
September 30, 2023 07:08 59s
Implement implication in LTL Build #31: Commit e7e13c5 pushed by paultristanwagner
September 29, 2023 08:42 1m 14s main
main
September 29, 2023 08:42 1m 14s
Implement implication in LTL Build #30: Commit 69af078 pushed by paultristanwagner
September 29, 2023 08:22 1m 5s main
main
September 29, 2023 08:22 1m 5s
Add false and logical or to CTL* grammar Build #29: Commit ee28e16 pushed by paultristanwagner
September 28, 2023 19:38 1m 12s main
main
September 28, 2023 19:38 1m 12s
Add false and logical or to CTL* grammar Build #28: Commit 2046ead pushed by paultristanwagner
September 28, 2023 19:36 1m 20s main
main
September 28, 2023 19:36 1m 20s
Implement CTL* model checking Build #27: Commit 2874b8f pushed by paultristanwagner
September 28, 2023 19:18 1m 2s main
main
September 28, 2023 19:18 1m 2s
Implement CTL* model checking Build #26: Commit d9cd195 pushed by paultristanwagner
September 28, 2023 19:10 1m 0s main
main
September 28, 2023 19:10 1m 0s
Prototype for CTL* Build #25: Commit 2ec6863 pushed by paultristanwagner
September 27, 2023 11:40 58s main
main
September 27, 2023 11:40 58s
Reformat code Build #24: Commit 1713a2c pushed by paultristanwagner
September 27, 2023 11:35 1m 21s main
main
September 27, 2023 11:35 1m 21s
Fix ambiguity in CTL grammar, make parsers more robust Build #23: Commit e011065 pushed by paultristanwagner
August 8, 2023 09:58 18m 50s main
main
August 8, 2023 09:58 18m 50s