You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
robin-aws opened this issue
Oct 11, 2023
· 2 comments
Assignees
Labels
kind: enhancementEnhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafnypart: standard librariesStandard libraries packaged in the Dafny distribution
Note the existing implementation has a fair bit of more generic code that should be moved to other libraries. For example, JSON/Utils/Str.dfy has a bunch of code for converting between numbers and their string representation, which could be its own small library.
kind: enhancementEnhancements, feature requests, etc. These are NOT bugs, but ways we can improve Dafnypart: standard librariesStandard libraries packaged in the Dafny distribution
JSON serialization and deserialization.
Existing source:
dafny-lang/libraries/src/JSON
Note the existing implementation has a fair bit of more generic code that should be moved to other libraries. For example, JSON/Utils/Str.dfy has a bunch of code for converting between numbers and their string representation, which could be its own small library.
Depends on #4746
Depends on #4648
Depends on #4650
The text was updated successfully, but these errors were encountered: