Commits

Show all
Author Commit Message Labels Comments Date
Shlomi Fish
Got rid of using mp_bitcnt_t.
Tags
dbm_fc_solver_100K_to_400k_run_with_500GB_take4
Shlomi Fish
Some fixes for ninja.
Shlomi Fish
Add a missing file.
Tags
dbm_fc_solver_100K_to_400k_run_with_500GB
Shlomi Fish
Mark an item as DONE.
Shlomi Fish
Mark as done.
Shlomi Fish
Add super_method_type.
Shlomi Fish
Add more.
Shlomi Fish
Inline fc_solve_free_instance()
Shlomi Fish
Convert to a limit.
Shlomi Fish
Update TODO and DONE.
Shlomi Fish
Made the fcs_hash 64-bit-enabled.
Shlomi Fish
Add the fcs_limit.h header to the installed ones.
Shlomi Fish
Sort alphabetically.
Shlomi Fish
Start convert to fcs_int_limit_t .
Shlomi Fish
Mark an item as done.
Shlomi Fish
Remove the "ST Name" trace.
Shlomi Fish
Add more items to the TODO.
Shlomi Fish
Move some DONE items from the TODO to the DONE.
Shlomi Fish
Mark items as DONE.
Shlomi Fish
Mark the "rank" item as DONE.
Shlomi Fish
fcs_card_set_num -> fcs_card_set_rank.
Shlomi Fish
Remove an unused assignment.
Shlomi Fish
Moved away an old script.
Shlomi Fish
"card_num" -> "rank".
Shlomi Fish
"card_num" -> "rank".
Shlomi Fish
"card_num" -> rank.
Shlomi Fish
Convert more "card_num" to "rank".
Shlomi Fish
Rename more "card_num" into rank.
Shlomi Fish
fcs_card_card_num() -> fcs_card_rank().
Shlomi Fish
Add an item to the TODO.
  1. Prev
  2. Next