summaryrefslogtreecommitdiffstats
path: root/src/base/bac
Commit message (Collapse)AuthorAgeFilesLines
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, ↵Alan Mishchenko2019-03-051-2/+2
| | | | memcpy, etc.
* 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