Verites
/
verigraph
65%
master: 61%
master: 61%
|
Repo Added
|
Files
77
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
labeledGraph
branch: labeledGraph
CHANGE BRANCH
x
-
labeledGraph
-
1.1.0
-
1.1.1
-
CPparallelization
-
CSrefactoring
-
RemovedDeprecatedFindMorphism
-
TGMAdhesiveHLRrefactoring
-
add-code-of-conduct-1
-
ci
-
code-quality-fix
-
complete
-
conditions
-
conflict-essence
-
constraints
-
contributing
-
coveralls
-
critical-pairs-benchmarks
-
culpa_do_leo
-
elevatorFix
-
essence-experiments
-
finitaryCategory
-
fix-cospan
-
fix-spancommuter
-
fix_removeNode
-
grlang
-
gtxl-reader
-
hlint
-
iso-class
-
layersRefactoring
-
markdown-lint
-
master
-
modulesRefactoring
-
new-morphisms
-
newIndependenceAlgorithm
-
new_ghc
-
parallel
-
parserRefactoring
-
partial-map-classifier
-
partitionsRefactoring
-
process
-
process_bkp
-
pullbackTests
-
reduceDuplication
-
refactoring
-
refactoringDoc
-
refactoringEssentialCP
-
refactoringTests
-
removingWarning
-
rest
-
restructure
-
sesquiPushout
-
sndOrdScheduling
-
sndOrderFix
-
sndorderNAC
-
symbgraph
-
tests
-
travis
-
travis-setup
-
travis_performance
-
triggered-dependecies
-
update-grammars
-
update-lts
CHANGE BRANCH
x
-
labeledGraph
- 1.1.0
- 1.1.1
- CPparallelization
- CSrefactoring
- RemovedDeprecatedFindMorphism
- TGMAdhesiveHLRrefactoring
- add-code-of-conduct-1
- ci
- code-quality-fix
- complete
- conditions
- conflict-essence
- constraints
- contributing
- coveralls
- critical-pairs-benchmarks
- culpa_do_leo
- elevatorFix
- essence-experiments
- finitaryCategory
- fix-cospan
- fix-spancommuter
- fix_removeNode
- grlang
- gtxl-reader
- hlint
- iso-class
- layersRefactoring
- markdown-lint
- master
- modulesRefactoring
- new-morphisms
- newIndependenceAlgorithm
- new_ghc
- parallel
- parserRefactoring
- partial-map-classifier
- partitionsRefactoring
- process
- process_bkp
- pullbackTests
- reduceDuplication
- refactoring
- refactoringDoc
- refactoringEssentialCP
- refactoringTests
- removingWarning
- rest
- restructure
- sesquiPushout
- sndOrdScheduling
- sndOrderFix
- sndorderNAC
- symbgraph
- tests
- travis
- travis-setup
- travis_performance
- triggered-dependecies
- update-grammars
- update-lts
push
travis-ci
2792 of 4312 relevant lines covered (64.75%)
0.65 hits per line
Relevant lines Covered
4312
RELEVANT LINES
2792
COVERED LINES
0.65
HITS PER LINE
Source Files on labeledGraph
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 450 | labeledGraph | Implement createMonicJointlyEpimorphicPairs | push |  ggazzi |
travis-ci | pending completion | |
| 445 | labeledGraph | Make variables integer-based | push | ggazzi |
travis-ci | pending completion | |
| 437 | labeledGraph | Make variables integer-based | push | ggazzi |
travis-ci | pending completion | |
| 430 | labeledGraph | Implement createAllSubobjects | push | ggazzi |
travis-ci | pending completion | |
| 384 | labeledGraph | Implement createAllSubobjects | push | ggazzi |
travis-ci | pending completion | |
| 357 | labeledGraph | Implement createAllSubobjects | push | ggazzi |
travis-ci | pending completion | |
| 333 | labeledGraph | Implement instance Cocomplete | push | ggazzi |
travis-ci | pending completion | |
| 320 | labeledGraph | Implement calculateNCoproduct | push | ggazzi |
travis-ci | pending completion | |
| 318 | labeledGraph | Implement calculateCoproduct | push | ggazzi |
travis-ci | pending completion | |
| 315 | labeledGraph | fixup 852be93 | push | ggazzi |
travis-ci | pending completion |