summaryrefslogtreecommitdiffstats
path: root/src/aig/aig/aig.h
Commit message (Expand)AuthorAgeFilesLines
* merge unfold2Jiang Long2014-06-041-0/+4
* Updating code to support barrier buffers.Alan Mishchenko2014-03-181-0/+1
* Adding timeout to AIG rewriting inside 'int'.Alan Mishchenko2013-07-071-0/+1
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-2/+2
* Simplification in AIG manager object counting.Alan Mishchenko2012-10-051-3/+2
* Cleaing AIG manager by removing pointers to HAIG.Alan Mishchenko2012-09-231-4/+1
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-2/+2
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-3/+2
* Renamed Aig_ObjPioNum to be Aig_ObjCioId.Alan Mishchenko2012-03-091-5/+5
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-091-28/+28
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-091-6/+6
* Graph isomorphism checking code.Alan Mishchenko2012-02-111-0/+1
* Graph isomorphism checking code.Alan Mishchenko2012-01-301-0/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-29/+7
* Added/renamed useful APIs.Alan Mishchenko2011-12-061-1/+2
* Dump inductive invariant or last interpolant after interpolation.Alan Mishchenko2011-11-121-0/+1
* Changes to read multi-output testcases described using AIGER 1.9.Alan Mishchenko2011-11-061-0/+1
* Changes to CNF generation code.Alan Mishchenko2011-10-171-7/+16
* Sequential cleanup with symbolic/ternary simulation.Alan Mishchenko2011-08-241-2/+2
* Enabled saving vector of counter-examples in the ABC framework.Alan Mishchenko2011-08-021-1/+1
* Changing the ordering of arguments in two iterators.Alan Mishchenko2011-08-011-8/+3
* Added new APIs to the AIG manager.Alan Mishchenko2011-07-311-0/+1
* Added random generation of 64-bit numbers.Alan Mishchenko2011-07-271-0/+1
* Added a new demitering feature for dual-output miters.Alan Mishchenko2011-07-021-0/+1
* Unsuccessful attempt to improve PDR and a few minor changes.Alan Mishchenko2011-04-071-4/+11
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-0/+1
* Cumulative changes of the last two weeks.Alan Mishchenko2011-02-011-0/+2
* Added ternary simulation value storageAlan Mishchenko2010-11-291-0/+1
* initial commit of public abcAlan Mishchenko2010-11-011-22/+45
* Version abc90901Alan Mishchenko2015-06-221-0/+1
* Version abc90714Alan Mishchenko2015-06-221-1/+4
* Version abc90410Alan Mishchenko2009-04-101-4/+4
* Version abc90408Alan Mishchenko2009-04-081-6/+2
* Version abc90329Alan Mishchenko2009-03-291-1/+1
* Version abc90215Alan Mishchenko2009-02-151-26/+13
* Version abc90118Alan Mishchenko2009-01-181-6/+9
* Version abc81029Alan Mishchenko2008-10-291-0/+3
* Version abc81014Alan Mishchenko2008-10-141-0/+1
* Version abc81013Alan Mishchenko2008-10-131-0/+2
* Version abc81004Alan Mishchenko2008-10-041-2/+13
* Version abc80927Alan Mishchenko2008-09-271-0/+1
* Version abc80921Alan Mishchenko2008-09-211-0/+1
* Version abc80910Alan Mishchenko2008-09-101-0/+2
* Version abc80901Alan Mishchenko2008-09-011-0/+1
* Version abc80802Alan Mishchenko2008-08-021-3/+4
* Version abc80725Alan Mishchenko2008-07-251-1/+1
* Version abc80721Alan Mishchenko2008-07-211-0/+1
* Version abc80717Alan Mishchenko2008-07-171-0/+1
* Version abc80702Alan Mishchenko2008-07-021-1/+1
* Version abc80611Alan Mishchenko2008-06-111-1/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-28 15:30:41 +0000