This website requires JavaScript.
c0e035f2f8
remove the style changes in nac3core/src/codegen/mod.rs
z78078
2022-07-04 16:35:17 +0800
8fb413a7bb
remove the style changes in nac3core/src/codegen/mod.rs
z78078
2022-07-04 16:33:03 +0800
243a6fb0c0
fix conflict and remove unnecessary comments
z78078
2022-07-04 16:25:55 +0800
4ea6f1e928
update comments for the changes on nac3core/src/codegen/mod.rs
z78078
2022-07-04 16:17:04 +0800
1cf99a6499
Add Mutex and critical section for the suspicious lines
z78078
2022-07-04 16:05:22 +0800
e7f9a024bd
modifed Cargo.lock
z78078
2022-07-04 16:03:33 +0800
8d88ad2dae
Bring lazy_static to the nac3core project
z78078
2022-07-04 16:02:58 +0800
a18d095245
nac3core: codegen fix call parameter type error
ychenfo
2022-05-31 23:03:05 +0800
b242463548
update dependencies
Sebastien Bourdeauducq
2022-07-02 19:04:19 +0800
8e6e4d6715
README: call for Nix 2.8 (older versions have flake bugs)
Sebastien Bourdeauducq
2022-06-06 18:14:21 +0800
73c2aefe4b
README: mention nac3ld
Sebastien Bourdeauducq
2022-06-06 18:13:21 +0800
892597cda4
update dependencies
Sebastien Bourdeauducq
2022-06-06 17:54:23 +0800
33321c5e9c
README,nix: remove lld
Sebastien Bourdeauducq
2022-06-06 17:50:32 +0800
50ed04b787
nac3ld: replace unsafe code
occheung
2022-06-06 14:37:48 +0800
7cb9be0f81
nac3artiq: refactor compile methods
occheung
2022-05-31 15:12:18 +0800
ac560ba985
nac3artiq: switch ld.lld to nac3ld for non-host target
occheung
2022-05-30 17:12:05 +0800
a96371145d
add nac3ld
occheung
2022-05-30 17:11:05 +0800
8addf2b55e
nac3standalone: add more tests
ychenfo
2022-06-01 04:27:18 +0800
5d5e9a5e02
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
0966adca74
nac3standalone: add more tests
ychenfo
2022-06-01 04:27:18 +0800
8edcb226a5
nac3core: fix codegen error of inheritance
ychenfo
2022-05-31 23:05:39 +0800
192f23bc44
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
2584776b6e
nac3artiq: demote global value to private
occheung
2022-05-27 10:41:34 +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
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
d39a55a038
nac3artiq: rpc support host object as parameter
rpc-obj-as-param
ychenfo
2022-05-16 04:26:37 +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
48cb485b89
nac3core: show outer type info in type error messages
ychenfo
2022-04-22 15:31:55 +0800
8b6745cbaf
nac3core: fix broken tests
ychenfo
2022-04-22 13:46:52 +0800
196a92362e
nac3core: show outter type info in err msg
ychenfo
2022-04-22 13:25:35 +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
2ce1ab593d
nac3standalone: add tests for operators
ychenfo
2022-04-18 04:51:15 +0800
789c943ae5
nac3core: support custom operators
ychenfo
2022-04-13 12:25:52 +0800
f14b32be67
nac3artiq: type check host int bound instead of panic when codegen
ychenfo
2022-04-12 22:05:59 +0800
879c66cccf
flake.nix: Fix outdated nixConfig keys
David Nadlinger
2022-04-13 21:21:18 +0100
d8caaed2d1
nac3core: keep checks for class constructors
no_init
wylited
2022-04-13 15:57:21 +0800
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
56a37ce89d
Revert "nac3core: toplevel, fix for class constructors + spelling errors"
wylited
2022-04-13 11:27:13 +0800
1d32c44bf5
spelling fixes
wylited
2022-04-13 11:23:03 +0800
ef7a7f55ce
Merge branch 'master' into iss221_noinit
wylited
2022-04-13 10:58:29 +0800
ab86bf4591
nac3core: toplevel, fix for class constructors + spelling errors
wylited
2022-04-13 10:35:18 +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
a5efba75ba
nac3core: toplevel | add enumerate as a keyword for functions
iterators
wylited
2022-04-11 14:41:26 +0800
eeeccfd656
add extra builtin types for tuples and lists
wylited
2022-04-10 11:44:29 +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
830fc0f453
escape analysis: make list elements imprecise
escape-analysis
pca006132
2022-04-08 23:46:22 +0800
ea5a8c95dc
escape analysis: fixed some bugs regarding imprecise local
pca006132
2022-04-08 20:16:48 +0800
fb79b47b38
escape analysis: fixed infinite loop detection
pca006132
2022-04-08 09:18:34 +0800
1257a80ed1
escape analysis implementation
pca006132
2022-04-07 23:02:07 +0800
c93f79f94a
basic escape analysis for assignment statements
pca006132
2022-04-05 22:19:23 +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
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
10c4544553
nac3core/typecheck: start implementing escape analysis
pca006132
2022-04-04 22:42:22 +0800
23b7f4ef18
nac3standalone: add tests for power
ychenfo
2022-04-02 03:29:25 +0800