1. Shlomi Fish
  2. fc-solve

Commits

Author Commit Message Date Builds
Shlomi Fish
initialize_a_star_rater no longer accepts ptr_state_key git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1285 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Updated the TODO git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1284 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
The mark_as_dead_end() macro now accepts only the _val git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1283 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
The calculate_real_depth() macro now accepts only the _val git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1282 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Removed state_key from fcs_soft_dfs_stack_item_t. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1281 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Removed state_copy_ptr_key from instance - it can be inferred from the val. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1280 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
More ptr_state_key elimination. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1279 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
lib.c: re-indented some code and eliminated f_c_user from a static function git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1278 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Not passing state_key to another func. (Can be inferred). git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1277 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Removed a function that was not used anywhere. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1276 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Removed the use-the-typedef from the TODO. It cannot be used because it thinks it's a pointer instead of a function. The other solutions I can think about are not worth it. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1275 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
No longer passing ptr_state_key to the tests. It is now inferred from the val. This affects the test functions in freecell.c and simpsim.c and the scans. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1274 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Added the --version flag to the USAGE. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1273 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Several cleanups for the libavl code git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1272 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Updated the TODO: removed some items and added two new categories. The new categories are: "Long-Term" and "To be considered". git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1271 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Updated the TODO . git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1270 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Got rid of parent_key in fcs_state_extra_info_t. We don't need it now that we have fcs_state_extra_info_t::key. It was not used often either. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1269 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
CMake: refactored the board-generation (next-to-last commit). git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1268 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Fixed the #elif-cascade in one place so it won't complain if it's INTERNAL_HASH Trunk was broken! git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1267 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Added the "boards" target to generate (24|1941).board. Made some necessary changes like playing with CMakeLists.txt and adding to svn:ignore. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1266 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Bumped the version number to 2.17.4. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1265 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Implemented FCS_STACK_STORAGE_JUDY - implement the stack storage using libJudy. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1264 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Now croaks if FCS_STACK_STORAGE is not set to a known value. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1263 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Added the -Wall flag by default to gcc in CMake to enable a lot of warnings. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1262 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Added FCS_STATE_STORAGE_JUDY to store states using libJudy. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1261 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Fixed a missing loop in fcs_isa.c git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1260 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
CMake: added the finding-libredblack to the CMakeLists.txt file. This way it links against libredblack if needed. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1259 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Made FCS_STATE_STORAGE and FCS_STACK_STORAGE customizable via CMake. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1258 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Fixed using libredblack for states and stacks storage. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1257 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Bumped the version number to 2.17.3. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/trunk@1256 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
  1. Prev
  2. Next