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
Detailed source file information is not available for this build.
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 |