Default Branch

main

d69b4a41ca · Merge pull request 'Towards First Stable Version' (#16) from modeltype into main · Updated 1 year ago

Branches

modeltype

8719aa7c07 · added logic for new slippery tiles · Updated 1 year ago

1
2
overwrites

a3413fe990 · changed behaviour when moving against wall · Updated 1 month ago

1
22
#17 Open
remove_unnecessary_guards

46b4d5f9f3 · adapted call to PrismModulesPrinter · Updated 1 year ago

23
0
#13 Merged
yaml_config_changes

acd1a17082 · renamed index · Updated 1 year ago

28
0
#10 Merged