Commits

Show all
Author Commit Message Labels Comments Date
Shlomi Fish
Moving the fc-solve branches under the fc-solve mini-repos git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/branches/likely-addition@3681 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Branches
likely-addition
Shlomi Fish
Add support for gcc-4.5.0's -flto flag. It makes the benchmark faster. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/branches/likely-addition@2898 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Branches
2 branches
Shlomi Fish
Add some initial likely()s and unlikely()s. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/branches/likely-addition@2895 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Branches
5 branches
Shlomi Fish
Add the likely.h header. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/branches/likely-addition@2894 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Branches
5 branches
Shlomi Fish
Branching the trunk to the playing with adding likely hints for cache performance git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/branches/likely-addition@2893 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Branches
5 branches
Shlomi Fish
Add the scan No. 21 ("--method a-star -asw 0.5,0,0.5,0,0"). It yields the shortest solutions for over 8,500 boards (more than any other existing scan.) git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2892 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Implement FCS_STACK_STORAGE_GOOGLE_DENSE_HASH . git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2891 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Wrap the FCS_STATE_STORAGE_GOOGLE_DENSE_HASH code in an #ifdef. This is a preparation for creating a google hash of stacks. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2890 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add support for Google's Dense Hash for the states' storage. TODO: also add for the stacks storage. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2889 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Fix a crash when using a --prelude with a soft thread with a NULL name. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2888 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add the new benchmark. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2885 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add the new post to the site. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2879 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add the new blog post. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2878 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Now linking to the 3.0.0 version number. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2877 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Update the README. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2875 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Bumped the version number and prepared the distribution for release. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2874 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Correct a typo. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2873 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add the NEWS since the previous release. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2872 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Updated TODO and DONE. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2871 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
No longer recalcuating the tests_list on any recycling. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2870 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Cleanup: convert the soft-DFS tests' order to a list-of-lists-of-tests. This gets rid of the multi-subscripting and the bit-fiddling games of the randomised groups (at least when running the Soft-DFS scan itself.) git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2869 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Minor: removed a double assignment in fc_solve_initialize_bfs_queue. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2868 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Simplified the strings_starts_with function call. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2867 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Update the TODO and DONE files. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2866 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add FCS_STATE_FLARES_PLAN_ERROR support to the forking_range_solver. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2865 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add support for FCS_STATE_FLARES_PLAN_ERROR to the multi-threaded solver. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2864 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Now handling FCS_STATE_FLARES_PLAN_ERROR properly. Had to fix a segfault where strncmp was used on possibly NULL flare->name. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2863 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Change comments containing "A*" to "BeFS". git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2862 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add an item to the TODO file about dividing the scan type variable into two variables. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2861 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add more items to the TODO. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@2860 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
  1. Prev
  2. Next