Commits

Show all
Author Commit Message Labels Comments Date
Shlomi Fish
Moving the fc-solve branches under the fc-solve mini-repos
Branches
kazlib-tree-integration
Shlomi Fish
Add the OpenDocument spreadsheet of the Memory consumption of the RCS states.
Branches
2 branches
Shlomi Fish
Fix a typo in ./Tatzer.
Branches
2 branches
Shlomi Fish
Fixed the tests in --kazlib --rcs.
Branches
2 branches
Shlomi Fish
Start implementing the FCS_RCS_CACHE_STORAGE_KAZ_TREE .
Branches
2 branches
Shlomi Fish
Fix a bug with the #ifdef. It was not negated.
Branches
2 branches
Shlomi Fish
Tests now pass with ./Tatzer --prefix="$HOME"/apps/test/fcs/ --kazlib.
Branches
2 branches
Shlomi Fish
Got rid of kaz_tree's data pointer.
Branches
2 branches
Shlomi Fish
Got rid of a warning in scans.c about an unused static function.
Branches
2 branches
Shlomi Fish
#ifdef'ed out more unused functions from kaz_tree.
Branches
2 branches
Shlomi Fish
#ifdef'ed out more functions.
Branches
2 branches
Shlomi Fish
#ifdef'ed out the unused kaz_tree functions.
Branches
2 branches
Shlomi Fish
Moved the kaz_tree methods to a good non-intrusive namespace.
Branches
2 branches
Shlomi Fish
Removed the nodecount/maxcount logic of kaz_tree.
Branches
2 branches
Shlomi Fish
#ifdef'ed out dict->dupes and related changes from kazlib.
Branches
2 branches
Shlomi Fish
Convert the kaz_tree to alloc.[ch].
Branches
2 branches
Shlomi Fish
Fixed the test suite with the new kaz_tree and --rcs.
Branches
2 branches
Shlomi Fish
Cancelled the assert()'s in kaz_tree.c.
Branches
2 branches
Shlomi Fish
Integrated kaz_tree.c and kaz_tree.h. Tests don't succeed yet.
Branches
5 branches
Shlomi Fish
Branching fc-solve into the kazlib_tree integration branch
Branches
5 branches
Shlomi Fish
Add the BSDLed balanced binary tree item to the TODO.
Shlomi Fish
Got rid of the intermediate 32-bit value.
Shlomi Fish
Marked an item as done
Shlomi Fish
Marked the RCS-like state storage as done.
Shlomi Fish
Got rid of the 32-bit total_num_iters_temp in test_multi_parallel.c.
Shlomi Fish
Convert measure_depth_dep_tests_order_performance to portable_time.
Shlomi Fish
Convert fc_pro_range_solver.c to portable_time.h and portable_int64.h.
Shlomi Fish
Got rid of the temp-fc_pro_range_solver.
Shlomi Fish
Convert forking_range_solver.c to portable_time.h and portable_int64.h.
Shlomi Fish
Add the FCS_PRINT_FINISHED() macro.
  1. Prev
  2. Next