path	# lines of code	number of updates	days since first update	days since last update	first updated	last updated	
cmake_modules/gtest.cmake.in	15	3	1064	108	2019-05-17	2021-12-28
cmake_modules/Commons.cmake	79	4	905	108	2019-10-23	2021-12-28
include/HashedAbstractEnvironment.h	280	3	905	108	2019-10-23	2021-12-28
include/SpartaWorkQueue.h	272	10	821	108	2020-01-15	2021-12-28
include/PatriciaTreeMapAbstractPartition.h	170	6	1191	108	2019-01-10	2021-12-28
include/IntervalDomain.h	147	4	750	108	2020-03-26	2021-12-28
include/HashedSetAbstractDomain.h	121	3	905	108	2019-10-23	2021-12-28
include/PowersetAbstractDomain.h	142	3	905	108	2019-10-23	2021-12-28
include/DisjointUnionAbstractDomain.h	240	4	905	108	2019-10-23	2021-12-28
include/WeakPartialOrdering.h	419	10	889	108	2019-11-08	2021-12-28
include/PatriciaTreeMap.h	960	18	1333	108	2018-08-21	2021-12-28
include/PatriciaTreeSetAbstractDomain.h	91	4	905	108	2019-10-23	2021-12-28
include/S_Expression.h	528	4	1381	108	2018-07-04	2021-12-28
include/Exceptions.h	18	2	905	108	2019-10-23	2021-12-28
include/FixpointIterator.h	49	4	1325	108	2018-08-29	2021-12-28
include/SparseSetAbstractDomain.h	170	3	905	108	2019-10-23	2021-12-28
include/FiniteAbstractDomain.h	268	4	1073	108	2019-05-08	2021-12-28
include/Analyzer.h	209	7	791	108	2020-02-14	2021-12-28
include/PatriciaTreeSet.h	801	8	1191	108	2019-01-10	2021-12-28
include/ReducedProductAbstractDomain.h	82	6	1163	108	2019-02-07	2021-12-28
include/SmallSortedSetAbstractDomain.h	142	2	521	108	2020-11-10	2021-12-28
include/FlatSet.h	180	3	524	108	2020-11-07	2021-12-28
include/ConstantAbstractDomain.h	102	2	905	108	2019-10-23	2021-12-28
include/LiftedDomain.h	113	2	718	108	2020-04-27	2021-12-28
include/AbstractDomain.h	347	2	905	108	2019-10-23	2021-12-28
include/MonotonicFixpointIterator.h	456	9	1325	108	2018-08-29	2021-12-28
include/HashedAbstractPartition.h	222	4	905	108	2019-10-23	2021-12-28
include/Arity.h	44	2	759	108	2020-03-17	2021-12-28
include/DirectProductAbstractDomain.h	178	3	639	108	2020-07-15	2021-12-28
include/WeakTopologicalOrdering.h	240	6	1325	108	2018-08-29	2021-12-28
include/PatriciaTreeOverUnderSetAbstractDomain.h	170	3	532	108	2020-10-30	2021-12-28
include/PatriciaTreeMapAbstractEnvironment.h	235	8	1191	108	2019-01-10	2021-12-28
include/PatriciaTreeUtil.h	36	3	905	108	2019-10-23	2021-12-28