summaryrefslogtreecommitdiffstats
path: root/src/misc/vec/vecInt.h
Commit message (Expand)AuthorAgeFilesLines
* Experiments with iterative synthesis.Alan Mishchenko2020-09-131-0/+20
* Experimental resubstitution.Alan Mishchenko2020-05-151-0/+2
* Experimental resubstitution.Alan Mishchenko2020-05-031-0/+8
* Fixing some more warnings by adding cast from 'int' to 'size_t'.Alan Mishchenko2019-03-051-8/+8
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...Alan Mishchenko2019-03-051-5/+5
* Experiments with retiming (adding new APIs).Alan Mishchenko2018-12-091-0/+7
* Fix to prevent undefined behavior.Alan Mishchenko2018-05-191-2/+2
* Experiments with new network data-structure.Alan Mishchenko2017-03-201-0/+2
* Updates to arithmetic verification.Alan Mishchenko2017-01-141-0/+18
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-071-0/+27
* Experiments with arithmetic circuits.Alan Mishchenko2016-04-281-0/+7
* Experiments with LUT structure mapping.Alan Mishchenko2015-09-271-0/+40
* Bug fix in Vec_IntInsert() and a couple of new APIs.Alan Mishchenko2015-08-261-1/+1
* Improvements to Cba data-structure.Alan Mishchenko2015-08-091-5/+18
* Updates to the Cba data-structure.Alan Mishchenko2015-07-251-1/+1
* Renaming Cba into Bac.Alan Mishchenko2015-07-211-0/+21
* Scalable SOP manipulation package.Alan Mishchenko2015-03-231-0/+47
* Scalable SOP manipulation package.Alan Mishchenko2015-03-181-0/+8
* Major rehash of the CBA code.Alan Mishchenko2015-01-311-1/+22
* New assertions and bug fix in DSD balancing.Alan Mishchenko2015-01-271-0/+10
* New parser and framework.Alan Mishchenko2014-11-291-0/+42
* Improvements to word-level network package.Alan Mishchenko2014-11-141-0/+8
* Improved QBF solver.Alan Mishchenko2014-10-181-0/+6
* Changes and improvements to different packages.Alan Mishchenko2014-06-261-4/+15
* Various changes to enable better CNF generation.Alan Mishchenko2014-06-171-12/+124
* Various modifications.Alan Mishchenko2014-06-101-0/+5
* Experiments with mapping.Alan Mishchenko2014-03-221-0/+16
* Resubstitution code.Alan Mishchenko2013-10-061-2/+11
* Changing default values.Alan Mishchenko2013-09-301-0/+17
* Adding procedures to specify permutations with unused flops.Alan Mishchenko2013-08-281-0/+21
* New MFS package.Alan Mishchenko2013-05-121-0/+6
* Changing the queue to work in the same the array of costs is realloced.Alan Mishchenko2013-05-051-0/+4
* New fast extract.Alan Mishchenko2013-05-051-1/+98
* Compiler warnings.Alan Mishchenko2013-05-031-1/+0
* Reading/writing MiniAIG and several minor changes.Alan Mishchenko2013-05-031-0/+19
* SAT sweeping under constraints.Alan Mishchenko2013-04-281-0/+20
* New fast extract.Alan Mishchenko2013-04-271-0/+18
* PO partitioning algorithm.Alan Mishchenko2013-03-091-12/+10
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-0/+5
* Improved abstraction refinement.Alan Mishchenko2012-08-091-4/+6
* Fixing performance bug with old proof-logging (adding clauses multiple times).Alan Mishchenko2012-07-301-0/+22
* Adding memory reporting to vectors.Alan Mishchenko2012-07-291-0/+16
* Misc changes.Alan Mishchenko2012-04-201-13/+1
* Added several new APIs.Alan Mishchenko2012-03-311-0/+18
* Logic sharing for multi-input gates.Alan Mishchenko2012-03-251-0/+32
* Added one currently unused iterator.Alan Mishchenko2012-03-211-3/+5
* Silenced a gcc warning.Alan Mishchenko2012-02-241-3/+3
* Isomorphism checking code.Alan Mishchenko2012-02-141-1/+82
* Graph isomorphism checking code.Alan Mishchenko2012-02-111-0/+20
* Graph isomorphism checking code.Alan Mishchenko2012-01-301-0/+2