issues
search
querycert
/
qcert
Compilation and Verification of Data-Centric Languages
https://querycert.github.io/
Apache License 2.0
56
stars
9
forks
source link
(fix) Use runtime call for stringLength in ImpJson translation
#112
Closed
jeromesimeon
closed
5 years ago
jeromesimeon
commented
5 years ago
Signed-off-by: Jerome Simeon
jeromesimeon@me.com
Signed-off-by: Jerome Simeon jeromesimeon@me.com