Commit History

Автор SHA1 Съобщение Дата
  Yentl Van Tendeloo 32b61cb4eb Split up primitives into primitives and semi-primitives преди 8 години
  Yentl Van Tendeloo cf33fbed38 Use interruptable_sleep as an option преди 8 години
  Yentl Van Tendeloo b698243fcb WIP on testing: 00e6db4 Add instantiate which immediately fixes the location of the new elements преди 8 години
  Yentl Van Tendeloo b5591c1f08 Added some useful operations on lists преди 8 години
  Yentl Van Tendeloo adc1d03bcc Remove deprecated functions преди 8 години
  Yentl Van Tendeloo 7c4d3814d7 Add reverse dictionary capabilities преди 8 години
  Yentl Van Tendeloo 262ee0bfc7 Optimized allInstances with faster reverseKeyLookupMulti преди 8 години
  Yentl Van Tendeloo 75b1815c96 Added the dict_add_fast operation преди 8 години
  Yentl Van Tendeloo 320ffd3b32 Fix reachability graph construction and printing преди 8 години
  Yentl Van Tendeloo 348fe8d0d3 Added a test for PM execution (and reachability graph construction) преди 8 години
  Yentl Van Tendeloo b2f0bc0469 Naively changed user to task in all files преди 8 години
  Yentl Van Tendeloo f0737cf22f Added hash function (for passwords etc.) преди 8 години
  Yentl Van Tendeloo f1a4ee7500 Made core algorithm compile again преди 8 години
  Yentl Van Tendeloo 7583036293 Added basics of FTG code преди 8 години
  Yentl Van Tendeloo 19b276e16c Fixed NACs преди 8 години
  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 години