Issues
- 1
Online demo seems not working
#147 opened by xiaoxiangmoe - 4
Demo not working
#146 opened by lazywithclass - 1
ssa
#144 opened by BenjaminCosman - 0
No mutability for Enums
#143 opened by panagosg7 - 0
Measure and symbol name clash
#142 opened by panagosg7 - 0
Catch malformed refinement in `rsc`
#141 opened by panagosg7 - 1
Add DeadCast for Join
#130 opened by ranjitjhala - 1
- 1
Circular logic
#114 opened by BenjaminCosman - 1
Alias + this
#104 opened by BenjaminCosman - 2
Variable named "v"
#105 opened by BenjaminCosman - 1
Create null literal singleton
#98 opened by BenjaminCosman - 1
Managing union refinements
#59 opened by panagosg7 - 1
Short circuiting
#75 opened by BenjaminCosman - 1
Ugly crash
#113 opened by BenjaminCosman - 1
ssa
#140 opened by BenjaminCosman - 1
bitvector
#139 opened by BenjaminCosman - 0
Weird really slow query
#94 opened by BenjaminCosman - 1
Offsets
#121 opened by BenjaminCosman - 1
SSA bug
#138 opened by BenjaminCosman - 1
real?
#136 opened by BenjaminCosman - 1
Rconc/Fixpoint broke some tests
#129 opened by ranjitjhala - 1
Support `export` for public functions
#127 opened by ranjitjhala - 0
Loop SSA
#122 opened by BenjaminCosman - 1
Refinements on constructors
#118 opened by BenjaminCosman - 0
+= ++ interaction
#120 opened by BenjaminCosman - 1
Missing qualifier
#117 opened by BenjaminCosman - 1
Scope of 'this'
#116 opened by BenjaminCosman - 3
Missing deadcast
#111 opened by BenjaminCosman - 1
Arguments out of scope bug
#110 opened by BenjaminCosman - 1
Unification
#109 opened by BenjaminCosman - 1
Refinements in constructors
#108 opened by BenjaminCosman - 1
Weird crash
#89 opened by BenjaminCosman - 1
Particularly useless error
#102 opened by BenjaminCosman - 1
More referencing fields in refinements
#101 opened by BenjaminCosman - 3
Referencing mutable fields in refinements
#100 opened by BenjaminCosman - 3
Primitive BitVector support
#92 opened by panagosg7 - 1
TVar meets intersection
#90 opened by BenjaminCosman - 7
Non-linear arithmetic
#91 opened by BenjaminCosman - 1
- 1
Inference with unions
#87 opened by BenjaminCosman - 1
TVar scope
#88 opened by BenjaminCosman - 0
Add support for do-while loop
#76 opened by BenjaminCosman - 2
- 1
- 1
- 2
Add support for "break" statement
#70 opened by BenjaminCosman - 9
SSA Join for different sub-classes
#65 opened by ranjitjhala - 0
Pattern match error
#62 opened by ranjitjhala - 4
Bizarre error with HOF
#61 opened by ranjitjhala