github.com/hoaproject/Praspel commits | Ecosyste.ms: OpenCollective

Prepare 1.17.01.10.

b4e3e894bc9043d0e2bd43cdf1482c9d7bd0cace authored about 8 years ago

Quality: Happy new year!

9c885323891454a82f73140141d9189c44fba8ab authored about 8 years ago

Fix typo

6a81c777d3c26847e9cc4276362d6727a372bdbd authored about 8 years ago

Prepare 1.17.01.06.

d00a77387bfce0006a6638dd94cf05a784cb3a9b authored about 8 years ago

Preambler: Use non-static cache in handler.

The static cache approach in the handler is wrong. Static means shared,
and we do not want it to...

290418207ea74e6053d5c98933cf5fcb3a41dcfd authored about 8 years ago

Documentation: Fix a typo.

75f94a48b4b0c63aae1a120c27d81f41069dba7c authored over 8 years ago

Documentation: Rename a section.

591875791aecbe548b3e5b1cc377ed4a9e766b49 authored over 8 years ago

Documentation: Add JML and `Hoa\Realdom` links.

be82e88ba01e2ad92cb8f8df6ad9bdb912f4a8a0 authored over 8 years ago

Documentation: New `README.md`.

c3a37128aec399f774af63a342b3a12c38c53852 authored over 8 years ago

Documentation: Update `support` properties.

7a8c2d0d60ad2156a24c68ceebb1743a1d1fd481 authored over 8 years ago

Prepare 1.16.05.11.

15f8b6775695e81a73f0e20994c0ea79997363da authored over 8 years ago

Add use missing for Hoa\Consistency

850b9b9acf4b0a11621c5012e49084ca5e0f6d29 authored over 8 years ago

Prepare 1.16.05.09.

a638798344bf8eaa24c6b66fd377d7b52bdc2b5c authored over 8 years ago

Disjunction: Fix autoloading.

d42a5c204a9fda83ac9570c56361cc3e0f35bd06 authored over 8 years ago

Grammar: Update copyright.

1e80ca1f8f2d83ccd94457da234e9dd88ef5c7c6 authored about 9 years ago

Prepare 1.16.01.16.

14cbe9f7bc887e34f7415fbce3117d7ee7daede6 authored about 9 years ago

Composer: Forget to add a new stable library.

656333527d74bdd1eb84d87f29ffe5d5b0f93969 authored about 9 years ago

Prepare 1.16.01.15.

2ca6fdb61791e0d73dacf5d6a040e12976f5ddca authored about 9 years ago

Composer: New stable library.

45074f5ad847a754171bc1ddb3b2c5559459492a authored about 9 years ago

Update because of the BC break.

114345a68d6bb8c10ed3858aaa6395cf37b79c1d authored about 9 years ago

Prepare 1.16.01.14.

5efccdbfe6858995eeed91340c267aa3fc07dcfe authored about 9 years ago

Prepare 0.16.01.11.

bfeab629693f3a3de2e37d5e8fa6e9b58a3e1eb9 authored about 9 years ago

Quality: Drop PHP5.4.

11fc549a1b36d0d47a34ad724a4d5791b7f872b3 authored about 9 years ago

Quality: Run devtools:cs.

a224ff4b2b4b9600c24243452ce4d92bfe376d46 authored about 9 years ago

Core: Remove `Hoa\Core`.

c7fbacdd1b30e88593e1adfaea07a9528c5deb84 authored about 9 years ago

Consistency: Remove `from` calls.

96268fc58438e33be80f594479e8c8724c4d3a6a authored about 9 years ago

Consistency: Use `Hoa\Consistency`.

3c92894fb24a3689143ef00a48f4f3934f27d48a authored about 9 years ago

Exception: Use `Hoa\Exception`.

The core is being splitted into several libraries. `Hoa\Exception` is
one of them.

eac7c9a86ea5c94a55b1b99b04b851243410073d authored about 9 years ago

Prepare 0.15.09.08.

a99b764114216174c360828af2e594e6724bacba authored over 9 years ago

Add a `.gitignore` file.

e013e1b8514a7ff30416cad8de3f53ca84c1eb21 authored over 9 years ago

Prepare 0.15.06.01.

47e26bd74ddb85f2bfd4841f1432c0c14482cd45 authored over 9 years ago

Make the `praspel` function global.

9f68a69eba5e9e0f3710e8853ff8fff726947ba6 authored over 9 years ago

Change `interprete` method name to `interpret`.

b858f9f304eb59304e64d328f6d15bf4f41cb298 authored over 9 years ago

Prepare 0.15.05.29.

8dea9e4e8f3dd6fc9fc10ad464d48c3973dedf50 authored over 9 years ago

