Commit Graph

Select branches

Hide Pull Requests

bound_check

crash_fix_messy

debug_info

debug_info_2

fix-call-param-type

master

neg_powi_fix_2

option

Mono Color

• a32faf78d2 nac3standalone: add more tests fix-call-param-type ychenfo 2022-06-01 04:27:18 +0800
• d568161169 nac3core: fix codegen error of inheritance ychenfo 2022-05-31 23:05:39 +0800
• 6e578a2ebd nac3core: codegen fix call parameter type error ychenfo 2022-05-31 23:03:05 +0800
• 4c39dd240f update all dependencies Sebastien Bourdeauducq 2022-05-31 23:09:51 +0800
• 48fc5ceb8e nac3artiq: demote global value to private occheung 2022-05-27 10:41:34 +0800
• c4ab2855e5 nac3core: pretty print codegen panic error ychenfo 2022-05-30 04:09:21 +0800
• ffac37dc48 nac3core: fix exception type in primitive store ychenfo 2022-05-29 19:14:00 +0800
• 76473152e8 nac3core: fix llvm.expect intrinsic name this might be one of the causes for the random segfault bug ychenfo 2022-05-27 04:23:12 +0800
• 258aa4c9d6 messy crash_fix_messy ychenfo 2022-05-27 03:02:48 +0800
• b04631e935 update dependencies, switch to nixpkgs 22.05 Sebastien Bourdeauducq 2022-05-24 11:10:29 +0800
• 09820e5aed nac3artiq: return err instead of panic for host object attribute error ychenfo 2022-05-15 02:08:00 +0800
• 0ec2ed4d91 update dependencies Sebastien Bourdeauducq 2022-05-17 12:05:12 +0800
• 2cb725b7ac nac3artiq: correct global name for const object ychenfo 2022-05-16 02:50:42 +0800
• b9259b1907 update nixpkgs and LLVM Sebastien Bourdeauducq 2022-05-14 16:33:03 +0800
• 096f4b03c0 nac3core: fix assignment ychenfo 2022-05-14 02:30:08 +0800
• a022005183 nac3core: fix broken tests ychenfo 2022-04-16 03:00:46 +0800
• 325ba0a408 nac3core: add debug info ychenfo 2022-04-14 15:40:12 +0800
• ae6434696c nac3artiq: rename the filename of modinit rename from __nac3_synthesized_modinit__ to <nac3_synthesized_modinit> to be more idomatic python ychenfo 2022-05-11 03:51:01 +0800
• 3f327113b2 update dependencies, use upstream inkwell Sebastien Bourdeauducq 2022-04-27 15:41:46 +0800
• 27d509d70e nac3artiq: get_const_obj should no longer make a pointer. Closes #272 Sebastien Bourdeauducq 2022-04-27 15:28:58 +0800
• a321b13bec fix typos Sebastien Bourdeauducq 2022-04-27 11:08:10 +0800
• 90e4c21f35 temp debug_info ychenfo 2022-04-22 15:57:30 +0800
• fed4bbe52b nac3core: fix broken tests ychenfo 2022-04-16 03:00:46 +0800
• ce6054c88b nac3core: add debug info ychenfo 2022-04-14 15:40:12 +0800
• 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
• 3a58708add fix debug info debug_info_2 ychenfo 2022-04-16 00:05:28 +0800
• 9bfcf36016 nac3core: add debug info ychenfo 2022-04-14 15:40:12 +0800
• 879c66cccf flake.nix: Fix outdated nixConfig keys David Nadlinger 2022-04-13 21:21:18 +0100
• 35b6459c58 nac3core: replace paramter with parameter 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
• 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
• 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
• 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
• 100e441a44 f bound_check ychenfo 2022-04-05 15:28:21 +0800
• 0a2dfab9a1 nac3core: add bound check for list slice ychenfo 2022-04-05 14:29:20 +0800
• 0fb9998a96 nac3core: add location information to codegen context ychenfo 2022-04-04 23:21:00 +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
• 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
• 1f5d338c04 powi.f64.i32 neg_powi_fix_2 ychenfo 2022-04-04 14:55:36 +0800
• 8209c0a475 windows: create MSYS2 package Sebastien Bourdeauducq 2022-04-04 14:24:47 +0800
• f4e9c2eb31 nac3standalone: add tests for power ychenfo 2022-04-02 03:29:25 +0800
• 0059b389ae nac3core: fix powi with negative integer power ychenfo 2022-04-02 03:26:15 +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