- Fixed bug causing crash when using split_fraction statement in loop body - VeriFast now knows that string literals are nonzero - VeriFast now supports opening a fraction of a predicate that contains coefficients
- Fixed bug causing crash when using split_fraction statement in loop body
- VeriFast now knows that string literals are nonzero
- VeriFast now supports opening a fraction of a predicate that contains coefficients


willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast