Commit Graph

3 Commits

Author SHA1 Message Date
Lorenzo Caminiti
6568f6137e increased copyright yeat to 2017 2017-09-01 21:02:28 -07:00
Lorenzo Caminiti
3610a77e2e reviewing reference section up to contract_macro.hpp 2017-08-19 19:48:51 -07:00
Lorenzo Caminiti
e306fad000 added audit and axiom assertion levels. finished reviewing examples section in docs. 2017-08-12 10:33:59 -07:00