Commit graph

Select branches

Hide pull requests

ci-try-memory-leak

master

merge

upstream

#1

#100

#1000

#1001

#1004

#1005

#1007

#1008

#1009

#1010

#1012

#1013

#1014

#1015

#1016

#1018

#1023

#1024

#103

#1034

#1035

#1036

#1037

#1039

#104

#1040

#1044

#1046

#1047

#1048

#105

#1050

#1052

#1054

#1055

#1059

#1060

#1061

#1063

#1064

#1067

#1067

#1068

#1069

#1075

#1076

#1078

#1082

#1082

#1084

#1087

#1089

#109

#1095

#1096

#1097

#11

#1101

#1104

#1106

#1107

#111

#1110

#1112

#1114

#1115

#1118

#1119

#1120

#1121

#1121

#1123

#1124

#1125

#1127

#1129

#1130

#1131

#1135

#1136

#1139

#114

#1142

#1144

#1145

#1147

#115

#1150

#1154

#1155

#1156

#1158

#1160

#1162

#1164

#1166

#1166

#1167

#1171

#1172

#1173

#1174

#1175

#1177

#118

#1180

#1184

#1186

#119

#1194

#12

#1201

#1203

#1204

#1205

#1213

#1216

#1218

#1219

#1220

#1223

#1229

#1232

#1236

#1238

#124

#1243

#1244

#1245

#1246

#1249

#1250

#1251

#1252

#1254

#1255

#1258

#1266

#1275

#1278

#1285

#1286

#1288

#1289

#1290

#1295

#1299

#13

#1307

#1313

#1314

#1315

#1317

#1317

#1318

#1321

#1322

#1325

#1326

#1326

#133

#1330

#1333

#1334

#1337

#1338

#1338

#134

#1341

#1346

#1347

#135

#1352

#1354

#1360

#1362

#1362

#1364

#1366

#1368

#1371

#1374

#1376

#138

#1382

#1385

#1388

#139

#1392

#1392

#1393

#1394

#14

#1407

#1408

#1409

#141

#1410

#1411

#1418

#1419

#1419

#142

#1420

#1425

#1425

#1426

#1426

#143

#1430

#1432

#1433

#1439

#1440

#1445

#145

#1458

#146

#1461

#1466

#1469

#1472

#1477

#1489

#149

#1493

#1495

#15

#1502

#1504

#1505

#1506

#1512

#1513

#1514

#1523

#1525

#1526

#1529

#1530

#1532

#1539

#1541

#1545

#1548

#1550

#1550

#1551

#1551

#1552

#1554

#1559

#1560

#1563

#1568

#1569

#1570

#1571

#1573

#1581

#1582

#1599

#1599

#16

#1607

#1608

#1609

#1612

#1619

#1621

#1622

#1625

#1637

#1643

#165

#1664

#167

#1670

#1676

#1677

#168

#1681

#1683

#1683

#1688

#169

#1694

#1699

#17

#170

#1713

#1715

#1720

#1732

#174

#1741

#1741

#1742

#1747

#1749

#1750

#1751

#1751

#1754

#1759

#176

#1760

#1761

#1763

#1765

#1769

#1770

#1772

#1774

#1775

#1779

#1785

#1787

#1788

#179

#18

#180

#1800

#1804

#1804

#182

#183

#184

#185

#189

#19

#191

#192

#195

#198

#199

#2

#20

#200

#201

#202

#203

#205

#206

#207

#209

#21

#210

#214

#216

#22

#221

#222

#223

#227

#228

#231

#232

#233

#235

#236

#237

#238

#24

#241

#25

#252

#253

#254

#257

#26

#260

#261

#263

#264

#266

#268

#27

#270

#275

#276

#277

#279

#28

#284

#285

#286

#29

#294

#297

#3

#300

#301

#303

#304

#305

#308

#309

#31

#313

#314

#315

#316

#32

#323

#324

#325

#33

#330

#331

#335

#337

#34

#340

#341

#342

#343

#344

#345

#349

#350

#352

#353

#354

#355

#357

#358

#36

#360

#360

#361

#362

#363

#364

#366

#367

#368

#369

#37

#370

#371

