Commit Graph - nac3 - M-Labs Git

abdul124

nac3

forked from M-Labs/nac3

Fork 0

Commit Graph

Select branches

Hide Pull Requests

enhance/cargo-test-standalone-demos

escape-analysis

feature/vararg-param

issue-133

issue-133-temp

issue-136

issue-313

iterators

master

misc/impl-tracert

misc/mold

misc/update-pyo3

ndstrides

ndstrides-old-wip

ndstrides-wip

ndstrides-wip-irrt-error-mechanism

ndstrides-wip-refactor-nac3core-exn

numpy-anyall

refactor-composer

refactor-primstore

refactor_anto

refactor_composer

refactor_composer_temp

remove_redundant_unsafe

rpc-obj-as-param

support_nalgebra

temp/buildtime-disable-escape-analysis

a3e6bb2292 core/helper: add linalg section abdul124 2024-07-29 17:30:09 +0800
17171065b1 standalone: link linalg at runtime abdul124 2024-07-29 17:25:52 +0800
540b35ec84 standalone: move linalg functions to demo abdul124 2024-07-26 12:31:50 +0800
4bb00c52e3 core/builtin_fns: improve error reporting abdul124 2024-07-26 12:30:11 +0800
faf07527cb standalone: add runtime implementation for linalg functions abdul124 2024-07-25 12:22:05 +0800
d6a4d0a634 standalone: add linalg methods and tests abdul124 2024-07-25 12:17:32 +0800
2242c5af43 core: add linalg methods abdul124 2024-07-25 12:16:53 +0800
318a675ea6 standalone: Rename -m32 to -i386 David Mak 2024-07-29 13:19:47 +0800
32e52ce198 standalone: Revert using uint32_t as slice length David Mak 2024-07-29 13:18:15 +0800
ab916df19e Calling class methods statically implemented issue-133 = 2024-07-28 23:53:58 +0800
665ca8e32d cargo: update dependencies Sebastien Bourdeauducq 2024-07-27 22:24:56 +0800
12c12b1d80 flake: update nixpkgs Sebastien Bourdeauducq 2024-07-27 22:22:11 +0800
72972fa909 core/toplevel: add more numpy categories lyken 2024-07-26 11:38:23 +0800
142cd48594 core/toplevel: reorder PrimDef::details lyken 2024-07-26 11:32:12 +0800
8adfe781c5 core/toplevel: fix PrimDef method names lyken 2024-07-26 10:59:50 +0800
339b74161b core/toplevel: reorganize PrimDef lyken 2024-07-26 10:58:15 +0800
8c5ba37d09 standalone: Add 32-bit execution tests to check_demo.sh David Mak 2024-07-26 10:42:40 +0800
05a8948ff2 core: Minor cleanup to use ListValue APIs David Mak 2024-07-25 15:55:36 +0800
6d171ec284 core: Add label name and hooks to gen_for functions David Mak 2024-07-25 15:54:39 +0800
0ba68f6657 core: Set target triple and datalayout for each module David Mak 2024-07-25 16:01:22 +0800
693b2a8863 core: Add support for 32-bit size_t on 64-bit targets David Mak 2024-07-22 01:46:50 +0800
5faeede0e5 Determine size_t using LLVM target machine David Mak 2024-07-22 00:50:55 +0800
266707df9d standalone: Add support for running 32-bit binaries David Mak 2024-07-26 10:37:08 +0800
3d3c258756 standalone: Remove support for --lli David Mak 2024-07-26 10:35:43 +0800
ed1182cb24 standalone: Update format specifiers for exceptions David Mak 2024-07-22 00:09:07 +0800
fd025c1137 standalone: Use uint32_t for cslice length David Mak 2024-07-22 00:18:19 +0800
f139db9af9 meta: Update dependencies David Mak 2024-07-24 13:15:09 +0800
57fd327ecb rustfmt Sébastien Bourdeauducq 2024-07-22 18:55:17 +0800
44487b76ae standalone: interpret_demo.py remove duplicated section lyken 2024-07-22 17:23:35 +0800
1332f113e8 standalone: fix interpret_demo.py comments lyken 2024-07-22 17:06:14 +0800
69d5b11ebf kernel/api: add nalgebra::linalg methods abdul124 2024-07-22 11:57:58 +0800
bab938c563 add nalgebra dependency Co-authored-by: abdul124 <ar@m-labs.hk> Co-committed-by: abdul124 <ar@m-labs.hk> abdul124 2024-07-22 11:13:45 +0800
7632d6f72a cargo: update dependencies refactor-composer Sébastien Bourdeauducq 2024-07-21 11:00:25 +0800
b825ab03cf WIP ndstrides-wip-refactor-nac3core-exn lyken 2024-07-18 16:06:19 +0800
5035084a5d core/irrt: add c-string utils ndstrides-wip lyken 2024-07-17 12:51:02 +0800
52a51a9eed core: refactor to lift `struct SizeVariant` to /util.rs lyken 2024-07-13 21:01:21 +0800
9d2ecffddc core/model: add FunctionBuilder lyken 2024-07-17 13:33:16 +0800
1be59d8fca core/model: introduce `Model<'ctx>` abstraction lyken 2024-07-17 12:16:41 +0800
95998ca3a1 core/typecheck/typedef: Add vararg to Unifier::stringify feature/vararg-param David Mak 2024-07-19 16:08:46 +0800
f6a554d3c9 core/model: introduce `Model<'ctx>` abstraction lyken 2024-07-17 12:16:41 +0800
a05eb22358 core/irrt: introduce irrt testing ndstrides lyken 2024-07-12 22:29:04 +0800
f061db1b10 core/irrt: split irrt.cpp into headers & reformat lyken 2024-07-12 21:32:19 +0800
855805561a core/irrt: build.rs capture IR defined constants lyken 2024-07-13 14:02:50 +0800
942fb88df6 core/irrt: build.rs capture IR defined types lyken 2024-07-09 21:02:20 +0800
0bf66745c1 core/irrt: comment build.rs & move irrt to its own dir lyken 2024-07-12 21:52:55 +0800
474e0ab809 core/irrt: build with -W=return-type lyken 2024-07-12 20:34:06 +0800
4948395ca2 core/toplevel/type_annotation: Add handling for mismatching class def David Mak 2024-07-18 15:47:40 +0800
3db3061d99 artiq/symbol_resolver: Handle type of zero-length lists David Mak 2024-07-15 16:56:55 +0800
51c2175c80 core/codegen/stmt: Convert assertion values to i1 David Mak 2024-07-12 14:07:02 +0800
3a64b0cf07 core/toplevel/type_annotation: Add handling for mismatching class def temp/buildtime-disable-escape-analysis David Mak 2024-07-18 15:47:40 +0800
2cdb057d20 artiq/symbol_resolver: Handle type of zero-length lists David Mak 2024-07-15 16:56:55 +0800
8f95c707d7 artiq/symbol_resolver: Determine global array type by init-val type David Mak 2024-07-12 14:52:33 +0800
9b5fb69875 core/codegen/stmt: Convert assertion values to i1 David Mak 2024-07-12 14:07:02 +0800
6c1d8ac001 core: Add compile-time feature to disable escape analysis David Mak 2024-07-12 14:00:46 +0800
6d6f8be07f meta: Update dependencies David Mak 2024-07-18 13:44:59 +0800
e57133e96f core/codegen: Propagate vararg info to ConcreteFuncArg David Mak 2024-07-18 16:01:51 +0800
967ef0e7dd core/codegen: Handle vararg in function generation David Mak 2024-07-16 19:36:08 +0800
466c2bbd3a core/toplevel/builtins: Add support for len() on tuples David Mak 2024-07-16 19:17:22 +0800
78618a4b0c core/toplevel/builtins: Extract len() into builtin function David Mak 2024-07-16 19:01:38 +0800
f270019c24 core/codegen/expr: Implement vararg handling in gen_call David Mak 2024-07-11 18:01:48 +0800
72295ccaa5 core/typecheck/typedef: Add is_vararg_ctx to TTuple David Mak 2024-07-10 12:27:59 +0800
0c819b8783 core/typecheck/typedef: Handle vararg parameters in unify_call David Mak 2024-07-10 10:29:05 +0800
f240202d6b core/typecheck/typedef: Add is_vararg to FuncArg David Mak 2024-07-09 15:55:11 +0800
3dff5e9e97 core/toplevel/composer: Add parsing for vararg parameter David Mak 2024-07-09 15:50:38 +0800
54ffce91fe WIP - standalone: Add vararg.py David Mak 2024-07-09 14:48:30 +0800
eac164ce11 WIP ndstrides-wip-irrt-error-mechanism lyken 2024-07-18 16:07:47 +0800
77edc867e7 core: WIP - Add tracer runtime misc/impl-tracert David Mak 2024-06-01 15:10:43 +0800
1a31a50b8a

