Age | Commit message (Collapse) | Author | Files | Lines | |
---|---|---|---|---|---|
2012-10-08 | solver: additional backjumping scheme | Timo Teräs | 1 | -0/+1 | |
Enabled when all attempts to satisfy a name failed, we know that we can ignore all decisions until we find a decision affecting the name we wanted to satisfy. | |||||
2012-02-29 | solver: merge apk_name_state to apk_name | Timo Teräs | 1 | -0/+45 | |
apk_name_state is now quite small; and we avoid overhead of two pointers (+ malloc overhead) when we just make it part of apk_name. It also fixes some problems (that got introduced) where apk_name_state was not allocated. |