src/utils · 5ad922d2b89a0ffc772e7f7dfe76a45334b3c278 · fact-depend / cwe_checker

* Removes old version of log_utils, prototypes for new version.

* Implemented native logging

* Json-Output basically working.

* Added acceptance test for JSON parsing

* Adds some odoc to log_utils.

* Added support for file output (--cwe-checker-out)

* Add acceptance test for file output

authored Jul 24, 2019

1d9991f1

Name	Last commit	Last update
..
address_translation.ml		Loading commit data...
address_translation.mli		Loading commit data...
cconv.ml		Loading commit data...
cconv.mli		Loading commit data...
json_utils.ml		Loading commit data...
json_utils.mli		Loading commit data...
log_utils.ml		Loading commit data...
log_utils.mli		Loading commit data...
symbol_utils.ml		Loading commit data...
symbol_utils.mli		Loading commit data...