standalone: fix __nac3_raise def in demo.c lyken 2024-07-17 21:22:08 +0800
e8aa6129f0 core/irrt: add c-string utils lyken 2024-07-17 12:51:02 +0800
e1abb819c6 core: refactor to lift `struct SizeVariant` to /util.rs lyken 2024-07-13 21:01:21 +0800
db9e9586b5 core/model: add var_alloc & array_var_alloc lyken 2024-07-17 15:02:15 +0800
2525369760 core/model: add FunctionBuilder lyken 2024-07-17 13:33:16 +0800
06b64ea888 core/model: introduce `Model<'ctx>` abstraction lyken 2024-07-17 12:16:41 +0800
37a022e156 core/irrt: introduce irrt testing lyken 2024-07-12 22:29:04 +0800
17e8eeaa46 core/irrt: split irrt.cpp into headers & reformat lyken 2024-07-12 21:32:19 +0800
eb3aa18ce1 core/irrt: build.rs capture IR defined constants lyken 2024-07-13 14:02:50 +0800
8068bd5cb0 core/irrt: build.rs capture IR defined types lyken 2024-07-09 21:02:20 +0800
3a8c4009fd core/irrt: comment build.rs & move irrt to its own dir lyken 2024-07-12 21:52:55 +0800
ca13f56404 core/irrt: build with -W=return-type lyken 2024-07-12 20:34:06 +0800
991103c6f0 WIP: core: remove outdated comment ndstrides-old-wip lyken 2024-07-17 09:57:15 +0800
d3a5c5a48a core: document codegen/model (incomplete) lyken 2024-07-16 13:05:16 +0800
496171a4a5 WIP: stuck on #460 lyken 2024-07-16 12:28:08 +0800
d90604b713 WIP lyken 2024-07-16 00:27:50 +0800
0946bd86ea core: irrt proper ndarray subscript & more lyken 2024-07-15 21:05:01 +0800
29734ce3af core: irrt fix minor formatting lyken 2024-07-15 12:05:47 +0800
b940b0a3a1 core: irrt refactor print & add print_ndarray lyken 2024-07-15 12:05:10 +0800
b12d7fcb2d core: irrt improve test_ndarray_subscript lyken 2024-07-15 11:54:21 +0800
628965e519 core: irrt reformat & more progress lyken 2024-07-15 11:42:01 +0800
61dd9762d8 core: irrt add unchecked ndarray broadcasting lyken 2024-07-15 00:49:07 +0800
cc8103152f core: irrt add unchecked ndarray slicing lyken 2024-07-15 00:43:12 +0800
b8c0d5836f core: replace NDArray type in get_llvm_type() lyken 2024-07-14 23:44:09 +0800
0cc7e41c6f core: fix new irrt ndarray issues lyken 2024-07-14 23:40:19 +0800
d92cccb85e core: irrt split ndarray.hpp lyken 2024-07-14 23:35:50 +0800
3344a2bcd3 core: new np_{zeros,ones,fill} + some irrt model additions lyken 2024-07-14 23:16:28 +0800
51a099b602 core: irrt error context mechanism lyken 2024-07-14 22:05:36 +0800
1f2bb80812 core: lift SizeVariant to /util.rs lyken 2024-07-13 21:01:21 +0800
709844b855 core: inkwell model abstraction lyken 2024-07-14 18:50:07 +0800
73937730e0 core: -I irrt/ & #include absolute paths lyken 2024-07-14 17:09:48 +0800
5faac4b9d4 core: build.rs to capture IR global constants lyken 2024-07-13 14:02:50 +0800
c4d54b198b core: add llvm.lifetime.{start.end} lyken 2024-07-12 13:18:09 +0800