Skip to content

Issues: septract/starling-tool

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

63 Open 27 Closed
63 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

Exclusive/disjoint on view atoms? enhancement has example noncritical syntax
#153 opened Jun 12, 2017 by MattWindsor91
Remove Starling.sublime-syntax fairly easy noncritical yakshave
#152 opened Jun 11, 2017 by MattWindsor91
Automatic exclusive constraint generation
#151 opened Mar 10, 2017 by MattWindsor91
Public views enhancement has example syntax theory
#149 opened Mar 9, 2017 by MattWindsor91
6
Pointers and heap assignment (concept discussion) enhancement needs example noncritical question syntax theory
#148 opened Feb 22, 2017 by MattWindsor91
5
Relax restrictions on rvalues in atomic sections enhancement fairly easy has example syntax theory
#147 opened Feb 20, 2017 by MattWindsor91
2
Process GRASShopper output back into Starling enhancement question
#146 opened Feb 17, 2017 by MattWindsor91
Allow subproof runs question theory
#145 opened Feb 17, 2017 by MattWindsor91
Decouple pipeline enhancement question
#144 opened Feb 17, 2017 by MattWindsor91
1
Interactive outliner mode enhancement question
#143 opened Feb 17, 2017 by MattWindsor91
5
Conditionals in atomic sections enhancement has example syntax
#141 opened Feb 9, 2017 by septract
New syntax for ghost variables and operations? enhancement has example noncritical question syntax
#140 opened Feb 6, 2017 by MattWindsor91
2
Make Starling warn the user if one of the views is unsatisfiable enhancement
#137 opened Feb 1, 2017 by septract
2
Optimise GRASShopper terms enhancement noncritical optimisation
#136 opened Feb 1, 2017 by MattWindsor91
5
Prove the MCS queue lock using GRASShopper example
#133 opened Jan 31, 2017 by septract
@septract
2
How do we handle failure / divergence properly?
#130 opened Jan 18, 2017 by septract
@septract @MattWindsor91
2
Method-local invariants? enhancement has example noncritical question syntax
#127 opened Jan 4, 2017 by MattWindsor91
1
Conditional views without else enhancement fairly easy has example syntax
#126 opened Jan 4, 2017 by MattWindsor91
1
[grasshopper] Let procedures / post-condition refer to pre-condition footprint
#124 opened Dec 19, 2016 by septract
1
Constraint conjunction enhancement needs example syntax theory
#123 opened Dec 13, 2016 by MattWindsor91
6
State machine syntax enhancement has example noncritical syntax
#122 opened Dec 13, 2016 by MattWindsor91
1
Update or remove Emacs major mode bug enhancement noncritical yakshave
#121 opened Dec 12, 2016 by MattWindsor91
Grasshopper tests fairly easy
#116 opened Dec 2, 2016 by septract CAV'17
@septract
2
Aliasing problem with indices bug question
#114 opened Dec 1, 2016 by MattWindsor91
2
Question-mark in views enhancement fairly easy has example syntax
#107 opened Nov 29, 2016 by bensimner
1
ProTip! Exclude everything labeled bug with -label:bug.