5 Commits

Author	SHA1	Message	Date
Lorenzo Caminiti	1ab47c587c	added max_bases test. renamed aux::test to test::aux.	2016-01-27 08:10:48 -08:00
Lorenzo Caminiti	ff8b35f9f2	started to implement and test contract compilation on/off	2015-12-24 22:32:35 -08:00
Lorenzo Caminiti	8e9d7474f1	added const volatile invariants	2015-11-11 07:47:36 -08:00
Lorenzo Caminiti	c594323bef	added .old(...)	2015-10-23 15:46:47 -07:00
Lorenzo Caminiti	7c9db6c58f	renamed ..._member to ..._function, continuing to program more examples	2015-06-09 18:50:31 -07:00