Skip to content

Issues: cosyverif/formalisms

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

12 Open 2 Closed
12 Open 2 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

Check that all formalisms are Lua 5.1 compliant bug
#20 opened Sep 14, 2016 by saucisson
@saucisson
Add example models enhancement
#18 opened Aug 29, 2016 by saucisson
How does a formalism handle node deletion? question
#13 opened Mar 4, 2016 by hle35
@saucisson
Add a function to iterate over all errors within a model/formalism enhancement
#11 opened Feb 19, 2016 by saucisson
@saucisson
Error message keys are ugly enhancement
#10 opened Feb 19, 2016 by saucisson
@saucisson
Directed graph should not allow both input and output to be false bug
#9 opened Feb 19, 2016 by saucisson
@saucisson
Directed graph should inherit from binary edges bug
#8 opened Feb 19, 2016 by saucisson
@saucisson
In meta, keys should not be text enhancement
#7 opened Feb 19, 2016 by saucisson
@saucisson
Default should be always a refines enhancement
#6 opened Feb 19, 2016 by saucisson
@saucisson
Add support for i18n enhancement
#5 opened Feb 8, 2016 by saucisson
Flat module names are difficult to use enhancement
#3 opened Jan 28, 2016 by saucisson
@saucisson
Adapt code to saucisson/layeredata changes bug
#2 opened Jan 28, 2016 by saucisson
@saucisson
ProTip! Follow long discussions with comments:>50.