Issues
- 0
Exclusive/disjoint on view atoms?
#153 opened - 0
Remove `Starling.sublime-syntax`
#152 opened - 0
Automatic exclusive constraint generation
#151 opened - 6
Public views
#149 opened - 5
- 2
- 0
- 0
Allow subproof runs
#145 opened - 1
Decouple pipeline
#144 opened - 5
Interactive outliner mode
#143 opened - 0
Conditionals in atomic sections
#141 opened - 2
- 2
- 5
Optimise GRASShopper terms
#136 opened - 2
Prove the MCS queue lock using GRASShopper
#133 opened - 0
Make travis test GRASShopper benchmarks
#131 opened - 2
- 0
- 0
Incorrect and typoed error message
#128 opened - 1
Method-local invariants?
#127 opened - 1
Conditional views without else
#126 opened - 0
- 1
- 6
Constraint conjunction
#123 opened - 1
State machine syntax
#122 opened - 0
Update or remove Emacs major mode
#121 opened - 2
Grasshopper tests
#116 opened - 2
Aliasing problem with indices
#114 opened - 0
- 1
Move command framer to microcode
#112 opened - 1
Underscore placeholder variable
#111 opened - 1
Question-mark in views
#107 opened - 5
Custom command semantics
#105 opened - 2
Add frame suppression to microcode?
#104 opened - 0
Combinatorial constraints
#103 opened - 0
Remove `fmt` pretty printer
#102 opened - 8
Implement GRASShopper backend
#98 opened - 0
Improve 'not in environment' errors
#97 opened - 1
Circular buffer
#95 opened - 1
Array inference
#94 opened - 0
Add compact error representation output
#93 opened - 0
Dimitrios barrier
#92 opened - 0
Sense barrier
#91 opened - 0
- 3
- 2
- 0
Constants
#87 opened - 1
Local variables
#86 opened - 2
Simpson's 4 slot algorithm
#85 opened - 2