Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add SMTChecker tests for standard JSON | Leonardo Alt | 2018-11-23 | 1 | -0/+8 |
| | |||||
* | CMake: Update jsoncpp to v1.8.4 | Alexander Arlt | 2018-04-23 | 1 | -2/+2 |
| | |||||
* | Add static_assert for the correct jsoncpp version | Alex Beregszaszi | 2018-04-17 | 1 | -0/+5 |
| | |||||
* | Add new JSON API for better abstraction and for supporting strict JSON parsing | Alexander Arlt | 2018-02-21 | 1 | -0/+109 |