Commits

Show all
Author Commit Message Labels Comments Date
Shlomi Fish
Add some initial likely()s and unlikely()s.
Branches
5 branches
Shlomi Fish
Add the likely.h header.
Branches
5 branches
Shlomi Fish
Branching the trunk to the playing with adding likely hints for cache performance
Branches
5 branches
Shlomi Fish
Add the scan No. 21 ("--method a-star -asw 0.5,0,0.5,0,0").
Shlomi Fish
Implement FCS_STACK_STORAGE_GOOGLE_DENSE_HASH .
Shlomi Fish
Wrap the FCS_STATE_STORAGE_GOOGLE_DENSE_HASH code in an #ifdef.
Shlomi Fish
Add support for Google's Dense Hash for the states' storage.
Shlomi Fish
Fix a crash when using a --prelude with a soft thread with a NULL name.
Shlomi Fish
Add the new benchmark.
Shlomi Fish
Add the new post to the site.
Shlomi Fish
Add the new blog post.
Shlomi Fish
Now linking to the 3.0.0 version number.
Shlomi Fish
Update the README.
Shlomi Fish
Bumped the version number and prepared the distribution for release.
Shlomi Fish
Correct a typo.
Shlomi Fish
Add the NEWS since the previous release.
Shlomi Fish
Updated TODO and DONE.
Shlomi Fish
No longer recalcuating the tests_list on any recycling.
Shlomi Fish
Cleanup: convert the soft-DFS tests' order to a list-of-lists-of-tests.
Shlomi Fish
Minor: removed a double assignment in fc_solve_initialize_bfs_queue.
Shlomi Fish
Simplified the strings_starts_with function call.
Shlomi Fish
Update the TODO and DONE files.
Shlomi Fish
Add FCS_STATE_FLARES_PLAN_ERROR support to the forking_range_solver.
Shlomi Fish
Add support for FCS_STATE_FLARES_PLAN_ERROR to the multi-threaded solver.
Shlomi Fish
Now handling FCS_STATE_FLARES_PLAN_ERROR properly.
Shlomi Fish
Change comments containing "A*" to "BeFS".
Shlomi Fish
Add an item to the TODO file about dividing the scan type variable into two
Shlomi Fish
Add more items to the TODO.
Shlomi Fish
Renamed FCS_A_STAR to FCS_BEFS.
Shlomi Fish
Rename a variable a_star_or_bfs => is_scan_befs_or_bfs .
  1. Prev
  2. Next