Skip to content
Snippets Groups Projects
Select Git revision
No matching results
An error occurred while fetching branches. Retry the search.
An error occurred while fetching tags. Retry the search.
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.016Feb653129Jan2423add residual automataother-pipelinesother-pipelinesadd pic export in pdfadd plots ready for paperupdate most_important_plotsadd data from two missing directoriesadd data for new powerset experimentsadd data for deterministic partition + last forward and scc partitionadd missing state counts for a few automataadd data from new experiments, update notebooksadd export of a csv with relevant columns onlymainmainadd colorbar to scatterplotsadd description of csv columnsadd .gitignoreremove files that should have been in .gitignoreFirst commit