Sign upLogin

Verites/verigraph

View on GitHub
Star

Showing 188 of 188 total issues

TODO found
Open

        -- TODO: replace explicit test cases with pseudo-random generation
Severity: Minor
Found in tests/GrLang/CompilerSpec.hs by fixme

TODO found
Open

-- TODO: break this module in two, one for graphs and other for typed graphs?
Severity: Minor
Found in src/library/Data/TypedGraph/Partition/ToVerigraph.hs by fixme

TODO found
Open

    originalRulesWithMatches = calculateRulesColimit sequence -- TODO: unify this two functions
Severity: Minor
Found in src/library/Rewriting/DPO/TypedGraph/GraphProcess.hs by fixme

TODO found
Open

-- TODO: this function should not be here in this module
Severity: Minor
Found in src/library/Category/TypedGraph/Adhesive.hs by fixme

TODO found
Open

-- TODO: this function should not be here in this module
Severity: Minor
Found in src/library/Category/TypedGraph/Adhesive.hs by fixme

TODO found
Open

        -- TODO: replace explicit test cases with pseudo-random generation
Severity: Minor
Found in tests/GrLang/CompilerSpec.hs by fixme

FIXME found
Open

  -- FIXME: rethink this function and the best module to place it
Severity: Minor
Found in src/library/Abstract/Rewriting/DPO.hs by fixme

TODO found
Open

  -- TODO: implement missing methods of Config for RuleMorphism
Severity: Minor
Found in src/library/Category/TypedGraphRule/Limit.hs by fixme
Severity
Category
Status
Source
Language