Commit message (Collapse) | Author | Age | Files | |
---|---|---|---|---|
* | Move to PSR-1-2 & drop PHP5.3 & `from`/`import`. | Ivan Enderlin | 2015-05-28 | 2 |
| | ||||
* | Happy new year! | Ivan Enderlin | 2015-01-05 | 2 |
| | ||||
* | Evaluate the \pred(p) construction. | Ivan Enderlin | 2014-05-21 | 1 |
| | ||||
* | Extend closure support. | Ivan Enderlin | 2014-05-21 | 1 |
| | | | | Avoid an issue in the `getAttributeData` method. | |||
* | Auto-collecting invariants. | Ivan Enderlin | 2014-05-21 | 1 |
| | ||||
* | Update an exception message. | Ivan Enderlin | 2014-04-02 | 1 |
| | ||||
* | A missing @ensures is considered as true. | Ivan Enderlin | 2014-04-01 | 1 |
| | ||||
* | Absent @throwable => failed. | Ivan Enderlin | 2014-03-31 | 1 |
| | ||||
* | Absent @ensures => failed. | Ivan Enderlin | 2014-03-31 | 1 |
| | ||||
* | Update the runtime to the new behavior semantics. | Ivan Enderlin | 2014-03-14 | 1 |
| | ||||
* | Happy new year \o/. | Ivan Enderlin | 2014-01-07 | 2 |
| | ||||
* | Update the callable after running a preambler. | Ivan Enderlin | 2013-11-25 | 1 |
| | | | | | A preambler can change the callable, we then need to update it in the assertion checker. | |||
* | The generateData method is now static… | Ivan Enderlin | 2013-11-25 | 2 |
| | | | | … and it has been moved into `Hoa\Praspel\AssertionChecker` class. | |||
* | mv AssertionChecker\Preambler Preambler\Handler | Ivan Enderlin | 2013-11-25 | 2 |
| | ||||
* | Clean a little bit \old(e) support. | Ivan Enderlin | 2013-11-22 | 1 |
| | | | | | Remove a useless code in the RAC. And move the `\old(e)` support from the interpreter to the model. | |||
* | Fix a regression in behaviors. | Ivan Enderlin | 2013-11-22 | 1 |
| | ||||
* | Better constructor support. | Ivan Enderlin | 2013-11-22 | 1 |
| | | | | | Compute a new callable and a new reflection for the rest of the RAC since we generate a real instance. | |||
* | Better constructor support. | Ivan Enderlin | 2013-11-22 | 1 |
| | | | | | When the callable is a constructor, we need a special process, based on `ReflectionClass::newInstanceArgs`. | |||
* | Don't check invariant before invoking constructor. | Ivan Enderlin | 2013-11-21 | 1 |
| | ||||
* | Split into getAttributeData() & getArgumentData(). | Ivan Enderlin | 2013-11-10 | 1 |
| | ||||
* | Add “preambler” support. | Ivan Enderlin | 2013-11-10 | 2 |
| | ||||
* | Use Hoa\Praspel\Exception\AssertionChecker… | Ivan Enderlin | 2013-11-10 | 1 |
| | | | | … instead of Hoa\Praspel\Exception\Generic. | |||
* | Fix a null access when computing the trace. | Ivan Enderlin | 2013-11-10 | 1 |
| | ||||
* | Format code. #mania | Ivan Enderlin | 2013-11-08 | 1 |
| | ||||
* | Cont'd. | Ivan Enderlin | 2013-11-05 | 1 |
| | ||||
* | Support $this. | Ivan Enderlin | 2013-11-05 | 2 |
Create the sub-library `Hoa\Praspel\AssertionChecker` and introduce $this support through “implicit variables”. |