Commit Graph

8158 Commits

Author SHA1 Message Date
whitequark df686136f1 Separate inference and asttyped transformation.
This allows to run inference several times on the same tree,
as would be necessary when coercion nodes are added.
2015-06-11 06:34:26 +03:00
whitequark e18ea0daae Better error reporting for List. 2015-06-11 04:36:52 +03:00
whitequark 4b7d4c2425 Add support for BoolOp. 2015-06-11 04:36:51 +03:00
whitequark b8ce3f85bd Refactor error reporting in _unify to factor out custom notes. 2015-06-11 04:36:28 +03:00
whitequark ba9a7d087d Add support for IfExp. 2015-06-11 04:36:03 +03:00
whitequark 9953302cb6 Move old py2llvm code to artiq/py2llvm_old. 2015-06-11 02:58:29 +03:00
Yann Sionneau 92999d0cc0 sync_struct: test append, insert, delitem and pop actions 2015-06-10 00:52:46 +02:00
Sebastien Bourdeauducq 276a1784ef gui: add TTL override label 2015-06-09 20:05:39 +08:00
Sebastien Bourdeauducq b2af0f6cc3 soc,runtime: support TTL override 2015-06-09 19:51:02 +08:00
Yann Sionneau 6c094b500d pxi6733: fix type issue 2015-06-08 17:56:44 +02:00
Yann Sionneau d66117ed99 pxi6733: cleanup 2015-06-08 11:54:39 +02:00
whitequark 159692339d Add tests for all diagnostics and unifications. 2015-06-06 18:05:06 +03:00
whitequark a8ff9d0152 AugAssign does not create a binding. 2015-06-06 17:55:04 +03:00
whitequark 98fe152159 Add lit-based tests for diagnostics. 2015-06-06 17:15:06 +03:00
whitequark 7f77632f1a Add lit-based tests for type inferencer. 2015-06-06 16:58:23 +03:00
whitequark 5f06c6af10 Add support for Return. 2015-06-06 15:12:56 +03:00
whitequark d08598fa0f Add support for NameConstant. 2015-06-06 15:12:40 +03:00
Yann Sionneau c251601204 pxi6733: refactor, allow multiple channels in one task, cancel any previous task 2015-06-05 20:12:46 +02:00
Sebastien Bourdeauducq 398940f5ac fix doc build 2015-06-06 00:55:48 +08:00
Sebastien Bourdeauducq 26e737f61f style 2015-06-06 00:55:36 +08:00
Sebastien Bourdeauducq 37c7ea31c3 gui: TTL override support 2015-06-06 00:03:30 +08:00
Sebastien Bourdeauducq 14cf244c0a gui: display status of TTL channels 2015-06-05 19:11:41 +08:00
whitequark eb76f594a0 Replace single-quoted strings with double-quoted. 2015-06-05 12:04:27 +03:00
Sebastien Bourdeauducq 9f9079589e gui: send monitor requests to core device 2015-06-05 14:52:41 +08:00
Sebastien Bourdeauducq a6a476593e worker: wait for process termination
This prevents stray SIGCHLDs from crashing the program e.g. if the asyncio event loop is closed before the process actually terminates.
2015-06-05 00:37:26 +08:00
Sebastien Bourdeauducq c843c353d7 worker: remove useless process wait 2015-06-05 00:05:38 +08:00
whitequark 6c3b5a95ee Use proper format function. 2015-06-04 17:53:38 +03:00
whitequark 4b01e604db Make unification reflective. 2015-06-04 14:50:32 +03:00
whitequark 1a08b50f0a Use a single type printer for inference errors.
This way, type variable names will be consistent among all
printed diagnostics.
2015-06-04 14:50:32 +03:00
whitequark c9623a106e Error out on unsupported expressions by default. 2015-06-04 14:50:32 +03:00
Yann Sionneau 50a6da994e worker test: do not close the event loop twice 2015-06-04 13:44:07 +02:00
whitequark 10a269d77e Better error message for List inference. 2015-06-04 14:42:45 +03:00
Yann Sionneau 60bdf74137 tests: use try/finally to close event loop + wait for process to die after killing it 2015-06-04 13:40:13 +02:00
whitequark 995d84d4ee Add inferencing for Tuple, List, For. 2015-06-04 14:13:49 +03:00
whitequark 76ce364fea Implement inferencing for AugAssign. 2015-06-04 11:52:15 +03:00
Sebastien Bourdeauducq 78f9268277 worker: add note about correct use of close() 2015-06-04 11:30:34 +08:00
Sebastien Bourdeauducq d73006652b test/worker: always close even if prepare() raises 2015-06-04 11:22:03 +08:00
Sebastien Bourdeauducq 82a2beaa32 style fixes 2015-06-04 10:42:37 +08:00
Sebastien Bourdeauducq 448ba042b5 Merge branch 'master' of github.com:m-labs/artiq 2015-06-04 10:35:52 +08:00
Yann Sionneau 0bf3b7a32b conda/setuptools: artiq needs python >= 3.4.3 2015-06-03 15:56:54 +02:00
Yann Sionneau b27254ba80 sync_struct test: test more cases, pep8 fix, remove print 2015-06-03 15:54:50 +02:00
Yann Sionneau b8bdce5bd1 sync_struct test: don't poll, use Event instead 2015-06-03 15:40:58 +02:00
Yann Sionneau 21d88d8345 tests: use a different event loop for each test 2015-06-03 15:23:34 +02:00
Sebastien Bourdeauducq a2ae5e4706 runtime: report TTL status over UDP 2015-06-03 18:26:19 +08:00
Yann Sionneau e5f16b29fd sync_struct: fix test case name 2015-06-03 10:46:09 +02:00
Yann Sionneau c7953da7e1 test: add unittest for sync_struct 2015-06-03 10:43:01 +02:00
Yann Sionneau 140239fee4 pxi6733: allow to set the sampling frequency 2015-06-03 00:34:11 +02:00
Sebastien Bourdeauducq 59b339462c Merge branch 'master' of github.com:m-labs/artiq 2015-06-02 17:45:16 +08:00
Sebastien Bourdeauducq b81151eb42 soc: rtio monitor 2015-06-02 17:41:40 +08:00
whitequark f979a76c7c Require nonlocal names to be bound in an outer scope. 2015-05-30 08:06:19 +03:00