summaryrefslogtreecommitdiffstats
path: root/src/misc/vec
Commit message (Expand)AuthorAgeFilesLines
...
* Adding binary dump to CBA.Alan Mishchenko2015-02-051-0/+7
* Major rehash of the CBA code.Alan Mishchenko2015-01-312-1/+55
* New assertions and bug fix in DSD balancing.Alan Mishchenko2015-01-276-0/+60
* Changing memory model of Cba_Ntk_t.Alan Mishchenko2015-01-102-0/+22
* Changes to the parser.Alan Mishchenko2014-12-031-0/+12
* New parser and framework.Alan Mishchenko2014-11-291-0/+42
* Improvements to word-level network package.Alan Mishchenko2014-11-141-0/+8
* Preparing to work with C++ code.Alan Mishchenko2014-10-211-1/+1
* Improved QBF solver.Alan Mishchenko2014-10-181-0/+6
* Bug fix in truth table computation.Alan Mishchenko2014-10-151-0/+6
* Recommended changes for portability.Alan Mishchenko2014-10-121-2/+2
* Suggested patch for type-punned warningsAlan Mishchenko2014-10-101-1/+8
* Tuning the flow scripts.Alan Mishchenko2014-09-201-0/+1
* Bug fix in &fraig -L <num>.Alan Mishchenko2014-08-121-0/+11
* Small changes in several packages.Alan Mishchenko2014-07-171-0/+8
* Changes and improvements to different packages.Alan Mishchenko2014-06-261-4/+15
* Experiments with MUX profiling.Alan Mishchenko2014-06-192-2/+48
* Various changes to enable better CNF generation.Alan Mishchenko2014-06-172-12/+141
* Various modifications.Alan Mishchenko2014-06-102-3/+12
* Improvements to technology mapping.Alan Mishchenko2014-04-021-2/+5
* Experiments with mapping.Alan Mishchenko2014-03-222-0/+33
* Adding barrier buffers.Alan Mishchenko2014-03-181-0/+2
* Changes to LUT mappers.Alan Mishchenko2014-02-191-5/+6
* Significant improvement to LUT mappers (if, &if).Alan Mishchenko2014-02-161-0/+39
* Structural mapper into structures.Alan Mishchenko2013-11-121-0/+8
* Changes to Liberty parser.Alan Mishchenko2013-10-301-0/+22
* Compiler warnings.Alan Mishchenko2013-10-301-4/+3
* Resubstitution code.Alan Mishchenko2013-10-062-20/+43
* Changing default values.Alan Mishchenko2013-10-021-13/+13
* Changing default values.Alan Mishchenko2013-09-301-0/+17
* Changing default values.Alan Mishchenko2013-09-291-0/+13
* New logic sharing extraction.Alan Mishchenko2013-09-262-213/+253
* Improving DAG-aware unmapping.Alan Mishchenko2013-09-251-4/+6
* Improving DAG-aware unmapping.Alan Mishchenko2013-09-251-0/+3
* Changes to enable decomposition of non-DSD functions.Alan Mishchenko2013-09-251-0/+18
* Infrastructure to support full Liberty format and unitification of library re...Alan Mishchenko2013-09-151-0/+20
* Updates for the new BMC engine.Alan Mishchenko2013-09-101-0/+208
* Adding procedures to specify permutations with unused flops.Alan Mishchenko2013-08-281-0/+21
* Integrated buffering and sizing.Alan Mishchenko2013-08-081-0/+5
* New technology mapper.Alan Mishchenko2013-07-141-7/+17
* New technology mapper.Alan Mishchenko2013-07-131-3/+12
* Precomputing DSD functions.Alan Mishchenko2013-07-111-0/+13
* New MFS package.Alan Mishchenko2013-05-301-0/+8
* New DSD detection code.Alan Mishchenko2013-05-301-9/+18
* New MFS package.Alan Mishchenko2013-05-271-0/+19
* New MFS package.Alan Mishchenko2013-05-231-1/+18
* New MFS package.Alan Mishchenko2013-05-122-3/+11
* Changing the queue to work in the same the array of costs is realloced.Alan Mishchenko2013-05-053-5/+13
* New fast extract.Alan Mishchenko2013-05-053-7/+198
* C++ compiler errors.Alan Mishchenko2013-05-041-2/+4