Commits

Author Commit Message Labels Comments Date
Shlomi Fish
Got the tests to compile (and pass) with FCS_WITHOUT_LOCS_FIELDS on. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4434 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Got rid of an empty indirect_stacks_buffer in non-INDIRECT_STACKS. It was left over there as a relic and now is no longer needed. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4433 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Convert a stacks buffer to dll_ind_buf_t. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4432 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Extract an fc_solve_state_init macro to abstract INDIRECT_STACK_STATES. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4431 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Convert t/delta-states-test.c to indirect_buffer.h. This is part of the refactoring effort to reduce the number of #ifdefs in the code. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4430 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Got rid of many #ifdef INDIRECT_STACK_STATES by wrapping initial_user_state_to_c. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4429 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Correct some warnings and errors with --rwd and other flags. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4428 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Got ./Tatzer with no arguments to work again. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4427 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Extract fcs_init_and_encode_state. This reduces the amount of code and is less error-prone. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4426 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Update the FCC-Solver source distribution. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4425 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add a --upload option. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4424 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Fix a memory leak in fc_solve_fcc_release_moves_seq. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4423 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Script for preparing the FCC-solver-binary for Amadiro. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4422 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Removed needless command line argument handling. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4421 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Makefile.gnu: adapt for building fcc_fc_solver. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4420 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Update the benchmark - the previous one used the wrong preset. This one is faster. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4419 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
fcc_solver: now reporting the number of iteration reached in total. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4418 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Bug fix for setting the position at the right place. It caused a crash in fcc_fc_solver. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4417 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Remove a needless assignment of a variable to itself. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4416 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add an item to the TODO list. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4415 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Fixed the remaining fc_solve_delta_stater_encode_into_buffer. It didn't have initialisation. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4414 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Correct a typo and a trailing space. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4413 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Fix a bug with a missing initialisation in the fcc_solver.c. valgrind complained about it and it was a bug. TODO : double check that all fc_solve_delta_stater_encode_into_buffer have an fcs_init_encoded_state before them. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4412 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Convert the FCC-FC-Solver to ->moves_list. This stores the moves in a linked list of equally-sized segments in order to reduce memory fragmentations. All tests pass but valgrind complains (but it may have complained earlier.) git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4411 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add more items to the TODO.txt. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4410 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Correct a typo in the FCC Spec. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4409 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add the results for the dbm 2fc deals on Amadiro's machine. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4408 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Remove some leftover code. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4407 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Convert fcs_dbm_queue_item_struct to fcs_fcc_moves_seq_t. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4406 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Convert more code to use fcs_fcc_moves_seq_t. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4405 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
  1. Prev
  2. Next