Commit Graph

Select branches

Hide Pull Requests

debug_info

escape-analysis

host_int_bound

iterators

master

ndarray

no_init

refactor_anto

Mono Color

• b7ee07d7f1 core/builtins: Simplify vector of None creation [nfc] ndarray David Nadlinger 2022-04-22 23:50:00 +0100
• 188208b959 core/typecheck: Implement unification for scalar indexing of ndarrays David Nadlinger 2022-04-22 22:46:24 +0100
• 164edd266e core/typecheck: Explicitly give errors on "advanced" (subset) indexing David Nadlinger 2022-04-22 22:28:59 +0100
• c74b7992f6 core/typecheck: Basic ndarray indexing support David Nadlinger 2022-04-22 21:55:27 +0100
• 72cb693e2e core/typecheck: First btis of NumPy-like array type inference David Nadlinger 2022-04-22 20:49:18 +0100
• 8454741f9e cargo fmt the world David Nadlinger 2022-04-22 20:41:21 +0100
• 2e6fc4cfe5 [tmp] nix: Switch to aarch64-darwin David Nadlinger 2022-04-22 19:18:35 +0100
• 48cb485b89 nac3core: show outer type info in type error messages ychenfo 2022-04-22 15:31:55 +0800
• 837aaa95f1 flake: contain sipyco to nac3artiq-profile Sebastien Bourdeauducq 2022-04-19 10:34:55 +0800
• a19e9c0bec flake: provide llvm-as for IRRT Sebastien Bourdeauducq 2022-04-19 10:23:31 +0800
• 5dbe1d3d7d llvm: restore llvm-config Sebastien Bourdeauducq 2022-04-19 10:23:04 +0800
• e9bca3c822 llvm: set LLVM_BUILD_TOOLS=OFF Sebastien Bourdeauducq 2022-04-19 00:30:11 +0800
• 42d1aad507 flake: add PGO build to Hydra Sebastien Bourdeauducq 2022-04-18 23:58:43 +0800
• 2777a6e05f flake: use nac3devices example for PGO Sebastien Bourdeauducq 2022-04-18 23:57:57 +0800
• 05be5e93c4 flake: update nixpkgs Sebastien Bourdeauducq 2022-04-18 18:48:05 +0800
• 85f21060e4 update to LLVM 14 Sebastien Bourdeauducq 2022-04-18 18:47:20 +0800
• a308d24caa nac3standalone: cleanup Sebastien Bourdeauducq 2022-04-18 16:02:48 +0800
• 1eac111d4c cleanup Sebastien Bourdeauducq 2022-04-18 15:55:37 +0800
• 44199781dc nac3standalone: add tests for operators ychenfo 2022-04-18 04:51:15 +0800
• 711c3d3303 nac3core: support custom operators ychenfo 2022-04-13 12:25:52 +0800
• 0975264482 README: center icon sb10q 2022-04-18 15:11:32 +0800
• 087aded3a3 add icon Sebastien Bourdeauducq 2022-04-18 15:07:53 +0800
• f14b32be67 nac3artiq: type check host int bound instead of panic when codegen ychenfo 2022-04-12 22:05:59 +0800
• 879c66cccf flake.nix: Fix outdated nixConfig keys David Nadlinger 2022-04-13 21:21:18 +0100
• 1314568449 nac3artiq: type check host int bound instead of panic when codegen host_int_bound ychenfo 2022-04-12 22:05:59 +0800
• 7c5e617e90 nac3core: add location debug info debug_info ychenfo 2022-04-14 00:51:48 +0800
• 4850df7874 nac3core: add function debug info ychenfo 2022-04-13 18:08:23 +0800
• ee3b18bd83 nac3core: add basic debug info metadata ychenfo 2022-04-11 23:36:52 +0800
• d8caaed2d1 nac3core: keep checks for class constructors no_init wylited 2022-04-13 15:57:21 +0800
• 35b6459c58 nac3core: replace paramter with parameter master wylited 2022-04-13 15:42:26 +0800
• e94b25f544 spelling (#264) Co-authored-by: wylited <ds@m-labs.hk> Co-committed-by: wylited <ds@m-labs.hk> wylited 2022-04-13 11:32:31 +0800
• ef7a7f55ce Merge branch 'master' into iss221_noinit wylited 2022-04-13 10:58:29 +0800
• ab86bf4591 nac3core: toplevel, fix for class constructors + spelling errors wylited 2022-04-13 10:35:18 +0800
• 6972689469 nac3artiq: cleanup demo Sebastien Bourdeauducq 2022-04-12 10:34:14 +0800
• 3fb22c9182 nac3artiq: treat host numpy.float64 as float. Closes #90 Sebastien Bourdeauducq 2022-04-12 10:33:28 +0800
• 1e7abf0268 fix tests Sebastien Bourdeauducq 2022-04-12 10:06:41 +0800
• f5a6d29106 update insta snapshots Sebastien Bourdeauducq 2022-04-12 09:56:49 +0800
• ca07cb66cd format typevars consistently Sebastien Bourdeauducq 2022-04-12 09:28:17 +0800
• 93e9a6a38a update dependencies Sebastien Bourdeauducq 2022-04-12 09:13:04 +0800
• 722e3df086 nac3core, artiq: optimize kernel invariant for tuple index ychenfo 2022-04-10 16:25:15 +0800
• ad9ad22cb8 nac3core: optimize unwrap KernelInvariant ychenfo 2022-04-10 03:31:04 +0800
• a5efba75ba nac3core: toplevel | add enumerate as a keyword for functions iterators wylited 2022-04-11 14:41:26 +0800
• eeeccfd656 add extra builtin types for tuples and lists wylited 2022-04-10 11:44:29 +0800
• f66f66b3a4 nac3core, artiq: remove unnecessary ptr casts ychenfo 2022-04-09 04:18:27 +0800
• 6c485bc9dc nac3artiq: skip attribute writeback for option option types do not have any fields to be written back to the host so it is ok to skip. If we do not skip, there will be error when getting the value of it since it can be `none`, whose type is not concrete ychenfo 2022-04-09 03:50:39 +0800
• 089bba96a3 nac3artiq: get_obj_value take an additional argument for expected type ychenfo 2022-04-10 01:02:52 +0800
• 0e0871bc38 nac3core, artiq: to_basic_value_enum takes an argument indicating the expected type ychenfo 2022-04-08 03:26:42 +0800
• 26187bff0b nac3core: add missing bound check and negative index handling for list subscription assignment ychenfo 2022-04-09 04:56:31 +0800
• 830fc0f453 escape analysis: make list elements imprecise escape-analysis pca006132 2022-04-08 23:46:22 +0800
• ea5a8c95dc escape analysis: fixed some bugs regarding imprecise local pca006132 2022-04-08 20:16:48 +0800
• fb79b47b38 escape analysis: fixed infinite loop detection pca006132 2022-04-08 09:18:34 +0800
• 1257a80ed1 escape analysis implementation pca006132 2022-04-07 23:02:07 +0800
• c93f79f94a basic escape analysis for assignment statements pca006132 2022-04-05 22:19:23 +0800
• 86ce513cb5 nac3standalone: fix broken test previously this test unexpectedly passed because it is a slice assignment to extend the list, which is valid in CPython and hence in interpret_demo, and which also happened to give the same output in nac3 by memmove the elements in the list of bool ychenfo 2022-04-05 15:55:43 +0800
• c29cbf6ddd nac3core: add bound check for list slice ychenfo 2022-04-05 14:29:20 +0800
• 7443c5ea0f nac3core: add location information to codegen context ychenfo 2022-04-04 23:21:00 +0800
• f55b077e60 README: update Windows instructions Sebastien Bourdeauducq 2022-04-05 18:07:38 +0800
• e05b0bf5dc flake: update nixpkgs Sebastien Bourdeauducq 2022-04-05 10:10:08 +0800
• 8eda0affc9 windows: add wine-msys2-build Sebastien Bourdeauducq 2022-04-05 10:06:36 +0800
• 75c53b40a3 windows: update msys2 packages, add setuptools to environment Sebastien Bourdeauducq 2022-04-05 10:06:14 +0800
• 0d10044d66 Merge pull request 'Fix float**int with negative power' (#254) from neg_powi_fix into master pca006132 2022-04-04 22:43:20 +0800
• 10c4544553 nac3core/typecheck: start implementing escape analysis pca006132 2022-04-04 22:42:22 +0800
• 23b7f4ef18 nac3standalone: add tests for power ychenfo 2022-04-02 03:29:25 +0800
• 710904f975 nac3core: fix powi with negative integer power ychenfo 2022-04-02 03:26:15 +0800
• 4bf452ec5a windows: do not check dependencies when making package Sebastien Bourdeauducq 2022-04-04 16:03:59 +0800
• 9fdce11efe windows: depend on python Sebastien Bourdeauducq 2022-04-04 15:21:34 +0800
• f24ef85aed hydra: use msys2 type Sebastien Bourdeauducq 2022-04-04 15:03:53 +0800
• 4a19787f10 README: update Sebastien Bourdeauducq 2022-04-04 15:03:44 +0800
• 8209c0a475 windows: create MSYS2 package Sebastien Bourdeauducq 2022-04-04 14:24:47 +0800
• 4f66bdeda9 Merge pull request 'nac3core: do not get llvm value too eagerly for kernel invariant' (#253) from kernel_invariant_fix into master pca006132 2022-03-31 12:48:49 +0800
• 57369896d7 update dependencies Sebastien Bourdeauducq 2022-03-31 10:40:18 +0800
• 2edeb31d21 nac3core: do not get llvm value too eagerly for kernel invariant ychenfo 2022-03-31 01:06:11 +0800
• b8ef44d64e nac3standalone: add test for default param ychenfo 2022-03-30 04:04:27 +0800
• c3156afebd nac3core: fix broken tests ychenfo 2022-03-30 03:52:49 +0800
• 388c9b7241 nac3core: better check and err msg for default param ychenfo 2022-03-30 03:50:34 +0800
• e52d7fc97a nac3artiq: resolve unsigned int host variable as defautl param ychenfo 2022-03-30 03:17:06 +0800
• 6ab73a223c nac3core/artiq: support default param of option type ychenfo 2022-03-30 03:14:21 +0800
• a38cc04444 nac3core: assert statement ychenfo 2022-03-29 00:13:47 +0800
• 1f5826d352 fix ternary if (#250) ychenfo 2022-03-29 06:54:00 +0800
• 94eebde4ea README: add note about MSVC Python Sebastien Bourdeauducq 2022-03-28 10:45:01 +0800
• 63ec382673 README: update Windows instructions Sebastien Bourdeauducq 2022-03-27 19:36:02 +0800
• 0ca1a7bedb windows: work around broken LLD install script Sebastien Bourdeauducq 2022-03-27 19:14:02 +0800
• 201ca3f63d Revert "nac3artiq: use lld.exe on Windows" Sebastien Bourdeauducq 2022-03-27 19:09:11 +0800
• 19182759cd nac3artiq: use lld.exe on Windows Sebastien Bourdeauducq 2022-03-27 18:41:38 +0800
• edd039abdc windows: build LLD Sebastien Bourdeauducq 2022-03-27 18:41:23 +0800
• 3852cc1058 windows: don't fixup LLVM Sebastien Bourdeauducq 2022-03-27 18:38:23 +0800
• 0600ee8efa nac3artiq: use correct lld invokation on Windows Sebastien Bourdeauducq 2022-03-27 18:25:14 +0800
• bed33a7421 nac3standalone: add tests for tuple ychenfo 2022-03-27 10:14:22 +0800
• 0d2b844a2e nac3artiq: avoid getting tuple as pointer value ychenfo 2022-03-27 10:29:08 +0800
• 8d7e300a4a nac3core: do not use const struct for tuple ychenfo 2022-03-27 10:13:17 +0800
• 10d623e36f nac3core/artiq: fix tuple representation ychenfo 2022-03-27 02:23:22 +0800
• 000b128551 nac3artiq: cast none to correct ptr type (#241) ychenfo 2022-03-26 23:32:50 +0800
• e4581a6d9b nac3standalone/demo: fix return type in loop.py Sebastien Bourdeauducq 2022-03-26 21:10:05 +0800
• 1a82d296e7 nac3core/codegen: prevent users from modifying loop counter pca006132 2022-03-26 20:58:37 +0800
• bf067e2481 nac3artiq: implement attribute writeback pca006132 2022-03-25 22:42:01 +0800
• ba8ed6c663 nac3artiq: handle recursive types properly ychenfo 2022-03-23 03:38:48 +0800
• 26a4834254 fix warnings ychenfo 2022-03-26 18:52:08 +0800
• 1ad4b0227c windows: fix src location Sebastien Bourdeauducq 2022-03-26 15:46:21 +0800
• 6288a66dc5 windows: fix cargo lockfile location Sebastien Bourdeauducq 2022-03-26 15:23:31 +0800
• de4320eefb improve package names Sebastien Bourdeauducq 2022-03-26 15:15:39 +0800