querycert / qcert

Compilation and Verification of Data-Centric Languages
https://querycert.github.io/
Apache License 2.0
56 stars 9 forks source link

Remove some unmaintained/untested compilation targets, and paths #124

Closed jeromesimeon closed 4 years ago

jeromesimeon commented 5 years ago

As we are moving toward a new/sounder JavaScript backend, I am wondering if we should consider removing the following:

Optionally, I'm unclear if there is any interest in maintaining:

jeromesimeon commented 4 years ago

The old JavaScript backends (from NNRC and NNRSImp) are now removed in favour of the new Imp-based backend.

Cloudant support and other dependent on the previous JavaScript backend (notably SparkRDD support) have been removed.