5 Commits

Author SHA1 Message Date
Lorenzo Caminiti
8aaf2f41b2 updated gh-pages 2017-09-19 21:30:39 -07:00
Lorenzo Caminiti
537319f4e6 clearning gh-pages 2017-09-19 21:30:08 -07:00
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