Commits · master · Michele Volpato / Alnos

27 Sep, 2017 1 commit
- tried LearnLib, did not work, missing file · ccdbfa37
  Michele Volpato authored Sep 27, 2017
  
  ccdbfa37
26 Sep, 2017 1 commit
- fixed error in issue 3, using tuple(label) instead of (label,) · 076601f8
  Michele Volpato authored Sep 26, 2017
  
  076601f8
18 Sep, 2017 1 commit
- working on old example for deterministic tictactoe, problem with placeholder and output generation · 1b76707a
  Michele Volpato authored Sep 18, 2017
  
  1b76707a
25 Aug, 2017 5 commits
- added some comments · 66757b6f
  Michele Volpato authored Aug 25, 2017
  
  66757b6f
- added check for row to be defined before promoting · f78216a7
  Michele Volpato authored Aug 25, 2017
  
  f78216a7
- more specific definition: moved input check inside entries · 3b1555f4
  Michele Volpato authored Aug 25, 2017
  
  3b1555f4
- removed output set from input and output purposes · 28d804a9
  Michele Volpato authored Aug 25, 2017
  
  28d804a9
- changed more specific definition · da8af2b2
  Michele Volpato authored Aug 25, 2017
  
  da8af2b2
13 Apr, 2017 1 commit
- added example nondet · 3871d751
  Michele Volpato authored Apr 13, 2017
  
  3871d751
10 Apr, 2017 2 commits
- added some logging · e234666c
  Michele Volpato authored Apr 10, 2017
  
  e234666c
- added example fig1.2 thesis · ba6bd882
  Michele Volpato authored Apr 10, 2017
  
  ba6bd882
05 Apr, 2017 1 commit
- added more info in some errors and warnings · f298e894
  Michele Volpato authored Apr 05, 2017
  
  f298e894
03 Apr, 2017 6 commits
- Merge branch 'master' of https://gitlab.science.ru.nl/mvolpato/alnos · 237e9a6c
  Michele Volpato authored Apr 03, 2017
  
  237e9a6c
- added folder to gitignore · 7812dee2
  Michele Volpato authored Apr 03, 2017
  
  7812dee2
- Install graphviz on macOS · 484008ee
  Michele Volpato authored Apr 03, 2017
  
  484008ee
- added requirements · 043ad979
  Michele Volpato authored Apr 03, 2017
  
  043ad979
- added gitignore · 00c9a024
  Michele Volpato authored Apr 03, 2017
  
  00c9a024
- Added graphviz to used libraries, added install instructions for macOS, · f573c1f9
  Michele Volpato authored Apr 03, 2017
```
added link to Anaconda for Windows
```
  f573c1f9
10 Jan, 2016 4 commits
- Broken links · e9983679
  Michele Volpato authored Jan 10, 2016
  
  e9983679
- Merge branch 'development' into 'master' · 5478cf36
  Michele Volpato authored Jan 10, 2016
```
Merging Development into Master



See merge request !2
```
  5478cf36
- Prepare to Merge · 5dabd427
  Michele Volpato authored Jan 10, 2016
  
  5dabd427
- Prepare to merge · 988dafb0
  Michele Volpato authored Jan 10, 2016
  
  988dafb0
08 Jan, 2016 1 commit
- added figure 2.5 from thesis · e83cec37
  Michele authored Jan 08, 2016
  
  e83cec37
27 Nov, 2015 1 commit
- working on nondet tic tac toe · 082cdd45
  Michele authored Nov 27, 2015
  
  082cdd45
26 Nov, 2015 3 commits
- started working on leaning nondeterministic tic tac toe · 42d3bb3a
  Michele authored Nov 26, 2015
  
  42d3bb3a
- removed debug code. Working on learning.py · 7c2e3881
  Michele authored Nov 26, 2015
  
  7c2e3881
- fixed some perfomance issues, some debug code is still there · e388a4c6
  Michele authored Nov 26, 2015
  
  e388a4c6
25 Nov, 2015 3 commits
- fixed error in handleCounterexample · ceb6037d
  Michele authored Nov 25, 2015
  
  ceb6037d
- fixed counterexample handling · c745e85a
  Michele authored Nov 25, 2015
  
  c745e85a
- if table is deterministic, there is no need to check hPlus because hMinus == hPlus · f098d570
  Michele authored Nov 25, 2015
  
  f098d570
24 Nov, 2015 1 commit
- working on existing methods to match new definitions · 90600f0b
  Michele authored Nov 24, 2015
  
  90600f0b
23 Nov, 2015 1 commit
- started finishing observationtable.py · ac26df47
  Michele authored Nov 23, 2015
  
  ac26df47
19 Nov, 2015 1 commit
- added statistics to learning tic tac toe · 5823f7c1
  Michele authored Nov 19, 2015
  
  5823f7c1
18 Nov, 2015 1 commit
- removed some debug code · 293473bd
  Michele authored Nov 18, 2015
  
  293473bd
17 Nov, 2015 2 commits
- added learnlib model conversion and bisimulation check · e15f092b
  Michele authored Nov 17, 2015
  
  e15f092b
- added example with learnLib for tictactoe · 11ab1f18
  Michele authored Nov 17, 2015
  
  11ab1f18
13 Nov, 2015 3 commits
- added complete tester, still need to be run with more than 5 loops of learning · b965fd52
  Michele authored Nov 13, 2015
  
  b965fd52
- added placeholder for ALL OUTPUTS in table · ac77db53
  Michele authored Nov 13, 2015
  
  ac77db53
- removed input enabledness assumption of modelin RandomTester · c30fa82c
  Michele authored Nov 13, 2015
  
  c30fa82c
12 Nov, 2015 1 commit
- Now it is not necessary to specify the alphabets when creating new LTSs · d2eb3621
  Michele authored Nov 12, 2015
  
  d2eb3621