Check/fix Java backend to handle new floating point arithmetics

querycert / qcert

Compilation and Verification of Data-Centric Languages

https://querycert.github.io/

Apache License 2.0

56 stars 9 forks source link

Closed jeromesimeon closed 6 years ago

jeromesimeon commented 6 years ago

The Java backend hasn't been thoroughly tested with the new float/flocq support.

jeromesimeon commented 6 years ago

fixes to java backend and now running java tests in circle ci