Skip to content

Actions: paultristanwagner/model-checking

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
39 workflow runs
39 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
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
Implement LTL model checking Build #22: Commit 68a5b24 pushed by paultristanwagner
June 6, 2023 13:44 58s main
main
June 6, 2023 13:44 58s
Shorthand notations for formula definition Build #21: Commit fd6ad61 pushed by paultristanwagner
June 5, 2023 17:26 57s main
main
June 5, 2023 17:26 57s
Implement parser for LTL Build #20: Commit d4f97ae pushed by paultristanwagner
June 5, 2023 17:12 57s main
main
June 5, 2023 17:12 57s
Add types for LTL formulae Build #19: Commit b5931c8 pushed by paultristanwagner
June 5, 2023 16:26 59s main
main
June 5, 2023 16:26 59s
Implement NBA, GNBA and synchronous product of TS and NBA Build #18: Commit 4d4211c pushed by paultristanwagner
June 5, 2023 16:15 1m 0s main
main
June 5, 2023 16:15 1m 0s
Edit README Build #17: Commit 3045380 pushed by paultristanwagner
May 28, 2023 22:56 57s main
main
May 28, 2023 22:56 57s
Edit README Build #16: Commit d72e2b5 pushed by paultristanwagner
May 28, 2023 22:54 54s main
main
May 28, 2023 22:54 54s
Working prototype for CTL model checking Build #15: Commit ca5504c pushed by paultristanwagner
May 28, 2023 22:44 53s main
main
May 28, 2023 22:44 53s