issues
search
ranjitjhala
/
sprite-lang
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
BSD 3-Clause "New" or "Revised" License
146
stars
13
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update to use current fixpoint
#10
ranjitjhala
closed
8 months ago
0
Can't handle monomorphic Data because 0-arg constructors aren't wrapped in ETApp
#9
shingarov
opened
9 months ago
0
how can I see the "SMTLIB" queries generated to solve the horn constraints?
#8
jwaldmann
opened
10 months ago
3
sprite: Can't parse z3 version: [(3," - build hashcode 37fe9cc764b7c98788813a071b82a241b46b9ad7")]
#7
jwaldmann
opened
10 months ago
0
Perhaps `emptylist` is a better name than `singleton` in L₅/pos/nil00
#6
shingarov
closed
1 year ago
1
Fix logical connective `&&`
#5
shingarov
closed
1 year ago
1
Unable to handle inductive examples from ESOP-13
#4
shingarov
opened
1 year ago
17
unknown parameter 'model_partial'
#3
k4rtik
closed
1 year ago
3
Remove dead substitution
#2
shingarov
closed
2 years ago
1
Fix typo
#1
numairmansur
closed
1 year ago
1