Commit History

Автор SHA1 Съобщение Дата
  Yentl Van Tendeloo d49dec5c8f Fixed some more rules преди 7 години
  Yentl Van Tendeloo 70804a2567 Bugfixes to MvK rules... преди 7 години
  Yentl Van Tendeloo 9cd98d0cd6 Fixed some bugs in function call rules преди 7 години
  Yentl Van Tendeloo 2ccc78d7ad Bugfixes преди 7 години
  Yentl Van Tendeloo f4c0bac705 Semi-working automatically generated Modelverse Kernel преди 7 години
  Yentl Van Tendeloo bd86ba81fa Username -> taskname преди 7 години
  Yentl Van Tendeloo d5b2785fc1 Add some basic scheduling to delay matching of variables (+ bugfixes to rules) преди 7 години
  Yentl Van Tendeloo 64ebcbd06d Initial RRD support for rule generation преди 7 години
  Yentl Van Tendeloo f7416f73ba Add missing "input" rule преди 7 години
  Yentl Van Tendeloo 4b6191e848 Fixed some typos in the rules преди 7 години
  Yentl Van Tendeloo 4b5f5941a6 Add initial code to generate Python code from rules преди 7 години
  Yentl Van Tendeloo 2de12f34b7 Added the matching attributes of the rules преди 7 години
  Yentl Van Tendeloo 9f2dcfc0a4 Fixed another typo... преди 7 години
  Yentl Van Tendeloo e86a9a6c3e Fixed another error in the rules vs. the actually executed ones преди 7 години
  Yentl Van Tendeloo 1530171bc9 Fix most (all?) typos in MvK rules преди 7 години
  Yentl Van Tendeloo a0a5d6b646 Fixed some typos in original rules преди 7 години
  Yentl Van Tendeloo 5f842f40e1 Shift all rules to the numeric notation преди 7 години
  Yentl Van Tendeloo a89f99d380 Revert "Take all edges out of the rule itself" преди 7 години
  Yentl Van Tendeloo 20123d9c2c Take all edges out of the rule itself преди 7 години
  Yentl Van Tendeloo 84fe0cebb2 Fix some typos преди 7 години
  Yentl Van Tendeloo 173554d4ec Cleanup преди 7 години