Commits

Show all
Author Commit Message Labels Comments Date
Shlomi Fish
Extract a function. This is populate_instance_with_intermediate_input_line() - we are going to use it several times.
Shlomi Fish
Start implementing the --intermediate-input flag. It doesn't work properly so far, but the existing functionality is working.
Shlomi Fish
Accept the --intermediate-input flag. So far not doing anything with it, but everything so far appears to work.
Shlomi Fish
Update the description comment.
Shlomi Fish
Add the -o flag to dbm_fc_solver.
Shlomi Fish
Add the FCS_DBM_SINGLE_THREAD compile-time option. This avoids the locking overhead for single-threaded solutions.
Shlomi Fish
Add and implement "--iters-delta-limit" flag. This allows us to set a limit to the traversed states.
Shlomi Fish
Rephrased.
Shlomi Fish
Update the Win32 Binary Installer download.
Shlomi Fish
Add the .hgignore file.
Shlomi Fish
Add another item to the TODO. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4544 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Fix some (minor) memory leaks in dbm_solver.c. They were reported by valgrind. They were minor because they didn't influence the run-time memory consumption, but only caused stray memory to end up at the end of the program. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4543 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Now tracing the solution for every position in the outputted queue. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4542 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Extract the calc_trace subroutine. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4541 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Now dumping the queue. TODO : dump the moves for each state. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4540 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Now handling the max_count_of_items_in_queue . git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4539 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add the handle_pysolfc_savedgame.py script. It currently fails with an error. Need to ask. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4538 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add max_count_of_items_in_queue - it is currently ignored. TODO : implement it as stopping the search process and dumping the contents of the queue. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4537 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Extract compare_records to dbm_kaztree_compare.h and fix a bug there. The problem was that the sizeof was the size of the pointer instead of its dereference. This was part of the problem with the erroneous behaviour of the dbm_fc_solver. A test program was added to test the new compare_records function. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4536 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add some DEBUG_OUT debugging code. This adds a print trace of the traversed states to the STDOUT. It is off by default. I needed it to debug the bug from the previous commit. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4535 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add an item to investigate the dbm_fc_solver premature ending. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4534 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add a count_of_items_in_queue to the DBM-solver. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4533 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Change the perform_FCC_brfs interface to accept a add_start_point callback. This is to start preparing it for the next plan of the incremental FCC-solver that offloads to an on-disk database. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4532 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Extract a macro for a common operation. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4531 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Extract a common expression into a variable. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4530 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add more. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4529 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add another test. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4528 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add the --show-extended-limits flag. This makes the output less ambiguous in case the state is intractable. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4527 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add the "three-eighty"/"te" prefix to presetrc.proto.in. It was probably only added to one of the generated files. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4526 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Extract two macros. This gets rid of two #ifdef FCS_RCS_STATES ifdefs. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4525 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
  1. Prev
  2. Next