#372

#374

#375

#376

#377

#378

#379

#38

#387

#388

#389

#39

#390

#397

#398

#399

#4

#40

#401

#403

#406

#408

#41

#410

#413

#414

#416

#419

#42

#420

#422

#424

#426

#427

#43

#431

#432

#433

#434

#436

#438

#439

#44

#440

#442

#443

#444

#447

#449

#45

#450

#451

#454

#458

#459

#46

#462

#466

#467

#468

#47

#470

#472

#474

#475

#476

#477

#478

#48

#480

#481

#486

#487

#488

#49

#490

#491

#494

#496

#497

#5

#50

#500

#501

#505

#506

#507

#508

#51

#510

#511

#513

#514

#517

#52

#522

#53

#530

#531

#532

#536

#537

#54

#542

#545

#55

#553

#554

#555

#556

#559

#56

#560

#561

#563

#564

#566

#567

#568

#569

#57

#570

#572

#574

#575

#576

#577

#578

#58

#581

#583

#584

#585

#588

#589

#59

#592

#6

#60

#602

#603

#606

#607

#608

#609

#61

#610

#611

#612

#614

#615

#616

#618

#619

#62

#624

#625

#629

#63

#630

#634

#635

#636

#636

#637

#639

#64

#640

#641

#642

#643

#644

#648

#649

#65

#653

#654

#657

#659

#667

#669

#67

#671

#674

#675

#676

#678

#68

#680

#681

#682

#688

#69

#690

#691

#692

#699

#7

#70

#700

#704

#705

#707

#709

#71

#713

#715

#717

#719

#72

#720

#722

#723

#724

#726

#727

#728

#729

#73

#735

#737

#739

#74

#742

#748

#75

#751

#76

#760

#762

#764

#766

#768

#769

#77

#78

#782

#784

#784

#787

#79

#790

#792

#794

#795

#796

#797

#799

#8

#80

#800

#801

#804

#807

#808

#81

#810

#811

#811

#814

#82

#820

#824

#828

#829

#83

#832

#833

#835

#839

#840

#841

#842

#845

#848

#849

#851

#853

#86

#860

#861

#862

#863

#865

#869

#87

#870

#874

#877

#878

#88

#883

#885

#886

#89

#890

#895

#899

#9

#90

#902

#903

#909

#91

#910

#915

#919

#92

#920

#923

#925

#926

#928

#929

#93

#931

#933

#933

#934

#936

#939

#94

#942

#943

#946

#948

#949

#951

#952

#953

#958

#960

#967

#968

#969

#970

#971

#973

#974

#976

#977

#979

#982

#987

#988

#988

#99

#990

#991

#992

#993

#994

#995

#998

#999

0.501

0.503

0.504

0.505

0.506

0.507

0.509

0.510

0.511

0.512

0.513

0.514

0.515

0.516

0.517

0.518

0.519

0.520

0.521

0.522

0.523

0.524

0.525

0.526

0.527

0.528

0.529

0.530

0.531

0.532

0.533

0.534

0.535

0.536

0.537

0.538

0.539

0.540

0.541

0.542

0.543

0.544

0.545

0.546

0.547

0.548

0.549

0.550

0.551

0.552

0.553

0.554

0.555

0.556

0.557

0.558

0.559

0.560

0.561

0.562

0.563

0.564

0.565

0.566

0.567

0.568

0.569

0.570

0.571

0.572

0.573

0.574

0.575

0.576

0.577

0.578

0.579

0.580

0.581

0.582

0.583

0.584

0.588

0.589

0.590

0.591

0.592

0.593

0.594

0.595

0.596

0.597

0.598

0.599

0.600

0.601

0.602

0.603

0.604

0.605

0.606

0.607

0.608

0.609

0.610

0.611

0.612

0.613

0.614

0.615

0.616

0.617

0.618

0.619

0.620

0.621

0.622

0.623

0.624

0.625

0.626

0.627

0.628

0.629

0.630

0.631

0.632

0.633

0.634

0.635

0.636

0.637

0.638

0.639

0.640

0.641

0.642

0.643

0.644

0.645

0.646

0.647

0.648

0.649

0.650

0.651

