summaryrefslogtreecommitdiffstats
path: root/src/base/cba
Commit message (Expand)AuthorAgeFilesLines
* Various transformations of Cba_Ntk_t.Alan Mishchenko2015-01-139-111/+178
* Various transformations of Cba_Ntk_t.Alan Mishchenko2015-01-136-111/+577
* Various transformations of Cba_Ntk_t.Alan Mishchenko2015-01-118-371/+692
* Changing memory model of Cba_Ntk_t.Alan Mishchenko2015-01-106-65/+53
* Implementation of CE extraction for multiple MUXes driving D-inputs of FFs.Alan Mishchenko2015-01-081-50/+50
* Integrating barrier buffers.Alan Mishchenko2014-12-081-1/+1
* Changes to the parser.Alan Mishchenko2014-12-045-281/+558
* Changes to the parser.Alan Mishchenko2014-12-035-185/+319
* Induced bug fix in bitblasting of rotation operator.Alan Mishchenko2014-11-291-1/+1
* Compiler warnings.Alan Mishchenko2014-11-292-2/+2
* New parser and framework.Alan Mishchenko2014-11-2914-0/+3110