Commit graph

Select branches

Hide pull requests

master

Mono Color

• a7f3b1c06a report conclusions master Claudio Maggioni 2023-05-13 19:06:01 +0200
• 38e04a2952 Run script refined Claudio Maggioni 2023-05-12 19:27:10 +0200
• 5c64f6dcbc Sad the course is almost over Claudio Maggioni 2023-05-11 23:53:44 +0200
• bd75c7ab34 more report work Claudio Maggioni 2023-05-11 21:52:22 +0200
• 171740efd6 Report explains ProMeLa code and all LTLs Claudio Maggioni 2023-05-11 21:26:10 +0200
• 649dacc521 added todo in report Claudio Maggioni 2023-05-10 18:12:26 +0200
• 2317899fca correction on promela model to follow indications in the assignment Claudio Maggioni 2023-05-10 18:08:00 +0200
• 1e25f0d9d1 promela expl done (minus ltl) Claudio Maggioni 2023-05-10 16:47:52 +0200
• 422c06c7aa working bibliography, beginning promela explaination Claudio Maggioni 2023-05-10 15:38:13 +0200
• 4635920a21 Plot included in report Claudio Maggioni 2023-05-10 14:07:40 +0200
• 46b8687a71 Added plots Claudio Maggioni 2023-05-10 13:41:23 +0200
• 2addd53076 grid search completed Claudio Maggioni 2023-05-09 16:52:07 +0200
• de2476e2d6 WIP on grid search Claudio Maggioni 2023-05-09 11:07:55 +0200
• 942de9a1ae m4 magic Claudio Maggioni 2023-05-08 19:10:41 +0200
• 6f31f57b32 First LTL property implemented Claudio Maggioni 2023-05-08 16:15:17 +0200
• 5fcfb5ea8e Promela refinement Claudio Maggioni 2023-05-08 15:22:41 +0200
• 46c19ef89f ProMeLa implementation tweaks Claudio Maggioni 2023-05-08 14:46:00 +0200
• 4f00be95f5 ProMeLa implementation (excl. ltl) done Claudio Maggioni 2023-05-08 14:31:13 +0200
• d207d42f77 Proof of concept sequential reverser Claudio Maggioni 2023-05-08 14:15:13 +0200
• 63f27e6a93 Added assignment sources Claudio Maggioni 2023-05-07 18:10:54 +0200