Sign upLogin

Verites/verigraph

View on GitHub
Star
Branch: master(View all)
NameLines of codeMaintainabilityTest coverage
src/library/Category/TypedGraph/Finitary.hs
src/library/Category/TypedGraph/Limit.hs
src/library/Category/TypedGraphRule.hs
src/library/Category/TypedGraphRule/Adhesive.hs
src/library/Category/TypedGraphRule/Category.hs
src/library/Category/TypedGraphRule/FindMorphism.hs
src/library/Category/TypedGraphRule/Finitary.hs
src/library/Category/TypedGraphRule/Limit.hs
src/library/Data/DList.hs
src/library/Data/Graphs.hs
src/library/Data/Graphs/Morphism.hs
src/library/Data/Graphs/QuickCheck.hs
src/library/Data/Partition.hs
src/library/Data/Relation.hs
src/library/Data/TypedGraph.hs
src/library/Data/TypedGraph/Morphism.hs
src/library/Data/TypedGraph/Partition.hs
src/library/Data/TypedGraph/Partition/FromVerigraph.hs
src/library/Data/TypedGraph/Partition/Generator.hs
src/library/Data/TypedGraph/Partition/ToVerigraph.hs
src/library/Data/TypedGraph/Partition/Types.hs
src/library/Data/TypedGraph/Partition/Util.hs
src/library/Data/TypedGraph/Subgraph.hs
src/library/GrLang/AST.hs
src/library/GrLang/Compiler.hs
src/library/GrLang/Monad.hs
src/library/GrLang/Parser.hs
src/library/GrLang/Value.hs
src/library/Image/Dot/Prettyprint.hs
src/library/Image/Dot/StateSpace.hs
src/library/Image/Dot/TypedGraph.hs
src/library/Logic/Ctl.hs
src/library/Logic/Ctl/Base.hs
src/library/Logic/Ctl/Parser.hs
src/library/Logic/Ctl/Semantics.hs
src/library/Logic/Model.hs
src/library/Rewriting/DPO/TypedGraph.hs
src/library/Rewriting/DPO/TypedGraph/GraphProcess.hs
src/library/Rewriting/DPO/TypedGraph/GraphProcess/OccurrenceRelation.hs
src/library/Rewriting/DPO/TypedGraphRule.hs
src/library/Rewriting/DPO/TypedGraphRule/NacManipulation.hs
src/library/Rewriting/DPO/TypedGraphRule/Scheduling.hs
src/library/Util/Closures.hs
src/library/Util/List.hs
src/library/Util/Map.hs
src/library/Util/Monad.hs
src/library/XML/Formulas.hs
src/library/XML/GGXParseIn.hs
src/library/XML/GGXParseOut.hs
src/library/XML/GGXReader.hs