fAndreuzzi / Bisimulation-Algorithms
97%

DEFAULT BRANCH: master
Repo Added
Files 37
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH master
branch: SELECT
CHANGE BRANCH
x

840324772

push

github-actions

GitHub 
bisimulation_algorithms -> bispy

2402 of 2472 relevant lines covered (97.17%)

0.97 hits per line

Relevant lines Covered
2472 RELEVANT LINES 2402 COVERED LINES
0.97 HITS PER LINE
Source Files on master
Detailed source file information is not available for this build.

Recent builds

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  
See All Builds (118)