Changes for version 0.001004 - 2018-02-18
- Basic support for overloads
- Allow non uc slot names
- Allow configuration of contracts via an env variable
- Enable preconditions by default
Modules
Simplified OOP with emphasis on modularity and loose coupling.