7 commits

Author	SHA1	Message	Date
Alexander McCord	26f1d18c81	Implement rebuild and show it works.	2024-06-01 16:33:51 -07:00
Alexander McCord	4183c31d23	Implement egraph merging of two ids.	2024-06-01 15:24:35 -07:00
Alexander McCord	4122f3fbcb	Implement a basic version of Analysis. Will expand it later.	2024-05-28 08:31:25 -07:00
Alexander McCord	6e996d1899	Start to implement some stuff according to pg 9.	2024-05-27 22:21:04 -07:00
Alexander McCord	994efce30a	Let's just call it add.	2024-05-27 20:52:19 -07:00
Alexander McCord	c8a1651c89	Implement Language::operands() which means EGraph is able to canonicalize.	2024-05-27 17:05:02 -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