summaryrefslogtreecommitdiffstats
path: root/src/misc/vec
Commit message (Expand)AuthorAgeFilesLines
* Silenced a gcc warning.Alan Mishchenko2012-02-242-4/+4
* Isomorphism checking code.Alan Mishchenko2012-02-171-0/+61
* Isomorphism checking code.Alan Mishchenko2012-02-171-5/+7
* Isomorphism checking code.Alan Mishchenko2012-02-141-1/+82
* Graph isomorphism checking code.Alan Mishchenko2012-02-112-0/+40
* Graph isomorphism checking code.Alan Mishchenko2012-01-301-0/+2
* Moving Vec_IntPrint to where it belongs.Alan Mishchenko2012-01-291-0/+20
* Major restructuring of the code.Alan Mishchenko2012-01-219-19/+19
* Variable timeframe abstraction.Alan Mishchenko2012-01-151-0/+23
* Added bit vector.Alan Mishchenko2012-01-132-0/+580
* Started proof transformations.Alan Mishchenko2011-12-011-0/+16
* New proof-based abstraction code (bug fix).Alan Mishchenko2011-10-271-1/+1
* Skip NULL entry when freeing vector of vectors.Alan Mishchenko2011-10-191-1/+1
* New abstraction code.Alan Mishchenko2011-10-151-0/+30
* Initial changes to enable gate-level abstraction.Alan Mishchenko2011-09-221-2/+2
* 64-bit portability changes.Alan Mishchenko2011-09-171-2/+2
* Several bug fixes.Alan Mishchenko2011-08-021-0/+19
* Changes and simplifications in Vec_Vec_t data-structure.Alan Mishchenko2011-08-011-34/+83
* Added new APIs to integer vector.Alan Mishchenko2011-07-311-0/+40
* Enabled new BDD-based reachability engine 'reachy'.Alan Mishchenko2011-04-131-0/+4
* Added procedure to vector package and manager template file.Alan Mishchenko2011-04-101-0/+2
* Unsuccessful attempt to improve PDR and a few minor changes.Alan Mishchenko2011-04-072-14/+40
* 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-018-116/+1511
* Version abc90901Alan Mishchenko2015-06-222-2/+40
* Version abc90807Alan Mishchenko2015-06-221-0/+21
* Version abc90714Alan Mishchenko2015-06-222-1/+22
* Version abc90408Alan Mishchenko2009-04-082-5/+5
* Version abc90310Alan Mishchenko2009-03-104-12/+56
* Version abc90215Alan Mishchenko2009-02-157-135/+91
* Version abc90118Alan Mishchenko2009-01-181-4/+4
* Version abc81029Alan Mishchenko2008-10-291-2/+61
* Version abc81013Alan Mishchenko2008-10-131-10/+28
* Version abc80922Alan Mishchenko2008-09-221-0/+19
* Version abc80721Alan Mishchenko2008-07-211-0/+46
* Version abc80718Alan Mishchenko2008-07-181-1/+1
* Version abc80717Alan Mishchenko2008-07-171-0/+2
* Version abc80702Alan Mishchenko2008-07-026-128/+27
* Version abc80516Alan Mishchenko2008-05-161-0/+4
* Version abc80301Alan Mishchenko2008-03-012-2/+45
* Version abc80207Alan Mishchenko2008-02-071-0/+18
* Version abc80130_2Alan Mishchenko2008-01-308-414/+1776
* Version abc80130Alan Mishchenko2008-01-308-1776/+414
* Version abc71208Alan Mishchenko2007-12-081-96/+146
* Version abc71001Alan Mishchenko2007-10-018-0/+3678
* Version abc70930Alan Mishchenko2007-09-308-3667/+0
* Version abc70926Alan Mishchenko2007-09-262-0/+30
* Version abc70909Alan Mishchenko2007-09-091-1/+1
* Version abc70906Alan Mishchenko2007-09-064-82/+62
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-04 17:56:19 +0000