Skip to content

Issues: Verites/verigraph

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

35 Open 27 Closed
35 Open 27 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Output for overlappings new feature
#61 opened Sep 9, 2017 by jsbezerra
Duplicated types NamedX code quality
#60 opened Jul 27, 2017 by ggazzi
Unclear types for conflicts and dependencies code quality
#59 opened Jul 26, 2017 by ggazzi
Duplicated code for conflicts and dependencies code quality
#58 opened Jul 26, 2017 by ggazzi
1
Representation of Doubly-Typed Graphs enhancement
#57 opened Jun 26, 2017 by jsbezerra
Scheduling rule executions new feature
#56 opened Jun 19, 2017 by andreicosta
1
Final Pullback Complement Place help wanted new feature question
#55 opened Jun 12, 2017 by andreicosta
Terrible performance of isomorphism check between morphisms performance
#53 opened Jun 1, 2017 by ggazzi
Fix "FIXME" issue in src/library/Abstract/Category/AdhesiveHLR.hs
#51 opened May 23, 2017 by verigraph
Modules Refactoring code quality enhancement help wanted in progress question
#50 opened May 22, 2017 by jsbezerra
2 of 7 tasks
Version 2.0
@ggazzi @andreicosta
@jsbezerra @lm-rodrigues
3
Fix "TODO" issue in src/library/Util/List.hs code quality
#49 opened May 17, 2017 by lm-rodrigues
Fix "TODO" issue in src/library/XML/ParseSndOrderRule.hs code quality
#48 opened May 17, 2017 by lm-rodrigues
Fix "TODO" issue in src/library/Analysis/EssentialCriticalPairs.hs code quality
#40 opened May 12, 2017 by lm-rodrigues
Fix "TODO" issue in src/library/Analysis/CriticalPairs.hs code quality
#38 opened May 12, 2017 by lm-rodrigues
Create and document code style question
#29 opened May 10, 2017 by jsbezerra
11
M-Adhesive categories
#26 opened May 8, 2017 by ggazzi Version 2.0
1
Refactor FinitaryCategory Type Class enhancement in progress new feature
#25 opened May 8, 2017 by jsbezerra
3 of 5 tasks
Version 2.0
9
Unclear preconditions for induceSpanMorphism code quality enhancement
#23 opened Apr 26, 2017 by ggazzi
@jsbezerra
1
Define JSON input/output format to Web API interface question
#21 opened Apr 20, 2017 by lm-rodrigues
Add types to symbolic graphs enhancement new feature
#19 opened Apr 7, 2017 by ggazzi Attributed Graphs
@ggazzi
Allow String attributes on Symbolic Graphs enhancement new feature
#17 opened Apr 7, 2017 by ggazzi Attributed Graphs
@ggazzi
Calculate critical pairs with symbolic graphs new feature
#16 opened Apr 7, 2017 by ggazzi Attributed Graphs
@ggazzi
Read integer attributes from GGX files new feature
#15 opened Apr 7, 2017 by ggazzi Attributed Graphs
@ggazzi
(Untyped) Symbolic Graphs and Morphisms with Integers new feature
#14 opened Apr 7, 2017 by ggazzi Attributed Graphs
@ggazzi
Properly handle node/edge metadata enhancement new feature
#13 opened Mar 27, 2017 by ggazzi
ProTip! Exclude everything labeled bug with -label:bug.