Commit Graph

10 Commits (b7fe3527132a63b03ce885f8bcdd0cf5f4eae323)

Author SHA1 Message Date
Niels Thykier c4931fb1b2
solver: Move a common variable out of an if
6 years ago
Niels Thykier cd1f384012
inst-tester: Remove obsolete "safe-set" optimization
6 years ago
Niels Thykier 41978869ce Migrate solver's ad-hoc debug logging
7 years ago
Niels Thykier 69473eefca solver: Extract compute_scc into a function
8 years ago
Niels Thykier bd375fdd85 solver: Make _compute_scc iterative
8 years ago
Niels Thykier 64653087d0 solver: Fix bug where some items were not emitted
8 years ago
Niels Thykier a14ced6403 Drop now unused "from __future__" imports
8 years ago
Niels Thykier a768432eb2 solver.py: Add missing "no cover" pragma
8 years ago
Niels Thykier 20c2b87833 Sprinkle some "no cover" pragmas over the code base
8 years ago
Niels Thykier 9bc94db01c Refactor all modules into a britney2 subdir
8 years ago