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