Assign each predicate's initial weight ad 100. Remove some unused function and data...
[c11tester.git] / history.cc
2019-06-27 weiyuchange func_atomics and work_list to vectors
2019-06-26 Brian DemskyGet gdax to not crash
2019-06-25 weiyuadd a new class 'ModelHistory'