Commit History

Автор SHA1 Съобщение Дата
  Yentl Van Tendeloo f563c2e8ba Decent merge преди 8 години
  Yentl Van Tendeloo 3a6d73e5e7 Merge branch 'master' into yentl преди 8 години
  Yentl Van Tendeloo 425f93bf71 Add separate file for debugging the MvK (for now...) преди 8 години
  Yentl Van Tendeloo 9826c4b0f8 Updated link to get-pip to something local преди 8 години
  Yentl Van Tendeloo 282ad408f6 Use the hybrid_server by default! преди 8 години
  Yentl Van Tendeloo 2ffb99a9f6 Fixed lowest function call in call stack преди 8 години
  Simon Van Mierlo e7684134d6 tracing the stack преди 8 години
  Yentl Van Tendeloo 9cea5d391f Merge branch 'yentl' of msdl.uantwerpen.be:yentl/modelverse into yentl преди 8 години
  Yentl Van Tendeloo 8286a3f889 Remove deprecated code преди 8 години
  Yentl Van Tendeloo c7bda55656 Fixed make_parallel on Windows (I think) преди 8 години
  Yentl Van Tendeloo dcb756f10a Merge branch 'yentl' of msdl.uantwerpen.be:yentl/modelverse into yentl преди 8 години
  Yentl Van Tendeloo 8c31c75c43 Delete information of removed users преди 8 години
  Yentl Van Tendeloo 06b86b09c7 Propagate line information in compiler преди 8 години
  Yentl Van Tendeloo dca46eaa83 Patched broken user преди 8 години
  Yentl Van Tendeloo 2a15d5d502 Fixed everything преди 8 години
  Yentl Van Tendeloo 699ce0f6e7 Make parameters more reachable in bootstrap.py преди 8 години
  Yentl Van Tendeloo db0825fb12 Restructure bootstrap compiler to make initial code fully transparent преди 8 години
  Yentl Van Tendeloo a271a8b486 Fixed problem with newest SCCD causing deadlock on Mv преди 8 години
  Yentl Van Tendeloo 07b08ee3a3 Fixed broken accesses to username преди 8 години
  Yentl Van Tendeloo 41ae71646e Fixed minor bugs; always use PO even in make_all преди 8 години
  Yentl Van Tendeloo 73e91e3cc2 Store debug info at user-level преди 8 години
  Yentl Van Tendeloo 74f51d9b4f Fixed debug info for make_all.py script and make --debug default (cannot be disabled!) преди 8 години
  Yentl Van Tendeloo b5bf14bbd8 Keep line info in dictionary преди 8 години
  Simon Van Mierlo e3cfa440ad some more debugging преди 8 години
  Yentl Van Tendeloo a9ce930db7 Fixed bug преди 8 години
  Yentl Van Tendeloo 6cc69d5fa3 Added return at the end of every function преди 8 години
  Yentl Van Tendeloo 26f059bf12 Fix self-removing users преди 8 години
  Yentl Van Tendeloo bb4629bcb2 Users can never be removed преди 8 години
  Yentl Van Tendeloo d303aa0601 Everything seems to work преди 8 години
  Yentl Van Tendeloo eb3048c694 More fixes преди 8 години