summaryrefslogtreecommitdiffstats
path: root/src/base/acb
Commit message (Collapse)AuthorAgeFilesLines
* Adding switch &w -n to modify the comment section of the AIGER file written.Alan Mishchenko2018-11-212-5/+5
|
* Complication problem fix.Alan Mishchenko2018-08-191-1/+1
|
* Updates to NDR format (flops, memories, signed mult, etc).Alan Mishchenko2018-04-291-1/+1
|
* The ECO code (fix to the broken build).Alan Mishchenko2018-04-281-2/+2
|
* The ECO code.Alan Mishchenko2018-04-251-2/+2494
|
* Improvements to NDR to represent hierarchical designs.Alan Mishchenko2018-02-051-1/+1
|
* Profiling quantification and other changes.Alan Mishchenko2017-11-061-0/+61
|
* Improvements to truth table manipulation.Alan Mishchenko2017-10-051-2/+2
|
* Small fixes for C++ compilersBruno Schmitt2017-07-041-1/+1
|
* Logic restructuring after mapping.Alan Mishchenko2017-04-231-2/+22
|
* Logic restructuring after mapping.Alan Mishchenko2017-04-191-4/+4
|
* Logic restructuring after mapping.Alan Mishchenko2017-04-193-49/+326
|
* Logic restruturing after mapping.Alan Mishchenko2017-04-171-0/+124
|
* Logic restruturing after mapping.Alan Mishchenko2017-04-172-0/+23
|
* Experiments with hashing.Alan Mishchenko2017-04-083-1/+56
|
* Experiments with don't-cares.Alan Mishchenko2017-04-083-22/+48
|
* Experiments with don't-cares.Alan Mishchenko2017-04-044-48/+169
|
* Experiments with don't-cares.Alan Mishchenko2017-04-043-170/+435
|
* Experiments with don't-cares.Alan Mishchenko2017-04-025-308/+579
|
* Experiments with don't-cares.Alan Mishchenko2017-03-311-2/+2
|
* Experiments with don't-cares.Alan Mishchenko2017-03-312-60/+195
|
* Experiments with don't-cares.Alan Mishchenko2017-03-284-474/+537
|
* Experiments with don't-cares.Alan Mishchenko2017-03-263-3/+12
|
* Experiments with don't-cares.Alan Mishchenko2017-03-262-2/+2
|
* Experiments with don't-cares.Alan Mishchenko2017-03-265-277/+683
|
* Experiments with don't-cares.Alan Mishchenko2017-03-232-22/+618
|
* Experiments with don't-cares.Alan Mishchenko2017-03-224-5/+443
|
* Experiments with new network data-structure.Alan Mishchenko2017-03-202-11/+14
|
* Experiments with new network data-structure.Alan Mishchenko2017-03-191-0/+4
|
* Experiments with new network data-structure.Alan Mishchenko2017-03-191-2/+2
|
* Experiments with new network data-structure.Alan Mishchenko2017-03-197-0/+2026