M-Labs
/
artiq
mirror of https://github.com/m-labs/artiq.git
2
0
Fork 2
Code Issues Projects Releases Wiki Activity
3,664 Commits 13 Branches 35 Tags 25 MiB
Commit Graph

3664 Commits

Author SHA1 Message Date
whitequark 549c110e7c Fix types.TFunction.fold. 2015-07-04 04:27:24 +03:00
whitequark 4785f0a2de Don't error out in inferencer if builtin arguments have polymorphic types. 2015-07-04 04:27:15 +03:00
whitequark 16432d2652 Implement escape analysis. 2015-07-04 04:16:37 +03:00
whitequark 4358c5c453 Unbreak return type inference. 2015-07-04 02:23:55 +03:00
whitequark 561d403ddd Add missing _loc forwarding. 2015-07-04 00:59:03 +03:00
whitequark ee0990cb5e Automatically infer return type of NoneType for no return statements. 2015-07-04 00:58:48 +03:00
Robert Jördens 2674ed1d2d use __all__ to structure the namespace 2015-07-02 22:02:21 -06:00
whitequark bfabca494b Remove regions from types. 
Unification-based inference for regions is useful with a language
that has let bindings (which would propagate the regions) and
functions polymorphic over regions. For reasons of simplicity,
ARTIQ has neither, and making unification-based inference work would
essentially mean adding region coercions between most AST nodes,
and having every source subexpression have its own region variable,
with the appropriate subtyping relationship.

It's simpler to just keep that state outside of typedtree.
 2015-07-02 22:55:12 +03:00
whitequark 0ae13ac1b9 Style fixes. 2015-07-02 22:38:55 +03:00
whitequark 7c833f0727 Move transforms.MonomorphismChecker to validators.MonomorphismValidator. 2015-07-02 21:54:31 +03:00
whitequark 02b41ea0f7 Add MonomorphismChecker. 2015-07-02 21:28:26 +03:00
Sebastien Bourdeauducq 0a9f9093f7 kc705: fix ttl15 2015-07-02 20:02:05 +02:00
whitequark 73a8f3c442 Fix tests. 2015-07-02 20:06:43 +03:00
whitequark 8a65266f14 Improve builtin call error message. 2015-07-02 20:06:07 +03:00
whitequark 196acb37f6 Add IntMonomorphizer. 2015-07-02 19:57:27 +03:00
whitequark 7ce9bdf54d Move transforms to artiq.compiler.transforms, add artiq.Module. 2015-07-02 19:35:35 +03:00
Sebastien Bourdeauducq 2881d5f00a gateware: add RTIO clock generator 2015-07-02 18:20:26 +02:00
whitequark 1702251ee5 Add region field to types. 2015-07-02 18:44:09 +03:00
whitequark 86cdc84f7e Initialize types.TBuiltin's attributes field. 2015-07-02 18:19:01 +03:00
Sebastien Bourdeauducq 74f07092c7 test/coredevice: fix timestamp conflict 2015-07-02 10:26:00 +02:00
Sebastien Bourdeauducq 984e82b82a doc: update slides with new API 2015-07-01 23:50:11 +02:00
Sebastien Bourdeauducq e5e035d031 doc/manual: add fire_and_forget 2015-07-01 22:37:12 +02:00
Sebastien Bourdeauducq 771ad6cb26 test/coredevice: adapt to MU API 2015-07-01 22:34:49 +02:00
Sebastien Bourdeauducq 5ace0f8e7a Merge branch 'master' of https://github.com/m-labs/artiq 2015-07-01 22:23:10 +02:00
Sebastien Bourdeauducq 9d6287a6a3 expose machine units to user 2015-07-01 22:22:53 +02:00
Yann Sionneau d7ef885d9e controllers: print+exit instead of raising exception for argparse error, better doc for --simulation 
As long as you use --simulation, the driver will be in simulation mode.
Even if you specify a --device or --channels.

That can allow you to just switch to simulation mode by adding
--simulation in the device database without having to
remove the serial number or device path/name.
 2015-07-01 11:54:28 +02:00
