Commit Graph

Select branches

Hide Pull Requests

escape-analysis

issue-136

iterators

master

no_init

refactor_anto

rpc-obj-as-param

Mono Color

• 34cabe0e55 nac3artiq: fixed compilation error pca006132 2021-12-23 15:47:54 +0800
• 6e85f549f6 Merge pull request 'nac3core: fix #84' (#146) from fix_84 into master pca006132 2021-12-23 15:28:29 +0800
• 0902d8adf4 nac3core: fix #84 pca006132 2021-12-22 16:49:03 +0800
• 66320679be improve error messages ychenfo 2021-12-22 08:52:19 +0800
• 0ff995722c Revert "nac3core: add missing expr concrete type check" Sebastien Bourdeauducq 2021-12-20 18:13:45 +0800
• e2b44a066b return int32 in len(). Closes #141 Sebastien Bourdeauducq 2021-12-20 17:44:42 +0800
• 2008db8097 nac3standalone: remove unused import Sebastien Bourdeauducq 2021-12-20 17:39:16 +0800
• cb450372d6 nac3core: add missing expr concrete type check ychenfo 2021-12-12 05:40:22 +0800
• ff27a1697e nac3core: fix for loop type inference ychenfo 2021-12-12 05:39:48 +0800
• 91625dd327 update kernel-only attribute annotation ychenfo 2021-12-19 11:04:53 +0800
• 7420ce185b README: update Sebastien Bourdeauducq 2021-12-13 19:02:13 +0800
• 69b9ac5152 nac3standalone: consistent naming Sebastien Bourdeauducq 2021-12-13 11:18:44 +0800
• ccfcba4066 nac3standalone: add output_long ychenfo 2021-12-13 04:06:38 +0800
• b5637a04e9 nac3core: use official implementation for len ychenfo 2021-12-13 04:02:30 +0800
• 2c6601d97c nac3core: fix len on range with step of different sign ychenfo 2021-12-12 05:52:22 +0800
• 82359b81a2 nac3core: fix bool to int conversion ychenfo 2021-12-13 04:11:31 +0800
• 4d2fd9582a nac3core: fix broken tests ychenfo 2021-12-09 01:15:05 +0800
• b7892ce952 nac3core: add len support for list and range ychenfo 2021-12-09 01:14:28 +0800
• 01d3249646 nac3core: add missing llvm range type ychenfo 2021-12-09 01:13:34 +0800
• d2ffdeeb47 flake: update nixpkgs and work around openssh cross compilation breakage. Closes #123 Sebastien Bourdeauducq 2021-12-08 21:21:37 +0800
• ae902aac2f remove devshell inputs from hydraJobs Sebastien Bourdeauducq 2021-12-08 17:43:05 +0800
• 3f73896477 remove a small amount of LLVM bloat Sebastien Bourdeauducq 2021-12-08 17:41:34 +0800
• ddb4c548ae add and use local copy of LLVM Nix files Sebastien Bourdeauducq 2021-12-08 16:55:25 +0800
• 6d00d4dabb nac3artiq: cache python data if possible pca006132 2021-12-05 20:30:03 +0800
• baa713a3ca flake: don't attempt to fixup Windows build Sebastien Bourdeauducq 2021-12-05 14:40:10 +0800
• d2919b9620 Revert "flake: better shells" Sebastien Bourdeauducq 2021-12-05 14:35:27 +0800
• 9ee2168932 Revert "flake: fix hydraJobs" Sebastien Bourdeauducq 2021-12-05 14:35:25 +0800
• 65bc1e5fa4 nac3artiq: handle name_to_pyid in compilation pca006132 2021-12-04 22:57:48 +0800
• 2938eacd16 nac3artiq: supports running multiple kernels pca006132 2021-12-04 22:25:52 +0800
• e8e1499478 flake: fix hydraJobs Sebastien Bourdeauducq 2021-12-05 13:02:57 +0800
• e4f35372d3 flake: better shells Sebastien Bourdeauducq 2021-12-05 12:56:47 +0800
• 41f88095a5 min_artiq: add round64, floor64, ceil64 Sebastien Bourdeauducq 2021-12-04 20:35:52 +0800
• c98f367f90 nac3artiq: enables inlining pca006132 2021-12-04 17:52:03 +0800
• 1f3aa48361 nac3parser: modify parser to handle negative integer edge cases ychenfo 2021-12-02 02:54:11 +0800
• 8c05d8431d flake: use upstream nixpkgs patch Sebastien Bourdeauducq 2021-12-03 11:56:54 +0800
• 0ae2aae645 flake: publish zipfile with Windows Python module on Hydra Sebastien Bourdeauducq 2021-12-02 22:47:31 +0800
• b0eb7815da flake: consistent naming Sebastien Bourdeauducq 2021-12-02 22:37:41 +0800
• 26e60fca6e flake: cleanup tarball unpacking Sebastien Bourdeauducq 2021-12-02 22:37:32 +0800
• 22a509e7ce flake: add Hydra job for Windows build Sebastien Bourdeauducq 2021-12-02 22:29:42 +0800
• 4526c28edb Merge branch 'windows' Sebastien Bourdeauducq 2021-12-02 22:26:55 +0800
• 25fc9db66d cargo: specify inkwell LLVM target explicitly Sebastien Bourdeauducq 2021-12-02 22:24:33 +0800
• 6315027a8b flake: use *.pyd for Windows Python module Sebastien Bourdeauducq 2021-12-02 22:24:23 +0800
• c0f8d5c602 flake: Windows libs working Sebastien Bourdeauducq 2021-12-02 22:01:19 +0800
• 998f49261d flake: fix Windows libs further Sebastien Bourdeauducq 2021-12-02 21:02:48 +0800
• aab43b1c07 flake: unbreak Windows library link (WIP) Sebastien Bourdeauducq 2021-12-02 20:00:45 +0800
• a6275fbb57 flake: add libffi on Windows Sebastien Bourdeauducq 2021-12-02 19:08:20 +0800
• 8a46032f4c flake: unbreak llvm-config for cross-compilation of static libs Sebastien Bourdeauducq 2021-12-02 18:46:04 +0800
• 1c31aa6e8e consistent naming Sebastien Bourdeauducq 2021-12-02 10:45:46 +0800
• b030aec191 Merge pull request 'Add floor and ceil, move built-in functions to a separate file' (#120) from built_in_floor_ceil into master sb10q 2021-12-02 10:40:50 +0800
• aa2d79fea6 Merge branch 'master' into built_in_floor_ceil ychenfo 2021-12-02 01:08:55 +0800
• 1e6848ab92 nac3core: distinguish i64 and i32 in bool conversion ychenfo 2021-12-02 01:02:42 +0800
• a91b2d602c flake: switch to nixos- branch Sebastien Bourdeauducq 2021-12-01 22:49:43 +0800
• c683958e4a nac3artiq: clarify comment about virtual class Sebastien Bourdeauducq 2021-12-01 22:49:20 +0800
• 142f82f987 remove debug prints Sebastien Bourdeauducq 2021-12-01 22:48:06 +0800
• dfd3548ed2 TypeVar and virtual support in Symbol Resolver (#99) ychenfo 2021-12-01 22:44:53 +0800
• 31fba04cee flake: fix Windows build, now finding LLVM and Python Sebastien Bourdeauducq 2021-12-01 18:30:26 +0800
• fa2fe8ed5d nac3core: add ceil and floor ychenfo 2021-12-01 03:23:58 +0800
• 7ede4f15b6 nac3core: move builtin definitions to another file ychenfo 2021-12-01 02:52:00 +0800
• 0fe346106d nac3core: fix converting int to bool (#119) ychenfo 2021-11-30 03:02:26 +0800
• 681d85d3be remove debug print Sebastien Bourdeauducq 2021-11-28 12:57:28 +0800
• 14119a2c80 Merge pull request 'KernelInvariant' (#114) from KernelInvariant into master sb10q 2021-11-28 12:49:31 +0800
• b35075245b nac3artiq: remove debug print pca006132 2021-11-27 21:29:57 +0800
• 4b17511b4a Merge branch 'master' into KernelInvariant pca006132 2021-11-27 21:29:27 +0800
• 7ee82de312 nac3core: fixed weird type inference error pca006132 2021-11-27 20:27:46 +0800
• 701ca36e99 flake: windows build WIP Sebastien Bourdeauducq 2021-11-26 17:26:18 +0800
• 5e1b0a10a0 flake: patch nixpkgs to fix mingw llvm_12 build Sebastien Bourdeauducq 2021-11-26 17:01:44 +0800
• 9f316a3294 flake: revert nixpkgs to unbreak rust cross-compilation Sebastien Bourdeauducq 2021-11-26 17:00:20 +0800
• 0ae1fe82b4 remove unnecessary cargo config Sebastien Bourdeauducq 2021-11-23 15:35:33 +0800
• de8fc264d7 fix unsupported default parameter error message Sebastien Bourdeauducq 2021-11-23 15:34:44 +0800
• 970f075490 flake: switch to nixpkgs 21.11 release Sebastien Bourdeauducq 2021-11-23 11:22:08 +0800
• 4587088835 Constant Default Parameter Support (#98) ychenfo 2021-11-23 07:32:09 +0800
• 49476d06e1 nac3core: clearer comments ychenfo 2021-11-22 15:06:16 +0800
• 664e02cec4 nac3core: fix clippy warning ychenfo 2021-11-22 14:55:39 +0800
• c6f75c8bde nac3standalone: fix error message when no entry point is found ychenfo 2021-11-22 14:52:52 +0800
• 01b51b62ee nac3core: composer better error msg in for uninit field ychenfo 2021-11-12 02:25:53 +0800
• aae9925014 nac3standalone: report when entry point run function cannot be found ychenfo 2021-11-11 23:44:57 +0800
• d336200bf4 nac3core: fix broken tests due to the fix of rigid typevar handling ychenfo 2021-11-11 21:13:07 +0800
• a50df6560e nac3core: fix handling on rigid typevar ychenfo 2021-11-11 20:25:33 +0800
• a9635f0979 nac3core: top level use codegen official get_subst_key ychenfo 2021-11-10 23:38:47 +0800
• c2706fa720 nac3core: fix polymorphic class method partial instantiation ychenfo 2021-11-09 01:15:41 +0800
• f5ec103c82 nac3artiq: kernel invariant support pca006132 2021-11-20 21:15:15 +0800
• ba08deada6 nac3core: refactor codegen pca006132 2021-11-20 19:50:25 +0800
• 439cef636f runkernel: improve print_int debug functions Sebastien Bourdeauducq 2021-11-19 12:39:57 +0800
• 1e47b364c5 nac3artiq: support now-pinning on RISC-V with wide data bus (#97) ychenfo 2021-11-16 17:37:40 +0800
• 8ab3ee9cce nac3core: AugAssign support (#82) ychenfo 2021-11-12 01:44:12 +0800
• 9ae08d6e3d nac3artiq: add stubs for now-pinning on rv32g (#97) Sebastien Bourdeauducq 2021-11-13 12:10:55 +0800
• d6b92adf70 nac3artiq: add stack guard Sebastien Bourdeauducq 2021-11-12 20:03:15 +0800
• aa84fefa56 fix previous commit (again) Sebastien Bourdeauducq 2021-11-12 15:47:21 +0800
• 5ad7aa5a93 flake: fix previous commit Sebastien Bourdeauducq 2021-11-12 15:37:39 +0800
• b64d2399f2 flake: build devShell dependencies on Hydra Sebastien Bourdeauducq 2021-11-12 15:08:24 +0800
• ebca596be6 flake: update nixpkgs Sebastien Bourdeauducq 2021-11-12 15:04:21 +0800
• 4aeea87702 flake: export nixpkgs-patched Sebastien Bourdeauducq 2021-11-12 14:57:46 +0800
• e25a9bbcda typo Sebastien Bourdeauducq 2021-11-11 23:44:14 +0800
• 978eaf16a4 nac3artiq: support RISC-V with and without FPU. Closes #83 Sebastien Bourdeauducq 2021-11-11 23:43:50 +0800
• 4547eee82a llvm: switch RISC-V ABI when FPU is present Sebastien Bourdeauducq 2021-11-11 22:46:48 +0800
• 96607432c1 nac3core: use Python 3.9 list/tuple annotations in test Sebastien Bourdeauducq 2021-11-11 20:05:03 +0800
• dba1a8b3d4 nac3standalone: link libm in demo runner Sebastien Bourdeauducq 2021-11-11 19:44:18 +0800
• 612b6768c0 nac3artiq: bail early on non-NAC3 classes Sebastien Bourdeauducq 2021-11-11 16:35:40 +0800
• c004da85f7 nac3artiq: drop host-only base classes. Closes #80 Sebastien Bourdeauducq 2021-11-11 16:08:29 +0800
• 7fc04936cb runkernel: add print_int debug function Sebastien Bourdeauducq 2021-11-10 17:34:13 +0800