48fc5ceb8e
nac3artiq: demote global value to private
...
... except typeinfo & now symbols.
typeinfo will be read by the runtime linker; now is for now-pinning.
2022-05-30 22:46:41 +08:00
c4ab2855e5
nac3core: pretty print codegen panic error
2022-05-30 04:09:21 +08:00
ffac37dc48
nac3core: fix exception type in primitive store
2022-05-29 19:14:00 +08:00
76473152e8
nac3core: fix llvm.expect intrinsic name
...
this might be one of the causes for the random segfault bug
2022-05-27 04:23:49 +08:00
b04631e935
update dependencies, switch to nixpkgs 22.05
2022-05-24 11:10:29 +08:00
09820e5aed
nac3artiq: return err instead of panic for host object attribute error
2022-05-18 02:54:42 +08:00
0ec2ed4d91
update dependencies
2022-05-17 12:05:12 +08:00
2cb725b7ac
nac3artiq: correct global name for const object
2022-05-16 02:50:42 +08:00
b9259b1907
update nixpkgs and LLVM
2022-05-14 16:33:03 +08:00
096f4b03c0
nac3core: fix assignment
2022-05-14 02:30:08 +08:00
a022005183
nac3core: fix broken tests
2022-05-11 03:53:53 +08:00
325ba0a408
nac3core: add debug info
2022-05-11 03:53:53 +08:00
ae6434696c
nac3artiq: rename the filename of modinit
...
rename from __nac3_synthesized_modinit__ to <nac3_synthesized_modinit> to be more idomatic python
2022-05-11 03:52:16 +08:00
3f327113b2
update dependencies, use upstream inkwell
2022-04-27 15:41:46 +08:00
27d509d70e
nac3artiq: get_const_obj should no longer make a pointer. Closes #272
2022-04-27 15:28:58 +08:00
a321b13bec
fix typos
2022-04-27 11:08:10 +08:00
48cb485b89
nac3core: show outer type info in type error messages
...
Reviewed-on: M-Labs/nac3#274
Co-authored-by: ychenfo <yc@m-labs.hk>
Co-committed-by: ychenfo <yc@m-labs.hk>
2022-04-22 15:31:55 +08:00
837aaa95f1
flake: contain sipyco to nac3artiq-profile
2022-04-19 10:34:55 +08:00
a19e9c0bec
flake: provide llvm-as for IRRT
...
clang already depends on llvmPackages_13.llvm, so, unlike the statically-linked tools
from llvm-nac3, this does not make the bloat even worse.
2022-04-19 10:23:41 +08:00
5dbe1d3d7d
llvm: restore llvm-config
2022-04-19 10:23:12 +08:00
e9bca3c822
llvm: set LLVM_BUILD_TOOLS=OFF
2022-04-19 00:30:11 +08:00
42d1aad507
flake: add PGO build to Hydra
2022-04-18 23:58:43 +08:00
2777a6e05f
flake: use nac3devices example for PGO
2022-04-18 23:57:57 +08:00
05be5e93c4
flake: update nixpkgs
2022-04-18 18:48:05 +08:00
85f21060e4
update to LLVM 14
2022-04-18 18:47:20 +08:00
a308d24caa
nac3standalone: cleanup
2022-04-18 16:02:48 +08:00
1eac111d4c
cleanup
2022-04-18 15:55:37 +08:00
44199781dc
nac3standalone: add tests for operators
2022-04-18 15:31:56 +08:00
711c3d3303
nac3core: support custom operators
2022-04-18 15:31:56 +08:00
0975264482
README: center icon
2022-04-18 15:11:32 +08:00
087aded3a3
add icon
...
Icon is copyright Evgeny Filatov and not covered by any free software license.
2022-04-18 15:07:53 +08:00
f14b32be67
nac3artiq: type check host int bound instead of panic when codegen
2022-04-16 03:01:37 +08:00
David Nadlinger
879c66cccf
flake.nix: Fix outdated nixConfig keys
...
The old syntax seems to be silently ignored on (at least)
Nix 2.7.0.
2022-04-13 21:21:18 +01:00
wylited
35b6459c58
nac3core: replace paramter with parameter
2022-04-13 15:42:26 +08:00
e94b25f544
spelling ( #264 )
...
Co-authored-by: wylited <ds@m-labs.hk>
Co-committed-by: wylited <ds@m-labs.hk>
2022-04-13 11:32:31 +08:00
6972689469
nac3artiq: cleanup demo
2022-04-12 10:34:14 +08:00
3fb22c9182
nac3artiq: treat host numpy.float64 as float. Closes #90
2022-04-12 10:33:28 +08:00
1e7abf0268
fix tests
2022-04-12 10:06:41 +08:00
f5a6d29106
update insta snapshots
2022-04-12 09:56:49 +08:00
ca07cb66cd
format typevars consistently
2022-04-12 09:28:17 +08:00
93e9a6a38a
update dependencies
2022-04-12 09:13:04 +08:00
722e3df086
nac3core, artiq: optimize kernel invariant for tuple index
2022-04-11 14:58:40 +08:00
ad9ad22cb8
nac3core: optimize unwrap KernelInvariant
2022-04-11 14:58:35 +08:00
f66f66b3a4
nac3core, artiq: remove unnecessary ptr casts
2022-04-10 01:28:46 +08:00
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
2022-04-10 01:28:30 +08:00
089bba96a3
nac3artiq: get_obj_value take an additional argument for expected type
2022-04-10 01:28:30 +08:00
0e0871bc38
nac3core, artiq: to_basic_value_enum takes an argument indicating the expected type
2022-04-10 01:28:22 +08:00
26187bff0b
nac3core: add missing bound check and negative index handling for list subscription assignment
2022-04-09 04:56:31 +08:00
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
2022-04-05 18:21:46 +08:00
c29cbf6ddd
nac3core: add bound check for list slice
2022-04-05 18:21:46 +08:00
