Issues

• Output for overlappings

  new feature
  Verites/verigraph#61 · Filter by author jsbezerra opened on Sep 9, 2017

• Duplicated types NamedX

  code quality
  Verites/verigraph#60 · Filter by author ggazzi opened on Jul 27, 2017

• Unclear types for conflicts and dependencies

  code quality
  Verites/verigraph#59 · Filter by author ggazzi opened on Jul 26, 2017

• Duplicated code for conflicts and dependencies

  code quality
  Verites/verigraph#58 · Filter by author ggazzi opened on Jul 26, 2017
  1

• Representation of Doubly-Typed Graphs

  enhancement
  Verites/verigraph#57 · Filter by author jsbezerra opened on Jun 26, 2017

• Scheduling rule executions

  new feature
  Verites/verigraph#56 · Filter by author andreicosta opened on Jun 19, 2017
  1

• Final Pullback Complement Place

  help wantednew featurequestion
  Verites/verigraph#55 · Filter by author andreicosta opened on Jun 12, 2017

• Terrible performance of isomorphism check between morphisms

  performance
  Verites/verigraph#53 · Filter by author ggazzi opened on Jun 1, 2017

• Fix "FIXME" issue in src/library/Abstract/Category/AdhesiveHLR.hs

  Verites/verigraph#51 · Filter by author verigraph opened on May 23, 2017

• Modules Refactoring

  code qualityenhancementhelp wantedin progressquestion
  Verites/verigraph#50 · Filter by author jsbezerra opened on May 22, 2017 · Version 2.0
  3

  

• Fix "TODO" issue in src/library/Util/List.hs

  code quality
  Verites/verigraph#49 · Filter by author lm-rodrigues opened on May 17, 2017

• Fix "TODO" issue in src/library/XML/ParseSndOrderRule.hs

  code quality
  Verites/verigraph#48 · Filter by author lm-rodrigues opened on May 17, 2017

• Fix "TODO" issue in src/library/Analysis/EssentialCriticalPairs.hs

  code quality
  Verites/verigraph#40 · Filter by author lm-rodrigues opened on May 12, 2017

• Fix "TODO" issue in src/library/Analysis/CriticalPairs.hs

  code quality
  Verites/verigraph#38 · Filter by author lm-rodrigues opened on May 12, 2017

• Create and document code style

  question
  Verites/verigraph#29 · Filter by author jsbezerra opened on May 10, 2017
  11

• M-Adhesive categories

  Verites/verigraph#26 · Filter by author ggazzi opened on May 8, 2017 · Version 2.0
  1

• Refactor FinitaryCategory Type Class

  enhancementin progressnew feature
  Verites/verigraph#25 · Filter by author jsbezerra opened on May 8, 2017 · Version 2.0
  9

• Unclear preconditions for induceSpanMorphism

  code qualityenhancement
  Verites/verigraph#23 · Filter by author ggazzi opened on Apr 26, 2017
  1

  

• Define JSON input/output format to Web API

  interfacequestion
  Verites/verigraph#21 · Filter by author lm-rodrigues opened on Apr 20, 2017

• Add types to symbolic graphs

  enhancementnew feature
  Verites/verigraph#19 · Filter by author ggazzi opened on Apr 7, 2017 · Attributed Graphs
  

• Allow String attributes on Symbolic Graphs

  enhancementnew feature
  Verites/verigraph#17 · Filter by author ggazzi opened on Apr 7, 2017 · Attributed Graphs
  

• Calculate critical pairs with symbolic graphs

  new feature
  Verites/verigraph#16 · Filter by author ggazzi opened on Apr 7, 2017 · Attributed Graphs
  

• Read integer attributes from GGX files

  new feature
  Verites/verigraph#15 · Filter by author ggazzi opened on Apr 7, 2017 · Attributed Graphs
  

• (Untyped) Symbolic Graphs and Morphisms with Integers

  new feature
  Verites/verigraph#14 · Filter by author ggazzi opened on Apr 7, 2017 · Attributed Graphs
  

• Properly handle node/edge metadata

  enhancementnew feature
  Verites/verigraph#13 · Filter by author ggazzi opened on Mar 27, 2017