0.652

0.653

0.654

0.655

0.656

0.657

0.658

0.659

0.660

0.661

0.662

0.663

0.664

0.665

0.666

0.667

0.668

0.669

0.670

0.671

0.672

Mono Color

• f513385ef3 hopefully fix smoke test Lily Brown 2022-02-15 13:50:47 -08:00
• 4714dedb98 parse type annotations Lily Brown 2022-02-15 13:44:24 -08:00
• 24e9b78c51
  
  Update function-table-clone.md Arseny Kapoulkine 2022-02-15 08:06:12 -08:00
• 3f2ca3d4ad Working on strict mode ajeffrey@roblox.com 2022-02-14 18:43:46 -06:00
• 4b7e06e14f
  
  Emit more information for AstLocals in JSON encoder (#364) Lily Brown 2022-02-14 14:14:11 -08:00
• 50f97b0046 First shot at strict mode warnings ajeffrey@roblox.com 2022-02-14 15:30:31 -06:00
• b1453ef194 wire up agda properly Lily Brown 2022-02-14 11:49:24 -08:00
• b8f0ff836a fix unit test for json encoder Lily Brown 2022-02-14 11:18:57 -08:00
• 7ac848b23b emit more information for AstLocals Lily Brown 2022-02-14 11:10:37 -08:00
• 111045833d
  
  Update STATUS.md Arseny Kapoulkine 2022-02-14 10:53:08 -08:00
• 1e2d4ea17c
  
  Update STATUS.md Arseny Kapoulkine 2022-02-14 10:51:45 -08:00
• efff0125d6
  
  Update STATUS.md Arseny Kapoulkine 2022-02-14 10:50:41 -08:00
• 16ef4cb786
  
  Create STATUS.md Arseny Kapoulkine 2022-02-14 10:50:06 -08:00
• c03c31cd6f
  
  Update function-table-clone.md Arseny Kapoulkine 2022-02-14 10:39:52 -08:00
• 480ccd2d45
  
  Update function-table-clone.md Arseny Kapoulkine 2022-02-14 10:26:00 -08:00
• d6d65940db
  
  Update function-table-clone.md Arseny Kapoulkine 2022-02-14 10:25:45 -08:00
• bfeb69988a
  
  Update function-table-clone.md Arseny Kapoulkine 2022-02-14 10:23:23 -08:00
• cb410a8b41
  
  RFC: table.clone Arseny Kapoulkine 2022-02-14 10:22:05 -08:00
• 7d679b317f
  
  RFC: Generalized iteration (#335) Arseny Kapoulkine 2022-02-14 10:04:07 -08:00
• 74bf30eb1c
  
  Add documentation for upcoming CommentDirective lint Arseny Kapoulkine 2022-02-14 08:59:05 -08:00
• cf0bc1ed93
  
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:53:03 -08:00
• 6cefa03519
  
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:45:12 -08:00
• 37da546e8d
  
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:41:44 -08:00
• 9361b856da
  
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:41:10 -08:00
• a8593fca76
  
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:40:27 -08:00
• 5f0b8ae1be
  
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:40:11 -08:00
• 14e40671fc
  
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:39:20 -08:00
• e52d036000
  
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:38:12 -08:00
• 17c0462665
  
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:37:47 -08:00
• fb1c5c2f1e
  
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:36:52 -08:00
• 64cd591b96
  
  Rename syntax-list-comprehensions to syntax-list-comprehensions.md James Napora 2022-02-13 16:19:53 -08:00
• b25baf137a
  
  Create syntax-list-comprehensions James Napora 2022-02-13 16:19:34 -08:00
• e0a9bc191a
  
  Prototype: added syntax for optional type annotations (#358) Alan Jeffrey 2022-02-11 19:03:26 -06:00
• a4595ac24f Remove extra space in anonymous functions ajeffrey@roblox.com 2022-02-11 18:46:43 -06:00
• 1a35e3e1cc Finished the typechecker for fully type-annotated programs ajeffrey@roblox.com 2022-02-11 18:24:02 -06:00
• 34030da631 Added syntax for optional type annotations ajeffrey@roblox.com 2022-02-11 15:04:52 -06:00
• 9f68a4f802 More work on infallible typechecking ajeffrey@roblox.com 2022-02-11 14:50:50 -06:00
• db90c7da48
  
  Add a typeToString function to the prototype (#354) Alan Jeffrey 2022-02-11 14:38:35 -06:00
• 63d5423bbb
  
  Sync to upstream/release/514 (#357) 0.514 Arseny Kapoulkine 2022-02-11 11:02:09 -08:00
• a08f52a6d2 Merge branch 'upstream' into merge Arseny Kapoulkine 2022-02-11 10:45:41 -08:00
• 46ba69555a Merge branch 'master' into merge Arseny Kapoulkine 2022-02-11 10:43:59 -08:00
• e9bf182585 Sync to upstream/release/514 Arseny Kapoulkine 2022-02-11 10:43:14 -08:00
• aecd60371b
  
  Update performance.md (#355) Arseny Kapoulkine 2022-02-11 09:13:27 -08:00
• 6193fc8fc4 Removed AnonFunDec ajeffrey@roblox.com 2022-02-11 10:43:33 -06:00
• 8a9a2ac08d
  
  Changed use of .luaurc to luauconfig.json Brad Sharp 2022-02-11 13:39:25 +00:00
• dae85f3761
  
  Update performance.md Arseny Kapoulkine 2022-02-10 23:03:18 -08:00
• 99fe8b3df9 Fixed some processing of options ajeffrey@roblox.com 2022-02-10 20:46:39 -06:00
• 1d66d8a3d3 Track untyped v typed syntax ajeffrey@roblox.com 2022-02-10 20:11:59 -06:00
• 2a7cc199a9 Run github action on prototyping branches ajeffrey@roblox.com 2022-02-10 17:04:34 -06:00
• 120207bb67 Added Luau.Type.ToString ajeffrey@roblox.com 2022-02-10 17:03:10 -06:00
• 53b5251c0a Complete (I hope) defn of typechecking derivation trees ajeffrey@roblox.com 2022-02-10 16:53:59 -06:00
• 5a6e5c02b5 Fix smoke test ajeffrey@roblox.com 2022-02-10 12:03:37 -06:00
• 0fa01222cf Run prototyping workflow on prototyping-* branches ajeffrey@roblox.com 2022-02-10 11:13:45 -06:00
• efa0ceede2 Improved VarDec syntax ajeffrey@roblox.com 2022-02-10 11:13:13 -06:00
• daa38aa29d Improved typeToString ajeffrey@roblox.com 2022-02-09 18:31:55 -06:00
• 5187e64f88
  
  Implement a prototype interpreter (#353) Alan Jeffrey 2022-02-09 17:14:29 -06:00
• 2c31f32b64 Redo smoketest ajeffrey@roblox.com 2022-02-09 16:08:51 -06:00
• ffbed5076f Update workflow ajeffrey@roblox.com 2022-02-09 15:37:59 -06:00
• 781dbfa2b4 Got examples to typecheck again ajeffrey@roblox.com 2022-02-09 15:32:59 -06:00
• 74ff8c6efc Started on typechecking ajeffrey@roblox.com 2022-02-09 15:28:24 -06:00
• 8573eeda49 First draft interpreter ajeffrey@roblox.com 2022-02-09 14:23:25 -06:00
• abe3f87b48
  
  docs: Add documentation for upcoming MisleadingAndOr lint (#349) Arseny Kapoulkine 2022-02-09 09:27:01 -08:00
• ec481695a3
  
  Update library.md (#352) Arseny Kapoulkine 2022-02-09 09:19:50 -08:00
• 496a093abb Added step function ajeffrey@roblox.com 2022-02-09 10:39:30 -06:00
• cfee87d912
  
  Update library.md Arseny Kapoulkine 2022-02-08 23:12:49 -08:00
• 40322e96b8
  
  Update lint.md Arseny Kapoulkine 2022-02-08 16:55:49 -08:00
• 5deb02ace2 Rerun prototyping workflow if JSON serializer changes ajeffrey@roblox.com 2022-02-08 18:33:18 -06:00
• 38c9b54e75 First cut operational semantics ajeffrey@roblox.com 2022-02-08 18:32:27 -06:00
• 041838a942
  
  Prototyping a small subset of Luau in Agda (#350) Alan Jeffrey 2022-02-08 18:26:58 -06:00
• 178211a21d Responding to review comments ajeffrey@roblox.com 2022-02-08 14:30:43 -06:00
• fdb9c90ccd Another shot at caching ajeffrey@roblox.com 2022-02-08 13:57:32 -06:00
• 521c44e065 Added badge to README ajeffrey@roblox.com 2022-02-08 13:53:29 -06:00
• de2230fb2a Added more files to .gitignor ajeffrey@roblox.com 2022-02-08 13:53:02 -06:00
• 8a39ca5a68
  
  docs: Add documentation for upcoming MisleadingAndOr lint Arseny Kapoulkine 2022-02-08 11:52:19 -08:00
• cad7b5e67d Another shot at caching ajeffrey@roblox.com 2022-02-08 13:32:37 -06:00
• abab255fdf Another shot at caching ajeffrey@roblox.com 2022-02-08 13:22:43 -06:00
• 2d1ffd19db Another shot at caching ajeffrey@roblox.com 2022-02-08 13:16:22 -06:00
• df9c98fb95 Another shot at caching ajeffrey@roblox.com 2022-02-08 13:07:57 -06:00
• 7badb4a074 Another shot at caching ajeffrey@roblox.com 2022-02-08 12:57:29 -06:00
• cf7a40c0d9 Another shot at caching ajeffrey@roblox.com 2022-02-08 12:56:57 -06:00
• e8fb809058 Another shot at caching ajeffrey@roblox.com 2022-02-08 12:45:39 -06:00
• 4d4013a7c8 Another shot at caching ajeffrey@roblox.com 2022-02-08 11:49:32 -06:00
• 48f3304c69 Another shot at caching ajeffrey@roblox.com 2022-02-08 11:35:04 -06:00
• 180e739581 Try to get caching to work ajeffrey@roblox.com 2022-02-08 11:18:23 -06:00
• 0bb7cd9632 Get examples to typecheck again ajeffrey@roblox.com 2022-02-08 11:17:42 -06:00
• ffd7b55fef Another shot at getting the smoketest to run ajeffrey@roblox.com 2022-02-08 10:41:52 -06:00
• dbf35b4176 Get smoketest to run ajeffrey@roblox.com 2022-02-08 10:30:53 -06:00
• 1aae874c38 Try package-env not package-db ajeffrey@roblox.com 2022-02-08 10:07:56 -06:00
• ae1f2e2e86 Try using an explcit package.db ajeffrey@roblox.com 2022-02-08 09:55:24 -06:00
• 48831529d8 Try to get cabal weirdness not to be weird ajeffrey@roblox.com 2022-02-07 22:03:58 -06:00
• 90e356c77c Try to get cabal weirdness not to be weird ajeffrey@roblox.com 2022-02-07 21:40:13 -06:00
• 7dae33b7ae Try to get cabal weirdness not to be weird ajeffrey@roblox.com 2022-02-07 21:14:16 -06:00
• 8c390ffee2 Try to get cabal weirdness not to be weird ajeffrey@roblox.com 2022-02-07 20:10:15 -06:00
• 2d04049077 Run prototypinmg action when workflows dir changes ajeffrey@roblox.com 2022-02-07 19:35:01 -06:00
• d0a4510d2d Install agda from cabal ajeffrey@roblox.com 2022-02-07 19:00:47 -06:00
• 33ba6b0e3f Trying to get it to compile with Agda 2.6.0 ajeffrey@roblox.com 2022-02-07 18:10:13 -06:00
• e86b9772c8 Renaming Main to PrettyPrinter ajeffrey@roblox.com 2022-02-07 17:20:56 -06:00
• ce9b7e4c70 Add cabal update to workflow ajeffrey@roblox.com 2022-02-07 17:10:58 -06:00
• 50a9ea1b63 Updated README ajeffrey@roblox.com 2022-02-07 17:09:58 -06:00
• a1325c106d First cut github actions ajeffrey@roblox.com 2022-02-07 17:04:34 -06:00