Commit Graph

6165 Commits

Author SHA1 Message Date
whitequark 61434a8da3 Split off builtins from types.
builtins will contain attribute definitions as well.
2015-06-13 10:29:26 +03:00
whitequark 56bba3009d Only build the master branch on Travis. 2015-06-13 09:34:31 +03:00
whitequark 3e2d104014 Make typing.Inferencer idempotent. 2015-06-13 09:32:53 +03:00
Yann Sionneau 2ed81f75a7 conda: remove recipes we dont need anymore since the switch to Qt 2015-06-12 18:16:19 +02:00
Sebastien Bourdeauducq 86fbe38371 gui: DDS monitor/injection (WIP) 2015-06-12 17:41:04 +08:00
whitequark c89bf6fae0 Add support for UnaryOp. 2015-06-12 08:59:41 +03:00
Sebastien Bourdeauducq f84c51fed5 gui: do not use broken pyqtgraph addLabel method 2015-06-11 15:15:13 +08:00
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