Verites
/
verigraph
63%
master: 61%
master: 61%
|
Repo Added
|
Files
77
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
process
branch: process
CHANGE BRANCH
x
-
process
-
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
-
labeledGraph
-
layersRefactoring
-
markdown-lint
-
master
-
modulesRefactoring
-
new-morphisms
-
newIndependenceAlgorithm
-
new_ghc
-
parallel
-
parserRefactoring
-
partial-map-classifier
-
partitionsRefactoring
-
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
-
process
- 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
- labeledGraph
- layersRefactoring
- markdown-lint
- master
- modulesRefactoring
- new-morphisms
- newIndependenceAlgorithm
- new_ghc
- parallel
- parserRefactoring
- partial-map-classifier
- partitionsRefactoring
- 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
2109 of 3342 relevant lines covered (63.11%)
0.63 hits per line
Relevant lines Covered
3342
RELEVANT LINES
2109
COVERED LINES
0.63
HITS PER LINE
Source Files on process
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 379 | process | solving top-level binding warning | push |  jsbezerra |
travis-ci | pending completion | |
| 376 | process | solving top-level binding warning | push | jsbezerra |
travis-ci | pending completion | |
| 374 | process | solving top-level binding warning | push | jsbezerra |
travis-ci | pending completion | |
| 335 | process | Restricting DPO functions to DPO type class instead of AdhesiveHLR | push |  jsbezerra |
travis-ci | pending completion | |
| 330 | process | Generating graph processes for all rule sequences in a ggx file | push | jsbezerra |
travis-ci | pending completion | |
| 169 | process | Closing version 1.1.0 | push | jsbezerra |
travis-ci | pending completion | |
| 159 | process | Merge branch 'process' | push | jsbezerra |
travis-ci | pending completion | |
| 151 | process | Refactored Equivalence.EquivalenceClasses | push |  ggazzi |
travis-ci | pending completion | |
| 141 | process | Cleaning process output format | push | jsbezerra |
travis-ci | pending completion | |
| 138 | process | Cleaning process output format | push | jsbezerra |
travis-ci | pending completion |