summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaUtil.c
Commit message (Expand)AuthorAgeFilesLines
* Profiling quantification and other changes.Alan Mishchenko2017-11-061-0/+52
* Temp changesAlan Mishchenko2017-06-151-0/+25
* Removing unused procedure.Alan Mishchenko2017-02-221-19/+0
* Compiler warnings.Alan Mishchenko2017-02-181-1/+1
* Experiments with SAT sweeping.Alan Mishchenko2017-02-181-0/+19
* Updates to arithmetic verification.Alan Mishchenko2017-01-301-2/+2
* Enabling AIGs without structural hashing (&get -c to import logic network).Alan Mishchenko2016-05-201-1/+1
* Improvements to delay-optimization in &satlut.Alan Mishchenko2016-04-041-0/+28
* New command to dump LUT network.Alan Mishchenko2016-01-161-0/+92
* Improvements to 'satclp'.Alan Mishchenko2015-10-281-0/+41
* Integrating barrier buffers.Alan Mishchenko2014-12-111-5/+11
* Integrating barrier buffers.Alan Mishchenko2014-12-081-4/+4
* Enabling AIGs with boxes for word-level and sequential designs.Alan Mishchenko2014-11-131-25/+0
* Changing default CNF generation in &bmc.Alan Mishchenko2014-08-181-0/+6
* Updates and changes to several packages.Alan Mishchenko2014-07-201-0/+9
* Compiler warning.Alan Mishchenko2014-07-011-1/+1
* Improvements to representation of choices.Alan Mishchenko2014-07-011-7/+17
* Various modifications.Alan Mishchenko2014-06-121-28/+0
* Various modifications.Alan Mishchenko2014-06-101-0/+28
* Adding print-out of average level.Alan Mishchenko2014-04-191-0/+9
* Ternary simulation for multi-output miters.Alan Mishchenko2014-03-281-0/+54
* Experiments with simulation.Alan Mishchenko2014-03-141-0/+5
* False path detection.Alan Mishchenko2013-10-311-0/+24
* Multi-output property solver.Alan Mishchenko2013-10-231-1/+1
* Adding new synthesis scripts.Alan Mishchenko2013-10-231-0/+1
* More accurate level calculation in AIG balancing.Alan Mishchenko2013-10-221-0/+48
* Changing default values.Alan Mishchenko2013-09-301-0/+64
* Changing default values.Alan Mishchenko2013-09-301-1/+1
* New logic sharing extraction.Alan Mishchenko2013-09-281-2/+8
* Performance balancing command &b.Alan Mishchenko2013-09-271-3/+3
* Changes to enable decomposition of non-DSD functions.Alan Mishchenko2013-09-251-0/+23
* Improvements to the new technology mapper.Alan Mishchenko2013-09-111-2/+2
* Moving #include to the top of the file in 'giaUtil.c'.Alan Mishchenko2013-09-101-2/+1
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-0/+24
* New technology mapper.Alan Mishchenko2013-07-141-1/+4
* Unifying representation of mapping in GIA.Alan Mishchenko2013-06-251-0/+92
* Multiplexer profiling.Alan Mishchenko2013-05-271-1/+39
* 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