Commit Graph - nac3 - M-Labs Git

ramtej/nac3

Fork 0

forked from M-Labs/nac3

Commit Graph

Select branches

Hide Pull Requests

backup-branch

enhance/cargo-test-standalone-demos

escape-analysis

feature/invk

feature/rpc-keywords

feature/string-equality

issue-136

issue-313

iterators

master

misc/impl-tracert

misc/mold

misc/update-pyo3

ndstrides-1-model

ndstrides-1-model-lifetime

ndstrides-10-ops

ndstrides-11-matmul

ndstrides-12-builtins

ndstrides-13-tests

ndstrides-14-end

ndstrides-2-basic

ndstrides-3-indexing

ndstrides-4-nparray

ndstrides-5-miscfuncs

ndstrides-6-reshape

ndstrides-7-broadcasting

ndstrides-8-transpose

ndstrides-9-subassign

ndstrides-base

ndstrides-enhance-irrt

ndstrides-intro

ndstrides-neo-next

numpy-anyall

refactor-primstore

refactor_anto

rpc-obj-as-param

dd1be541b8 nac3core: allow class to have no __init__, function/method name with module path added to ensure uniqueness ychenfo 2021-09-20 14:24:16 +0800
3c930ae9ab fixed #12 pca006132 2021-09-20 15:50:38 +0800
35a94a8fc0 nac3core: fix broken test ychenfo 2021-09-20 01:58:07 +0800
4939ff4dbd simple implementation of classes pca006132 2021-09-19 22:54:06 +0800
bf1769cef6 nac3standalone: more tests ychenfo 2021-09-19 17:50:01 +0800
2b74895b71 nac3standalone, nac3core: can use top level composer to compile and run mandelbrot ychenfo 2021-09-19 16:19:16 +0800
1b0f3d07cc nac3core: top level fix field of funinstance ychenfo 2021-09-17 22:32:13 +0800
ed5dfd4100 nac3core: top level inferencer call with type var more test ychenfo 2021-09-17 16:02:00 +0800
41e63f24d0 nac3core: top level add test utility to print stringfied type ychenfo 2021-09-17 01:47:54 +0800
d0df705c5a nac3core: toplevel type var test ychenfo 2021-09-17 00:35:58 +0800
a0662c58e6 nac3core: fix recursive top level function call ychenfo 2021-09-14 22:49:20 +0800
526c18bda0 nac3core: top level inferencer without type var should be ok ychenfo 2021-09-14 16:16:48 +0800
a10ab81ee7 toplevel composer: add ast to class methods, suppress warning ychenfo 2021-09-13 01:18:21 +0800
f5353419ac codegen: minimized lock holding time pca006132 2021-09-16 21:36:42 +0800
180392e2ab typecheck: fixed recursive substitution pca006132 2021-09-12 21:33:21 +0800
471547855e nac3core: toplevel change class method name handling, cleanup comments ychenfo 2021-09-12 13:14:46 +0800
2ac3f9a176 nac3core: separate top level compoer to a new file ychenfo 2021-09-12 05:10:10 +0800
cb310965b8 nac3core: toplevel register consider module path ychenfo 2021-09-12 05:00:26 +0800
118f19762a nac3core: toplevel format ychenfo 2021-09-12 04:40:40 +0800
b419634f8a nac3core: top level fields inheritance check, more tests ychenfo 2021-09-12 04:34:30 +0800
147298ff40 nac3core: top level fix class fields as nac3 spec ychenfo 2021-09-12 03:49:21 +0800
c7cb02b0f3 nac3core: toplevel fix parse type annotation dead lock ychenfo 2021-09-12 03:01:56 +0800
03b5e51822 nac3standalone: cleanup ychenfo 2021-09-10 21:27:08 +0800
4eacd1aa9e nac3core: top level err test ychenfo 2021-09-10 21:26:39 +0800
9eef51f29f nac3core: top level class method self parameter fixed ychenfo 2021-09-10 16:14:08 +0800
917d447605 nac3core: clean up, fix broken test ychenfo 2021-09-09 02:08:07 +0800
f1013d9a17 nac3core: top level fix type var within list tuple, test of type var application compatibility ychenfo 2021-09-09 02:03:44 +0800
2ce507964c nac3core: fix broken top level test due to hashmap order ychenfo 2021-09-09 00:44:56 +0800
5a1a8ecee3 nac3core: self is not not allowed to explicitly appear in method type annotations ychenfo 2021-09-08 21:53:54 +0800
1300b5ebdd nac3core: clean up and format ychenfo 2021-09-08 19:45:36 +0800
87f25e1c5d nac3core: remove mutex on dyn symbol resolve ychenfo 2021-09-08 19:27:32 +0800
55335fc05d nac3core: top level simple type var handled ychenfo 2021-09-08 02:27:12 +0800
247b364191 nac3core: top level fix cyclic ancestor analysis, add tests ychenfo 2021-09-07 17:30:15 +0800
bbcec6ae6f nac3core: toplevel fix bug in make self annotation and return type check ychenfo 2021-09-07 10:03:31 +0800
235b6e34d1 nac3core: top level derive fmt::Debug, fix dead lock ychenfo 2021-09-07 00:20:40 +0800
54b4572c5f nac3core: allow interior mutability to dyn symbolresolver, add add_id_def to symbolresolver trait, remove primitive from top level def list ychenfo 2021-09-06 19:23:04 +0800
dc7c014b10 nac3core: top level more test ychenfo 2021-08-31 17:40:38 +0800
1ae6acc061 nac3core: top level fix function/methods none return type ychenfo 2021-08-31 15:41:48 +0800
98d032b72a nac3core: top level fix duplicate def, start adding tests ychenfo 2021-08-31 15:22:45 +0800
7bbd608492 nac3core: top level cleanup, rewrite ancestors handling, __init__ occruence check ychenfo 2021-08-31 09:57:07 +0800
4a9593efa3 nac3core: top level clean up and fix ancestors analysis ychenfo 2021-08-30 22:46:50 +0800
098bd1e6e6 nac3core: top level check inheritance method overload ychenfo 2021-08-30 17:38:07 +0800
82c2edcf8d nac3core: toplevel cleanup and add list and tuple support ychenfo 2021-08-30 14:04:32 +0800
40e58d02ed nac3core: toplevel all ancestors are put into the def list, disallow generic base class for now ychenfo 2021-08-30 12:05:01 +0800
e2a9bdd8bc nac3core: toplevel no duplicate type var too early ychenfo 2021-08-29 18:19:29 +0800
236989defc nac3core: remove unnecessary inline and function parameters ychenfo 2021-08-27 16:38:42 +0800
22a728833d nac3core: fixed broken test pca006132 2021-08-27 16:50:53 +0800
2223c86d9b nac3standalone: compile multiple functions pca006132 2021-08-27 16:25:59 +0800
72aebed559 nac3core: unification table optimization pca006132 2021-08-27 13:05:06 +0800
8c1c7fcfc3 nac3core: fixed broken tests pca006132 2021-08-27 13:04:51 +0800
6633eabb89 nac3core: optimized by using HashSet pca006132 2021-08-27 12:36:51 +0800
d81249cabe nac3standalone: enabled optimization and recorded time pca006132 2021-08-27 12:35:21 +0800
bf4e0009c0 codegen: do not generate cont_bb if unreachable pca006132 2021-08-27 11:46:12 +0800
52dd792b3e nac3standalone: added return check pca006132 2021-08-27 11:39:36 +0800
a24e204824 type_inferencer: check defined identifiers during inference pca006132 2021-08-27 11:13:43 +0800
35ef0386db move helper function to another file ychenfo 2021-08-27 10:21:51 +0800
b9a580d271 handle class method/fields type var ychenfo 2021-08-27 01:39:15 +0800
018d6643e1 top level: top level function type var handled ychenfo 2021-08-26 15:24:04 +0800
935e7410fd check type params in class generic base declaration ychenfo 2021-08-26 11:54:37 +0800
1a21fb1072 fix codegen test about top level composer return type change ychenfo 2021-08-25 18:00:01 +0800
35a331552b cyclic inheritance check added ychenfo 2021-08-25 15:49:24 +0800
0bab477ab0 get rid of nested tuple in type annotation helper function ychenfo 2021-08-25 14:59:31 +0800
862d205f67 remove self kind and extra primitive info in the return of top level composer constructor, adding some helper function for type annotation ychenfo 2021-08-25 13:39:55 +0800
e2b11c3fee codegen: fixed deadlock and added call test pca006132 2021-08-25 17:44:01 +0800
0608fd9659 fixed test and nac3standalone pca006132 2021-08-25 15:30:36 +0800
173102fc56 codegen/expr: function codegen and refactoring pca006132 2021-08-25 15:29:58 +0800
93270d7227 use forked version of rustpython pca006132 2021-08-25 15:28:32 +0800
1ffa1a8bb0 typecheck/typedef: added copy_from pca006132 2021-08-25 12:02:10 +0800
01f7a31aae put parse ast into type annotation into one function ychenfo 2021-08-24 17:43:41 +0800
32773c14e0 move top level related things to a separate module ychenfo 2021-08-24 17:14:34 +0800
c356062239 symbol_resolver: handle list and tuples pca006132 2021-08-24 14:58:19 +0800
56f082ca7c handle type var associated with class/function partially, change llvm version of nac3embedded to 11 ychenfo 2021-08-23 16:57:50 +0800
39f300b62a clean up and add duplicate function/parameter/class name test ychenfo 2021-08-23 14:13:48 +0800
7b1fe36e90 formatted ychenfo 2021-08-23 11:13:45 +0800
fb5b4697a9 fix rebase conflict and some test failure with unifier's error message ychenfo 2021-08-23 10:34:11 +0800
364054331c handle class fields and methods ychenfo 2021-08-23 02:52:54 +0800
40b062ce0f change the parse type annotation parameter type, refactoring top level ychenfo 2021-08-19 17:31:23 +0800
f5b8b58826 added tuple assignment check pca006132 2021-08-21 15:11:01 +0800
c4d6b3691a codegen/expr: fixed warnings pca006132 2021-08-21 15:10:50 +0800
957ceb74e4 nac3core/typecheck: added basic location information pca006132 2021-08-21 14:51:46 +0800
e47d063efc codegen: store to list element pca006132 2021-08-19 17:14:38 +0800
0e2da0d180 codegen: gep related fixes pca006132 2021-08-19 16:54:15 +0800
39545c0005 nac3standalone usable pca006132 2021-08-19 15:30:52 +0800
3279f7a776 codegen for simple function call, and various fixes pca006132 2021-08-19 15:30:15 +0800
f205a8282a Merge pull request 'hm-inference' (#6) from hm-inference into master sb10q 2021-08-19 11:46:50 +0800
d1215bf5ac nac3core/codegen/expr: fixed typo pca006132 2021-08-19 11:45:33 +0800
6e424a6a3e fixed codegen test pca006132 2021-08-19 11:32:22 +0800
9a07ef3301 Merge remote-tracking branch 'origin/hm-inference_anto' into hm-inference pca006132 2021-08-19 11:32:04 +0800
c238c264e7 add type vars to the primitive binop function def ychenfo 2021-08-19 11:18:58 +0800
f8a697e3d4 switch to LLVM 11 Sebastien Bourdeauducq 2021-08-19 11:14:35 +0800
4b38fe66a2 format ychenfo 2021-08-18 17:33:48 +0800
9cb07e6f04 start to handle base inheritance methods, fields ychenfo 2021-08-18 17:32:55 +0800
6279dbb589 formating ychenfo 2021-08-18 16:33:50 +0800
529442590f some parsing of top level class fields and methods ychenfo 2021-08-18 16:28:17 +0800
4fcd48e4c8 try to use def list ast tuple and remove method_to_def_id map ychenfo 2021-08-18 10:01:11 +0800
619963dc8c removed locks in toplevelcomposer ychenfo 2021-08-17 16:36:06 +0800
276daa03f7 start refactorinng for less redundancy ychenfo 2021-08-17 14:01:18 +0800
a94145348a fix on comments and redundant code, start handling 'self' things ychenfo 2021-08-17 11:06:45 +0800
fa40fd73c6 formatted ychenfo 2021-08-16 20:17:08 +0800
79ce13722a partially parsed class methods nad fields ychenfo 2021-08-16 17:40:12 +0800