Commit Graph

  • c7adc18911 join should be const. Alexander McCord 2024-06-01 20:37:50 -0700
  • 2ef0ccd5e8 Enforce exhaustiveness of make. Alexander McCord 2024-06-01 18:03:14 -0700
  • 26f1d18c81 Implement rebuild and show it works. Alexander McCord 2024-06-01 16:33:51 -0700
  • 4183c31d23 Implement egraph merging of two ids. Alexander McCord 2024-06-01 15:24:35 -0700
  • 15167ad497 Make Language noexcept and final. Alexander McCord 2024-06-01 13:10:37 -0700
  • ab81f39b83 Fix test suite name. Alexander McCord 2024-06-01 13:09:38 -0700
  • da7557c453 Add FFlag #1254 JohnnyMorganz 2024-06-01 13:36:21 +0200
  • daf79328fc
    Sync to upstream/release/628 (#1278) 0.628 Alexander McCord 2024-05-31 12:18:18 -0700
  • 93a89dcfa1 Merge branch 'heads/upstream' into merge #1278 Alexander McCord 2024-05-31 10:47:04 -0700
  • 09e46d1980 Merge branch 'master' into merge Alexander McCord 2024-05-31 10:46:57 -0700
  • fede4d6393 Sync to upstream/release/628 Alexander McCord 2024-05-31 10:46:33 -0700
  • cdddf363df Add cli tools #1275 Maxwell Geng 2024-05-29 13:55:38 +0800
  • f8d32f6219 xmake build support Maxwell Geng 2024-05-29 13:50:14 +0800
  • 4122f3fbcb Implement a basic version of Analysis. Will expand it later. Alexander McCord 2024-05-28 08:31:25 -0700
  • cd735ebad3 Slice is final. Alexander McCord 2024-05-27 22:22:18 -0700
  • 6e996d1899 Start to implement some stuff according to pg 9. Alexander McCord 2024-05-27 22:21:04 -0700
  • bf51d9e613 This really should be an universal reference. Alexander McCord 2024-05-27 21:11:48 -0700
  • 994efce30a Let's just call it add. Alexander McCord 2024-05-27 20:52:19 -0700
  • c8a1651c89 Implement Language::operands() which means EGraph is able to canonicalize. Alexander McCord 2024-05-27 17:05:02 -0700
  • d9835952b7 Improve Language::Hash too. Alexander McCord 2024-05-26 22:31:59 -0700
  • 68efd51b56 It's not always Id. Alexander McCord 2024-05-26 22:28:55 -0700
  • f82e6d79a4 Probably should document this magic number. Alexander McCord 2024-05-26 22:24:03 -0700
  • f808ed2438 Inline DERIVE_EQ and DERIVE_HASH. Alexander McCord 2024-05-26 22:18:25 -0700
  • 2fdc5c8f98 Add ADL-based hash resolution. Alexander McCord 2024-05-26 22:17:28 -0700
  • c189ed6d18 Rename a couple of type parameters to Phantom to make them clear. Alexander McCord 2024-05-26 19:57:00 -0700
  • ffb353aee9 Redundant static_assert. Rework it a smidge. Alexander McCord 2024-05-26 19:51:39 -0700
  • 2a2de1cea2 Add nodes that can point to child enodes. Alexander McCord 2024-05-26 19:47:27 -0700
  • 0d882367f7 Clip this comment. Alexander McCord 2024-05-26 16:14:58 -0700
  • 1f05cf27c3 One more private label to section this off from the data part. Alexander McCord 2024-05-26 15:47:56 -0700
  • b574667c80 Language is also Hash. Alexander McCord 2024-05-26 15:46:39 -0700
  • 38ccd662f2 Expand Language with variant stuff. Alexander McCord 2024-05-26 15:21:08 -0700
  • d6f553a794 Sketch out Language a little bit. Still WIP. Alexander McCord 2024-05-26 13:11:38 -0700
  • 18726c1ed5 This violates ODR. Move implementation to header. Alexander McCord 2024-05-26 12:06:24 -0700
  • 11f72000a9 Move std::hash specialization to header. Alexander McCord 2024-05-26 12:04:58 -0700
  • c8fe77c268
    Sync to upstream/release/627 (#1266) 0.627 aaron 2024-05-26 13:09:09 -0400
  • 241fcf8eba Merge branch 'upstream' into merge #1266 Aaron Weiss 2024-05-26 08:34:47 -0700
  • 26fb155507 Merge branch 'master' into merge Aaron Weiss 2024-05-26 08:34:43 -0700
  • bad9e1476e 627 Aaron Weiss 2024-05-26 08:33:40 -0700
  • d13a86be41 Formatting. Alexander McCord 2024-05-24 13:27:03 -0700
  • 603da12809 Just realized DenseHashMap doesn't make sense for Id and L. Alexander McCord 2024-05-24 13:26:30 -0700
  • 00a15a9e8c Add part of definition 2.2. Alexander McCord 2024-05-24 13:24:48 -0700
  • dd65db40ee Make sure some things aren't inherited. Alexander McCord 2024-05-24 10:49:05 -0700
  • cf712b316a Rename 3 fields. Alexander McCord 2024-05-24 10:48:08 -0700
  • b44c525f10 Got the type of hashcons wrong. Fixed. Alexander McCord 2024-05-24 10:47:35 -0700
  • 0dbe1a5022
    add cmake folder to .gitignore (#1246) birds3345 2024-05-22 16:07:15 -0400
  • c73ecd8e08
    Fix typo in a comment (#1255) birds3345 2024-05-21 16:58:33 -0400
  • 640ead1b9e Not sure why Language was templated. Absent-minded me. Alexander McCord 2024-05-19 11:38:11 -0700
  • b235faf489 Implement UnionFind, just without ranks. Alexander McCord 2024-05-18 15:49:06 -0700
  • 2338185296 Definition 2.1.1. Alexander McCord 2024-05-18 15:26:57 -0700
  • ab0d7c0387 Add Luau.EqSat project with some barebones. Alexander McCord 2024-05-18 01:07:45 -0700
  • aea86e5542 Ignoring my .clangd changes. Alexander McCord 2024-05-18 01:04:04 -0700
  • 8dd9d42acb Add .cache for clangd. Alexander McCord 2024-05-17 20:30:49 -0700
  • fe0a819472
    Sync to upstream/release/626 (#1258) 0.626 vegorov-rbx 2024-05-16 16:02:03 -0700
  • 0f61e4e7a4 Merge fix #1258 Vyacheslav Egorov 2024-05-16 15:25:15 -0700
  • ca46dd6fe8 Merge branch 'upstream' into merge Vyacheslav Egorov 2024-05-16 15:22:49 -0700
  • e5de2ed3cc Merge branch 'master' into merge Vyacheslav Egorov 2024-05-16 15:22:42 -0700
  • 0386eec734 Sync to upstream/release/626 Vyacheslav Egorov 2024-05-16 15:22:22 -0700
  • bbf1a90154
    fix comment #1255 birds3345 2024-05-12 20:10:39 -0400
  • 7c5dffd424 Check if binding is at global position JohnnyMorganz 2024-05-12 13:40:10 +0200
  • bd19a9779e Add test case JohnnyMorganz 2024-05-12 13:33:19 +0200
  • 2a80f5e1d1
    Sync to upstream/release/625 (#1252) 0.625 Vighnesh-V 2024-05-10 11:21:45 -0700
  • f172471b87 Merge branch 'upstream' into merge #1252 Vighnesh 2024-05-10 09:21:07 -0700
  • f76a99b800 Merge branch 'master' into merge Vighnesh 2024-05-10 09:18:10 -0700
  • 9bce20cb5c Sync to upstream/release/625 Vighnesh 2024-05-10 09:17:09 -0700
  • a775bbc6fc
    Fix confusing warning when CMake version is too low (#1251) Bjorn 2024-05-10 03:36:37 -0700
  • 17a1dc320e Fix confusing warning when CMake version is too low; #1251 bjorn 2024-05-10 00:08:52 -0700
  • 905a37b928
    Update native code generation note in the security guarantees (#1250) vegorov-rbx 2024-05-08 13:35:12 -0700
  • 56db6b0b2a
    Update native code generation note in the security guarantees #1250 vegorov-rbx 2024-05-08 13:32:36 -0700
  • 39ab275f5f
    Check bytecode version before writing type information #1249 GRH 2024-05-08 22:43:41 +0300
  • 912877e26f add cmake folder to .gitignore #1246 birds3345 2024-05-04 01:15:24 -0400
  • 8a64cb8b73
    Sync to upstream/release/624 (#1245) 0.624 Andy Friesen 2024-05-03 13:17:51 -0700
  • 1ad7b9cc56 Merge branch 'upstream' into merge #1245 Andy Friesen 2024-05-03 09:49:16 -0700
  • f4ecf437ba Merge branch 'master' into merge Andy Friesen 2024-05-03 09:47:22 -0700
  • 93468ca88d Sync to upstream/release/624 Andy Friesen 2024-05-03 09:38:34 -0700
  • 7edd58afed
    Add benchmarks for native compilation with type info enabled (#1244) vegorov-rbx 2024-05-02 08:33:47 -0700
  • cdd0d053bb
    Add benchmarks for native compilation with type info enabled #1244 vegorov-rbx 2024-05-02 08:17:51 -0700
  • f5303b3dd7
    Make table.concat faster (#1243) Arseny Kapoulkine 2024-04-29 05:19:01 -0700
  • dda57dad6c
    Explicit numerical comparison #1243 vegorov-rbx 2024-04-29 05:02:16 -0700
  • 2bb42da32f tests: Add more tests for better coverage Arseny Kapoulkine 2024-04-27 18:34:20 -0700
  • dfdc124e27 tests: Add more coverage for table.concat corner cases Arseny Kapoulkine 2024-04-27 18:26:14 -0700
  • 7ec3117177 Make table.concat faster Arseny Kapoulkine 2024-04-27 18:14:53 -0700
  • af15c3cf17
    CodeGen: Fix a typo in X64 (dis)assembler (#1238) Arseny Kapoulkine 2024-04-26 11:14:13 -0700
  • be1415a363 CodeGen: Fix a typo in X64 (dis)assembler #1238 Arseny Kapoulkine 2024-04-26 10:47:22 -0700
  • 259e509038
    Sync to upstream/release/623 (#1236) 0.623 Alexander McCord 2024-04-25 15:26:09 -0700
  • 88dd289100 Fix missing include. #1236 Alexander McCord 2024-04-25 14:03:47 -0700
  • 76ed1a5370 Merge branch 'heads/upstream' into merge Alexander McCord 2024-04-25 13:57:53 -0700
  • 8d0a650a25 Merge branch 'master' into merge Alexander McCord 2024-04-25 13:57:44 -0700
  • 50a2f8daa8 Sync to upstream/release/623 Alexander McCord 2024-04-25 13:57:23 -0700
  • 68bd1b2349
    Sync to upstream/release/622 (#1232) 0.622 aaron 2024-04-19 14:48:02 -0700
  • 641e9f6eb5 Merge branch 'upstream' into merge #1232 Aaron Weiss 2024-04-19 14:05:22 -0700
  • 5cf508a73b Merge branch 'master' into merge Aaron Weiss 2024-04-19 14:05:01 -0700
  • 67b9145268 Sync to upstream/release/622 Aaron Weiss 2024-04-19 14:04:30 -0700
  • 9c2146288d
    Sync to upstream/release/621 (#1229) 0.621 vegorov-rbx 2024-04-12 10:18:49 -0700
  • 858b93a5f3 Sync fixup #1229 Vyacheslav Egorov 2024-04-12 14:07:34 +0300
  • f97e96dc29 Merge branch 'upstream' into merge Vyacheslav Egorov 2024-04-12 13:46:23 +0300
  • 7c346a0a69 Merge branch 'master' into merge Vyacheslav Egorov 2024-04-12 13:45:09 +0300
  • 0f0c0e4d28 Sync to upstream/release/621 Vyacheslav Egorov 2024-04-12 13:44:40 +0300
  • 67e16cba18
    Sync to upstream/release/620 (#1223) 0.620 Vighnesh-V 2024-04-05 13:45:09 -0700
  • 5aa6d99340 transplant game engine fix for memory safety issues in normalization into OSS changes #1223 Vighnesh 2024-04-05 13:27:37 -0700
  • 0f1973954c remove trailing . Vighnesh 2024-04-05 11:30:53 -0700