Skip to content

Activity

Showing most recent first

add adaptive to packages and update version

emuskardinpushed 1 commit to master • a729831…e054c33 • 
yesterday

- add optional ';' at the end of transition definition

emuskardinpushed 3 commits to master • 3868f38…a729831 • 
4 days ago

add k-trails to Examples.py

emuskardinpushed 2 commits to master • 99b2ef9…3868f38 • 
4 days ago

Merge pull request #82 from lkruger27/dfa-moore

Pull request merge
emuskardinpushed 8 commits to master • f167627…99b2ef9 • 
4 days ago

Merge pull request #81 from HarmCorporaal/master

Pull request merge
emuskardinpushed 2 commits to master • f7afb85…f167627 • 
5 days ago

added get_root util for gsm

zwergziegepushed 2 commits to master • 358071a…f7afb85 • 
7 days ago

update PAPNI evaluation

emuskardinpushed 1 commit to master • 3458b9b…358071a • 
8 days ago

Deleted branch

emuskardindeleted papni_eval • 
13 days ago

add Json LBT with PAPNI

emuskardinpushed 1 commit to master • f9dd212…3458b9b • 
13 days ago

add k-tails to learning_algs api

emuskardinpushed 1 commit to master • 3bc910a…f9dd212 • 
15 days ago

Merge remote-tracking branch 'origin/master' into master

emuskardinpushed 2 commits to master • a10f934…3bc910a • 
15 days ago

kick out old code

zwergziegepushed 1 commit to master • 8b1a829…a10f934 • 
18 days ago

update PAPNI with EDSM

emuskardinpushed 1 commit to master • 45fce1f…8b1a829 • 
18 days ago

trim down README.md

emuskardinpushed 1 commit to master • bea98dc…45fce1f • 
18 days ago

Deleted branch

emuskardindeleted readme_redone • 
18 days ago

trim down README.md

emuskardinpushed 1 commit to readme_redone • c2999ad…1a63d41 • 
18 days ago

trim down README.md

emuskardincreated readme_redone • c2999ad • 
18 days ago

added data format auto detection (again)

Force push
zwergziegeforce pushed to gsm-dev • b055fcf…831ad61 • 
18 days ago

added data format auto detection (again)

zwergziegepushed 1 commit to gsm-dev • bea98dc…b055fcf • 
18 days ago

more elegant solution for predecessor fixing

zwergziegepushed 21 commits to gsm-dev • a781b15…bea98dc • 
18 days ago

more elegant solution for predecessor fixing

zwergziegepushed 1 commit to master • 9b1fc9d…bea98dc • 
18 days ago

fixed minor data format issues

zwergziegepushed 1 commit to master • 5883323…9b1fc9d • 
18 days ago

add loading and make_input_complete for NonDetMooreMachines

emuskardinpushed 1 commit to master • 2716ca4…5883323 • 
19 days ago

fix GsmNode typing

emuskardinpushed 1 commit to master • edeb8af…2716ca4 • 
20 days ago

fix ktails

zwergziegepushed 1 commit to master • e62cdb6…edeb8af • 
20 days ago

fix GsmNode typing

emuskardinpushed 1 commit to master • 17957e9…e62cdb6 • 
20 days ago

update README.md

emuskardinpushed 2 commits to master • d85dabe…17957e9 • 
20 days ago

update README.md

emuskardinpushed 4 commits to master • ff4c623…d85dabe • 
20 days ago

Merge branch 'gsm-dev'

zwergziegepushed 2 commits to master • 5f0e708…ff4c623 • 
20 days ago

fixed bug in check_data_format

zwergziegepushed 1 commit to gsm-dev • fc31caf…a781b15 • 
20 days ago