Commit Graph - nac3 - M-Labs Git

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

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-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

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
f11a0776e7 README: fix build name Sebastien Bourdeauducq 2022-03-22 22:12:23 +0800
f2dc03dfa1 windows: finalize nac3artiq packaging Sebastien Bourdeauducq 2022-03-22 19:58:31 +0800
1c807ebe08 windows: use Z: consistently for Nix store paths Sebastien Bourdeauducq 2022-03-22 19:43:31 +0800
9e0b5187dd windows: make LLVM accessible to nac3artiq Sebastien Bourdeauducq 2022-03-22 19:40:40 +0800
1887a337ff windows: attempt to fix 'encodings' python errors Sebastien Bourdeauducq 2022-03-22 19:38:32 +0800
03f5b80153 windows: add nac3artiq derivation (WIP) Sebastien Bourdeauducq 2022-03-22 19:19:06 +0800
1114d11b34 windows: numpy is not necessary for build Sebastien Bourdeauducq 2022-03-22 19:05:58 +0800
a7a188da76 windows: work around -DLLVM_BUILD_TOOLS=OFF not disabling llvm-lto Sebastien Bourdeauducq 2022-03-22 18:35:06 +0800
eb6ceefdcd build LLVM with Wine + MSYS2 Sebastien Bourdeauducq 2022-03-22 18:03:25 +0800
9332d1643c irrt: normalize end-of-line characters. Closes #231 Sebastien Bourdeauducq 2022-03-22 16:04:48 +0800
718b076e50 irrt: use __builtin_alloca Sebastien Bourdeauducq 2022-03-22 15:41:25 +0800
9d86b46e86 nac3core: add DEBUG_DUMP_IRRT Sebastien Bourdeauducq 2022-03-22 15:39:15 +0800