提交歷史

作者 SHA1 備註 提交日期
  Yentl Van Tendeloo c7867e38a4 Removed import of postproc, which didn't exist (and wasn't used for constructors) 9 年之前
  Yentl Van Tendeloo 1d909594aa Added my own curl replacement for Windows (and Linux) and some more changes to Windows bat format 9 年之前
  Yentl Van Tendeloo 2dcc9ab711 Fixed up the generate bootstrap and run local modelverse scripts 9 年之前
  Yentl Van Tendeloo 2c5f1943ed Added Linux copy for the files to be created 9 年之前
  Yentl Van Tendeloo 4058bbefad generate bootstrap for windows 9 年之前
  Yentl Van Tendeloo 6eeab2fe3e Add another script for windows 9 年之前
  Yentl Van Tendeloo d31f6975d0 Updated fix_windows script for windows 9 年之前
  Yentl Van Tendeloo 084b104502 Added another two tests 9 年之前
  Yentl Van Tendeloo 33bd50f5e7 Allow input-based tests again in linkable 9 年之前
  Yentl Van Tendeloo 8776fb3a58 Minor tweak 9 年之前
  Yentl Van Tendeloo 5304ac28fb Remove some unused functions 9 年之前
  Yentl Van Tendeloo d133fc8dc7 Add test for structural inheritance 9 年之前
  Yentl Van Tendeloo 351eb251e7 Fixed is_nominal_subtype 9 年之前
  Yentl Van Tendeloo fe577b0d32 Made test work :) 9 年之前
  Yentl Van Tendeloo d4f4f77e04 Added new (failing) test for is_direct_instance 9 年之前
  Yentl Van Tendeloo 7b6aa762e8 Make a script to find an available port in the tests; added parallel test runner script 9 年之前
  Yentl Van Tendeloo 5db1749f0f Make ports flexible and no longer restricted to 8001: mostly updated tests for this 9 年之前
  Yentl Van Tendeloo 3c993b118c Added parallel push option to compile on as many cores as available 9 年之前
  Yentl Van Tendeloo be91d193ef compiler waits for the MvK to acknowledge that it has processed requests (new interface: 2) 9 年之前
  Yentl Van Tendeloo 26fac7a1eb Split off compile function to its own function for future 9 年之前
  Yentl Van Tendeloo 1b282ee2e0 Fixed pn_interface tests 9 年之前
  Yentl Van Tendeloo 1be00b3f7e Fixed some more problems in the tests 9 年之前
  Yentl Van Tendeloo c962f639a4 Remove undefined functions 9 年之前
  Yentl Van Tendeloo d2c7996d95 Fixed import error 9 年之前
  Yentl Van Tendeloo af376c44f6 And fixed "enabled" test for petri nets 9 年之前
  Yentl Van Tendeloo 026c6e51d2 Fixed yet another test 9 年之前
  Yentl Van Tendeloo cb6fad1a1b Even more tests 9 年之前
  Yentl Van Tendeloo 44b0c37e94 Added yet another passing test 9 年之前
  Yentl Van Tendeloo f04751c91e Fixed at least one test for the pn_interface and made it a bigger one 9 年之前
  Yentl Van Tendeloo 56928d495b Major changes to pn_interface test 9 年之前