summaryrefslogtreecommitdiffstats
path: root/src/misc/vec/vecVec.h
Commit message (Expand)AuthorAgeFilesLines
* Adding memory reporting to vectors.Alan Mishchenko2012-07-291-118/+24
* Added memory reporting to &vta.Alan Mishchenko2012-06-221-0/+47
* Isomorphism checking code.Alan Mishchenko2012-02-171-0/+61
* Isomorphism checking code.Alan Mishchenko2012-02-171-5/+7
* Major restructuring of the code.Alan Mishchenko2012-01-211-2/+2
* Variable timeframe abstraction.Alan Mishchenko2012-01-151-0/+23
* Skip NULL entry when freeing vector of vectors.Alan Mishchenko2011-10-191-1/+1
* 64-bit portability changes.Alan Mishchenko2011-09-171-2/+2
* Changes and simplifications in Vec_Vec_t data-structure.Alan Mishchenko2011-08-011-34/+83
* Enabled new BDD-based reachability engine 'reachy'.Alan Mishchenko2011-04-131-0/+4
* Unsuccessful attempt to improve PDR and a few minor changes.Alan Mishchenko2011-04-071-14/+14
* Improvements in Vec_Vec_t.Alan Mishchenko2011-03-271-9/+129
* Code formatting changeAlan Mishchenko2010-11-291-8/+8
* initial commit of public abcAlan Mishchenko2010-11-011-14/+41
* Version abc90215Alan Mishchenko2009-02-151-2/+2
* Version abc80702Alan Mishchenko2008-07-021-2/+2
* Version abc80301Alan Mishchenko2008-03-011-0/+42
* Version abc80130_2Alan Mishchenko2008-01-301-11/+103
* Version abc80130Alan Mishchenko2008-01-301-103/+11
* Version abc71001Alan Mishchenko2007-10-011-0/+356
* Version abc70930Alan Mishchenko2007-09-301-356/+0
* Version abc70706Alan Mishchenko2007-07-061-0/+3
* Version abc70408Alan Mishchenko2007-04-081-0/+61
* Version abc70115_2Alan Mishchenko2007-01-151-0/+2
* Version abc70115Alan Mishchenko2007-01-151-0/+2
* Version abc70110Alan Mishchenko2007-01-101-1/+0
* Version abc60701Alan Mishchenko2006-07-011-0/+3
* Version abc60407Alan Mishchenko2006-04-071-0/+22
* Version abc60303Alan Mishchenko2006-03-031-2/+2
* Version abc51012Alan Mishchenko2005-10-121-2/+2
* Version abc50915Alan Mishchenko2005-09-151-6/+6
* Version abc50904Alan Mishchenko2005-09-041-0/+3
* Version abc50831Alan Mishchenko2005-08-311-1/+20
* Version abc50827Alan Mishchenko2005-08-271-3/+27
* Version abc50817Alan Mishchenko2005-08-171-0/+218