This website requires JavaScript.
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
710904f975
nac3core: fix powi with negative integer power
ychenfo
2022-04-02 03:26:15 +0800
4bf452ec5a
windows: do not check dependencies when making package
Sebastien Bourdeauducq
2022-04-04 16:03:59 +0800
9fdce11efe
windows: depend on python
Sebastien Bourdeauducq
2022-04-04 15:21:34 +0800
f24ef85aed
hydra: use msys2 type
Sebastien Bourdeauducq
2022-04-04 15:03:53 +0800
4a19787f10
README: update
Sebastien Bourdeauducq
2022-04-04 15:03:44 +0800
8209c0a475
windows: create MSYS2 package
Sebastien Bourdeauducq
2022-04-04 14:24:47 +0800
4f66bdeda9
Merge pull request 'nac3core: do not get llvm value too eagerly for kernel invariant' (#253 ) from kernel_invariant_fix into master
pca006132
2022-03-31 12:48:49 +0800
57369896d7
update dependencies
Sebastien Bourdeauducq
2022-03-31 10:40:18 +0800
2edeb31d21
nac3core: do not get llvm value too eagerly for kernel invariant
ychenfo
2022-03-31 01:06:11 +0800
b8ef44d64e
nac3standalone: add test for default param
ychenfo
2022-03-30 04:04:27 +0800
c3156afebd
nac3core: fix broken tests
ychenfo
2022-03-30 03:52:49 +0800
388c9b7241
nac3core: better check and err msg for default param
ychenfo
2022-03-30 03:50:34 +0800
e52d7fc97a
nac3artiq: resolve unsigned int host variable as defautl param
ychenfo
2022-03-30 03:17:06 +0800
6ab73a223c
nac3core/artiq: support default param of option type
ychenfo
2022-03-30 03:14:21 +0800
a38cc04444
nac3core: assert statement
ychenfo
2022-03-29 00:13:47 +0800
1f5826d352
fix ternary if (#250 )
ychenfo
2022-03-29 06:54:00 +0800
347a69f36f
nac3core: assert statement
ychenfo
2022-03-29 00:13:47 +0800
b7e694d09c
nac3core: fix broken tests
ychenfo
2022-03-28 23:12:30 +0800
393f01c08c
nac3core: fix if expr codegen
ychenfo
2022-03-28 22:53:58 +0800
94eebde4ea
README: add note about MSVC Python
Sebastien Bourdeauducq
2022-03-28 10:45:01 +0800
63ec382673
README: update Windows instructions
Sebastien Bourdeauducq
2022-03-27 19:36:02 +0800
0ca1a7bedb
windows: work around broken LLD install script
Sebastien Bourdeauducq
2022-03-27 19:14:02 +0800
201ca3f63d
Revert "nac3artiq: use lld.exe on Windows"
Sebastien Bourdeauducq
2022-03-27 19:09:11 +0800
19182759cd
nac3artiq: use lld.exe on Windows
Sebastien Bourdeauducq
2022-03-27 18:41:38 +0800
edd039abdc
windows: build LLD
Sebastien Bourdeauducq
2022-03-27 18:41:23 +0800
3852cc1058
windows: don't fixup LLVM
Sebastien Bourdeauducq
2022-03-27 18:38:23 +0800
0600ee8efa
nac3artiq: use correct lld invokation on Windows
Sebastien Bourdeauducq
2022-03-27 18:25:14 +0800
bed33a7421
nac3standalone: add tests for tuple
ychenfo
2022-03-27 10:14:22 +0800
0d2b844a2e
nac3artiq: avoid getting tuple as pointer value
ychenfo
2022-03-27 10:29:08 +0800
8d7e300a4a
nac3core: do not use const struct for tuple
ychenfo
2022-03-27 10:13:17 +0800
10d623e36f
nac3core/artiq: fix tuple representation
ychenfo
2022-03-27 02:23:22 +0800
d38eb7e449
nac3core/artiq: fix tuple representation
ychenfo
2022-03-27 02:23:22 +0800
000b128551
nac3artiq: cast none to correct ptr type (#241 )
ychenfo
2022-03-26 23:32:50 +0800
e4581a6d9b
nac3standalone/demo: fix return type in loop.py
Sebastien Bourdeauducq
2022-03-26 21:10:05 +0800
1a82d296e7
nac3core/codegen: prevent users from modifying loop counter
pca006132
2022-03-26 20:58:37 +0800
bf067e2481
nac3artiq: implement attribute writeback
pca006132
2022-03-25 22:42:01 +0800
c955927eda
nac3artiq: implement attribute writeback
pca006132
2022-03-25 22:42:01 +0800
ba8ed6c663
nac3artiq: handle recursive types properly
ychenfo
2022-03-23 03:38:48 +0800
26a4834254
fix warnings
ychenfo
2022-03-26 18:52:08 +0800
1ad4b0227c
windows: fix src location
Sebastien Bourdeauducq
2022-03-26 15:46:21 +0800
6288a66dc5
windows: fix cargo lockfile location
Sebastien Bourdeauducq
2022-03-26 15:23:31 +0800
de4320eefb
improve package names
Sebastien Bourdeauducq
2022-03-26 15:15:39 +0800
a380cd5010
move all Nix files to one folder
Sebastien Bourdeauducq
2022-03-26 15:13:43 +0800
80631fc92b
Option type support (#224 ) Co-authored-by: ychenfo <yc@m-labs.hk> Co-committed-by: ychenfo <yc@m-labs.hk>
ychenfo
2022-03-26 15:09:15 +0800
7ede18429f
nac3core/artiq: raise dedicated UnwrapNoneError
ychenfo
2022-03-26 01:44:50 +0800
ddc7687ac6
nac3standalone: add tests for option
ychenfo
2022-03-24 02:21:41 +0800
762a7ccc14
nac3core/artiq: use none instead of None
ychenfo
2022-03-23 05:10:18 +0800
71d92a7a18
nac3artiq/core: host option object support
ychenfo
2022-03-17 00:39:21 +0800
1aa698ccc7
nac3core: option type codegen support
ychenfo
2022-03-15 03:27:12 +0800
be6b6c9440
nac3core: remove previous handling of None not to confuse with option none, and the None token is parsed as a special ast::constant instead of an ast::name so the handling is invalid
ychenfo
2022-03-15 02:45:01 +0800
38f856e956
nac3core: fix broken tests
ychenfo
2022-03-15 02:03:44 +0800
62d13e297c
nac3core: option type front end
ychenfo
2022-03-14 05:12:43 +0800
55db05fdbb
update dependencies
Sebastien Bourdeauducq
2022-03-24 22:30:15 +0800
24a26b53ae
nac3core/toplevel: fixed broken tests
pca006132
2022-03-24 21:33:09 +0800
1084ba2158
nac3core: fixed typevar with finite range
pca006132
2022-03-24 21:29:46 +0800
be75fa7368
nac3core: fix assign to constant
ychenfo
2022-03-24 07:13:13 +0800
ec52128a4a
indentation
Sebastien Bourdeauducq
2022-03-23 10:45:28 +0800
b10b49e39a
windows: run cargo tests
Sebastien Bourdeauducq
2022-03-23 09:53:45 +0800
d92ce201d3
runkernel: fix windows build
Sebastien Bourdeauducq
2022-03-23 09:32:58 +0800
8b485f552b
windows: set PYO3_CONFIG_FILE, use exec in wine-msys2
Sebastien Bourdeauducq
2022-03-23 09:22:33 +0800
d9be8d3978
nac3core/typecheck/unification_table: fixed snapshot restore bug
pca006132
2022-03-23 00:23:26 +0800
41d62f7325
nac3core/toplevel: fixed typevar substitution bug
pca006132
2022-03-23 00:22:28 +0800
4400d9b57d
windows: attempt to disable libffi further
Sebastien Bourdeauducq
2022-03-22 22:52:53 +0800
8ee5db7462
Revert "windows: numpy is not necessary for build"
Sebastien Bourdeauducq
2022-03-22 22:15:12 +0800
6d9b3abcd7
nicer MSYS2 development shell
Sebastien Bourdeauducq
2022-03-22 22:14:46 +0800