1. Shlomi Fish
  2. fc-solve

Commits

Author Commit Message Date Builds
Shlomi Fish
Fix formatting.
Shlomi Fish
Fix a comment. Thanks to mauke.
Shlomi Fish
Implement the =rand() parsing for the test string.
Shlomi Fish
Rename to shuffling_type.
Shlomi Fish
Implement the shuffling type. This will be extended to provide BeFS-type shuffling.
Shlomi Fish
Create the SMALLOC abstraction.
Shlomi Fish
Refactoring: extract the SREALLOC() macro. It reallocates an array pointer based on a sizeof and count.
Shlomi Fish
Add more testing presets.
Shlomi Fish
Convert tests_list to the grouped formation. This is with the separation of groups into an array.
Shlomi Fish
Refactoring/optimisation: merge two functions.
Shlomi Fish
Extract the fc_solve_state_weighting_t struct. This is another refactoring on the road to the state-ordering in -to.
Shlomi Fish
Changed.
Shlomi Fish
Update the features page.
Shlomi Fish
Extract the fc_solve_set_weights function. This will come in handy later.
Shlomi Fish
Refactoring: convert to use an array.
Shlomi Fish
Tweaked the COMPILER_FLAGS_TO_CHECK.
Shlomi Fish
Add a compile-time sanity check. Make sure one of DEBUG_STATES, COMPACT_STATES or INDIRECT_STACK_STATES are defined.
Shlomi Fish
More optimisation.
Shlomi Fish
Reorder operations. This should be a small optimisation.
Shlomi Fish
Rearranged to match the order of the weights.
Shlomi Fish
Create another factor variable.
Shlomi Fish
Add the COUNT macro. This is the sizeof(arr) / sizeof(arr[0]) idiom.
Shlomi Fish
Cleanups.
Shlomi Fish
Extract the BEFS_M_VAR accessor.
Shlomi Fish
Extract BRFS_VAR.
Shlomi Fish
Extract BEFS_VAR.
Shlomi Fish
Extract the DFS_VAR accessor. This was mean to short the identifiers of the soft_dfs method_specific slots.
Shlomi Fish
BeFS: multiplies by constants instead of divisions. This is a refactoring/optimisation that involves extracting common constants into float-point variables and multiplying by them.
Shlomi Fish
Update the NEWS.
Shlomi Fish
Convert the 6th -asw weight into not_above_parents This way it can be more easily combined with the other weights and no functionality is lost.
  1. Prev
  2. Next