Properly renamed learnlib-lstar
DHC tests: minor warning fix, minor increase in test coverage (1 line, hopefully!)
Added Sonatype OSS Snapshots to archetype POMs (fixes integration tests in Maven >=3.0.4)
Used new alphabet API
added readme
added readme
added readme
[maven-release-plugin] prepare release learnlib-parent-0.9.0
[maven-release-plugin] prepare for next development iteration
Bumped version to 0.9.1-SNAPSHOT
Merge commit '9e2c9b7' into develop
Added convenience classes to core; added missing license headers
Added missing license headers
Added missing license headers, added specific DFA/Mealy classes for saving generic arguments, added SUL cache
initial test driver architecture
second version of api and example for test drivers
refactorings as per discussion on the mailing list
Some LStar tweaks, made equivalence oracle interface easier to use
Merge branch 'develop' into driver
Improved Maven configuration (release settings, archetypes)