Alexander McCord
|
c8a1651c89
|
Implement Language::operands() which means EGraph is able to canonicalize.
|
2024-05-27 17:05:02 -07:00 |
|
Alexander McCord
|
18726c1ed5
|
This violates ODR. Move implementation to header.
|
2024-05-26 12:06:24 -07:00 |
|
Alexander McCord
|
11f72000a9
|
Move std::hash specialization to header.
|
2024-05-26 12:04:58 -07:00 |
|
Alexander McCord
|
d13a86be41
|
Formatting.
|
2024-05-24 13:27:03 -07:00 |
|
Alexander McCord
|
00a15a9e8c
|
Add part of definition 2.2.
|
2024-05-24 13:26:25 -07:00 |
|
Alexander McCord
|
b235faf489
|
Implement UnionFind, just without ranks.
|
2024-05-18 15:49:06 -07:00 |
|
Alexander McCord
|
2338185296
|
Definition 2.1.1.
|
2024-05-18 15:26:57 -07:00 |
|
Alexander McCord
|
ab0d7c0387
|
Add Luau.EqSat project with some barebones.
I have to comment out the `add_subdirectory(fuzz)` in order to allow cmake to finish the configuring step on Windows.
|
2024-05-18 01:07:45 -07:00 |
|