JSContract

Tooling related to JavaScript, types, and contracts.

Getting Started

To install all JavaScript dependencies for the compiler, clone this repository and run:

npm install

See ./workspaces/contract for all the code in our contract system
See ./workspaces/compiler for all the code in our compiler
See ./workspaces/disabledcontract for the disabled contract system
See ./workspaces/nocontract for the nocontract system
See ./workspaces/type-explorer for all the code in our type exploration system

See ./workspaces/type-explorer/README.md for more information about how to run the bugfinding script.

Name		Name	Last commit message	Last commit date
Latest commit History 98 Commits
workspaces		workspaces
.envrc		.envrc
.gitignore		.gitignore
Dockerfile		Dockerfile
README.md		README.md
package-lock.json		package-lock.json
package.json		package.json