提交歷史

作者 SHA1 備註 提交日期
  Yentl Van Tendeloo f066108845 Working matching with some additional checks 8 年之前
  Yentl Van Tendeloo 2e2ddb31b7 Added yet some more "primitives" and fixed minor problems with matching function 8 年之前
  Yentl Van Tendeloo b73bdfbdf0 Make a nicer version of the transformation engine, which calls an 8 年之前
  Yentl Van Tendeloo a045b60f16 Rewrote transformation file structure to contain a match and rewrite phase 8 年之前
  Yentl Van Tendeloo 70221cf4e0 Creation of simple schedule seems to work mostly 8 年之前
  Yentl Van Tendeloo 7ace4057c7 Fixed some problems with transformations schedule creation 8 年之前
  Yentl Van Tendeloo 76ea7e971f Fixed call in PN_interface to transforms 8 年之前
  Yentl Van Tendeloo 45b6b74a7f Small extension to bootstrap primitives (list_pop) and some minor changes to test to include a test for transformations 8 年之前
  Yentl Van Tendeloo 5589a6a606 Bugfix for problems with schedule generation 8 年之前
  Yentl Van Tendeloo 2ef0b432e7 Add initial code for transformations: make a schedule of LHS elements to visit 8 年之前