Verites / verigraph

66%

master: 61%

LAST BUILD ON BRANCH sesquiPushout

branch: sesquiPushout

CHANGE BRANCH

x

Reset

• sesquiPushout
• 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
• sndOrdScheduling
• sndOrderFix
• sndorderNAC
• symbgraph
• tests
• travis
• travis-setup
• travis_performance
• triggered-dependecies
• update-grammars
• update-lts

Build # 464

Build Type

push

travis-ci

Committed by andreicosta

Commit Message

Added final pullback complement for non left-linear rules and mono matches

fixed edges deletion

fixed edges deletion

fpbc doc

Fixed edges preservation

minor refactoring

Added tests for final pullback complement

Added hasFinalPullbackComplement to AdhesiveHLR

Moved FPBC to a new singleton type class

Run Details

2372 of 3619 relevant lines covered (65.54%)

0.66 hits per line