ychenfo

ychenfo pushed to len_range_fix at M-Labs/nac3

2021-12-13 04:06:52 +08:00

1541188722 nac3standalone: add output_long

ychenfo pushed to len_range_fix at M-Labs/nac3

2021-12-13 04:04:06 +08:00

a3f7d404fb nac3core: use official implementation for len

ychenfo created pull request M-Labs/nac3#129

2021-12-12 06:33:39 +08:00

nac3core: fix len on range with step of different sign

ychenfo created pull request M-Labs/nac3#128

2021-12-12 06:30:14 +08:00

For loop type inference fix

ychenfo commented on pull request M-Labs/nac3#127

2021-12-12 06:09:13 +08:00

Kernel only attribute annotation (#76)

Thanks, I think now I see clearer about the semantic of these annotations, will make changes accordingly.

We don't have to support all these corner cases if it makes things simpler, this is fine…

ychenfo pushed to len_range_fix at M-Labs/nac3

2021-12-12 05:52:39 +08:00

1a9f39ee4a nac3core: fix len on range with step of different sign

ychenfo created branch len_range_fix in M-Labs/nac3

2021-12-12 05:52:39 +08:00

ychenfo pushed to for_loop_type_fix at M-Labs/nac3

2021-12-12 05:43:28 +08:00

4a63ba42a2 nac3core: add missing expr concrete type check

7bc63e2892 nac3core: fix for loop type inference

Compare 2 commits »

ychenfo created branch for_loop_type_fix in M-Labs/nac3

2021-12-12 05:43:28 +08:00

ychenfo commented on issue M-Labs/nac3#105

2021-12-11 15:50:19 +08:00

match on strings vs. match on Python ID for compiler builtins

One way that I currently think of is that maybe we can later add a function to symbol resolver to resolve these 'special marker symbols' (I am not sure whether this is a good wording for this. But I…

ychenfo commented on pull request M-Labs/nac3#127

2021-12-11 15:48:43 +08:00

Kernel only attribute annotation (#76)

This is also not an error, if it is not annotated with Kernel or KernelInvariant it is simply a host-only attribute.

If I am not mistaken, in the…

ychenfo created pull request M-Labs/nac3#127

2021-12-10 17:13:42 +08:00

WIP: Kernel only attribute annotation

ychenfo pushed to kernel_only_annotation at M-Labs/nac3

2021-12-10 16:45:02 +08:00

d269e429d0 nac3artiq: add kernel only annotation demo

6d65ee90e8 nac3core/artiq: implement Kernel annotation

Compare 2 commits »

ychenfo created branch kernel_only_annotation in M-Labs/nac3

2021-12-10 16:45:02 +08:00

ychenfo pushed to list_len at M-Labs/nac3

2021-12-09 01:37:30 +08:00

4d2fd9582a nac3core: fix broken tests

b7892ce952 nac3core: add len support for list and range

Compare 2 commits »

ychenfo created pull request M-Labs/nac3#126

2021-12-09 01:22:02 +08:00

len support for list and range

ychenfo pushed to list_len at M-Labs/nac3

2021-12-09 01:16:17 +08:00

9957a50f95 nac3core: fix broken tests

42b98f3b7a nac3core: add len support for list and range

01d3249646 nac3core: add missing llvm range type

d2ffdeeb47 flake: update nixpkgs and work around openssh cross compilation breakage. Closes #123

ae902aac2f remove devshell inputs from hydraJobs

Compare 7 commits »

ychenfo pushed to list_len at M-Labs/nac3

2021-12-09 01:15:40 +08:00

945617deaf nac3core: fix broken tests

7951b278b9 nac3core: add len support for list and range

811f95e9a3 nac3core: add missing llvm range type

Compare 3 commits »

ychenfo created branch list_len in M-Labs/nac3

2021-12-09 01:15:40 +08:00

ychenfo commented on pull request M-Labs/nac3#99

2021-12-03 04:10:26 +08:00

TypeVar and virtual support in Symbol Resolver

As I understand it, here during the initialization of the nac3 python object it needs to know the id of class virtual becuase virtual[..] is actually a type that can exist in the range of a…