sp
/
Minigrid2PRISM
1
0
Fork 0
Code Issues 5 Pull Requests 1 Projects Releases Wiki Activity

Commit Graph

  • 9ea5c0194d add slip and lava formulas sp 2024-01-06 12:02:02 +0100
  • 7f8e195412 added methods for formulas with conditions sp 2024-01-06 10:55:34 +0100
  • 9f03a14347 init PrismFormulaPrinter sp 2024-01-05 21:12:49 +0100
  • 1b81737ce7 add yaml-cpp as dependency sp 2024-01-05 19:38:07 +0100
  • c6cb060448 m2p sticky behavior Thomas Knoll 2024-01-04 19:01:08 +0100
  • 401b23fedd parsing fault prob Thomas Knoll 2024-01-04 13:46:31 +0100
  • aa01214097 added turn propabilty Thomas Knoll 2024-01-02 22:43:49 +0100
  • dfb882edb3 changed propbabilty handling Thomas Knoll 2024-01-02 20:37:50 +0100
  • e0c1807c71 probability changes Thomas Knoll 2023-12-15 13:57:47 +0100
  • 55c14a3c23 added view adaptions Thomas Knoll 2023-12-12 09:16:43 +0100
  • 0e16bb8e44 some renames Thomas Knoll 2023-12-03 17:42:43 +0100
  • 7cdbff0970 added const to config + const prop handling Thomas Knoll 2023-11-30 10:13:16 +0100
  • 707d4051f0 changed slippery position, added index in config Thomas Knoll 2023-11-27 21:46:34 +0100
  • 33b738a420 minor changes to init struct handling and adversary handling Thomas Knoll 2023-09-28 16:01:55 +0200
  • 4dd5e07d02 added model type inference Thomas Knoll 2023-09-28 13:58:09 +0200
  • e4cddbe9de init struct handling changs Thomas Knoll 2023-09-22 09:34:24 +0200
  • 13f7910dd7 some error handling for config yaml parsing Thomas Knoll 2023-09-22 09:32:24 +0200
  • 351a2d3663 added dore handling Thomas Knoll 2023-09-19 16:18:44 +0200
  • b16e348acb continued key support Thomas Knoll 2023-09-19 12:13:35 +0200
  • d42c62e713 changed key handling Thomas Knoll 2023-09-18 16:06:21 +0200
  • 6cec9a910b added direction to slippery tile turns Thomas Knoll 2023-09-13 11:38:01 +0200
  • b5a470ee0c changed configuration comment handling Thomas Knoll 2023-09-13 11:37:42 +0200
  • ca8e8d6281 removed configuration debug prints Thomas Knoll 2023-09-04 12:15:55 +0200
  • 0d8b5bc0c2 added module config added overwrite some fixes Thomas Knoll 2023-09-01 14:38:37 +0200
  • 42d0f4d6d9 changed to yaml config Thomas Knoll 2023-09-01 10:26:42 +0200
  • 0a0d836968 added config print Thomas Knoll 2023-08-31 09:29:40 +0200
  • 56e569890e added basic config parser added unlocked door handling Thomas Knoll 2023-08-30 12:04:34 +0200
  • 83e68bbad3 added keys and doors to walkable tiles changed key init value handling Thomas Knoll 2023-08-28 08:06:48 +0200
  • 85d0cbc81f initial commit sp 2023-08-17 11:41:16 +0200