Commit History

Автор SHA1 Съобщение Дата
  Yentl Van Tendeloo c097c8bc1f Bootstrap file can now be compiled (though doesn't work yet...) преди 8 години
  Yentl Van Tendeloo 300e266af6 Fixes to tracability model generation преди 8 години
  Yentl Van Tendeloo 5655c779bd Fixed RAMification according to the tests преди 8 години
  Yentl Van Tendeloo ebdd655a3a Fixed first set of tests: constructors_model; updated metamodels.alc too преди 8 години
  Yentl Van Tendeloo ef33410933 Fixed most problems; only enabled a few compiled functions again: JIT преди 8 години
  Yentl Van Tendeloo cb5597d4c7 Split off most (transformation) models from the tests преди 8 години
  Yentl Van Tendeloo bc0eec26a5 RAMification is compiling преди 8 години
  Yentl Van Tendeloo 228c643840 Basic RAMification algorithm (untested and not compiling) преди 8 години
  Yentl Van Tendeloo a9b0b84b48 Added constraints on AL, but commented it out for performance reasons преди 9 години
  Yentl Van Tendeloo d4fa453534 Split of metamodel generation from the pn_interface (though is still invoked) преди 9 години