8 Commits

Author	SHA1	Message	Date
Kamil Śliwak	2b316ea018	prepare_report.py: Make parsing more lax to handle output from older compiler versions	2020-12-22 07:51:50 +01:00
Kamil Śliwak	f2b060e68d	prepare_report: Handle internal compiler errors in Standard JSON as errors, not missing bytecode	2020-12-22 07:51:50 +01:00
Kamil Śliwak	b3922bc300	prepare_report: Add command-line options for switching between SMT pragma stripping and only disabling the SMT checker	2020-12-22 07:51:48 +01:00
Kamil Śliwak	48eeaa8f80	prepare_report: Make error/missing data placeholders actually look like placeholders	2020-12-22 07:34:37 +01:00
Kamil Śliwak	d0dcc0a3f5	prepare_report: Report missing metadata as well	2020-12-22 07:34:37 +01:00
Kamil Śliwak	cd82498fe8	prepare_report: Unify error/missing data handling between JS and Python versions	2020-12-22 07:34:37 +01:00
Kamil Śliwak	82b9344da8	prepare_report.js: Replace var with const/let + minor cleanup	2020-12-22 04:56:10 +01:00
Kamil Śliwak	54609054b6	Extract the script embedded in storebytecode.js into a separate file	2020-12-22 01:51:50 +01:00