formal - OpenGrok cross reference for /dports/lang/solidity/solidity

Name		Date	Size	#Lines	LOC
..		03-May-2022	-
ArraySlicePredicate.cpp	H A D	20-Dec-2021	3.4 KiB	92	58
ArraySlicePredicate.h	H A D	20-Dec-2021	2.1 KiB	63	20
BMC.cpp	H A D	20-Dec-2021	30.9 KiB	1,103	900
BMC.h	H A D	20-Dec-2021	6.6 KiB	199	112
CHC.cpp	H A D	20-Dec-2021	69.3 KiB	2,079	1,637
CHC.h	H A D	20-Dec-2021	17.7 KiB	427	196
EncodingContext.cpp	H A D	20-Dec-2021	5.3 KiB	216	160
EncodingContext.h	H A D	20-Dec-2021	6.3 KiB	189	76
ExpressionFormatter.cpp	H A D	20-Dec-2021	5.1 KiB	185	121
ExpressionFormatter.h	H A D	20-Dec-2021	1.3 KiB	42	9
Invariants.cpp	H A D	20-Dec-2021	2.6 KiB	87	54
Invariants.h	H A D	20-Dec-2021	1.1 KiB	38	14
ModelChecker.cpp	H A D	20-Dec-2021	4.5 KiB	149	112
ModelChecker.h	H A D	20-Dec-2021	3.1 KiB	101	40
ModelCheckerSettings.cpp	H A D	20-Dec-2021	3.9 KiB	133	99
ModelCheckerSettings.h	H A D	20-Dec-2021	6.4 KiB	176	99
Predicate.cpp	H A D	20-Dec-2021	20.6 KiB	662	517
Predicate.h	H A D	20-Dec-2021	8 KiB	233	102
PredicateInstance.cpp	H A D	20-Dec-2021	7.7 KiB	196	153
PredicateInstance.h	H A D	20-Dec-2021	2.9 KiB	90	46
PredicateSort.cpp	H A D	20-Dec-2021	3.8 KiB	115	81
PredicateSort.h	H A D	20-Dec-2021	3.3 KiB	80	14
SMTEncoder.cpp	H A D	20-Dec-2021	98.8 KiB	3,170	2,705
SMTEncoder.h	H A D	20-Dec-2021	22.4 KiB	495	246
SSAVariable.cpp	H A D	20-Dec-2021	1.1 KiB	42	19
SSAVariable.h	H A D	20-Dec-2021	1.3 KiB	53	21
SymbolicState.cpp	H A D	20-Dec-2021	11.3 KiB	338	266
SymbolicState.h	H A D	20-Dec-2021	8.7 KiB	256	149
SymbolicTypes.cpp	H A D	20-Dec-2021	18.2 KiB	590	501
SymbolicTypes.h	H A D	20-Dec-2021	3.9 KiB	86	47
SymbolicVariables.cpp	H A D	20-Dec-2021	10.5 KiB	402	333
SymbolicVariables.h	H A D	20-Dec-2021	8 KiB	302	191
VariableUsage.cpp	H A D	20-Dec-2021	3.7 KiB	120	85
VariableUsage.h	H A D	20-Dec-2021	2.5 KiB	66	29