Commit History

Автор SHA1 Съобщение Дата
  Yentl Van Tendeloo de1e9decf4 Fixed even more bugs: matching and rewriting seems to work in with simple cases преди 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 70221cf4e0 Creation of simple schedule seems to work mostly преди 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 4a0e64447f Debugging FSA semantics преди 8 години
  Yentl Van Tendeloo 0574ede507 Fixed CBD semantics (without algebraic loops!) преди 8 години
  Yentl Van Tendeloo bf11fcb88e Fixed CBD simulation semantics: stepping seems to work in basic преди 8 години
  Yentl Van Tendeloo 427339d4ca Make pn_interface compile everything again without errors преди 9 години
  Yentl Van Tendeloo de6e14821f Allow the "main" function to be changed to any name (to prevent possible name clashes) преди 9 години
  Yentl Van Tendeloo 9009814879 Allow the Modelverse to process precompiled functions instead of the explicit one, if such a function is present преди 9 години
  Yentl Van Tendeloo a929740f50 Fixed constraint calls преди 9 години
  Yentl Van Tendeloo 518f558529 Fixed includes when compiling pn interface преди 9 години
  Yentl Van Tendeloo 705381b7c0 Implemented reverseKeyLookup as a primitive for significant performance boost преди 9 години
  Yentl Van Tendeloo 75c761e091 Updated tests to new format преди 9 години
  Yentl Van Tendeloo 9967d4223f Fixed bootstrapper преди 9 години
  Yentl Van Tendeloo f48bffcada First few changes to make Modelverse without primitive type hierarchy преди 9 години
  Yentl Van Tendeloo ab394a5dbb Made conformance_scd a bit more readable and fixed some latent bugs in преди 9 години
  Yentl Van Tendeloo e527d9b485 Initial commit from svn преди 9 години