Commit Graph

Select branches

Hide Pull Requests

debug_info

escape-analysis

host_int_bound

iterators

master

ndarray

no_init

refactor_anto

Mono Color

• 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
• b57b869c49 min_artiq: remove unused imports Sebastien Bourdeauducq 2021-11-10 14:01:39 +0800
• 50f1aca1aa nac3artiq: move module registration list to CPython side Sebastien Bourdeauducq 2021-11-07 10:29:14 +0800
• ffa89e9308 fix clippy warnings pca006132 2021-11-06 23:00:18 +0800
• 34cf303e6c nac3artiq: modified demo to use KernelInvariants pca006132 2021-11-06 22:50:28 +0800
• b1e83a1fd4 nac3core: type check invariants pca006132 2021-11-06 22:48:08 +0800
• 7385b91113 nac3artiq: support kernel entry short form from original ARTIQ Sebastien Bourdeauducq 2021-11-06 18:41:59 +0800
• 016cbf2b90 nac3artiq: return bytes in compile_method_to_mem Sebastien Bourdeauducq 2021-11-06 14:29:23 +0800
• 37eae090e5 nac3artiq: fix linker inputs Sebastien Bourdeauducq 2021-11-06 14:23:54 +0800
• 204baabfd2 nac3artiq: add compile_method_to_mem Sebastien Bourdeauducq 2021-11-06 14:14:53 +0800
• 597857ccd0 typo Sebastien Bourdeauducq 2021-11-06 14:14:40 +0800
• efc9edbc14 nac3parser: fix decorator and above comments ychenfo 2021-11-06 14:13:17 +0800
• 7d66195eae nac3artiq: embed linker script, put intermediate objects in temp dir Sebastien Bourdeauducq 2021-11-06 13:03:45 +0800
• 1fea51d9b3 Merge pull request 'nac3parser: add comment support' (#68) from with_nac3comment into master pca006132 2021-11-05 20:46:42 +0800
• 99b29d8ded Merge branch 'master' into with_nac3comment pca006132 2021-11-05 20:46:29 +0800
• 3db95b120b nac3core: implements bool conversion function pca006132 2021-11-05 20:34:34 +0800
• 8dbb4ad58a nac3core/toplevel: make test less fragile pca006132 2021-11-05 20:28:21 +0800
• ee67b22ebc Merge branch 'master' into with_nac3comment ychenfo 2021-11-05 20:01:36 +0800
• afb94dd299 nac3artiq: move demo to dedicated folder Sebastien Bourdeauducq 2021-11-05 18:28:31 +0800
• d6f0607ff0 nac3artiq: rename class decorator to nac3 Sebastien Bourdeauducq 2021-11-05 18:07:43 +0800
• 610448fa73 nac3artiq: include parallel in demo Sebastien Bourdeauducq 2021-11-05 18:07:18 +0800
• e8228710e7 min_artiq: remove unnecessary definitions Sebastien Bourdeauducq 2021-11-05 17:37:01 +0800
• 032e1d84cf nac3parser: add and fix tests due to comment support ychenfo 2021-11-04 15:03:34 +0800
• b239806558 nac3core: adapt to ast change due to comment support ychenfo 2021-11-04 15:02:51 +0800
• 694c7e945c nac3ast: generated ast with comment fields ychenfo 2021-11-04 15:01:50 +0800
• 3b1cc02d06 nac3parser, ast: add comment support core changes ychenfo 2021-11-04 15:00:27 +0800
• 32d1fe811b flake: update nixpkgs Sebastien Bourdeauducq 2021-11-03 21:54:27 +0800
• 36e4028f5b fix and run parser tests Sebastien Bourdeauducq 2021-11-03 17:39:48 +0800
• b6ff46c39e README: update Sebastien Bourdeauducq 2021-11-03 17:22:14 +0800
• bf7e2c295a integrate nac3parser Sebastien Bourdeauducq 2021-11-03 17:11:00 +0800
• 48ce6bb6c5 rustpython-parser: string interner, optimizations, thread local cache pca006132 2021-11-03 16:35:16 +0800
• 80c7bc1cbd add RustPython parser Sebastien Bourdeauducq 2021-11-03 16:34:05 +0800