Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Various code alignments across solvers. (nw) | couriersud | 2017-05-27 | 1 | -2/+3 |
* | Changed Solver.PARALLEL parameter logic: | couriersud | 2017-05-27 | 1 | -3/+7 |
* | Rename misleading solver parameters. (nw) | couriersud | 2017-01-08 | 1 | -5/+5 |
* | Remove parameter GS_THRESHOLD. It is now outdated. (nw) | couriersud | 2017-01-08 | 1 | -1/+0 |
* | Implemented dynamic loading of precompiled solver code. [Couriersud] | couriersud | 2016-04-23 | 1 | -1/+1 |
* | Convert kidniki netlist into an external one. | couriersud | 2016-04-17 | 1 | -0/+398 |
* | renamed nl_kidniki to inc (nw) | Miodrag Milanovic | 2015-11-13 | 1 | -307/+0 |
* | Rename *.c -> *.cpp in our source (nw) | Miodrag Milanovic | 2015-11-08 | 1 | -0/+307 |