История коммитов

Автор SHA1 Сообщение Дата
  Andra Hugo 631a599c05 move dichotomy out of the policies лет назад: 13
  Andra Hugo 05d10ea37d move task_pool out of the policies лет назад: 13
  Andra Hugo 6bcd0d3c6e rename + comments in the public interface лет назад: 13
  Andra Hugo 911f574418 rename functions to be cleared what they do лет назад: 13
  Andra Hugo 545f5f5b3b rename hyp last step лет назад: 13
  Andra Hugo 7e934377b5 rename hyp step2 лет назад: 13