Commit Graph

Select branches

Hide Pull Requests

debug_info

escape-analysis

host_int_bound

iterators

master

ndarray

no_init

refactor_anto

Mono Color

• 8acb39f31f fix parallel compilation Sebastien Bourdeauducq 2021-09-22 15:00:32 +0800
• d561450bf5 demo: fix classes example Sebastien Bourdeauducq 2021-09-22 14:33:47 +0800
• 956cca6ac8 cleanup demos Sebastien Bourdeauducq 2021-09-22 14:30:52 +0800
• 4a5f2d495e added time measurement to track performance pca006132 2021-09-22 14:45:56 +0800
• 4fe643f45b allows function ending with a number pca006132 2021-09-22 14:45:42 +0800
• 1c170f5c41 nac3core: type inferencer fix the pass statement ychenfo 2021-09-21 13:19:13 +0800
• df6c9c8a35 fix #11 pca006132 2021-09-21 11:29:51 +0800
• 20905a9b67 nac3core: better field initialization check ychenfo 2021-09-21 02:48:42 +0800
• e66693282c nac3core: change the place to unify constructor type for function body type check ychenfo 2021-09-20 23:26:04 +0800
• 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