/jscontract

Code related to JavaScript types, contracts, and bugfinding.

Primary LanguageJavaScript

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

Subprojects

  • 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

Type Explorer Documentation

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