Commit graph

Select branches

Hide pull requests

RFC-for-req-by-string-aliases

RFC-for-req-by-string-relative-paths

alexmccord-patch-1

master

menarulalam-patch-1-1

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

#1322

#1325

#1326

#1326

#133

#1330

#1333

#1334

#1337

#1338

#1338

#134

#1341

#1346

#1347

#135

#1352

#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

#1560

#1563

#16

#165

#167

#168

#169

#17

#170

#174

#176

#179

#18

#180

#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

Mono Color

• 480ccd2d45
  Update function-table-clone.md Arseny Kapoulkine 2022-02-14 10:26:00 -0800
• d6d65940db
  Update function-table-clone.md Arseny Kapoulkine 2022-02-14 10:25:45 -0800
• bfeb69988a
  Update function-table-clone.md Arseny Kapoulkine 2022-02-14 10:23:23 -0800
• cb410a8b41
  RFC: table.clone Arseny Kapoulkine 2022-02-14 10:22:05 -0800
• 7d679b317f
  RFC: Generalized iteration (#335) Arseny Kapoulkine 2022-02-14 10:04:07 -0800
• 74bf30eb1c
  Add documentation for upcoming CommentDirective lint Arseny Kapoulkine 2022-02-14 08:59:05 -0800
• cf0bc1ed93
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:53:03 -0800
• 6cefa03519
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:45:12 -0800
• 37da546e8d
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:41:44 -0800
• 9361b856da
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:41:10 -0800
• a8593fca76
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:40:27 -0800
• 5f0b8ae1be
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:40:11 -0800
• 14e40671fc
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:39:20 -0800
• e52d036000
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:38:12 -0800
• 17c0462665
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:37:47 -0800
• fb1c5c2f1e
  Update syntax-list-comprehensions.md James Napora 2022-02-13 16:36:52 -0800
• 64cd591b96
  Rename syntax-list-comprehensions to syntax-list-comprehensions.md James Napora 2022-02-13 16:19:53 -0800
• b25baf137a
  Create syntax-list-comprehensions James Napora 2022-02-13 16:19:34 -0800
• e0a9bc191a
  Prototype: added syntax for optional type annotations (#358) Alan Jeffrey 2022-02-11 19:03:26 -0600
• a4595ac24f Remove extra space in anonymous functions ajeffrey@roblox.com 2022-02-11 18:46:43 -0600
• 1a35e3e1cc Finished the typechecker for fully type-annotated programs ajeffrey@roblox.com 2022-02-11 18:24:02 -0600
• 34030da631 Added syntax for optional type annotations ajeffrey@roblox.com 2022-02-11 15:04:52 -0600
• 9f68a4f802 More work on infallible typechecking ajeffrey@roblox.com 2022-02-11 14:50:50 -0600
• db90c7da48
  Add a typeToString function to the prototype (#354) Alan Jeffrey 2022-02-11 14:38:35 -0600
• 63d5423bbb
  Sync to upstream/release/514 (#357) 0.514 Arseny Kapoulkine 2022-02-11 11:02:09 -0800
• a08f52a6d2 Merge branch 'upstream' into merge Arseny Kapoulkine 2022-02-11 10:45:41 -0800
• 46ba69555a Merge branch 'master' into merge Arseny Kapoulkine 2022-02-11 10:43:59 -0800
• e9bf182585 Sync to upstream/release/514 Arseny Kapoulkine 2022-02-11 10:43:14 -0800
• aecd60371b
  Update performance.md (#355) Arseny Kapoulkine 2022-02-11 09:13:27 -0800
• 6193fc8fc4 Removed AnonFunDec ajeffrey@roblox.com 2022-02-11 10:43:33 -0600
• 8a9a2ac08d
  Changed use of .luaurc to luauconfig.json Brad Sharp 2022-02-11 13:39:25 +0000
• dae85f3761
  Update performance.md Arseny Kapoulkine 2022-02-10 23:03:18 -0800
• 99fe8b3df9 Fixed some processing of options ajeffrey@roblox.com 2022-02-10 20:46:39 -0600
• 1d66d8a3d3 Track untyped v typed syntax ajeffrey@roblox.com 2022-02-10 20:11:59 -0600
• 2a7cc199a9 Run github action on prototyping branches ajeffrey@roblox.com 2022-02-10 17:04:34 -0600
• 120207bb67 Added Luau.Type.ToString ajeffrey@roblox.com 2022-02-10 17:03:10 -0600
• 53b5251c0a Complete (I hope) defn of typechecking derivation trees ajeffrey@roblox.com 2022-02-10 16:53:59 -0600
• 5a6e5c02b5 Fix smoke test ajeffrey@roblox.com 2022-02-10 12:03:37 -0600
• 0fa01222cf Run prototyping workflow on prototyping-* branches ajeffrey@roblox.com 2022-02-10 11:13:45 -0600
• efa0ceede2 Improved VarDec syntax ajeffrey@roblox.com 2022-02-10 11:13:13 -0600
• daa38aa29d Improved typeToString ajeffrey@roblox.com 2022-02-09 18:31:55 -0600
• 5187e64f88
  Implement a prototype interpreter (#353) Alan Jeffrey 2022-02-09 17:14:29 -0600
• 2c31f32b64 Redo smoketest ajeffrey@roblox.com 2022-02-09 16:08:51 -0600
• ffbed5076f Update workflow ajeffrey@roblox.com 2022-02-09 15:37:59 -0600
• 781dbfa2b4 Got examples to typecheck again ajeffrey@roblox.com 2022-02-09 15:32:59 -0600
• 74ff8c6efc Started on typechecking ajeffrey@roblox.com 2022-02-09 15:28:24 -0600
• 8573eeda49 First draft interpreter ajeffrey@roblox.com 2022-02-09 14:23:25 -0600
• abe3f87b48
  docs: Add documentation for upcoming MisleadingAndOr lint (#349) Arseny Kapoulkine 2022-02-09 09:27:01 -0800
• ec481695a3
  Update library.md (#352) Arseny Kapoulkine 2022-02-09 09:19:50 -0800
• 496a093abb Added step function ajeffrey@roblox.com 2022-02-09 10:39:30 -0600
• cfee87d912
  Update library.md Arseny Kapoulkine 2022-02-08 23:12:49 -0800
• 40322e96b8
  Update lint.md Arseny Kapoulkine 2022-02-08 16:55:49 -0800
• 5deb02ace2 Rerun prototyping workflow if JSON serializer changes ajeffrey@roblox.com 2022-02-08 18:33:18 -0600
• 38c9b54e75 First cut operational semantics ajeffrey@roblox.com 2022-02-08 18:32:27 -0600
• 041838a942
  Prototyping a small subset of Luau in Agda (#350) Alan Jeffrey 2022-02-08 18:26:58 -0600
• 178211a21d Responding to review comments ajeffrey@roblox.com 2022-02-08 14:30:43 -0600
• fdb9c90ccd Another shot at caching ajeffrey@roblox.com 2022-02-08 13:57:32 -0600
• 521c44e065 Added badge to README ajeffrey@roblox.com 2022-02-08 13:53:29 -0600
• de2230fb2a Added more files to .gitignor ajeffrey@roblox.com 2022-02-08 13:53:02 -0600
• 8a39ca5a68
  docs: Add documentation for upcoming MisleadingAndOr lint Arseny Kapoulkine 2022-02-08 11:52:19 -0800
• cad7b5e67d Another shot at caching ajeffrey@roblox.com 2022-02-08 13:32:37 -0600
• abab255fdf Another shot at caching ajeffrey@roblox.com 2022-02-08 13:22:43 -0600
• 2d1ffd19db Another shot at caching ajeffrey@roblox.com 2022-02-08 13:16:22 -0600
• df9c98fb95 Another shot at caching ajeffrey@roblox.com 2022-02-08 13:07:57 -0600
• 7badb4a074 Another shot at caching ajeffrey@roblox.com 2022-02-08 12:57:29 -0600
• cf7a40c0d9 Another shot at caching ajeffrey@roblox.com 2022-02-08 12:56:57 -0600
• e8fb809058 Another shot at caching ajeffrey@roblox.com 2022-02-08 12:45:39 -0600
• 4d4013a7c8 Another shot at caching ajeffrey@roblox.com 2022-02-08 11:49:32 -0600
• 48f3304c69 Another shot at caching ajeffrey@roblox.com 2022-02-08 11:35:04 -0600
• 180e739581 Try to get caching to work ajeffrey@roblox.com 2022-02-08 11:18:23 -0600
• 0bb7cd9632 Get examples to typecheck again ajeffrey@roblox.com 2022-02-08 11:17:42 -0600
• ffd7b55fef Another shot at getting the smoketest to run ajeffrey@roblox.com 2022-02-08 10:41:52 -0600
• dbf35b4176 Get smoketest to run ajeffrey@roblox.com 2022-02-08 10:30:53 -0600
• 1aae874c38 Try package-env not package-db ajeffrey@roblox.com 2022-02-08 10:07:56 -0600
• ae1f2e2e86 Try using an explcit package.db ajeffrey@roblox.com 2022-02-08 09:55:24 -0600
• 48831529d8 Try to get cabal weirdness not to be weird ajeffrey@roblox.com 2022-02-07 22:03:58 -0600
• 90e356c77c Try to get cabal weirdness not to be weird ajeffrey@roblox.com 2022-02-07 21:40:13 -0600
• 7dae33b7ae Try to get cabal weirdness not to be weird ajeffrey@roblox.com 2022-02-07 21:14:16 -0600
• 8c390ffee2 Try to get cabal weirdness not to be weird ajeffrey@roblox.com 2022-02-07 20:10:15 -0600
• 2d04049077 Run prototypinmg action when workflows dir changes ajeffrey@roblox.com 2022-02-07 19:35:01 -0600
• d0a4510d2d Install agda from cabal ajeffrey@roblox.com 2022-02-07 19:00:47 -0600
• 33ba6b0e3f Trying to get it to compile with Agda 2.6.0 ajeffrey@roblox.com 2022-02-07 18:10:13 -0600
• e86b9772c8 Renaming Main to PrettyPrinter ajeffrey@roblox.com 2022-02-07 17:20:56 -0600
• ce9b7e4c70 Add cabal update to workflow ajeffrey@roblox.com 2022-02-07 17:10:58 -0600
• 50a9ea1b63 Updated README ajeffrey@roblox.com 2022-02-07 17:09:58 -0600
• a1325c106d First cut github actions ajeffrey@roblox.com 2022-02-07 17:04:34 -0600
• 121bc52cc3 Exit code 1 on errors ajeffrey@roblox.com 2022-02-07 16:34:03 -0600
• 9ac0bec0d9 Got a smoke test to run ajeffrey@roblox.com 2022-02-07 16:17:06 -0600
• 324bc4b01d
  Add a build option to link with the static CRT (#343) Michael Savage 2022-02-07 23:51:57 +0200
• 965dc94899 squash - Don't set CMAKE_CXX_FLAGS and let CMAKE_MSVC_RUNTIME_LIBRARY do it for us Michael Savage 2022-02-07 23:40:04 +0200
• 32f36a2f36 Merge remote-tracking branch 'upstream/master' into prototyping ajeffrey@roblox.com 2022-02-07 14:58:27 -0600
• de2eabd0f3 Completed translating lambda-calculus + nil from JSON to Agda ajeffrey@roblox.com 2022-02-07 14:50:37 -0600
• 7ffb5fc4fd
  Add Luau.Ast.CLI target (#345) Lily Brown 2022-02-07 12:08:43 -0800
• acbcc807e8 add Luau.Ast.CLI target Lily Brown 2022-02-07 11:37:57 -0800
• 9281afe33d Added more FromJSON keys ajeffrey@roblox.com 2022-02-07 11:45:33 -0600
• 4bac2c82de
  Clarified compatibility Brad Sharp 2022-02-07 06:59:45 -0800
• 60366fc50d
  removed dynamic jump rafa_br34 2022-02-06 20:51:00 -0300
• 45256ca4be
  Update syntax-goto-statement.md rafa_br34 2022-02-06 17:18:59 -0300
• edbb7a826c
  syntax change rafa_br34 2022-02-06 17:02:18 -0300
• c02a8ab351
  Update syntax-goto-statement.md rafa_br34 2022-02-06 01:58:24 -0300