Code - Verites/verigraph

Branch: master(View all)

Name	Lines of code	Maintainability	Test coverage
grammars/SecondOrder/deletion.ggx
grammars/SecondOrder/ilCP.ggx
grammars/SecondOrder/invalid2rule.ggx
grammars/SecondOrder/minimalDepInterLevel.ggx
grammars/SecondOrder/nacs2rule.ggx
grammars/Server/server.ggx
images/Verigraph.png
scripts/api-haddock-html-extract.sh
scripts/check-architecture.py	111	A 2 hrs
scripts/test-expand-state-space.sh
src/CLI/ApplySndOrderRules.hs
src/CLI/Cli.hs
src/CLI/ConcurrentRules.hs
src/CLI/CriticalPairAnalysis.hs
src/CLI/GlobalOptions.hs
src/CLI/ModelChecker.hs
src/CLI/ParallelIndependence.hs
src/CLI/Processes.hs
src/CLI/Util.hs
src/library/Abstract/Category.hs
src/library/Abstract/Category/Adhesive.hs
src/library/Abstract/Category/FindMorphism.hs
src/library/Abstract/Category/Finitary.hs
src/library/Abstract/Category/Limit.hs
src/library/Abstract/Constraint.hs
src/library/Abstract/Rewriting/DPO.hs
src/library/Abstract/Rewriting/DPO/Derivation.hs
src/library/Abstract/Rewriting/DPO/DiagramAlgorithms.hs
src/library/Abstract/Rewriting/DPO/Process.hs
src/library/Abstract/Rewriting/DPO/StateSpace.hs
src/library/Analysis/ConcurrentRules.hs
src/library/Analysis/CriticalPairs.hs
src/library/Analysis/CriticalSequence.hs
src/library/Analysis/EssentialCriticalPairs.hs
src/library/Analysis/Interlevel/EvolutionarySpans.hs
src/library/Analysis/Interlevel/InterLevelCP.hs
src/library/Analysis/ParallelIndependent.hs
src/library/Analysis/Processes.hs
src/library/Base/Annotation.hs
src/library/Base/Cardinality.hs
src/library/Base/Isomorphic.hs
src/library/Base/Location.hs
src/library/Base/Valid.hs
src/library/Category/Graph.hs
src/library/Category/TypedGraph.hs
src/library/Category/TypedGraph/Adhesive.hs
src/library/Category/TypedGraph/Category.hs
src/library/Category/TypedGraph/CommutingSquares.hs
src/library/Category/TypedGraph/FinalPullbackComplement.hs
src/library/Category/TypedGraph/FindMorphism.hs