v0.5.1

What's Changed

• Now kills SymExpr correctly by @kimjg1119 in #263
• Add Provenance feature for Type guards by @kimjg1119 in #265
• Update version of client by @jhnaldo in #268
• Update WebServer.scala by @weldone-dev in #266
• Support synthesis of JavaScript programs (fuzzing) by @jhnaldo in #269
• Refactor Implementation with Symbolic type by @kimjg1119 in #270
• Update type modeling for RealmRecord by @jhnaldo in #271

Full Changelog: v0.5.0...v0.5.1

The following list is automatically generated by git shortlog -sn --no-merges v0.5.0..v0.5.1:

     5	Jihyeok Park (jhnaldo)
     3	Jungyeom Kim (kimjg1119)
     1	Weldone