whitequark
|
651e6b1b7a
|
Remove build products from git.
|
2015-09-30 18:41:47 +03:00 |
|
whitequark
|
7a6fc3983c
|
Make delay component of function type unifyable.
|
2015-09-30 18:41:14 +03:00 |
|
whitequark
|
867a0689ad
|
transforms.Inferencer: narrow range() element type.
|
2015-09-02 17:55:48 -06:00 |
|
whitequark
|
b971cc8cdf
|
compiler.{iodelay,transforms.iodelay_estimator}: implement.
|
2015-09-02 17:55:48 -06:00 |
|
whitequark
|
995245b786
|
compiler.embedding: default RPC return annotation is -> TNone.
|
2015-09-01 08:38:38 -06:00 |
|
whitequark
|
501ba912c2
|
Implement {delay,now,at}{,_mu} and {mu,seconds}_to_{seconds,mu}.
|
2015-08-31 09:59:33 -06:00 |
|
whitequark
|
9936768603
|
ARTIQIRGenerator: fix non-nullary method calls.
|
2015-08-28 02:11:05 -05:00 |
|
whitequark
|
13e612c11b
|
Fix tests.
|
2015-08-28 00:51:31 -05:00 |
|
whitequark
|
7c1abb25ec
|
compiler.embedding: test all diagnostics.
Also, unify and improve diagnostic messages.
|
2015-08-28 00:47:28 -05:00 |
|
whitequark
|
0e26cfb66e
|
LocalAccessValidator: relax restrictions to accept def f(); def g().
|
2015-08-22 13:31:09 -07:00 |
|
whitequark
|
51c591f01a
|
Unbreak tests.
|
2015-08-18 22:44:09 -07:00 |
|
whitequark
|
6c8de9b6d4
|
Implement methods.
|
2015-08-18 22:39:22 -07:00 |
|
whitequark
|
1040a409c3
|
lit-test: fix tests incorrectly assuming an OutputCheck step.
|
2015-08-18 15:05:43 -07:00 |
|
whitequark
|
94a2d5f5fa
|
Implement class attribute access through instances.
|
2015-08-15 11:07:54 -04:00 |
|
whitequark
|
00efc8c636
|
Implement class definitions and class attribute access.
|
2015-08-15 09:45:16 -04:00 |
|
whitequark
|
786fde827a
|
Unbreak tests.
|
2015-08-11 00:41:31 +03:00 |
|
whitequark
|
2cd25f85bf
|
Rename artiq.compiler.testbench.{module → signature}.
|
2015-07-29 14:32:34 +03:00 |
|
whitequark
|
edffb40ef2
|
On uncaught exception, execute finally clauses and collect backtrace.
|
2015-07-27 13:51:24 +03:00 |
|
whitequark
|
2939d4f0f3
|
Add tests for finally clause and reraising.
|
2015-07-27 12:36:21 +03:00 |
|
whitequark
|
a83e7e2248
|
Add tests for exceptional control flow.
|
2015-07-27 10:22:28 +03:00 |
|
whitequark
|
90be44c596
|
Add tests for non-exceptional control flow across finally.
|
2015-07-27 10:13:22 +03:00 |
|
whitequark
|
7c77dd317a
|
Implement __artiq_personality.
|
2015-07-27 09:10:20 +03:00 |
|
whitequark
|
bb5fe60137
|
Implement exception raising.
|
2015-07-27 05:46:43 +03:00 |
|
whitequark
|
47f13bf921
|
Always load the personality library in JIT testbench, if available.
|
2015-07-27 04:44:40 +03:00 |
|
whitequark
|
14c7b15785
|
Add a test harness for exceptions.
The libunwind.h is duplicated here so that it would be possible
to test the Python parts without pulling in misoc.
|
2015-07-27 04:18:12 +03:00 |
|
whitequark
|
862ac1f90d
|
lit-test/compiler -> lit-test/test.
Other directories in lit-test will host various parts of
the test harness.
|
2015-07-27 04:13:29 +03:00 |
|
whitequark
|
ece52062f2
|
Implement code generation for exception handling.
|
2015-07-25 05:37:37 +03:00 |
|
whitequark
|
20f5f8217d
|
Make sure tests pass both on ARTIQ Python and CPython.
In some cases (the `is` operator and wraparound arithmetics)
the tests will only pass on ARTIQ Python. These are conditionally
commented out.
|
2015-07-23 08:09:25 +03:00 |
|
whitequark
|
65121b437f
|
Rework internal logic of slices.
|
2015-07-23 07:57:49 +03:00 |
|
whitequark
|
9db199cad9
|
Handle closure effects appropriately in LocalAccessValidator.
|
2015-07-23 03:15:36 +03:00 |
|
whitequark
|
acb8810e62
|
Add tests for lambdas and functions.
|
2015-07-23 03:07:30 +03:00 |
|
whitequark
|
4cfe4ea148
|
Make negative and too-far shifts have defined behavior.
|
2015-07-23 00:58:41 +03:00 |
|
whitequark
|
bf60978c7b
|
Add bool coercion support.
|
2015-07-22 19:15:54 +03:00 |
|
whitequark
|
de181e0cb9
|
Revert "Require boolean operand in BoolOp."
This reverts commit 5d518dcec6.
|
2015-07-22 18:35:18 +03:00 |
|
whitequark
|
51aef980a0
|
Revert "Require boolean condition in If, While, IfExp."
This reverts commit e21829ce74.
|
2015-07-22 18:35:14 +03:00 |
|
whitequark
|
f2a6110cc4
|
Add integration tests for every language construct.
|
2015-07-22 18:34:52 +03:00 |
|
whitequark
|
236d5b886a
|
Add support for Assert.
|
2015-07-22 02:58:59 +03:00 |
|
whitequark
|
5d518dcec6
|
Require boolean operand in BoolOp.
|
2015-07-21 23:46:22 +03:00 |
|
whitequark
|
e21829ce74
|
Require boolean condition in If, While, IfExp.
|
2015-07-21 23:39:22 +03:00 |
|
whitequark
|
49ece6a12a
|
Add support for string literals.
|
2015-07-21 14:27:48 +03:00 |
|
whitequark
|
e58b811d6d
|
Fix tests broken by fixed FloorDiv.
|
2015-07-21 14:05:07 +03:00 |
|
whitequark
|
7e3f91c0bb
|
Teach closures to LocalAccessValidator.
|
2015-07-19 12:08:26 +03:00 |
|
whitequark
|
ac491fae47
|
Add LocalAccessValidator.
|
2015-07-19 11:44:51 +03:00 |
|
whitequark
|
f5d9e11b38
|
Remove irgen tests.
These are too hard to write and will be replaced by integration
tests of ARTIQ IR generator + LLVM IR generator once the latter
gets implemented.
|
2015-07-19 11:30:53 +03:00 |
|
whitequark
|
21eafefd28
|
Fix inference for globals.
|
2015-07-18 08:13:49 +03:00 |
|
whitequark
|
53fb03d1bf
|
Restrict comprehensions to single for and no if clauses.
|
2015-07-16 14:52:41 +03:00 |
|
whitequark
|
227f97f8a3
|
Add inference for Index, Slice and ExtSlice.
|
2015-07-16 04:22:41 +03:00 |
|
whitequark
|
bdcb24108b
|
Add basic IR generator.
|
2015-07-14 08:56:51 +03:00 |
|
whitequark
|
02b41ea0f7
|
Add MonomorphismChecker.
|
2015-07-02 21:28:26 +03:00 |
|
whitequark
|
7ce9bdf54d
|
Move transforms to artiq.compiler.transforms, add artiq.Module.
|
2015-07-02 19:35:35 +03:00 |
|