Commit Graph

Select branches

Hide Pull Requests

enhance/cargo-test-standalone-demos

escape-analysis

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

refactor_composer

rpc-obj-as-param

#1

#100

#104

#114

#120

#121

#124

#126

#127

#128

#129

#130

#140

#145

#146

#15

#154

#155

#156

#158

#160

#161

#162

#164

#168

#169

#171

#174

#177

#178

#181

#195

#2

#207

#209

#213

#214

#215

#216

#217

#218

#224

#236

#237

#238

#239

#243

#245

#247

#250

#251

#252

#253

#254

#255

#259

#260

#261

#262

#263

#264

#265

#266

#267

#268

#274

#287

#288

#289

#291

#292

#293

#294

#295

#302

#303

#304

#305

#306

#308

#309

#310

#311

#312

#314

#316

#317

#318

#319

#320

#321

#322

#323

#324

#325

#326

#327

#328

#329

#330

#331

#332

#333

#334

#335

#339

#340

#341

#343

#344

#345

#346

#347

#348

#349

#351

#352

#353

#354

#355

#356

#357

#360

#361

#362

#363

#364

#366

#367

#368

#369

#371

#373

#374

#375

#376

#377

#378

#379

#380

#381

#382

#383

#386

#387

#388

#390

#393

#394

#395

#398

#400

#401

#402

#403

#405

#406

#407

#408

#409

#410

#412

#413

#414

#415

#416

#417

#418

#419

#42

#422

#423

#424

#425

#426

#428

#429

#433

#434

#437

#438

#439

#440

#442

#445

#446

#447

#448

#449

#450

#451

#452

#453

#454

#455

#456

#462

#463

#468

#477

#478

#479

#481

#483

#485

#488

#489

#490

#492

#493

#495

#497

#499

#503

#505

#506

#507

#508

#509

#510

#511

#512

#513

#514

#515

#516

#517

#518

#519

#520

#521

#522

#523

#524

#525

#527

#534

#535

#540

#544

#546

#547

#548

#550

#551

#552

#553

#554

#555

#6

#65

#68

#92

#95

#98

#99

Mono Color

• 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
• eb814dd8c3 clean unused use ychenfo 2021-08-16 13:57:21 +0800
• 3734663188 add RefCell to FunSignature in TypeEnum ychenfo 2021-08-16 13:49:10 +0800
• d8c3c063ec split top level handling in several functions ychenfo 2021-08-16 09:46:55 +0800
• d3ad894521 removed code comment pca006132 2021-08-13 16:30:33 +0800
• 784111fdbe Merge remote-tracking branch 'origin/hm-inference_anto' into hm-inference pca006132 2021-08-13 16:28:04 +0800
• d30918bea0 worker thread panic handling pca006132 2021-08-13 16:20:14 +0800
• e2adf82229 threadpool for parallel code generation pca006132 2021-08-13 14:48:46 +0800
• 33391c55c2 add Sync bound to Symbol resolver in top level ychenfo 2021-08-13 14:22:49 +0800
• 3f65e1b133 start refactor top_level ychenfo 2021-08-13 13:55:44 +0800
• ba5bb78f11 top level parse class base/generic ychenfo 2021-08-13 02:38:29 +0800
• e176aa660d commit for pull new symbol resolver ychenfo 2021-08-12 14:48:11 +0800
• cb01c79603 removed Arc from TypeEnum pca006132 2021-08-13 13:33:59 +0800
• 1db8378f60 formatting pca006132 2021-08-12 16:36:23 +0800
• 8c7ccb626b fixed symbol_resolver blanket implementation pca006132 2021-08-12 14:44:50 +0800
• 1f6c16e08b fixed compilation failure pca006132 2021-08-12 13:56:51 +0800
• 77943a8117 added primitive codegen test pca006132 2021-08-12 13:55:15 +0800
• 3a93e2b048 TypeEnum::TObj.param is now RefCell for interior mutability ychenfo 2021-08-12 13:17:51 +0800
• 824a5cb01a register top level clean up ychenfo 2021-08-12 10:50:01 +0800
• 17ee8fe6d0 starting cleaning up and further add Arc<Mutex> ychenfo 2021-08-11 17:35:23 +0800
• d46a4b2d38 symbol_resolver: fixed type variable handling pca006132 2021-08-12 10:25:32 +0800
• de8b67b605 refactored symbol resolver pca006132 2021-08-11 17:28:29 +0800