Robin.Mueller
8af5a32f1d
new store accessor classes
implementation of local pool and pool manager extracted into tpp file. store_address_t definition extracted in separate file to avoid circular includes by using forward declarations
Description
The framework code, fork for KSat.
Languages
C++
96.7%
CMake
1.5%
C
0.8%
Python
0.5%
Shell
0.3%
Other
0.1%