Code - Verites/verigraph

Branch: master(View all)

Name	Lines of code	Maintainability	Test coverage
src/CLI/CriticalPairAnalysis.hs
src/CLI/ConcurrentRules.hs
src/library/Abstract/Rewriting/DPO/Process.hs
src/library/Rewriting/DPO/TypedGraph.hs
src/library/XML/GGXParseIn.hs
src/library/Category/TypedGraph/FindMorphism.hs
src/library/Category/TypedGraph/Adhesive.hs
src/library/Category/TypedGraphRule/Finitary.hs
tests/grammars/elevator.gps/call_request.gpr
tests/HSpecTests.hs
tests/GrLang/CompilerSpec/case20.grl
tests/GrLang/CompilerSpec/case5/main.grl
tests/GrLang/CompilerSpec/case24.grl
tests/GrLang/ReplIntegrationSpec/morphism-methods.stdout
tests/Logic/Ctl/ParserSpec.hs
grammars/ConcurrentRule/simple-injective-epi-pair.ggx
grammars/MedicalGuideline/evolutionVersion/instrutivo-original.ggx
grammars/SecondOrder/minimalDepInterLevel.ggx
grammars/Mutex/mutualExclusion.ggx
.hspec
README.md
src/CLI/ParallelIndependence.hs
src/repl/lua/grlang.lua
src/library/Abstract/Category/Adhesive.hs
src/library/Rewriting/DPO/TypedGraph/GraphProcess.hs
src/library/Data/TypedGraph/Partition.hs
src/library/Data/TypedGraph/Partition/Generator.hs
src/library/Data/Graphs.hs
tests/grammars/elevatorWithFlags.gps/type.gty
tests/grammars/mutex.gps/type.gty
tests/grammars/mutex.gps/DDD-waitingRule.gpr
tests/GrLang/CompilerSpec/case1.grl
tests/GrLang/CompilerSpec/case17.grl
tests/GrLang/ReplIntegrationSpec/cospan-methods.lua
tests/GrLang/ReplIntegrationSpec/morphism-methods.lua
tests/GrLang/ReplIntegrationSpec/graph-methods.stderr
tests/GrLang/ReplIntegrationSpec.hs
.architecture.yaml
tests/Category/TypedGraph/FinalPullbackComplementSpec.hs
scripts/api-haddock-html-extract.sh
.hlint.yaml
src/library/Abstract/Rewriting/DPO/Derivation.hs
src/library/XML/Formulas.hs
grammars/Process/server.ggx
src/library/XML/GPRReader/GXLPreProcessing.hs
grammars/Elevator/elevator.ggx
src/library/XML/GGXReader/SndOrder.hs
src/library/Data/TypedGraph.hs
src/library/Data/TypedGraph/Partition/Util.hs
src/library/Data/TypedGraph/Partition/FromVerigraph.hs