| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 1 | -1/+1 |
| * | Changes to be able to compile ABC without CUDD. | Alan Mishchenko | 2015-08-24 | 1 | -1/+7 |
| * | Improvements and tuning of CBA. | Alan Mishchenko | 2015-02-01 | 1 | -10/+8 |
| * | Updating project settings to have simpler include paths. | Alan Mishchenko | 2012-07-07 | 1 | -4/+4 |
| * | Major restructuring of the code. | Alan Mishchenko | 2012-01-21 | 1 | -0/+399 |
