Commit graph

  • 02f5e21331 WIP ajeffrey@roblox.com 2022-02-24 11:31:34 -0600
  • 7433e6e5f7 WIP ajeffrey@roblox.com 2022-02-24 11:30:23 -0600
  • 112cebb8b7 WIP ajeffrey@roblox.com 2022-02-24 11:26:30 -0600
  • 9c7311c19d WIP ajeffrey@roblox.com 2022-02-24 11:08:12 -0600
  • ae0745e800 WIP ajeffrey@roblox.com 2022-02-24 10:46:27 -0600
  • c6c0097729 WIP ajeffrey@roblox.com 2022-02-24 10:43:04 -0600
  • 2b52a6eb68 Merge remote-tracking branch 'upstream/master' into prototyping-strict-mode ajeffrey@roblox.com 2022-02-23 18:30:19 -0600
  • 79da27f9dd strings Lily Brown 2022-02-23 15:44:31 -0800
  • 1f9881902a Much more prose. Andy Friesen 2022-02-23 15:35:05 -0800
  • b474c622fd remove test case Lily Brown 2022-02-23 15:27:31 -0800
  • 018fd3c945 remove and/or Lily Brown 2022-02-23 14:07:12 -0800
  • 0bc7c51afc
    Lua API: add return types to table getters (#389) Petri Häkkinen 2022-02-23 20:03:58 +0200
  • e633c53dc6 Add tests for table getters. Petri Häkkinen 2022-02-23 16:57:45 +0200
  • 74e7e504b5 Lua API: Add return types to table getters. Petri Häkkinen 2022-02-23 16:54:51 +0200
  • 0121bb8142 and/or operators Lily Brown 2022-02-22 17:18:37 -0800
  • 2f7a31abc7 WIP lower-bounds calculation RFC. Andy Friesen 2022-02-22 16:45:54 -0800
  • e330b0642e test cases Lily Brown 2022-02-22 14:50:14 -0800
  • f87ac88867 add bools and relational operators Lily Brown 2022-02-22 14:37:18 -0800
  • cd18adc20e
    Prototyping: binary operations (#377) Lily Brown 2022-02-22 15:52:56 -0800
  • ef92fd8586 Finished strict mode subjsect reduction ajeffrey@roblox.com 2022-02-22 17:50:33 -0600
  • 80b1fc5a71 WIP ajeffrey@roblox.com 2022-02-22 15:14:42 -0600
  • 1334db600f
    Update grammar.md (#379) James Napora 2022-02-22 20:24:15 +0100
  • afe72cfd86 WIP ajeffrey@roblox.com 2022-02-22 12:04:27 -0600
  • 0cf9acc799 WIP ajeffrey@roblox.com 2022-02-22 11:00:47 -0600
  • 2e7df8cfa8
    Update grammar.md James Napora 2022-02-19 16:54:21 -0800
  • 3c42b3a013
    Revert "Mark singleton types RFC as implemented (#370)" (#378) Arseny Kapoulkine 2022-02-19 10:57:29 -0800
  • 467bfc4c90 Revert "Mark singleton types RFC as implemented (#370)" Arseny Kapoulkine 2022-02-19 10:54:39 -0800
  • 186424b8a8 remove % and ^ Lily Brown 2022-02-18 16:04:22 -0800
  • 64ce6c2367 parsing works Lily Brown 2022-02-18 16:02:26 -0800
  • fcccd9443a WIP ajeffrey@roblox.com 2022-02-18 17:57:27 -0600
  • 9d583be8ae they work Lily Brown 2022-02-18 15:44:40 -0800
  • 92539bc3d0 Merge remote-tracking branch 'upstream/master' into prototyping-binary-operations Lily Brown 2022-02-18 14:49:18 -0800
  • 0052581851 checkpoint Lily Brown 2022-02-18 14:47:39 -0800
  • fc33b0c702
    Fix evaluation rule for function application (#375) Alan Jeffrey 2022-02-18 16:47:23 -0600
  • 0b783d8932
    Add Properties.Equality to prototyping (#376) Alan Jeffrey 2022-02-18 16:47:04 -0600
  • 25a3b8d220 Merge remote-tracking branch 'asajeffrey/prototyping-properties-equality' into prototyping-binary-operations Lily Brown 2022-02-18 14:41:47 -0800
  • b1b1d408c9 checkpoint Lily Brown 2022-02-18 14:41:13 -0800
  • b19f8f049e Add Properties.Equality to prototyping ajeffrey@roblox.com 2022-02-18 16:35:26 -0600
  • 725b669f76 Fix evaluation rule for function application ajeffrey@roblox.com 2022-02-18 15:54:05 -0600
  • cd9182ca5f WIP ajeffrey@roblox.com 2022-02-18 14:43:31 -0600
  • 7f867ac166
    Prototyping: numbers (#368) Lily Brown 2022-02-18 11:09:00 -0800
  • 8f1a25d9a4 fix test case Lily Brown 2022-02-18 11:06:44 -0800
  • f33d0c1313 Merge branch 'main' into prototyping-numbers Lily Brown 2022-02-18 11:03:37 -0800
  • c7e96d7582 WIP ajeffrey@roblox.com 2022-02-18 12:47:35 -0600
  • a9bdce6cc0
    Rename tests to tests.py (#374) Arseny Kapoulkine 2022-02-18 10:04:38 -0800
  • f1ea63a6de
    Update prototyping.yml Arseny Kapoulkine 2022-02-18 09:49:42 -0800
  • 2a2463f6e2
    Rename tests to tests.py Arseny Kapoulkine 2022-02-18 09:49:00 -0800
  • 5b78465059
    Sync to upstream/release/514 (#372) 0.515 Arseny Kapoulkine 2022-02-17 17:18:01 -0800
  • 1ac64af484
    Prototyping: Revise CI (#371) Lily Brown 2022-02-17 17:15:33 -0800
  • 03e9b237a5 update readme with testing information Lily Brown 2022-02-17 17:06:18 -0800
  • 58887629da fix test case now that it works Lily Brown 2022-02-17 17:00:46 -0800
  • 6aaaafcc8d
    Add documentation for upcoming CommentDirective lint (#361) Arseny Kapoulkine 2022-02-17 16:58:43 -0800
  • f01897766f test what happens when a test fails Lily Brown 2022-02-17 16:48:37 -0800
  • 380a144614 Well typed programs don't go wrong ajeffrey@roblox.com 2022-02-17 18:48:04 -0600
  • 364d0c76c3 really skip cmake stuff if cache hit Lily Brown 2022-02-17 16:46:35 -0800
  • 40659fcb6e skip cmake configure if cache is hit Lily Brown 2022-02-17 16:43:27 -0800
  • 1f679b08b8 Merge branch 'upstream' into merge Arseny Kapoulkine 2022-02-17 16:42:11 -0800
  • eea0374fad Merge branch 'master' into merge Arseny Kapoulkine 2022-02-17 16:42:08 -0800
  • 4930409516 Sync to upstream/release/515 Arseny Kapoulkine 2022-02-17 16:41:20 -0800
  • cc9f51cdb9 fix cmake build Lily Brown 2022-02-17 16:39:56 -0800
  • 3969ab5194 maybe this works? Lily Brown 2022-02-17 16:36:11 -0800
  • b6b7597658 more workflow tweaking Lily Brown 2022-02-17 16:32:36 -0800
  • 0d85a7eccb single quotes apparently Lily Brown 2022-02-17 16:29:19 -0800
  • 716c7a60bb cache cmake build Lily Brown 2022-02-17 16:28:15 -0800
  • 90229615b5 WIP ajeffrey@roblox.com 2022-02-17 18:24:36 -0600
  • 41f84eb3a0 test cases Lily Brown 2022-02-17 16:18:02 -0800
  • 731e197757
    Mark singleton types RFC as implemented (#370) Alexander McCord 2022-02-17 16:16:31 -0800
  • 1a07467594
    Merge branch 'master' into alexmccord-patch-1 Alexander McCord 2022-02-17 16:15:55 -0800
  • e49a0fd4cd
    Mark default type parameters RFC as implemented (#369) Arseny Kapoulkine 2022-02-17 16:14:35 -0800
  • 2737f61189
    Update rfcs/syntax-singleton-types.md Alexander McCord 2022-02-17 16:14:33 -0800
  • 586b4c4d40
    Update syntax-default-type-alias-type-parameters.md Arseny Kapoulkine 2022-02-17 16:14:08 -0800
  • c4f99aa95c
    Update syntax-singleton-types.md Alexander McCord 2022-02-17 14:55:41 -0800
  • ba8ed2642e
    Update STATUS.md Alexander McCord 2022-02-17 14:54:39 -0800
  • 0b4eef095b ignore Interpreter and Properties Lily Brown 2022-02-17 13:41:42 -0800
  • ed96444c5d revise w/ pr feedback Lily Brown 2022-02-17 13:40:48 -0800
  • 5c95f69ba2
    Update STATUS.md Arseny Kapoulkine 2022-02-17 11:20:57 -0800
  • e53c98edca
    Update syntax-default-type-alias-type-parameters.md Arseny Kapoulkine 2022-02-17 11:20:29 -0800
  • 8e52542526 WIP ajeffrey@roblox.com 2022-02-16 23:03:40 -0600
  • 3aa8fa2419 fix smoke test Lily Brown 2022-02-16 11:52:44 -0800
  • f765d144ca numbers work Lily Brown 2022-02-16 11:47:51 -0800
  • 1f4d77bac9 WIP ajeffrey@roblox.com 2022-02-15 22:47:59 -0600
  • e541e19f44
    Create RFC status tracking document (#363) Arseny Kapoulkine 2022-02-15 18:37:02 -0800
  • e76783d0bf syntax understands numbers Lily Brown 2022-02-15 15:05:39 -0800
  • c8d6dc2758
    Revise GHA workflows for prototyping (#367) Lily Brown 2022-02-15 14:24:51 -0800
  • f0c9d84461
    Prototyping: Parse type annotations (#366) Lily Brown 2022-02-15 14:10:43 -0800
  • 389515cfd0 revise GHA workflows Lily Brown 2022-02-15 13:53:51 -0800
  • f513385ef3 hopefully fix smoke test Lily Brown 2022-02-15 13:50:47 -0800
  • 4714dedb98 parse type annotations Lily Brown 2022-02-15 13:44:24 -0800
  • 24e9b78c51
    Update function-table-clone.md Arseny Kapoulkine 2022-02-15 08:06:12 -0800
  • 3f2ca3d4ad Working on strict mode ajeffrey@roblox.com 2022-02-14 18:43:46 -0600
  • 4b7e06e14f
    Emit more information for AstLocals in JSON encoder (#364) Lily Brown 2022-02-14 14:14:11 -0800
  • 50f97b0046 First shot at strict mode warnings ajeffrey@roblox.com 2022-02-14 15:30:31 -0600
  • b1453ef194 wire up agda properly Lily Brown 2022-02-14 11:49:24 -0800
  • b8f0ff836a fix unit test for json encoder Lily Brown 2022-02-14 11:18:57 -0800
  • 7ac848b23b emit more information for AstLocals Lily Brown 2022-02-14 11:10:37 -0800
  • 111045833d
    Update STATUS.md Arseny Kapoulkine 2022-02-14 10:53:08 -0800
  • 1e2d4ea17c
    Update STATUS.md Arseny Kapoulkine 2022-02-14 10:51:45 -0800
  • efff0125d6
    Update STATUS.md Arseny Kapoulkine 2022-02-14 10:50:41 -0800
  • 16ef4cb786
    Create STATUS.md Arseny Kapoulkine 2022-02-14 10:50:06 -0800
  • c03c31cd6f
    Update function-table-clone.md Arseny Kapoulkine 2022-02-14 10:39:52 -0800