sp
/
Minigrid2PRISM
1
0
Fork 0
Code Issues 5 Pull Requests 1 Projects Releases Wiki Activity
Labels Milestones
New Pull Request

Remove Unnecessary Guards and Formulas #13

Merged
sp merged 4 commits from remove_unnecessary_guards into main 11 months ago
Conversation 0 Commits 4 Files Changed 4

4 Commits

Author SHA1 Message Date
sp 46b4d5f9f3 adapted call to PrismModulesPrinter
11 months ago
sp 76d4295f73 removed printing of unnecessary formulas
11 months ago
sp 92d7d11daa switched most tabs to two whitespaces in output
11 months ago
sp 34a399972d print certain movement guards only when necessary
11 months ago