Commit History

Автор SHA1 Съобщение Дата
  Yentl Van Tendeloo dd46c28b2d Debugging FSA semantics преди 10 години
  Yentl Van Tendeloo dd2a7f4c48 Fixed CBD semantics (without algebraic loops!) преди 10 години
  Yentl Van Tendeloo c742c7ccc1 Fixed random() returning only 0 преди 10 години
  Yentl Van Tendeloo 8a9f824bc5 Made yield infrastructure more transparent by not unpacking single values from the MvS преди 10 години
  Yentl Van Tendeloo 40aeab0485 Allow the "main" function to be changed to any name (to prevent possible name clashes) преди 10 години
  Yentl Van Tendeloo 48942603ba Explicitly model the symbol checking algorithm преди 10 години
  Yentl Van Tendeloo 1d0c1dce8d Faster reverse dictionary read primitive преди 10 години
  Yentl Van Tendeloo b352c26cb7 Fixed problematic attribute deletion преди 10 години
  Yentl Van Tendeloo 4426160ea0 Fixed constraint calls преди 10 години
  Yentl Van Tendeloo 4610693bbc Added new MMCL in metamodels.alc преди 10 години
  Yentl Van Tendeloo eae0c8bbb4 Implemented reverseKeyLookup as a primitive for significant performance boost преди 10 години
  Yentl Van Tendeloo 254cd9dd06 Remove tests that tested the primitives which are now implemented in AL преди 10 години
  Yentl Van Tendeloo d8b0642b31 Relaxed MvS constraint to allow for ambiguous keys (though not for duplicates!), thus solving the cardinality problem преди 10 години
  Yentl Van Tendeloo 1eefba361f made list of operations to un-primitive преди 10 години
  Yentl Van Tendeloo a61648ff2e Fixed bootstrapper преди 10 години
  Yentl Van Tendeloo 0a24037711 First few changes to make Modelverse without primitive type hierarchy преди 10 години
  Yentl Van Tendeloo 88daa39abb Stricter checking enforced on duplicate entries: do not redefine global symbol if already exists преди 10 години
  Yentl Van Tendeloo 3dd3459abe Add exception when adding multiple entries to the same dictionary using преди 10 години
  Yentl Van Tendeloo 16aea7da03 Initial commit from svn преди 10 години