summaryrefslogtreecommitdiffstats
path: root/src/aig
Commit message (Expand)AuthorAgeFilesLines
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-245-50/+115
* Improvements to handling boxes and flops.Alan Mishchenko2014-11-244-55/+254
* Fix in reading flop classes.Alan Mishchenko2014-11-211-6/+9
* Fix in reading flop classes.Alan Mishchenko2014-11-213-16/+31
* Fix in reading flop classes.Alan Mishchenko2014-11-211-1/+7
* Fix in reading flop classes.Alan Mishchenko2014-11-211-6/+8
* Extending &fadds to support artificial chains. New command &setregnum.Alan Mishchenko2014-11-201-21/+141
* Extending &fadds to support artificial chains.Alan Mishchenko2014-11-192-33/+280
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-173-23/+33
* Integrating mfs2 package to work with boxes.Alan Mishchenko2014-11-166-243/+336
* Enabling AIGs with boxes for word-level and sequential designs.Alan Mishchenko2014-11-142-33/+26
* Enabling AIGs with boxes for word-level and sequential designs.Alan Mishchenko2014-11-135-219/+323
* Added switch -i to &filter to use FIs instead of FOs.Alan Mishchenko2014-11-112-11/+21
* Generation of barrier-buffers for hierarchical design.Alan Mishchenko2014-11-104-1/+5
* Removing unauthorized printout in 'pdr'.Alan Mishchenko2014-11-091-1/+7
* Detecting full-adder chains and putting them into white boxes.Alan Mishchenko2014-11-091-4/+11
* Detecting full-adder chains and putting them into white boxes.Alan Mishchenko2014-11-094-94/+530
* Full adder detection code.Alan Mishchenko2014-11-081-0/+300
* Making public some APIs.Alan Mishchenko2014-11-032-18/+27
* Added switches '-c' and '-n' to 'init'.Alan Mishchenko2014-11-021-0/+64
* Compiler warnings.Alan Mishchenko2014-10-282-2/+2
* Adding MAJ gate to GIA package.Alan Mishchenko2014-10-262-0/+20
* New command &satenum to enumerate SAT assignments of a miter in a naive way.Alan Mishchenko2014-10-251-0/+59
* Bug fix in seq synthesis due to resent code restructuring.Alan Mishchenko2014-10-212-4/+4
* Adding switch &qbf -q to quantify functional variables.Alan Mishchenko2014-10-201-2/+1
* Adding switch &qbf -q to quantify functional variables.Alan Mishchenko2014-10-201-1/+41
* Improved QBF solver.Alan Mishchenko2014-10-181-19/+94
* Improved QBF solver.Alan Mishchenko2014-10-181-10/+25
* Improved QBF solver.Alan Mishchenko2014-10-182-0/+305
* MUX decomposition during mapping.Alan Mishchenko2014-10-131-5/+19
* MUX decomposition during mapping.Alan Mishchenko2014-10-122-9/+17
* MUX decomposition during mapping.Alan Mishchenko2014-10-121-7/+10
* Recommended changes for portability.Alan Mishchenko2014-10-122-4/+39
* MUX decomposition during mapping.Alan Mishchenko2014-10-111-25/+121
* Deriving network in terms of programmable cells.Alan Mishchenko2014-10-111-5/+12
* Correction to the patch to compile with Visual Studio.Alan Mishchenko2014-10-101-1/+1
* Suggested patch for type-punned warningsAlan Mishchenko2014-10-102-6/+16
* Small changes.Alan Mishchenko2014-10-081-8/+8
* Compiler warnings.Alan Mishchenko2014-10-081-1/+1
* Detection of threshold functions.Alan Mishchenko2014-10-081-9/+11
* Updates to &flow and &flow2.Alan Mishchenko2014-10-051-9/+9
* Deriving cell mapping with &if -kz.Alan Mishchenko2014-10-044-18/+73
* Deriving AIG after cell mapping.Alan Mishchenko2014-10-031-0/+29
* Adding options to &flow.Alan Mishchenko2014-09-291-8/+10
* Adding options to &flow2.Alan Mishchenko2014-09-291-4/+4
* Adding options to &flow2.Alan Mishchenko2014-09-291-5/+5
* Adding options to &flow.Alan Mishchenko2014-09-291-17/+17
* Adding out-of-bounds checks to AIGER readers.Alan Mishchenko2014-09-281-1/+1
* Adding features to CNF generation.Alan Mishchenko2014-09-281-2/+2
* Added switch -t to &flow2.Alan Mishchenko2014-09-241-5/+5
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 22:02:50 +0000