summaryrefslogtreecommitdiffstats
path: root/src/misc/vec/vecPtr.h
Commit message (Expand)AuthorAgeFilesLines
* Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers.Alan Mishchenko2021-09-261-7/+7
* Improving MFFC computation code.Alan Mishchenko2020-09-171-0/+20
* Experimental resubstitution.Alan Mishchenko2020-05-081-0/+6
* Various changes.Alan Mishchenko2020-03-211-0/+8
* Fixing some more warnings by adding cast from 'int' to 'size_t'.Alan Mishchenko2019-03-051-10/+10
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...Alan Mishchenko2019-03-051-4/+4
* Compiler warnings.Alan Mishchenko2016-12-311-1/+1
* Command &esop to convert AIG into ESOP.Alan Mishchenko2016-04-091-0/+20
* New constraint manager and memory reporting 'ps'.Alan Mishchenko2015-09-081-0/+12
* Bug fix in Vec_IntInsert() and a couple of new APIs.Alan Mishchenko2015-08-261-0/+15
* New assertions and bug fix in DSD balancing.Alan Mishchenko2015-01-271-0/+10
* Preparing to work with C++ code.Alan Mishchenko2014-10-211-1/+1
* Recommended changes for portability.Alan Mishchenko2014-10-121-2/+2
* Tuning the flow scripts.Alan Mishchenko2014-09-201-0/+1
* Experiments with MUX profiling.Alan Mishchenko2014-06-191-0/+25
* Various modifications.Alan Mishchenko2014-06-101-3/+7
* Adding barrier buffers.Alan Mishchenko2014-03-181-0/+2
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-0/+8
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-231-1/+2
* Modified structural constraint extraction (unfold -s) to work for multi-outpu...Alan Mishchenko2012-09-231-0/+22
* Adding memory reporting to vectors.Alan Mishchenko2012-07-291-0/+16
* Added memory reporting to &vta.Alan Mishchenko2012-06-221-0/+16
* Major restructuring of the code.Alan Mishchenko2012-01-211-2/+2
* Several bug fixes.Alan Mishchenko2011-08-021-0/+19
* initial commit of public abcAlan Mishchenko2010-11-011-22/+122
* Version abc90807Alan Mishchenko2015-06-221-0/+21
* Version abc90408Alan Mishchenko2009-04-081-2/+2
* Version abc90310Alan Mishchenko2009-03-101-4/+26
* Version abc90215Alan Mishchenko2009-02-151-18/+34
* Version abc80702Alan Mishchenko2008-07-021-2/+2
* Version abc80207Alan Mishchenko2008-02-071-0/+18
* Version abc80130_2Alan Mishchenko2008-01-301-6/+284
* Version abc80130Alan Mishchenko2008-01-301-284/+6
* Version abc71208Alan Mishchenko2007-12-081-96/+146
* Version abc71001Alan Mishchenko2007-10-011-0/+762
* Version abc70930Alan Mishchenko2007-09-301-762/+0
* Version abc70723Alan Mishchenko2007-07-231-0/+19
* Version abc70428Alan Mishchenko2007-04-281-1/+1
* Version abc70330Alan Mishchenko2007-03-301-0/+39
* Version abc70328Alan Mishchenko2007-03-281-0/+31
* Version abc70302Alan Mishchenko2007-03-021-0/+34
* Version abc70115Alan Mishchenko2007-01-151-0/+26
* Version abc70110Alan Mishchenko2007-01-101-1/+0
* Version abc61216Alan Mishchenko2006-12-161-2/+3
* Version abc61102Alan Mishchenko2006-11-021-0/+26
* Version abc60803Alan Mishchenko2006-08-031-0/+8
* Version abc60723Alan Mishchenko2006-07-231-1/+21
* Version abc60701Alan Mishchenko2006-07-011-0/+1
* Version abc60611Alan Mishchenko2006-06-111-0/+20
* Version abc60303Alan Mishchenko2006-03-031-2/+2