Source

fc-solve / fc-solve / source / check_and_add_state.c

Author Commit Message Labels Comments Date
Shlomi Fish
More consting and just-in-time declarations.
Shlomi Fish
More consting and JIT declarations.
Shlomi Fish
Refactoring: extract the SREALLOC() macro.
Shlomi Fish
Add more const.
Shlomi Fish
More cleanup.
Shlomi Fish
Get rid of trailing space.
Shlomi Fish
Cleanup: remove an unneeded cast.
Shlomi Fish
Remove the harmful "new_state_val" define.
Shlomi Fish
Fix a bug with the LIBAVL2 positions backend .
Shlomi Fish
Correct FCS_STATE_STORAGE_KAZ_TREE in both FCS_RCS_STATES and not.
Shlomi Fish
Get rid of another #ifdef FCS_RCS_STATES.
Shlomi Fish
Moved inline/extern to the beginning of the declarations.
Shlomi Fish
Defined a current_stack iterator in fc_solve_cache_stacks().
Shlomi Fish
Replace an out-of-date comment.
Shlomi Fish
Create accessor variables for new_state->key and new_state->val.
Shlomi Fish
Convert fc_solve_check_and_add_state() to fcs_kv_state_t.
Shlomi Fish
Refactoring: moved FCS_STATE_collectible_to_kv to state.h.
Shlomi Fish
More FCS_RCS_STATES consolidation.
Shlomi Fish
More FCS_RCS_STATES #ifdef consolidation.
Shlomi Fish
Start merging the code of FCS_RCS_STATES and non-FCS_RCS_STATES.
Shlomi Fish
Removed more old talons stuff to the rejects.
Shlomi Fish
Extract a common new_state_key abstraction.
Shlomi Fish
Updated the libavl2 trees.
Shlomi Fish
Merged two conditions.
Shlomi Fish
Create an FCS_RCS_STATES abstraction.
Shlomi Fish
Convert the iterations debug handler to fcs_pass_state_t.
Shlomi Fish
Forward ported --rcs with the internal hash.
Shlomi Fish
Convert check_and_add_state and fc_solve_canonize_state to fcs_pass_state_t.
Shlomi Fish
Merged the kazlib-tree-integration branch.
Shlomi Fish
Removed trailing space from the .[ch[ files.
  1. Prev
  2. 1
  3. 2
  4. 3
  5. Next