coreJSON

coreJSON copied to clipboard

Two gripes regarding `JSON_Iterate` 1. JSON arrays can't hold key-value pairs, just values. Requiring `JSONPair_t` when iterating arrays unnecessarily complicates user code. IMO there should be separate APIs for iterating...

dachalco

Description ----------- With CBMC v6, unwinding assertions are enabled by default, and object bits no longer need to be set at compile time. Update various build rules to use the...

tautschnig

Release tags should be made on main branch

1

Also magically creating a branch for a release is not good practice. And breaks tools assuming this.

thomas-roos