Skip to content

Cherrett/DFA-Learning-Toolkit

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

.
├── .github
	└── workflows			# Workflow file used in Github Actions.
├── core        			# Source files within the dfalearningtoolkit module.
├── datasets    			# Datasets used throughout this project.
	├── Abbadingo   		# Some datasets from the Abbadingo competition (http://abbadingo.cs.nuim.ie/data-sets.html).
	├── Comparison    		# Datasets used to evaluate the correctness of our implementation.
	├── Stamina        		# Datasets within the Stamina competition (http://stamina.chefbe.net/download).
	├── Visualisation   		# Output generated from the visualisation unit tests. 
	├── GI-learning        		# Datases used to evaluate the performance of GI-learning.
	├── Generated Abbadingo		# Datasets generating using the Abbadingo protocol.
	├── LearnLib      		# Datases used to evaluate the performance of LearnLib.
	└── TestingAPTAs		# Datasets used in some of the unit tests. 
├── doc        				# Documentation in HTML format.
├── test        			# Source files for the unit tests and the benchmarks.
├── util        			# Source files within the dfalearningtoolkit.util module.
├── .gitignore				# .gitignore file.
├── go.mod      			# Module file 1.
├── go.sum      			# Module file 2.
└── main.go				# Main executable with a simple CLI.

Please note that some datasets were ommited from the submission due to their size. These can be found at: https://github.com/Cherrett/DFA-Learning-Datasets.

About

A DFA Learning Toolkit developed in GO.

Topics

Resources

Stars

Watchers

Forks

Languages