mirror of
https://github.com/luau-lang/luau.git
synced 2025-04-03 02:10:53 +01:00
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
#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
#1749
#1750
#1751
#1751
#1754
#1759
#1759
#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
0.656
0.657
0.658
0.659
0.660
0.661
0.662
0.663
0.664
0.665
0.666
0.667
-
5d2e3de4b0
Merge branch 'master' into merge
Vyacheslav Egorov
2024-06-21 01:24:15 +03:00 -
816cb1d1c4
Sync to upstream/release/631
Vyacheslav Egorov
2024-06-21 01:23:57 +03:00 -
7d4033071a
Vighnesh-V
2024-06-14 13:21:20 -07:00 -
1ba3e5fd7b
correct the flag name
Vighnesh
2024-06-14 11:23:44 -07:00 -
2a1359dad0
Merge branch 'upstream' into merge
Vighnesh
2024-06-14 09:40:49 -07:00 -
91790efb8d
Merge branch 'master' into merge
Vighnesh
2024-06-14 09:40:20 -07:00 -
58b98097c5
Sync to upstream/release/630
Vighnesh
2024-06-14 09:38:56 -07:00 -
f8be9c62fb
This is hot loop.
Alexander McCord
2024-06-08 19:13:30 -07:00 -
5eccbbf15e
These also needs cstddef.
Alexander McCord
2024-06-08 09:10:20 -07:00 -
3d9c7cb5c0
Need to include cstddef.
Alexander McCord
2024-06-08 09:06:57 -07:00 -
e48de639e1
Extract hashing stuff out of Language.h into LanguageHash.h
Alexander McCord
2024-06-08 08:54:45 -07:00 -
f84f7e7e4e
Add EqSat to Makefile.
Alexander McCord
2024-06-08 08:54:20 -07:00 -
af684eebbf
Don't const& this one.
Alexander McCord
2024-06-08 07:51:01 -07:00 -
0fa6a51c91
Andy Friesen
2024-06-07 10:51:12 -07:00 -
40e03164f7
Merge branch 'upstream' into merge
Andy Friesen
2024-06-07 10:20:14 -07:00 -
eae092a45a
Merge branch 'master' into merge
Andy Friesen
2024-06-07 10:18:31 -07:00 -
5dd97352c1
Sync to upstream/release/629
Andy Friesen
2024-06-07 10:09:03 -07:00 -
81b2cc7dbe
Arseny Kapoulkine
2024-06-07 12:05:50 -05:00 -
23b8726203
Arseny Kapoulkine
2024-06-07 11:56:00 -05:00 -
1b5c144570
tests: Adjust conformance tests to account for array invariant
Arseny Kapoulkine
2024-06-07 09:52:14 -07:00 -
2c3fac891d
Fix incorrect comment in lgc.h
Arseny Kapoulkine
2024-06-07 09:36:29 -07:00 -
43bf7c4e05
Jack
2024-06-05 09:52:30 -05:00 -
9ccf805aad
Alexander McCord
2024-06-04 14:32:27 -07:00 -
15d7810dee
add test for mixed intersection and union
jackdotink
2024-06-04 16:28:47 -05:00 -
0f65b41459
add fflag
jackdotink
2024-06-04 16:27:49 -05:00 -
041b8ee4e7
JohnnyMorganz
2024-06-04 22:53:01 +02:00 -
9231c01f6d
fix recursionCounter not being reset
jackdotink
2024-06-04 15:46:48 -05:00 -
4f05a860cb
implement leading bar and ampersand in types
jackdotink
2024-06-04 15:15:24 -05:00 -
d866a0d683
Let's align the buffer to the nearest alignment point, same as Luau::Variant.
Alexander McCord
2024-06-03 20:51:02 -07:00 -
7bab184b10
Clip comments from Language. It was here for me to prototype it.
Alexander McCord
2024-06-03 20:50:12 -07:00 -
a48adacea7
I don't need a linker language anymore. CMake can infer it.
Alexander McCord
2024-06-03 20:49:41 -07:00 -
7e3dc79d88
Undo this hack.
Alexander McCord
2024-06-03 20:37:12 -07:00 -
55a547fbbb
Clip comment.
Alexander McCord
2024-06-03 18:38:34 -07:00 -
984fab25b4
End namespace comment.
Alexander McCord
2024-06-03 18:38:18 -07:00 -
1dc4fb389e
constify operands stuff correctly.
Alexander McCord
2024-06-02 19:43:56 -07:00 -
b25df642da
Move the macros to be at the top.
Alexander McCord
2024-06-02 19:41:34 -07:00 -
56d4f52434
Fields shouldn't even be constructible.
Alexander McCord
2024-06-02 19:40:53 -07:00 -
ba53dd03dc
Add
LanguageHash<std::vector<T>>
.Alexander McCord
2024-06-02 19:34:09 -07:00 -
fd810237c3
Make operands be usable in const context.
Alexander McCord
2024-06-02 18:35:38 -07:00 -
7ba2821982
Change propositional language to make use of NODE_ARRAY.
Alexander McCord
2024-06-02 17:37:16 -07:00 -
bf62839634
Rework the API entirely.
Alexander McCord
2024-06-02 17:30:15 -07:00 -
ee62df2ffb
Make a note here.
Alexander McCord
2024-06-02 09:27:24 -07:00 -
c7adc18911
join
should be const.Alexander McCord
2024-06-01 20:37:50 -07:00 -
2ef0ccd5e8
Enforce exhaustiveness of
make
.Alexander McCord
2024-06-01 18:03:14 -07:00 -
26f1d18c81
Implement rebuild and show it works.
Alexander McCord
2024-06-01 16:33:51 -07:00 -
4183c31d23
Implement egraph merging of two ids.
Alexander McCord
2024-06-01 15:24:35 -07:00 -
15167ad497
Make Language noexcept and final.
Alexander McCord
2024-06-01 13:10:37 -07:00 -
ab81f39b83
Fix test suite name.
Alexander McCord
2024-06-01 13:09:38 -07:00 -
da7557c453
Add FFlag
JohnnyMorganz
2024-06-01 13:36:21 +02:00 -
daf79328fc
Alexander McCord
2024-05-31 12:18:18 -07:00 -
93a89dcfa1
Merge branch 'heads/upstream' into merge
Alexander McCord
2024-05-31 10:47:04 -07:00 -
09e46d1980
Merge branch 'master' into merge
Alexander McCord
2024-05-31 10:46:57 -07:00 -
fede4d6393
Sync to upstream/release/628
Alexander McCord
2024-05-31 10:46:33 -07:00 -
cdddf363df
Add cli tools
Maxwell Geng
2024-05-29 13:55:38 +08:00 -
f8d32f6219
xmake build support
Maxwell Geng
2024-05-29 13:50:14 +08:00 -
4122f3fbcb
Implement a basic version of Analysis. Will expand it later.
Alexander McCord
2024-05-28 08:31:25 -07:00 -
cd735ebad3
Slice is final.
Alexander McCord
2024-05-27 22:22:18 -07:00 -
6e996d1899
Start to implement some stuff according to pg 9.
Alexander McCord
2024-05-27 22:21:04 -07:00 -
bf51d9e613
This really should be an universal reference.
Alexander McCord
2024-05-27 21:11:48 -07:00 -
994efce30a
Let's just call it
add
.Alexander McCord
2024-05-27 20:52:19 -07:00 -
c8a1651c89
Implement Language::operands() which means EGraph is able to canonicalize.
Alexander McCord
2024-05-27 17:05:02 -07:00 -
d9835952b7
Improve Language::Hash too.
Alexander McCord
2024-05-26 22:31:59 -07:00 -
68efd51b56
It's not always Id.
Alexander McCord
2024-05-26 22:28:55 -07:00 -
f82e6d79a4
Probably should document this magic number.
Alexander McCord
2024-05-26 22:24:03 -07:00 -
f808ed2438
Inline DERIVE_EQ and DERIVE_HASH.
Alexander McCord
2024-05-26 22:18:25 -07:00 -
2fdc5c8f98
Add ADL-based hash resolution.
Alexander McCord
2024-05-26 22:17:28 -07:00 -
c189ed6d18
Rename a couple of type parameters to
Phantom
to make them clear.Alexander McCord
2024-05-26 19:57:00 -07:00 -
ffb353aee9
Redundant static_assert. Rework it a smidge.
Alexander McCord
2024-05-26 19:51:39 -07:00 -
2a2de1cea2
Add nodes that can point to child enodes.
Alexander McCord
2024-05-26 19:47:27 -07:00 -
0d882367f7
Clip this comment.
Alexander McCord
2024-05-26 16:14:58 -07:00 -
1f05cf27c3
One more private label to section this off from the data part.
Alexander McCord
2024-05-26 15:47:56 -07:00 -
b574667c80
Language is also Hash.
Alexander McCord
2024-05-26 15:46:39 -07:00 -
38ccd662f2
Expand Language with variant stuff.
Alexander McCord
2024-05-26 15:21:08 -07:00 -
d6f553a794
Sketch out Language a little bit. Still WIP.
Alexander McCord
2024-05-26 13:11:38 -07:00 -
18726c1ed5
This violates ODR. Move implementation to header.
Alexander McCord
2024-05-26 12:06:24 -07:00 -
11f72000a9
Move std::hash specialization to header.
Alexander McCord
2024-05-26 12:04:58 -07:00 -
c8fe77c268
aaron
2024-05-26 13:09:09 -04:00 -
241fcf8eba
Merge branch 'upstream' into merge
Aaron Weiss
2024-05-26 08:34:47 -07:00 -
26fb155507
Merge branch 'master' into merge
Aaron Weiss
2024-05-26 08:34:43 -07:00 -
bad9e1476e
627
Aaron Weiss
2024-05-26 08:33:40 -07:00 -
d13a86be41
Formatting.
Alexander McCord
2024-05-24 13:27:03 -07:00 -
603da12809
Just realized DenseHashMap doesn't make sense for Id and L.
Alexander McCord
2024-05-24 13:26:30 -07:00 -
00a15a9e8c
Add part of definition 2.2.
Alexander McCord
2024-05-24 13:24:48 -07:00 -
dd65db40ee
Make sure some things aren't inherited.
Alexander McCord
2024-05-24 10:49:05 -07:00 -
cf712b316a
Rename 3 fields.
Alexander McCord
2024-05-24 10:48:08 -07:00 -
b44c525f10
Got the type of hashcons wrong. Fixed.
Alexander McCord
2024-05-24 10:47:35 -07:00 -
0dbe1a5022
birds3345
2024-05-22 16:07:15 -04:00 -
c73ecd8e08
birds3345
2024-05-21 16:58:33 -04:00 -
640ead1b9e
Not sure why Language was templated. Absent-minded me.
Alexander McCord
2024-05-19 11:38:11 -07:00 -
b235faf489
Implement UnionFind, just without ranks.
Alexander McCord
2024-05-18 15:49:06 -07:00 -
2338185296
Definition 2.1.1.
Alexander McCord
2024-05-18 15:26:57 -07:00 -
ab0d7c0387
Add Luau.EqSat project with some barebones.
Alexander McCord
2024-05-18 01:07:45 -07:00 -
aea86e5542
Ignoring my .clangd changes.
Alexander McCord
2024-05-18 01:04:04 -07:00 -
8dd9d42acb
Add .cache for clangd.
Alexander McCord
2024-05-17 20:30:49 -07:00 -
fe0a819472
vegorov-rbx
2024-05-16 16:02:03 -07:00 -
0f61e4e7a4
Merge fix
Vyacheslav Egorov
2024-05-16 15:25:15 -07:00 -
ca46dd6fe8
Merge branch 'upstream' into merge
Vyacheslav Egorov
2024-05-16 15:22:49 -07:00 -
e5de2ed3cc
Merge branch 'master' into merge
Vyacheslav Egorov
2024-05-16 15:22:42 -07:00 -
0386eec734
Sync to upstream/release/626
Vyacheslav Egorov
2024-05-16 15:22:22 -07:00 -
bbf1a90154
birds3345
2024-05-12 20:10:39 -04:00