Move to `Hoa\Ustring`.

23dad64d8b31ef59b15076d73b99b444e22e1e5c authored over 9 years ago

Move to PSR-1-2 & drop PHP5.3 & `from`/`import`.

0fce3078006928700d7e65660d49f693dc4293d2 authored over 9 years ago

Prepare 0.15.02.24.

f7801604c0631304547eee00b68ce3174d40ccdc authored almost 10 years ago

Add the `CHANGELOG.md` file.

49caada6d52c0b02255e260d6dedcf79103e62e6 authored almost 10 years ago

Happy new year!

58dae3630ef137db573acf229e6cef688f3a93e6 authored about 10 years ago

Move to PSR-4.

df82c9f61d4879924645e83f2ce27d8d45dd45c0 authored about 10 years ago

Hoa\Visitor has been finalized.

afe3060c02e3963a3d455d01065b7544d39fa348 authored about 10 years ago

Use hoa/iterator ~1.0.

59a146d02a71f024555a9535f6ade23eb6b9294f authored about 10 years ago

Add branch-alias

94c305d20a4fa7a47f2b4671a6c89f4718159c53 authored over 10 years ago

Drop PHP5.3.

4e6b9599c991fd1aaf10aef7b8095a2bfa0826b9 authored over 10 years ago

Add the installation section.

e3762816b5644f00a74dfa2d261e1f75f906ff9d authored over 10 years ago

Start Rüsh Release.

3825237ad506d26a114e819bef4411e4adc9b67b authored over 10 years ago

Generate an object without a constructor.

b2dda6cc153f819a1d40d5d1906a8cb1f45f7ed4 authored over 10 years ago

Catch all exceptions.

20d62e3063b00cdac780c5062f2ab78f01a0e249 authored over 10 years ago

Remove the ƒ function.

cf7c9b15c180c1f2858794ecbfd11d9f8d001b9b authored over 10 years ago

Link to atoum/praspel-extension.

6202b1edf7c525b688420ffed14faf21cee59851 authored over 10 years ago

Evaluate the \pred(p) construction.

f0479006caa98b59f0d3f2336263ebee70539d7c authored over 10 years ago

Extend closure support.

Avoid an issue in the `getAttributeData` method.

7462328eeb1cda5962e8fa24f8aa25c2509e3045 authored over 10 years ago

Allow to escape slash.

ee493642a9d7061550e2b14ac714c2cc9d3ef1a9 authored over 10 years ago

Add syntactic sugar for class().

\C <=> class('C').

3f019dd711477be78bcdc6718d1aab890ca9bb12 authored over 10 years ago

Auto-collecting invariants.

b5fcc37c476df179f020ea6686f7ecfe4d3dc739 authored over 10 years ago

Add the ::nothing:: token.

d4db95e53942b208235293fea6773e93947f725c authored almost 11 years ago

Fix a PHP compatibility.

749d546c0f6d206efffd50d1ce72137a66de3a18 authored almost 11 years ago

Update an exception message.

8fb22c76ae7bb72125a5e8414c82b9fcde480f37 authored almost 11 years ago

Merge branch 'iterator' into incoming

bca8de0d382c81c762c9b2ecebb2ad79d07edf6d authored almost 11 years ago

Allow missing @requires.

65ad33fd7da0c3e1d7afdcd6bc30acc1d5dbb52b authored almost 11 years ago

A missing @ensures is considered as true.

eb052f6e46abe7a942a6fa4ba47412fb3f69943e authored almost 11 years ago

Totally new structural coverage algorithm.

Much faster, much simpler to maintain and consider recents changes in
Praspel (cf research papers).

78d81ac4a1077cfc455ccacff1c5e9b9aa345459 authored almost 11 years ago

Avoid some creation of a #dynamic_resolution node.

080f7b8777d237aeadae68b8e716c7b8ccd7bc0a authored almost 11 years ago

Update the regex syntactic sugar.

a72bfbb80a5b971a036f21c95e7bbfca001e1427 authored almost 11 years ago

Override the isEmpty() method.

ec1aa6d84abd7667754620e96e3392367975f82b authored almost 11 years ago

Absent @throwable => failed.

62afa42d07ed15dad04a753c2c51a81108693fc1 authored almost 11 years ago

Absent @ensures => failed.

cc375fb2fd341d1165077cd0151bc0cbd1fea88b authored almost 11 years ago

Format code. #mania

7cab3a4bbf34e16eda7e6d4f725c6a72d8d7619c authored almost 11 years ago

Update the runtime to the new behavior semantics.

56b03915a03d7e2387cdf36c16e1bbf74982373d authored almost 11 years ago

Add the state of the library.

3461224d76ddbd69a165f294a73fb21b84341580 authored almost 11 years ago

