search

gradual-verification / silicon-gv

Mozilla Public License 2.0
0 stars 3 forks source link

Fixes for Issue38 & Issue40 #41

Closed jennalwise closed 2 years ago

jennalwise commented 2 years ago

This branch contains commits that fix issue https://github.com/gradual-verification/silicon-gv/issues/38 and issue https://github.com/gradual-verification/silicon-gv/issues/40. This branch has been thoroughly reviewed and tested by @jennalwise .