fAndreuzzi / Bisimulation-Algorithms / 840324772

Builds Branch Commit Type Ran Committer Via Coverage
840324772 master bisimulation_algorithms -> bispy push GitHub github-actions pending completion
840288392 master rename bisimulation_algorithms to bispy push francescoandreuzzi github-actions pending completion
825367439 master [saha] cleaner second split phase push francescoandreuzzi github-actions pending completion
825032491 master [saha] cleaner second split phase push francescoandreuzzi github-actions pending completion
818228991 master fba contraction now returns a list of tuples push francescoandreuzzi github-actions pending completion
761817928 master use SCC for rank/wf. move rank at the root of the folder hierarchy. fix #17 push francescoandreuzzi github-actions pending completion
761799758 master use SCC for rank/wf. move rank at the root of the folder hierarchy. fix #17 push francescoandreuzzi github-actions pending completion
694903598 master linguist test push francescoandreuzzi github-actions pending completion
694900927 master first commit push francescoandreuzzi github-actions pending completion
694589464 master source_vertex becomes nwf when a new cycle is introduced push francescoandreuzzi github-actions pending completion
681364949 master cleaner structure push francescoandreuzzi github-actions pending completion
681336214 master ignore more file types push francescoandreuzzi github-actions pending completion
681332993 master first commit push francescoandreuzzi github-actions pending completion
678817369 master fix links push GitHub github-actions pending completion
678814733 master add bibliography push GitHub github-actions pending completion