Happy new year \o/.

2f9995179b6725e89f9fda16aac7aed48d4c5e96 authored about 11 years ago

The @description clause can be present anywhere.

97439a371308d0ed31acd0d79bc44248bb6a1d0f authored about 11 years ago

Use a default assertion checker when necessary.

4cc9c27d51073acffd750e3c4298cdab9bdd4c2f authored about 11 years ago

Format `composer.json`.

df03b1abd9c0aa9cd900fd05a8c9d21249d63aa5 authored about 11 years ago

Update indexes of exceptions.

0c2c75d01ce0a844344ef8d4abb0f2cc42c6c6ec authored about 11 years ago

A @default can be declared if…

… at least one @behavior exists.

977d226b11831034b7ca948a654958d34a1c62e3 authored about 11 years ago

Add the encapsulation shunter preambler!

Shunt encapsulation: instanciate a class and set its state by using
invariants and not methods c...

c265aef4342feac7d19bee79c8476bc04efc31e0 authored about 11 years ago

Update the callable after running a preambler.

A preambler can change the callable, we then need to update it in the
assertion checker.

64452dcd5d44a0c85cc9439a45adfee0d3bfc4ff authored about 11 years ago

The generateData method is now static…

… and it has been moved into `Hoa\Praspel\AssertionChecker` class.

fc0c70751c490b51d2a16ff88654cc8bd19935d5 authored about 11 years ago

The __setCallable method is now public.

380dba95fb9f2db92e401db1c11bcaf26975a2e4 authored about 11 years ago

Fix an error in an exception message.

4f4c9245906757a6d1275b7be08a24173b248208 authored about 11 years ago

mv AssertionChecker\Preambler Preambler\Handler

775ea773eedf213d8fcc940e182745d89221cb9e authored about 11 years ago

Update an exception message.

d9fb455d7abca81fb9714f4ce2c6abcde57ed79b authored about 11 years ago

Move importations.

541255fb485616492a4c7b99c62087b3e63b8fa9 authored about 11 years ago

Fix compilation of crate variable.

eb9d1c54d3687e25ad15febc55efd28af6a2a2bd authored about 11 years ago

Support crate constant.

e057548616f186e5d717d6fed8ddb2f21237500b authored about 11 years ago

Add tracability for crate constant.

a19102f67706ba2b9c51eb337eb097d3ac070e19 authored about 11 years ago

Clean a little bit \old(e) support.

Remove a useless code in the RAC. And move the `\old(e)` support from
the interpreter to the model.

c5b344986d8a65aeea69848f765a8267296681a8 authored about 11 years ago

Fix a regression in behaviors.

61f09f7049928d3f4813a6623ec2c055adf792c2 authored about 11 years ago

Remove reference when setting the value.

If the variable is an argument that is passed by-reference, and, if its
value is changed during ...

a386cb3d71e5ee4daf845a0fcfa615290bd31299 authored about 11 years ago

Adding a clause redefine its parent.

942f1864e7b51d465c9970ae6ce8b9a6c8927fb5 authored about 11 years ago

Better constructor support.

Compute a new callable and a new reflection for the rest of the RAC
since we generate a real ins...

90cdfe10135a66a38090fd18a38d3e583720681a authored about 11 years ago

Better constructor support.

When the callable is a constructor, we need a special process, based on
`ReflectionClass::newIns...

f82db700c76d47bd3e8582e1f74f8ebbc5d0cb60 authored about 11 years ago

Classnames are backslash left-trimmed.

6382c6b467614a2caa4a695f51d0b2bb659e5c95 authored about 11 years ago

New $bindToClass argument on Praspel::interprete.

Bind class when interpreting.

c862a7cc3104eb461e9197b5f7ed21eb4a0a71f3 authored about 11 years ago

Don't check invariant before invoking constructor.

1d3d606b8c255c1bcaf4a49031866605898d20f6 authored about 11 years ago

Cannot have global/parent @ensures or @throwable.

The semantics of a global @throwable clause is really hard to define.
Same for @ensures. After a...

9c609da1109b4f83622f4b7b527ef730e7a4d2d8 authored about 11 years ago

Support dynamic resolutions as external variables.

`this->foo` is considered as a borrowing variable, with the type
`TYPE_EXTERNAL`. Verifications ...

bec521d2cfc22274213ac5066d8817a085faa316 authored about 11 years ago

Interpreter can bind a class on the specification.

6e854e85824bc3af64236912ec0e336d9d6315bc authored about 11 years ago

Introduce the “contract (static) registry”.

The contract static registry aims at containing all Praspel contracts.
This is very helpful when...

faa9e89f6254898cd0ed4c375d32260323b7883e authored about 11 years ago