luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00
Code Issues Projects Releases Packages Wiki Activity
342 commits 4 branches 167 tags 51 MiB
Commit graph

342 commits

This branch
This branch
All branches
Author SHA1 Message Date
ajeffrey@roblox.com
178211a21d Responding to review comments 2022-02-08 14:30:43 -06:00
ajeffrey@roblox.com
fdb9c90ccd Another shot at caching 2022-02-08 13:57:32 -06:00
ajeffrey@roblox.com
521c44e065 Added badge to README 2022-02-08 13:53:29 -06:00
ajeffrey@roblox.com
de2230fb2a Added more files to .gitignor 2022-02-08 13:53:02 -06:00
ajeffrey@roblox.com
cad7b5e67d Another shot at caching 2022-02-08 13:32:37 -06:00
ajeffrey@roblox.com
abab255fdf Another shot at caching 2022-02-08 13:22:43 -06:00
ajeffrey@roblox.com
2d1ffd19db Another shot at caching 2022-02-08 13:16:22 -06:00
ajeffrey@roblox.com
df9c98fb95 Another shot at caching 2022-02-08 13:07:57 -06:00
ajeffrey@roblox.com
7badb4a074 Another shot at caching 2022-02-08 12:57:29 -06:00
ajeffrey@roblox.com
cf7a40c0d9 Another shot at caching 2022-02-08 12:56:57 -06:00
ajeffrey@roblox.com
e8fb809058 Another shot at caching 2022-02-08 12:45:39 -06:00
ajeffrey@roblox.com
4d4013a7c8 Another shot at caching 2022-02-08 11:49:32 -06:00
ajeffrey@roblox.com
48f3304c69 Another shot at caching 2022-02-08 11:35:04 -06:00
ajeffrey@roblox.com
180e739581 Try to get caching to work 2022-02-08 11:18:23 -06:00
ajeffrey@roblox.com
0bb7cd9632 Get examples to typecheck again 2022-02-08 11:17:42 -06:00
ajeffrey@roblox.com
ffd7b55fef Another shot at getting the smoketest to run 2022-02-08 10:41:52 -06:00
ajeffrey@roblox.com
dbf35b4176 Get smoketest to run 2022-02-08 10:30:53 -06:00
ajeffrey@roblox.com
1aae874c38 Try package-env not package-db 2022-02-08 10:07:56 -06:00
ajeffrey@roblox.com
ae1f2e2e86 Try using an explcit package.db 2022-02-08 09:55:24 -06:00
ajeffrey@roblox.com
48831529d8 Try to get cabal weirdness not to be weird 2022-02-07 22:03:58 -06:00
ajeffrey@roblox.com
90e356c77c Try to get cabal weirdness not to be weird 2022-02-07 21:40:13 -06:00
ajeffrey@roblox.com
7dae33b7ae Try to get cabal weirdness not to be weird 2022-02-07 21:14:16 -06:00
ajeffrey@roblox.com
8c390ffee2 Try to get cabal weirdness not to be weird 2022-02-07 20:10:15 -06:00
ajeffrey@roblox.com
2d04049077 Run prototypinmg action when workflows dir changes 2022-02-07 19:35:01 -06:00
ajeffrey@roblox.com
d0a4510d2d Install agda from cabal 2022-02-07 19:00:47 -06:00
ajeffrey@roblox.com
33ba6b0e3f Trying to get it to compile with Agda 2.6.0 2022-02-07 18:10:13 -06:00
ajeffrey@roblox.com
e86b9772c8 Renaming Main to PrettyPrinter 2022-02-07 17:20:56 -06:00
ajeffrey@roblox.com
ce9b7e4c70 Add cabal update to workflow 2022-02-07 17:10:58 -06:00
ajeffrey@roblox.com
50a9ea1b63 Updated README 2022-02-07 17:09:58 -06:00
ajeffrey@roblox.com
a1325c106d First cut github actions 2022-02-07 17:04:34 -06:00
ajeffrey@roblox.com
121bc52cc3 Exit code 1 on errors 2022-02-07 16:34:03 -06:00
ajeffrey@roblox.com
9ac0bec0d9 Got a smoke test to run 2022-02-07 16:17:06 -06:00
ajeffrey@roblox.com
32f36a2f36 Merge remote-tracking branch 'upstream/master' into prototyping 2022-02-07 14:58:27 -06:00
ajeffrey@roblox.com
de2eabd0f3 Completed translating lambda-calculus + nil from JSON to Agda 2022-02-07 14:50:37 -06:00
Lily Brown
7ffb5fc4fd
Add Luau.Ast.CLI target (#345) 
Adds a `luau-ast` CLI that dumps Luau source to JSON. @asajeffrey and I are planning to use this functionality to construct an Agda model of the Luau type system/operational semantics, to allow formally proving properties of Luau's type systems.
 2022-02-07 12:08:43 -08:00
ajeffrey@roblox.com
9281afe33d Added more FromJSON keys 2022-02-07 11:45:33 -06:00
ajeffrey@roblox.com
1fdc53d0ce Improved handling of Stat/Block 2022-02-04 18:53:55 -06:00
ajeffrey@roblox.com
f736da826c Added bare-bones examples 2022-02-04 16:52:39 -06:00
Arseny Kapoulkine
e51ff38d19
Sync to upstream/release/513 (#342) 2022-02-04 12:46:08 -08:00
Arseny Kapoulkine
d58e70b8c1
Sync to upstream/release/513 (#340) 2022-02-04 08:45:57 -08:00
ajeffrey@roblox.com
7112657c87 Added pretty printer 2022-02-03 17:45:22 -06:00
ajeffrey@roblox.com
dbbe6788f5 Added more bindings from Data.Aeson 2022-02-03 14:49:33 -06:00
ajeffrey@roblox.com
4fbca71dcd Added first cut syntax 2022-02-03 14:16:05 -06:00
ajeffrey@roblox.com
7ae6aca387 First cut reading JSON into Agda 2022-02-02 19:01:33 -06:00
Andy Friesen
c572f6944f
January 2022 recap (#331) 2022-02-01 14:49:55 -08:00
Arseny Kapoulkine
2f989fc049
Sync to upstream/release/512 (#330) 
- Improve refinement support for unions, in particular it's now possible to implement tagged unions as a union of tables where individual branches use a string literal type for one of the fields.
- Fix `string.split` type information
- Optimize `select(_, ...)` to run in constant time (~2.7x faster on VariadicSelect benchmark)
- Improve debug line information for multi-line assignments
- Improve compilation of table literals when table keys are constant expressions/variables
- Use forward GC barrier for `setmetatable` which slightly accelerates GC progress
 2022-01-27 15:46:05 -08:00
Vlad Marica
4b96f7efc1
luau-analyze: Add support for reading source code from stdin (#325) 
Co-authored-by: Arseny Kapoulkine <arseny.kapoulkine@gmail.com>
 2022-01-25 08:25:01 -08:00
Arseny Kapoulkine
8fe95c9963
Sync to upstream/release/511 (#324) 
- TableOperations lint now includes a warning for table.create(N, {}) (which is likely a mistake since the table is shared by all entries)
- Type checker now type checks #v when v is a union
- Parser now rejects sources that consists of a single unfinished long comment
- Work around significant MSVC 2022 performance regression, bringing it more or less in line with MSVC 2019
- Compiler now predicts array size for newly allocated tables when the table is filled in a short loop
- Small improvements in compilation throughput (~2% faster)
- Implement paged sweeper for GC which improves sweep throughput 2-3x and reduces memory consumption by 8 bytes per object (once it is stabilized we will see additional 8 bytes per object of savings)
- Improve Repl Tab completion
- Repl now supports -i (interactive mode to run code in context of a script's environment) and -On (to control optimization flags)
 2022-01-21 09:00:19 -08:00
Shiro
478a3da634
Update copyright years. (#323) 2022-01-20 09:42:49 -08:00
JohnnyMorganz
4e5ff99582
Improve Grammar documentation (#315) 2022-01-20 08:27:19 -08:00