Commit History

作者 SHA1 備註 提交日期
  Yentl Van Tendeloo f53246619b Update model to prevent stripping of list of length 1 9 年之前
  Yentl Van Tendeloo 583decdf43 Removed some prints 9 年之前
  Yentl Van Tendeloo 18a81eaa73 Reinstated most constraints, except for the AL constraints on AL elements: takes too long to run 9 年之前
  Yentl Van Tendeloo 81c48dc5a6 Remove logs 9 年之前
  Yentl Van Tendeloo 4fa0039a35 The use of compiled functions became a parameter in the Modelverse 9 年之前
  Yentl Van Tendeloo d26b213e74 Allow the Modelverse to process precompiled functions instead of the explicit one, if such a function is present 9 年之前
  Yentl Van Tendeloo d3a3dd777d Propagate --debug flag in ./compile.sh 9 年之前
  Yentl Van Tendeloo 07844c2640 Propagate self.inputfile throughout the parse tree 9 年之前
  Yentl Van Tendeloo b9a60fd509 Added debug symbol readout in MvK 9 年之前
  Yentl Van Tendeloo fbb392f96d Declare also doesn't redeclare when in the same scope 9 年之前
  Yentl Van Tendeloo 88daa39abb Stricter checking enforced on duplicate entries: do not redefine global symbol if already exists 9 年之前
  Yentl Van Tendeloo 16aea7da03 Initial commit from svn 9 年之前