3 Commits (47cf602f9e900a9da65e01a91b3f94a4aacbf7c7)

Author SHA1 Message Date
Jordi Boggiano ff59bbdab0 CS fixer 6 years ago
Nils Adermann 11c59baf59 Remove useless property in exception class 12 years ago
Nils Adermann 37d271271d Turn assertions into solver bug exceptions with more info 12 years ago