1. Shlomi Fish
  2. fc-solve

Commits

Author Commit Message Date Builds
Shlomi Fish
Create accessor variables for new_state->key and new_state->val. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4494 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Played with the duration quotas. It yields an improvement, but not a substantial one. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4493 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Convert fc_solve_check_and_add_state() to fcs_kv_state_t. Now it finally worked nicely. This is part of the FCS_RCS_STATES consolidation. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4492 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
More FCS_RCS_STATES unification. This time converted an fcs_duplicate_state to fcs_duplicate_kv_state. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4491 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Convert fc_solve_apply_move() to fcs_kv_state_t . This is part of the FCS_RCS_STATES consolidation. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4490 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Convert fc_solve_move_stack_normalize to fcs_kv_state_t. This is for more FCS_RCS_STATES consolidation. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4489 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Convert fcs_duplicate_state() to fcs_duplicate_kv_state(). This is more effort towards the FCS_RCS_STATES consolidation. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4488 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Remove the unused fcs_lvalue_pass_state_t typedef. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4487 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Refactoring: moved FCS_STATE_collectible_to_kv to state.h. It belongs there better and can be reused by more code. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4486 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
More FCS_RCS_STATES consolidation. This time converted the third parameter of fc_solve_check_and_add_state from fcs_lvalue_pass_state_t to fcs_kv_state_t . git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4485 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Move FCS_STATE_keyval_pair_to_collectible to state.h . This is from the previous commit. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4484 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Refactoring regarding FCS_RCS_STATES. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4483 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Update some of the comments in scans.c. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4482 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Moved a comment for a function closer to its definition. It previously was in a completely different place. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4481 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add the source to fcsolve-mac, with some details. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4480 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Merge two macros in scans.c. STATE_TO_PASS_TO_TESTS() became simply STATE_TO_PASS(). git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4479 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add the x64t and p4t Tatzer themes. These aim to run the test suite as quickly as possible, while preparing optimised builds. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4478 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Got rid of the ASSIGN_STATE_KEY() macro calls and parly merged ASSIGN_ptr_state git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4477 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Emptied ASSIGN_STATE_KEY() in FCS_RCS_STATES. The problem was that fc_solve_PQueuePop assigned to the pointer directly instead of through ASSIGN_ptr_state. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4476 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Consolidated more FCS_RCS_STATES - this time in scans.c. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4475 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add the Iterate-on-Seed.bash script. This iterates over a seed trying to find a solution. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4474 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Consolidate more FCS_RCS_STATES code. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4473 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Unified fc_solve_state_as_string across the FCS_RCS_STATES #ifdef. Now it always accepts an fcs_state_t * and an fcs_state_extra_info_t. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4472 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
More FCS_RCS_STATES merging effort. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4471 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Testing for fc-solve acting properly with crashy-preset-1. There are at least two bugs with it: 1. The upper depth tests order were not freed when a lower depth test order was set up (causing a memory leak). 2. The Soft-DFS fields in the soft_thread's union of method_specific were not initialized when Soft-DFS was selected. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4470 e7e8a897-7ba4-4ee7-b36f-…
Shlomi Fish
Correct some bugs. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4469 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
More bug fixes to the process-wallclock.pl script. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4468 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
process-wallclock.pl is now more-or-less working. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4467 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Worked on process-wallclock.pl some more. It should work now, but it is just a prototype and it does not print the results yet. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4466 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
Shlomi Fish
Add process-wallclock.pl. This is a prototype script to test for assigning wallclock times. It should be done in the PDL eventually. git-svn-id: file:///home/shlomif/Backup/svn-dumps/google-code/svnsync-repos/fc-solve/fc-solve/trunk@4465 e7e8a897-7ba4-4ee7-b36f-f4c66519b19a
  1. Prev
  2. Next