aboutsummaryrefslogtreecommitdiffstats
path: root/Model
Commit message (Expand)AuthorAgeFiles
* Quality: Happy new year!Ivan Enderlin2017-01-1015
* Disjunction: Fix autoloading.Alexis von Glasow2016-05-092
* Quality: Run devtools:cs.Ivan Enderlin2016-01-0915
* Consistency: Remove `from` calls.Ivan Enderlin2015-12-112
* Consistency: Use `Hoa\Consistency`.Ivan Enderlin2015-12-081
* Move to PSR-1-2 & drop PHP5.3 & `from`/`import`.Ivan Enderlin2015-05-2815
* Happy new year!Ivan Enderlin2015-01-0515
* Fix a PHP compatibility.Ivan Enderlin2014-04-031
* Happy new year \o/.Ivan Enderlin2014-01-0715
* The @description clause can be present anywhere.Ivan Enderlin2014-01-031
* Update indexes of exceptions.Ivan Enderlin2013-11-251
* A @default can be declared if…Ivan Enderlin2013-11-251
* Update an exception message.Ivan Enderlin2013-11-251
* Move importations.Ivan Enderlin2013-11-251
* Add tracability for crate constant.Ivan Enderlin2013-11-221
* Clean a little bit \old(e) support.Ivan Enderlin2013-11-221
* Remove reference when setting the value.Ivan Enderlin2013-11-221
* Adding a clause redefine its parent.Ivan Enderlin2013-11-221
* Classnames are backslash left-trimmed.Ivan Enderlin2013-11-221
* Cannot have global/parent @ensures or @throwable.Ivan Enderlin2013-11-211
* Support dynamic resolutions as external variables.Ivan Enderlin2013-11-111
* A specification can be binded to a class.Ivan Enderlin2013-11-111
* Add the getRoot() method.Ivan Enderlin2013-11-111
* Support $this.Ivan Enderlin2013-11-052
* Format code. #maniaIvan Enderlin2013-11-041
* 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
* Define flex entities.Ivan Enderlin2013-10-151
* Add getNth() method: get clauses from positions.Ivan Enderlin2013-09-171
* Add borrowing variables and \old(…) support.Ivan Enderlin2013-09-163
* Declaration's iterator does not return local vars.Ivan Enderlin2013-09-161
* Fail early.Ivan Enderlin2013-09-161
* Update an exception message.Ivan Enderlin2013-09-161
* Allow an empty clause when constructing a variableIvan Enderlin2013-09-051
* Use the sample() method of Hoa\Realdom\DisjunctionIvan Enderlin2013-06-241
* A @behavior cannot have an @invariant clause.Ivan Enderlin2013-06-131
* Fix exception number.Ivan Enderlin2013-06-101
* Add the @default clause!Ivan Enderlin2013-06-103
* Add the allowedClauses attributes.Ivan Enderlin2013-06-102
* Add support of “with” in @throwable.Ivan Enderlin2013-06-101
* Add the getPropertyName() method.Ivan Enderlin2013-06-071
* Use Hoa\Iterator\Map.Ivan Enderlin2013-05-134
* Use \Hoa\Iterator.Ivan Enderlin2013-05-014
* New @throwable clause API.Ivan Enderlin2013-04-231
* New interfaces for the @throwable clause.Ivan Enderlin2013-04-231
* Use ArrayIterator instead of ArrayObject.Ivan Enderlin2013-04-231
* Format code. #maniaIvan Enderlin2013-04-181
* Add the Countable interface to Collection.Ivan Enderlin2013-04-171