path	# lines of code	number of updates	days since first update	days since last update	first updated	last updated	
cbmc_viewer/make_trace.py	28	2	536	105	2020-08-14	2021-10-19
cbmc_viewer/configt.py	13	1	536	536	2020-08-14	2020-08-14
cbmc_viewer/templates/trace.jinja.html	73	1	536	536	2020-08-14	2020-08-14
cbmc_viewer/templates/link.jinja.html	37	1	536	536	2020-08-14	2020-08-14
cbmc_viewer/templates/summary.jinja.html	146	3	536	105	2020-08-14	2021-10-19
cbmc_viewer/templates/code.jinja.html	14	1	536	536	2020-08-14	2020-08-14
cbmc_viewer/sourcet.py	235	6	536	104	2020-08-14	2021-10-20
cbmc_viewer/__init__.py	1	1	536	536	2020-08-14	2020-08-14
cbmc_viewer/make_symbol.py	34	3	536	105	2020-08-14	2021-10-19
cbmc_viewer/reachablet.py	124	5	536	105	2020-08-14	2021-10-19
cbmc_viewer/symbolt.py	136	6	536	105	2020-08-14	2021-10-19
cbmc_viewer/make_reachable.py	31	2	536	105	2020-08-14	2021-10-19
cbmc_viewer/runt.py	24	2	536	259	2020-08-14	2021-05-18
cbmc_viewer/srcloct.py	102	7	536	48	2020-08-14	2021-12-15
cbmc_viewer/viewer.py	147	5	536	104	2020-08-14	2021-10-20
cbmc_viewer/markup_trace.py	142	4	536	105	2020-08-14	2021-10-19
cbmc_viewer/resultt.py	319	6	536	99	2020-08-14	2021-10-25
cbmc_viewer/make_property.py	27	2	536	105	2020-08-14	2021-10-19
cbmc_viewer/propertyt.py	126	6	536	105	2020-08-14	2021-10-19
cbmc_viewer/make_loop.py	28	2	536	105	2020-08-14	2021-10-19
cbmc_viewer/optionst.py	340	5	536	104	2020-08-14	2021-10-20
cbmc_viewer/make_result.py	26	2	536	105	2020-08-14	2021-10-19
cbmc_viewer/make_coverage.py	27	2	536	105	2020-08-14	2021-10-19
cbmc_viewer/loopt.py	152	4	536	105	2020-08-14	2021-10-19
cbmc_viewer/coveraget.py	339	7	536	48	2020-08-14	2021-12-15
cbmc_viewer/templates.py	32	3	536	21	2020-08-14	2022-01-11
cbmc_viewer/viewer.css	82	1	536	536	2020-08-14	2020-08-14
cbmc_viewer/tracet.py	506	10	536	91	2020-08-14	2021-11-02
cbmc_viewer/version.py	7	6	536	48	2020-08-14	2021-12-15
cbmc_viewer/util.py	35	2	536	99	2020-08-14	2021-10-25
cbmc_viewer/markup_summary.py	176	6	536	104	2020-08-14	2021-10-20
cbmc_viewer/markup_link.py	52	7	536	147	2020-08-14	2021-09-07
cbmc_viewer/report.py	37	1	536	536	2020-08-14	2020-08-14
cbmc_viewer/markup_code.py	125	3	536	105	2020-08-14	2021-10-19
cbmc_viewer/make_source.py	30	2	536	105	2020-08-14	2021-10-19
cbmc_viewer/parse.py	63	1	536	536	2020-08-14	2020-08-14
cbmc_viewer/filet.py	38	2	536	256	2020-08-14	2021-05-21
cbmc_viewer/viewer.js	78	1	536	536	2020-08-14	2020-08-14
cbmc_viewer/MANIFEST.in	4	1	107	107	2021-10-17	2021-10-17
cbmc_viewer/symbol_table.py	105	4	536	180	2020-08-14	2021-08-05
setup.py	47	8	536	47	2020-08-14	2021-12-16
summary/stubs.py	413	1	111	111	2021-10-13	2021-10-13
summary/summary.py	200	2	111	105	2021-10-13	2021-10-19