path: root/AssertionChecker
Commit message (Expand)AuthorAgeFiles
* Happy new year!Ivan Enderlin2015-01-052
* Evaluate the \pred(p) construction.Ivan Enderlin2014-05-211
* Extend closure support.Ivan Enderlin2014-05-211
* Auto-collecting invariants.Ivan Enderlin2014-05-211
* Update an exception message.Ivan Enderlin2014-04-021
* A missing @ensures is considered as true.Ivan Enderlin2014-04-011
* Absent @throwable => failed.Ivan Enderlin2014-03-311
* Absent @ensures => failed.Ivan Enderlin2014-03-311
* Update the runtime to the new behavior semantics.Ivan Enderlin2014-03-141
* Happy new year \o/.Ivan Enderlin2014-01-072
* Update the callable after running a preambler.Ivan Enderlin2013-11-251
* The generateData method is now static…Ivan Enderlin2013-11-252
* mv AssertionChecker\Preambler Preambler\HandlerIvan Enderlin2013-11-252
* Clean a little bit \old(e) support.Ivan Enderlin2013-11-221
* Fix a regression in behaviors.Ivan Enderlin2013-11-221
* Better constructor support.Ivan Enderlin2013-11-221
* Better constructor support.Ivan Enderlin2013-11-221
* Don't check invariant before invoking constructor.Ivan Enderlin2013-11-211
* Split into getAttributeData() & getArgumentData().Ivan Enderlin2013-11-101
* Add “preambler” support.Ivan Enderlin2013-11-102
* Use Hoa\Praspel\Exception\AssertionChecker…Ivan Enderlin2013-11-101
* Fix a null access when computing the trace.Ivan Enderlin2013-11-101
* Format code. #maniaIvan Enderlin2013-11-081
* Cont'd.Ivan Enderlin2013-11-051
* Support $this.Ivan Enderlin2013-11-052