path	# lines of code	number of updates	days since first update	days since last update	first updated	last updated	
Sources/BoogieAST/BoogieAST.cs	1181	17	1123	661	2019-01-04	2020-04-10
Sources/BoogieAST/TestMain.cs	11	2	1123	1115	2019-01-04	2019-01-12
Sources/ExternalToolsManager/DotnetCliToolManager.cs	82	5	867	845	2019-09-17	2019-10-09
Sources/ExternalToolsManager/DownloadedToolManager.cs	173	6	867	846	2019-09-17	2019-10-08
Sources/ExternalToolsManager/ExternalToolsManager.cs	48	4	867	661	2019-09-17	2020-04-10
Sources/ExternalToolsManager/SolcManager.cs	24	4	853	846	2019-10-01	2019-10-08
Sources/ExternalToolsManager/ToolManager.cs	64	4	867	845	2019-09-17	2019-10-09
Sources/ExternalToolsManager/ToolSourceSettings.cs	18	3	867	847	2019-09-17	2019-10-07
Sources/SolToBoogie/BoogieTranslator.cs	68	33	1123	661	2019-01-04	2020-04-10
Sources/SolToBoogie/ConstructorCollector.cs	31	9	1123	851	2019-01-04	2019-10-03
Sources/SolToBoogie/ContractCollector.cs	18	2	1123	1115	2019-01-04	2019-01-12
Sources/SolToBoogie/FallbackGenerator.cs	158	15	866	717	2019-09-18	2020-02-14
Sources/SolToBoogie/FunctionEventCollector.cs	36	2	1123	1115	2019-01-04	2019-01-12
Sources/SolToBoogie/FunctionEventResolver.cs	98	3	1123	888	2019-01-04	2019-08-27
Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs	611	45	1123	661	2019-01-04	2020-04-10
Sources/SolToBoogie/HarnessGenerator.cs	330	43	1123	658	2019-01-04	2020-04-13
Sources/SolToBoogie/HoudiniHelper.cs	66	4	1123	913	2019-01-04	2019-08-02
Sources/SolToBoogie/InheritanceCollector.cs	26	2	1123	1115	2019-01-04	2019-01-12
Sources/SolToBoogie/MapArrayCollector.cs	37	2	1123	1115	2019-01-04	2019-01-12
Sources/SolToBoogie/MapArrayHelper.cs	125	26	1123	661	2019-01-04	2020-04-10
Sources/SolToBoogie/ModSetAnalysis.cs	167	3	852	848	2019-10-02	2019-10-06
Sources/SolToBoogie/ModifierCollector.cs	93	10	1101	658	2019-01-26	2020-04-13
Sources/SolToBoogie/ParseUtils.cs	157	11	810	661	2019-11-13	2020-04-10
Sources/SolToBoogie/ProcedureTranslator.cs	3056	120	1123	654	2019-01-04	2020-04-17
Sources/SolToBoogie/ResolutionHelper.cs	59	2	1123	1115	2019-01-04	2019-01-12
Sources/SolToBoogie/RevertLogicGenerator.cs	479	13	879	661	2019-09-05	2020-04-10
Sources/SolToBoogie/SolidityDesugaring.cs	281	10	1123	851	2019-01-04	2019-10-03
Sources/SolToBoogie/SourceInfoCollector.cs	99	4	1123	1102	2019-01-04	2019-01-25
Sources/SolToBoogie/StateVariableCollector.cs	26	2	1123	1115	2019-01-04	2019-01-12
Sources/SolToBoogie/StateVariableResolver.cs	92	2	1123	1115	2019-01-04	2019-01-12
Sources/SolToBoogie/TransUtils.cs	799	55	1123	661	2019-01-04	2020-04-10
Sources/SolToBoogie/TranslatorContext.cs	441	34	1123	658	2019-01-04	2020-04-13
Sources/SolToBoogie/TranslatorFlags.cs	57	28	892	661	2019-08-23	2020-04-10
Sources/SolToBoogie/UsingCollector.cs	37	2	753	746	2020-01-09	2020-01-16
Sources/SolToBoogieTest/CorralConfiguration.cs	18	4	1109	810	2019-01-18	2019-11-13
Sources/SolToBoogieTest/Program.cs	61	22	1109	661	2019-01-18	2020-04-10
Sources/SolToBoogieTest/RegressionExecutor.cs	246	36	1109	797	2019-01-18	2019-11-26
Sources/SolidityAST/BasicASTVisitor.cs	106	2	1123	1115	2019-01-04	2019-01-12
Sources/SolidityAST/CompilerOutput.cs	48	4	1123	1106	2019-01-04	2019-01-21
Sources/SolidityAST/IASTGenericVisitor.cs	53	2	1123	1115	2019-01-04	2019-01-12
Sources/SolidityAST/IASTVisitor.cs	99	2	1123	1115	2019-01-04	2019-01-12
Sources/SolidityAST/NodeMapper.cs	28	2	1123	1115	2019-01-04	2019-01-12
Sources/SolidityAST/RegressionExecutor.cs	141	6	1123	924	2019-01-04	2019-07-22
Sources/SolidityAST/SolidityAST.cs	1474	14	1123	851	2019-01-04	2019-10-03
Sources/SolidityAST/SolidityCompiler.cs	67	3	1123	1115	2019-01-04	2019-01-12
Sources/SolidityAST/TestMain.cs	35	3	1123	661	2019-01-04	2020-04-10
Sources/SolidityAST/Utils.cs	17	2	1123	1115	2019-01-04	2019-01-12
Sources/SolidityCFG/CFGBuilder.cs	157	2	1123	1115	2019-01-04	2019-01-12
Sources/SolidityCFG/CFGNodeFactory.cs	16	2	1123	1115	2019-01-04	2019-01-12
Sources/SolidityCFG/SolidityCFG.cs	104	2	1123	1115	2019-01-04	2019-01-12
Sources/SolidityCFG/TestMain.cs	68	2	1123	1115	2019-01-04	2019-01-12
Sources/VeriSol.props	14	7	867	614	2019-09-17	2020-05-27
Sources/VeriSol/Program.cs	98	33	940	810	2019-07-06	2019-11-13
Sources/VeriSol/VeriSolExecuter.cs	383	34	940	620	2019-07-06	2020-05-21
azure-pipelines.yml	36	18	1123	614	2019-01-04	2020-05-27