Historie revizí

Autor SHA1 Zpráva Datum
  Yentl Van Tendeloo 80a6de964e Fixed problem in random due to compiler error for definitions with value před 9 roky
  Yentl Van Tendeloo 60b6da2da9 Added RPGame metamodel and allowed model constructor to use inheritance před 9 roky
  Yentl Van Tendeloo 25eccb9aca PetriNet semantics checks for conformance to PetriNets first před 9 roky
  Yentl Van Tendeloo b05facddd6 Added a "list" command to the petri net semantics před 9 roky
  Yentl Van Tendeloo 9216635dce PN operational semantics seems to work (mostly, and unpolished) před 9 roky
  Yentl Van Tendeloo bdbb6db0dd Split the petri nets operational semantics from the pn_interface před 9 roky
  Yentl Van Tendeloo 7e3021bdfc Added an execute_model script, which adds the model, as well as compiling everything před 9 roky
  Yentl Van Tendeloo 9d71378205 More readable expected results from test před 9 roky
  Yentl Van Tendeloo 6fe1c5b9fd Added a new interface specifically for modelling: interface 4 před 9 roky
  Yentl Van Tendeloo 82f58ced19 Fixed another expected outcome of the test před 9 roky
  Yentl Van Tendeloo cd8dc42376 Make expected test output more precise před 9 roky
  Yentl Van Tendeloo 52d1330c23 Fixed the readme for the new files that are present on the Git repo před 9 roky
  Yentl Van Tendeloo 3c33e3f994 Add test for cardinalities před 9 roky
  Yentl Van Tendeloo 582ab75f72 More informative error messages před 9 roky
  Yentl Van Tendeloo 8189a60b58 Added some more tests for invalid models před 9 roky
  Yentl Van Tendeloo ae11ebf72f Added workaround to find the grammar in all situations před 9 roky
  Yentl Van Tendeloo 48a5fd6de9 Added constraints and added some test cases před 9 roky
  Yentl Van Tendeloo d8a4cf900f Fixed instantiation of attributes před 9 roky
  Yentl Van Tendeloo f907ff01e4 Added more tests for the simple interface; updated to allow for anonymous elements před 9 roky
  Yentl Van Tendeloo 344a86696d Added generation of PetriNets metamodel as a test před 9 roky
  Yentl Van Tendeloo 5e88e418b0 Updated grammar to allow for exports and added initialize_SCD to test před 9 roky
  Yentl Van Tendeloo 94a2683d06 Added test for the model constructor před 9 roky
  Yentl Van Tendeloo 7772cc9352 Added simple class diagrams test před 9 roky
  Yentl Van Tendeloo 6ffacd82ec Merge branch 'master' into yentl před 9 roky
  Yentl Van Tendeloo 1c127b5ff4 Remove old (commented) code před 9 roky
  Yentl Van Tendeloo 4b0ebb7e6e Updated bootstrap with code for import_node; also made *.m files binary to git před 9 roky
  Yentl Van Tendeloo 698548da6f Added export construct and always add in the define inheritance call před 9 roky
  Yentl Van Tendeloo 3a4ce53460 Make test scripts more flexible with changing file extension length před 9 roky
  Yentl Van Tendeloo 86800c2eff Fixed grammar for modelling před 9 roky
  Yentl Van Tendeloo 492b7f0fd8 Added files for a very minimal metadepth-like front-end před 9 roky