Tooling related to JavaScript, types, and contracts.
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.