Yann Sionneau 652f3359a2 lda_controller: fix typo 2015-07-01 11:41:01 +02:00
Robert Jördens 0f06bac701 travis: use "use-local" for conda install 
http://conda.pydata.org/docs/build_tutorials/pkgs.html
 2015-06-29 14:18:38 -06:00
Robert Jördens 3ee2bd5fa8 pipistrello: set CLKFX_MD_MAX from MD ratio 2015-06-29 12:59:59 -06:00
Robert Jördens d1c4cf0b78 pipistrello: update rtio channel doc 2015-06-29 12:21:54 -06:00
Robert Jördens f0ac8cb354 pipistrello: add user_led:2 for debugging w/o adapter 2015-06-29 11:30:37 -06:00
Yann Sionneau ffe1355b1a lda_controller: improve help message for --device argument 2015-06-29 19:24:55 +02:00
Yann Sionneau a73776bd72 controllers: enforce the usage of either --simulation or --device 2015-06-29 19:21:32 +02:00
whitequark 6bf95397d7 Rename package py2llvm to compiler. 
Since the package implements a typechecker along with a code generator,
and the typechecker will be run before or together with transformations,
this name is more descriptive.
 2015-06-29 20:15:22 +03:00
Yann Sionneau 515aa96819 controllers: use --simulation for simulation 2015-06-29 13:04:01 +02:00
Robert Jördens d39382eca0 pipistrello: ext_led fifo depth 4 2015-06-28 22:06:33 -06:00
Robert Jördens 165ef20ffa pipistrello: drop rtio fifos for invisible leds 
the main board leds are all under the adapter board

also tweak fifo depths a bit in a feeble attempt to circumvent a ISE hang (par
phase 4)
 2015-06-28 21:24:57 -06:00
Robert Jördens e2cb0e107f pipistrello: really do not request xtrig 2015-06-28 21:11:41 -06:00
Robert Jördens 23eee94458 pipistrello: add notes to nist_qc1 about dds_clock 
* remove xtrig from the target as it is not usually connected (used for
  dds_clock) and ignore PMT2/BTN2 as C:15 is used for dds_clock.
* this also aligns the ttl channel numbers with kc705/nist_qc1 (two pmt
  inputs followed by 16 ttl outputs followed by leds)
 2015-06-28 20:56:12 -06:00
Robert Jördens 5442ae312f benchmarks/*: remove 
Benchmarks should be shaped as unittests and run as part of CI.
 2015-06-28 20:56:12 -06:00
Robert Jördens f7427dda39 test: make benchmarks unittest 2015-06-28 20:56:12 -06:00
Robert Jördens 593dafc118 test: hardware testbench 2015-06-28 20:55:59 -06:00
Robert Jördens 39e9e73ff3 language: allow experiments to import from artiq.language 
this way the import stanza shows what is imported: just experiment language
related components

keep the imports also at top level until experiments have transitioned

the top level __init__.py should build and expose the entire namespace of artiq
related things, like hdf5 analysis tools, frontend components (like experiment
running api), deployment tools etc.
 2015-06-28 20:52:41 -06:00
whitequark f430bf3f63 Add support for exceptions. 2015-06-29 00:35:48 +03:00
whitequark a4a9cd884e Add exception constructor types. 2015-06-28 22:48:15 +03:00
whitequark 9044e88983 Elaborate hierarchy of builtins. 2015-06-28 22:40:57 +03:00
Sebastien Bourdeauducq 944bfafefa soc: support QC2 and AD9914 (untested) 2015-06-28 21:37:27 +02:00
Sebastien Bourdeauducq b6310b72db runtime: fix log formatting 2015-06-28 17:29:52 +02:00
Sebastien Bourdeauducq 85c5b157a0 test/full_stack: tolerate FP rounding errors 2015-06-27 23:52:20 +02:00
Sebastien Bourdeauducq 8b5b219a18 runtime: provide fixdfdi 2015-06-27 23:51:48 +02:00