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