aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFiles
...
* Don't check invariant before invoking constructor.Ivan Enderlin2013-11-211
* Cannot have global/parent @ensures or @throwable.Ivan Enderlin2013-11-211
* Support dynamic resolutions as external variables.Ivan Enderlin2013-11-112
* Interpreter can bind a class on the specification.Ivan Enderlin2013-11-111
* Introduce the “contract (static) registry”.Ivan Enderlin2013-11-111
* A specification can be binded to a class.Ivan Enderlin2013-11-111
* Add the getRoot() method.Ivan Enderlin2013-11-111
* New `this` support.Ivan Enderlin2013-11-102
* Split into getAttributeData() & getArgumentData().Ivan Enderlin2013-11-101
* Add “preambler” support.Ivan Enderlin2013-11-102
* Use Hoa\Praspel\Exception\AssertionChecker…Ivan Enderlin2013-11-101
* Add Hoa\Praspel\Exception\AssertionChecker.Ivan Enderlin2013-11-102
* Fix a null access when computing the trace.Ivan Enderlin2013-11-101
* Format code. #maniaIvan Enderlin2013-11-081
* Remove an used variable.Ivan Enderlin2013-11-081
* Include visitors from Hoa\Realdom.Ivan Enderlin2013-11-052
* Cont'd.Ivan Enderlin2013-11-051
* Support $this.Ivan Enderlin2013-11-056
* Format code. #maniaIvan Enderlin2013-11-041
* Avoid a misuse of a variable.Ivan Enderlin2013-11-041
* Re-index exceptions.Ivan Enderlin2013-11-011
* Detect a new Failure\Precondition.Ivan Enderlin2013-11-011
* Format code. #maniaIvan Enderlin2013-11-011
* Add trace support!Ivan Enderlin2013-11-012
* Add the addClause() method.Ivan Enderlin2013-11-011
* Add the addVariable() method.Ivan Enderlin2013-11-011
* Fix a typo in the API documentation.Ivan Enderlin2013-11-011
* Reorder allowed clause for the Praspel visitor.Ivan Enderlin2013-11-013
* Formata code. #maniaIvan Enderlin2013-10-311
* Fix a flex entity.Ivan Enderlin2013-10-281
* Better Composer compatibility.Ivan Enderlin2013-10-151
* Define flex entities.Ivan Enderlin2013-10-155
* Update to Core#642e0cc.Ivan Enderlin2013-10-011
* Autobox single var declaration into a disjunction.Ivan Enderlin2013-09-291
* Crate variables are now created in Hoa\Realdom.Ivan Enderlin2013-09-291
* Support variables in disjunctions!Ivan Enderlin2013-09-271
* Restore “let”.Ivan Enderlin2013-09-272
* Be more permissive about @requires in a @behavior.Ivan Enderlin2013-09-261
* Optimize grammar. #performanceIvan Enderlin2013-09-231
* Remove a useless rule. #performanceIvan Enderlin2013-09-231
* A @behavior must contains a @requires.Ivan Enderlin2013-09-201
* generateData() make an isotropic random generationIvan Enderlin2013-09-171
* Add getNth() method: get clauses from positions.Ivan Enderlin2013-09-171
* Add Praspel representation for \old(…).Ivan Enderlin2013-09-171
* Add borrowing variables and \old(…) support.Ivan Enderlin2013-09-165
* Declaration's iterator does not return local vars.Ivan Enderlin2013-09-161
* Avoid useless \result assignements.Ivan Enderlin2013-09-161
* Fail early.Ivan Enderlin2013-09-161
* Update an exception message.Ivan Enderlin2013-09-161
* Format code. #maniaIvan Enderlin2013-09-131