Get JSON to work on Java

dafny-lang / libraries

Libraries useful for Dafny programs

Other

43 stars 25 forks source link

Get JSON to work on Java #121

Open robin-aws opened 1 year ago

robin-aws commented 1 year ago

We made some progress but couldn't get my workaround to verify on Dafny 4.0, and although @RustanLeino made progress on fixing Java backend limitations there are still some remaining.

robin-aws commented 1 year ago

Should work for 4.1 since we fixed the relevant Java backend bugs.