Commit History

Автор SHA1 Съобщение Дата
  Yentl Van Tendeloo 39263f286a Fixed CBD simulation semantics: stepping seems to work in basic преди 8 години
  Yentl Van Tendeloo a4dee76d05 Make pn_interface compile everything again without errors преди 9 години
  Yentl Van Tendeloo 40aeab0485 Allow the "main" function to be changed to any name (to prevent possible name clashes) преди 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 4426160ea0 Fixed constraint calls преди 9 години
  Yentl Van Tendeloo 8e2efeb151 Fixed includes when compiling pn interface преди 9 години
  Yentl Van Tendeloo eae0c8bbb4 Implemented reverseKeyLookup as a primitive for significant performance boost преди 9 години
  Yentl Van Tendeloo 2ec1ad9500 Updated tests to new format преди 9 години
  Yentl Van Tendeloo a61648ff2e Fixed bootstrapper преди 9 години
  Yentl Van Tendeloo 0a24037711 First few changes to make Modelverse without primitive type hierarchy преди 9 години
  Yentl Van Tendeloo c18fc802c0 Made conformance_scd a bit more readable and fixed some latent bugs in преди 9 години
  Yentl Van Tendeloo 16aea7da03 Initial commit from svn преди 9 години