summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/gia.h
Commit message (Expand)AuthorAgeFilesLines
...
* Improvements to truth table computation.Alan Mishchenko2013-09-301-2/+6
* New logic sharing extraction.Alan Mishchenko2013-09-291-5/+5
* Changing default values.Alan Mishchenko2013-09-281-1/+1
* New logic sharing extraction.Alan Mishchenko2013-09-281-1/+1
* New logic sharing extraction.Alan Mishchenko2013-09-281-1/+3
* Performance balancing command &b.Alan Mishchenko2013-09-271-2/+12
* Performance improvements in GIA package.Alan Mishchenko2013-09-271-7/+8
* Generation of plain AIG after mapping.Alan Mishchenko2013-09-271-0/+1
* Changes to enable decomposition of non-DSD functions.Alan Mishchenko2013-09-251-0/+1
* Added bridge integration for multi-output 'pdr -a'.Alan Mishchenko2013-09-161-0/+12
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-0/+1
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-3/+6
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-0/+1
* Command '&slice' to cut out the bottom part of the AIG.Alan Mishchenko2013-09-111-0/+1
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-0/+1
* Improvements to the &ps.Alan Mishchenko2013-09-081-0/+2
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-0/+2
* Improvements to the new technology mapper.Alan Mishchenko2013-09-071-12/+46
* Unifying parameters for the &ps command.Alan Mishchenko2013-09-051-1/+10
* Updates for the new BMC engine.Alan Mishchenko2013-09-051-0/+1
* Adding procedures to specify permutations with unused flops.Alan Mishchenko2013-08-281-0/+1
* Added switch &sim -g to enable flop grouping.Alan Mishchenko2013-08-201-0/+1
* New technology mapper.Alan Mishchenko2013-07-131-0/+3
* Unifying representation of mapping in GIA.Alan Mishchenko2013-06-251-14/+7
* Improving integration of the 'if' mapper with GIA.Alan Mishchenko2013-06-251-1/+1
* Improving integration of the 'if' mapper with GIA.Alan Mishchenko2013-06-251-1/+1
* Integrating new MFS package with GIA manager.Alan Mishchenko2013-06-041-0/+1
* Multiplexer profiling.Alan Mishchenko2013-05-271-1/+6
* Counter-example depth minimization.Alan Mishchenko2013-05-221-1/+4
* Added new switched to command &frames.Alan Mishchenko2013-05-191-0/+14
* Adding support of XOR/MUX in GIA.Alan Mishchenko2013-05-171-12/+69
* Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins.Alan Mishchenko2013-05-171-20/+0
* Adding new command &mprove for proving groups of properties.Alan Mishchenko2013-05-171-0/+3
* SAT sweeping under constraints (bug fix).Alan Mishchenko2013-05-071-1/+1
* Reading/writing MiniAIG and several minor changes.Alan Mishchenko2013-05-031-0/+7
* Faster isomorphism detection (command &iso).Alan Mishchenko2013-05-011-1/+2
* Changing the print-out of &iso.Alan Mishchenko2013-04-301-1/+1
* SAT sweeping under constraints.Alan Mishchenko2013-04-281-0/+1
* SAT sweeping under constraints.Alan Mishchenko2013-04-281-0/+1
* SAT sweeping under constraints.Alan Mishchenko2013-04-271-0/+3
* SAT sweeping under constraints.Alan Mishchenko2013-04-251-2/+19
* Shrink for 6-LUTs.Alan Mishchenko2013-04-011-1/+1
* Shrink for 6-LUTs.Alan Mishchenko2013-04-011-1/+1
* Shrink for 6-LUTs.Alan Mishchenko2013-03-311-0/+1
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-281-1/+1
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-271-0/+2
* Modified command 'init' to allow for specific init values.Alan Mishchenko2013-03-071-1/+1
* Improvements to the hierarchy/timing manager.Alan Mishchenko2013-03-051-1/+1
* User-controlable SAT sweeper.Alan Mishchenko2013-03-041-1/+1
* User-controlable SAT sweeper.Alan Mishchenko2013-03-031-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 15:32:58 +0000