 Yentl Van Tendeloo
|
0574ede507
Fixed CBD semantics (without algebraic loops!)
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
bf11fcb88e
Fixed CBD simulation semantics: stepping seems to work in basic
|
%!s(int64=8) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
427339d4ca
Make pn_interface compile everything again without errors
|
%!s(int64=9) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
de6e14821f
Allow the "main" function to be changed to any name (to prevent possible name clashes)
|
%!s(int64=9) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
9009814879
Allow the Modelverse to process precompiled functions instead of the explicit one, if such a function is present
|
%!s(int64=9) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
a929740f50
Fixed constraint calls
|
%!s(int64=9) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
518f558529
Fixed includes when compiling pn interface
|
%!s(int64=9) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
705381b7c0
Implemented reverseKeyLookup as a primitive for significant performance boost
|
%!s(int64=9) %!d(string=hai) anos |
 Yentl Van Tendeloo
|
75c761e091
Updated tests to new format
|
%!s(int64=9) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
9967d4223f
Fixed bootstrapper
|
%!s(int64=9) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
f48bffcada
First few changes to make Modelverse without primitive type hierarchy
|
%!s(int64=9) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
ab394a5dbb
Made conformance_scd a bit more readable and fixed some latent bugs in
|
%!s(int64=9) %!d(string=hai) anos |
|
Yentl Van Tendeloo
|
e527d9b485
Initial commit from svn
|
%!s(int64=9) %!d(string=hai) anos |
