michael/luau - Gitea: Git with a cup of tea

Commit Graph

Author	SHA1	Message	Date
Arseny Kapoulkine	b1cfaf5305	Sync to upstream/release/537 (#607 )	2022-07-21 14:16:54 -07: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

Author

SHA1

Message

Date

Arseny Kapoulkine

b1cfaf5305

Sync to upstream/release/537 (#607 )

2022-07-21 14:16:54 -07: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

2 Commits