summaryrefslogtreecommitdiffstats
path: root/src/base/io/ioReadAiger.c
Commit message (Expand)AuthorAgeFilesLines
* Various changes.Alan Mishchenko2021-09-021-0/+9
* Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy,...Alan Mishchenko2019-03-051-1/+1
* Adding out-of-bounds checks to AIGER readers.Alan Mishchenko2014-09-281-1/+1
* Adding functionally observable fault testing.Alan Mishchenko2014-03-311-2/+5
* Commenting assertion that does not hold in AIGER 1.9, accoring to Baruch Sterin.Alan Mishchenko2013-05-131-1/+1
* Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except ...Alan Mishchenko2013-04-181-2/+8
* Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except ...Alan Mishchenko2013-04-171-4/+4
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-2/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+0
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-161-3/+11
* Major restructuring of the code.Alan Mishchenko2012-01-211-3/+3
* Changes to read multi-output testcases described using AIGER 1.9.Alan Mishchenko2011-11-061-20/+96
* Commented out debug messages.Alan Mishchenko2011-04-261-1/+1
* initial commit of public abcAlan Mishchenko2010-11-011-11/+16
* Version abc90408Alan Mishchenko2009-04-081-1/+1
* Version abc90310Alan Mishchenko2009-03-101-7/+7
* Version abc90215Alan Mishchenko2009-02-151-11/+12
* Version abc90118Alan Mishchenko2009-01-181-1/+1
* Version abc80702Alan Mishchenko2008-07-021-6/+47
* Version abc80701Alan Mishchenko2008-07-011-5/+99
* Version abc80508Alan Mishchenko2008-05-081-2/+2
* Version abc80130_2Alan Mishchenko2008-01-301-0/+366
* Version abc80130Alan Mishchenko2008-01-301-366/+0
* Version abc80121Alan Mishchenko2008-01-211-45/+101
* Version abc71208Alan Mishchenko2007-12-081-2/+2
* Version abc71001Alan Mishchenko2007-10-011-0/+310
* Version abc70930Alan Mishchenko2007-09-301-310/+0
* Version abc70926Alan Mishchenko2007-09-261-0/+15
* Version abc70817Alan Mishchenko2007-08-171-53/+70
* Version abc70731Alan Mishchenko2007-07-311-3/+3
* Version abc70608Alan Mishchenko2007-06-081-4/+9
* Version abc70428Alan Mishchenko2007-04-281-1/+1
* Version abc70110Alan Mishchenko2007-01-101-4/+4
* Version abc61216Alan Mishchenko2006-12-161-0/+273