Praspel.git - The Hoa\Praspel library.

	Commit message (Collapse)	Author	Age	Files
*	Add a `.gitignore` file.	Stéphane HULARD	2015-08-03	1
\|
*	Prepare 0.15.06.01.0.15.06.01	Ivan Enderlin	2015-06-01	1
\|
*	Make the `praspel` function global.	Ivan Enderlin	2015-06-01	1
\|
*	Change `interprete` method name to `interpret`.	Ivan Enderlin	2015-06-01	2
\|
*	Prepare 0.15.05.29.0.15.05.29	Ivan Enderlin	2015-05-29	1
\|
*	Move to `Hoa\Ustring`.	Ivan Enderlin	2015-05-29	2
\|
*	Move to PSR-1-2 & drop PHP5.3 & `from`/`import`.	Ivan Enderlin	2015-05-28	44
\|
*	Prepare 0.15.02.24.0.15.02.24	Ivan Enderlin	2015-02-24	1
\|
*	Add the `CHANGELOG.md` file.	Ivan Enderlin	2015-02-24	1
\|
*	Happy new year!	Ivan Enderlin	2015-01-05	45
\|
*	Move to PSR-4.0.14.12.10	Ivan Enderlin	2014-12-09	1
\|
*	Hoa\Visitor has been finalized.0.14.11.25	Ivan Enderlin	2014-11-15	1
\|
*	Use hoa/iterator ~1.0.0.14.11.09	Ivan Enderlin	2014-11-09	1
\|
*	Add branch-alias0.14.09.23	Stéphane PY	2014-09-23	1
\|
*	Drop PHP5.3.0.14.09.17	Ivan Enderlin	2014-09-17	1
\|
*	Add the installation section.	Ivan Enderlin	2014-09-17	1
\|
*	Start Rüsh Release.0.14.09.16	Ivan Enderlin	2014-09-16	1
\|
*	Generate an object without a constructor.	Ivan Enderlin	2014-08-25	1
\|
*	Catch all exceptions.	Ivan Enderlin	2014-08-25	1
\|
*	Remove the ƒ function.	Ivan Enderlin	2014-07-07	1
\|
*	Link to atoum/praspel-extension.	Ivan Enderlin	2014-06-30	1
\|
*	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.
*	Allow to escape slash.	Ivan Enderlin	2014-05-21	1
\|
*	Add syntactic sugar for class().	Ivan Enderlin	2014-05-21	2
\| \| \| \|	\C <=> class('C').
*	Auto-collecting invariants.	Ivan Enderlin	2014-05-21	1
\|
*	Add the ::nothing:: token.	Ivan Enderlin	2014-04-11	1
\|
*	Fix a PHP compatibility.	Ivan Enderlin	2014-04-03	1
\|
*	Update an exception message.	Ivan Enderlin	2014-04-02	1
\|
*	Merge branch 'iterator' into incoming	Ivan Enderlin	2014-04-01	1
\|\
\| *	Allow missing @requires.	Ivan Enderlin	2014-04-01	1
\| \|
* \|	A missing @ensures is considered as true.	Ivan Enderlin	2014-04-01	1
\|/
*	Totally new structural coverage algorithm.	Ivan Enderlin	2014-04-01	1
\| \| \| \| \|	Much faster, much simpler to maintain and consider recents changes in Praspel (cf research papers).
*	Avoid some creation of a #dynamic_resolution node.	Ivan Enderlin	2014-03-31	2
\|
*	Update the regex syntactic sugar.	Ivan Enderlin	2014-03-31	1
\|
*	Override the isEmpty() method.	Ivan Enderlin	2014-03-31	1
\|
*	Absent @throwable => failed.	Ivan Enderlin	2014-03-31	1
\|
*	Absent @ensures => failed.	Ivan Enderlin	2014-03-31	1
\|
*	Format code. #mania	Ivan Enderlin	2014-03-24	1
\|
*	Update the runtime to the new behavior semantics.	Ivan Enderlin	2014-03-14	1
\|
*	Add the state of the library.	Ivan Enderlin	2014-02-10	2
\|
*	Happy new year \o/.	Ivan Enderlin	2014-01-07	45
\|
*	The @description clause can be present anywhere.	Ivan Enderlin	2014-01-03	2
\|
*	Use a default assertion checker when necessary.	Ivan Enderlin	2014-01-03	1
\|
*	Format `composer.json`.	Ivan Enderlin	2014-01-03	1
\|
*	Update indexes of exceptions.	Ivan Enderlin	2013-11-25	1
\|
*	A @default can be declared if…	Ivan Enderlin	2013-11-25	1
\| \| \| \|	… at least one @behavior exists.
*	Add the encapsulation shunter preambler!	Ivan Enderlin	2013-11-25	1
\| \| \| \| \|	Shunt encapsulation: instanciate a class and set its state by using invariants and not methods calls.
*	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.