CHANGELOG.md 930 Bytes
Newer Older
Michele Volpato's avatar
Michele Volpato committed
1
2
3
4
5
# Change Log
All notable changes to this project will be documented in this file.
This project adheres to [Semantic Versioning](http://semver.org/).

## [Unreleased][unreleased]
Michele Volpato's avatar
Michele Volpato committed
6
7

## [v0.2.0] - 2015-10-27
Michele Volpato's avatar
Michele Volpato committed
8
9
### Added
- This CHANGELOG file.
10
- Validity of suspension automata.
11
- Testing algorithms
12
- Counterexample handling
Michele Volpato's avatar
Michele Volpato committed
13
- Algorithms for double sets in the table
Michele Volpato's avatar
Michele Volpato committed
14

15
16
17
### Changed
- Moved old algorithm for learning to `oraclelearning` and `oracleobservationtable`

Michele Volpato's avatar
Michele Volpato committed
18
19
20
21
22
23
24
25
26
27
## [v0.1.0] - 2015-09-29
### Added
- First release, tag v0.1.0.
- Learning algorithm.
- Interfaces for Teachers and Oracles
- Classes representing LTS and Suspension Automata
- Test classes
- Simple Examples

[unreleased]: https://gitlab.science.ru.nl/mvolpato/active-learning-nondeterministic-systems/compare/v0.1.0...HEAD
28
[v0.1.0]: https://gitlab.science.ru.nl/mvolpato/active-learning-nondeterministic-systems/compare/f7f05033cf5e002a45a67632e60b311892ca0850...v0.1.0