summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaUtil.c
Commit message (Expand)AuthorAgeFilesLines
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-7/+7
* Bug fix in &mprove.Alan Mishchenko2013-05-191-2/+2
* Adding support of XOR/MUX in GIA.Alan Mishchenko2013-05-171-1/+1
* Adding support of XOR/MUX in GIA.Alan Mishchenko2013-05-171-0/+11
* Adding new command &mprove for proving groups of properties.Alan Mishchenko2013-05-171-0/+89
* SAT sweeping under constraints.Alan Mishchenko2013-05-061-0/+1
* Reading/writing MiniAIG and several minor changes.Alan Mishchenko2013-05-031-0/+29
* SAT sweeping under constraints.Alan Mishchenko2013-04-281-0/+25
* SAT sweeping under constraints.Alan Mishchenko2013-04-271-0/+30
* SAT sweeping under constraints.Alan Mishchenko2013-04-251-2/+7
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-3/+3
* Counter-example analysis and optimization.Alan Mishchenko2012-11-281-0/+19
* Improvements to LMS code.Alan Mishchenko2012-11-061-0/+16
* Creating dedicated choice representation for GIA.Alan Mishchenko2012-10-241-0/+25
* Adding frontier comptuation based on reversed CO order in &ps.Alan Mishchenko2012-10-241-6/+15
* Fixing frontier computation in &ps.Alan Mishchenko2012-10-241-4/+43
* Renamed reference counting APIs in GIA package.Alan Mishchenko2012-10-021-5/+5
* Separated truth table computation for GIA manager and added new procedures.Alan Mishchenko2012-10-021-147/+0
* Fixed several important problems in choice computation (command 'dch').Alan Mishchenko2012-10-011-91/+0
* Improving computation of choices from equivalence classes.Alan Mishchenko2012-09-231-49/+0
* Integrating time manager into choice computation.Alan Mishchenko2012-09-221-4/+66
* Added generation of values of internal nodes for GIA manager.Alan Mishchenko2012-08-081-91/+0
* Scalable gate-level abstraction.Alan Mishchenko2012-08-031-0/+18
* Scalable gate-level abstraction.Alan Mishchenko2012-08-011-1/+1
* Recording and reusing learned util clauses in bmc2.Alan Mishchenko2012-07-221-0/+2
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-201-80/+89
* Making GIA use independent truth table number storage when computing truth ta...Alan Mishchenko2012-07-191-6/+8
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-151-3/+8
* Added command &gla_purify.Alan Mishchenko2012-07-081-153/+1
* Updating truth table computation for GIA to work for internal nodes as well.Alan Mishchenko2012-07-081-15/+19
* Procedure to compute truth tables for POs of GIA.Alan Mishchenko2012-07-071-0/+192
* Commands &fla_gla/&gla_fla to convert between flop-level and gate-level abstr...Alan Mishchenko2012-07-061-0/+153
* Bug fix in Gia_ObjPrint()Alan Mishchenko2012-07-031-2/+2
* Misc changes.Alan Mishchenko2012-05-211-2/+2
* Misc changes.Alan Mishchenko2012-05-191-0/+66
* Major restructuring of the code.Alan Mishchenko2012-01-211-41/+5
* Changes to read multi-output testcases described using AIGER 1.9.Alan Mishchenko2011-11-061-0/+24
* Minor bug fix in 'testcex' (made it consider outputs in direct order).Alan Mishchenko2011-08-011-1/+2
* Updating testcext to ignore the diff in register count and other things.Alan Mishchenko2011-05-011-3/+5
* Added new options to testcex.Alan Mishchenko2011-04-281-2/+4
* Unified the use of counter-examples in three packages.Alan Mishchenko2011-02-131-238/+85
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-0/+4
* initial commit of public abcAlan Mishchenko2010-11-011-29/+399
* Version abc90714Alan Mishchenko2015-06-221-2/+36
* Version abc90410Alan Mishchenko2009-04-101-0/+108
* Version abc90408Alan Mishchenko2009-04-081-5/+194
* Version abc90311Alan Mishchenko2009-03-111-2/+55
* Version abc90310Alan Mishchenko2009-03-101-0/+67
* Version abc90217Alan Mishchenko2009-02-171-0/+38
* Version abc90215Alan Mishchenko2009-02-151-0/+518
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 15:04:49 +0000