Changelog for code-conjure-0.3.0
Changelog for (Code) Conjure
v0.3.0
- only automatically include an
if
for the return type of the given function - add the
take-drop
benchmark - make bottom-up enumeration more type directed
v0.2.8
- export the
A
,B
,C
,D
,E
andF
helper types
v0.2.6
- require Express v0.1.10 due to
hasHole
being now exported there - require Eq result on
conjure1
,conjure2
andconjure3
- code cleanup and more tests
v0.2.4
- allow conjuring from specifications in addition to partial definitions
(
conjure1
,conjure2
,conjure3
and related functions) - improve examples
- improve criteria for automatic primitive inclusion:
- only include
if :: ... -> Bool
if there areBool
primitives - include
False
andTrue
automatically only on Speculate's background
- only include
- add code-optional candidate nubbing and debug functions
v0.2.2
- by default, search for 60 argument combinations among 100000 enumerated combinations
v0.2.0
- search until 100% match is found and exit
- other misc changes
v0.1.2
For the changelog of earlier versions, check the git commit history.