Commit History

Author SHA1 Message Date
  Yentl Van Tendeloo 40aeab0485 Allow the "main" function to be changed to any name (to prevent possible name clashes) 9 years ago
  Yentl Van Tendeloo d26b213e74 Allow the Modelverse to process precompiled functions instead of the explicit one, if such a function is present 9 years ago
  Yentl Van Tendeloo 4426160ea0 Fixed constraint calls 9 years ago
  Yentl Van Tendeloo 8e2efeb151 Fixed includes when compiling pn interface 9 years ago
  Yentl Van Tendeloo eae0c8bbb4 Implemented reverseKeyLookup as a primitive for significant performance boost 9 years ago
  Yentl Van Tendeloo 2ec1ad9500 Updated tests to new format 9 years ago
  Yentl Van Tendeloo a61648ff2e Fixed bootstrapper 9 years ago
  Yentl Van Tendeloo 0a24037711 First few changes to make Modelverse without primitive type hierarchy 9 years ago
  Yentl Van Tendeloo c18fc802c0 Made conformance_scd a bit more readable and fixed some latent bugs in 9 years ago
  Yentl Van Tendeloo 16aea7da03 Initial commit from svn 9 years ago