v0.5

Changelog

• Rename quotient_poirot into whitebox_poirot
• "is_in_language" feature
• Inference uses previous oracle calls
• Oracle based on prefix and suffix
• API rework
• Add manual stop
• The user can choose the heuristic
• The inference grammar can be a subset of the quotient grammar
• Bugfixes

v0.4

Changelog

• Fuzzer and quotient rewrite
• Oracle timeout
• Time and oracle call statistics
• ANTLR4 export more stable
• Dune installs quotient_poirot
• Heuristic save can be disabled
• Can set a minimal interval between two oracle calls
• By default, save the previous oracle calls
• Bugfixes

v0.3

Changelog

• Dune installs poirot and bnf2antlr4
• Oracle should return error code 180 in case of an syntax error
• Fuzzer update
• Use the Logs library
• Handle ctrl-C
• Various bugfixes

v0.2

Changelog:

• Heuristic serialization and memoization
• Optimization of the A* openset ordering
• Add the make_oracle_from_… functions.
• Rewrite the heuristic computation
• Rewrite the fuzzer
• The initial injection can be empty
• Read substitutions from a file
• API has default values
• Some minor changes in the API (notably, add verbose parameter in search)
• Various bugfixes

v0.1

First available version