Commit graph

  • 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
    Sync to upstream/release/630 (#1295) 0.630 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
    Sync to upstream/release/629 (#1290) 0.629 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
    tests: Adjust conformance tests to account for array invariant (#1289) Arseny Kapoulkine 2024-06-07 12:05:50 -05:00
  • 23b8726203
    Fix incorrect comment in lgc.h (#1288) 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
    implement leading bar and ampersand in types (#1286) Jack 2024-06-05 09:52:30 -05:00
  • 9ccf805aad
    Update tests/Parser.test.cpp 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
    Fix edge case in 'findBindingAtPosition' when looking up global binding at start of file (#1254) 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
    Sync to upstream/release/628 (#1278) 0.628 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
    Sync to upstream/release/627 (#1266) 0.627 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
    add cmake folder to .gitignore (#1246) birds3345 2024-05-22 16:07:15 -04:00
  • c73ecd8e08
    Fix typo in a comment (#1255) 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
    Sync to upstream/release/626 (#1258) 0.626 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
    fix comment birds3345 2024-05-12 20:10:39 -04:00