Commit Graph

130 Commits (main)

Author SHA1 Message Date
Jon Eugster 4e12c749e0 fix findLoops 2 years ago
Jon Eugster 77ba1cd85e fix panic on missmatching namespaces 2 years ago
Jon Eugster 20d7ee66a5 fix MakeGame to include named statements 2 years ago
Jon Eugster 6a849de350 fix merge error 2 years ago
Jon Eugster 2fe2fd777d fix available doc items from previous worlds 2 years ago
Jon Eugster 392d71ee27 swap blocks 2 years ago
Alexander Bentkamp 0a2c4552bf unlock items of previous worlds 2 years ago
Jon Eugster bd7dc02e70 lots of stuff 2 years ago
Alexander Bentkamp bea1790975 remove old loop check 2 years ago
Alexander Bentkamp 15c2f11788 remove path command 2 years ago
Alexander Bentkamp ecc469a159 show calculated paths 2 years ago
Alexander Bentkamp 0d24232685 calculate dependencies 2 years ago
Alexander Bentkamp df8fa2933b record used inventory 2 years ago
Jon Eugster 73ca0f4d95 fix Statement inside a namespace 2 years ago
Jon Eugster 047d75e74d add function to retrieve tactic docstring 2 years ago
Jon Eugster 3bf5c5e5e8 rename and tidy up 2 years ago
Jon Eugster fbf0f55968 reorganisational draft 2 years ago
Jon Eugster 60876b4a77 move Doc class 2 years ago
Jon Eugster d753d1d873 docstrings 2 years ago
Jon Eugster 1b0e4a6a81 make command optional 2 years ago
Jon Eugster 13233710e9 modified inventory doc requirement 2 years ago
Jon Eugster de163a19c9 turn missing doc error into warning 2 years ago
Jon Eugster c6e224dc40 add Hole and Template skeleton 2 years ago
Alexander Bentkamp eaf0d13c2f make game directory more configurable 2 years ago
Jon Eugster 48ba131d2c fix bug for marking new inventory items 2 years ago
Jon Eugster e3c14256fb revert attributes for statements 2 years ago
Jon Eugster ebcc1df171 add syntax for attr in statements; add new key to computed inventory items. 2 years ago
Jon Eugster 8246ae6eac change folder structure 2 years ago
Alexander Bentkamp 732754c9fc rework build process 2 years ago
Alexander Bentkamp d6bd2c98da split off test game
still need to adapt the call to the lean binary to provide two arguments
2 years ago