Verites
/
verigraph
61%
|
Repo Added
|
Files
77
|
Badge
Embed ▾
README BADGES
|
LAST BUILD ON BRANCH
master
branch: SELECT
CHANGE BRANCH
x
-
No branch selected
-
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
-
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
-
No branch selected
- 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
- 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
2840 of 4687 relevant lines covered (60.59%)
0.61 hits per line
Relevant lines Covered
4687
RELEVANT LINES
2840
COVERED LINES
0.61
HITS PER LINE
Source Files on master
| Coverage | ∆ | File | Lines | Relevant | Covered | Missed | Hits/Line |
|---|
Recent builds
| Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
|---|---|---|---|---|---|---|---|
| 580 | master | stack install in more details | push |  jsbezerra |
travis-ci | pending completion | |
| 579 | master | Merge branch 'sndOrderFix' | push | andreicosta | travis-ci | pending completion | |
| 578 | sndOrderFix | Fix broken dependency | push | andreicosta | travis-ci | pending completion | |
| 575 | essence-experiments | Implement test with irreducibles | push |  ggazzi |
travis-ci | pending completion | |
| 574 | grlang | Add lua function GrLang.unsafe_flush_mem | push | ggazzi |
travis-ci | pending completion | |
| 573 | grlang | Expose size function for GrLang Graphs | push | ggazzi |
travis-ci | pending completion | |
| 572 | grlang | Add env variables to set GrLang memory | push | ggazzi |
travis-ci | pending completion | |
| 571 | grlang | Implement union of pair-subobjects | push | ggazzi |
travis-ci | pending completion | |
| 569 | grlang | Merge branch 'grlang' | push | ggazzi |
travis-ci | pending completion | |
| 568 | grlang | Expose GrLang internal memory status | push | ggazzi |
travis-ci | pending completion |