summaryrefslogtreecommitdiffstats
path: root/src/base/bac
Commit message (Expand)AuthorAgeFilesLines
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-211-1/+1
* C++ compatibility: fix bad pointer comparisonBaruch Sterin2017-11-231-1/+1
* silence clang errors when compiling as C++Baruch Sterin2015-11-051-1/+1
* Fix C++ compilation errorsBaruch Sterin2015-10-161-6/+5
* Improvements to Cba data-structure.Alan Mishchenko2015-07-311-3/+3
* Renaming Cba into Bac.Alan Mishchenko2015-07-211-1/+1
* Renaming Cba into Bac.Alan Mishchenko2015-07-211-1/+1
* Renaming Cba into Bac.Alan Mishchenko2015-07-211-0/+0
* Renaming Cba into Bac.Alan Mishchenko2015-07-211-0/+0
* Renaming Cba into Bac.Alan Mishchenko2015-07-2120-0/+7965