summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
Commit message (Collapse)AuthorAgeFilesLines
* New command &satoko.Alan Mishchenko2017-02-082-0/+127
|
* Improvements in AIG visualization.Alan Mishchenko2017-02-051-12/+15
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-301-2/+2
|
* Fixing non-reproducability related to floating-point numbers.Alan Mishchenko2017-01-274-22/+27
|
* Commenting out &mfs report message.Alan Mishchenko2017-01-271-0/+1
|
* Corner-case bug in MiniLUT.Alan Mishchenko2017-01-251-0/+1
|
* Small fixes and a change to &cec to allow two files names given as ↵Alan Mishchenko2017-01-212-8/+10
| | | | command-line arguments.
* Updates to arithmetic verification.Alan Mishchenko2017-01-153-3/+77
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-141-6/+8
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-142-1/+27
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-131-10/+18
|
* Adding print-out of critical path for mapped AIGs to &show.Alan Mishchenko2017-01-132-10/+302
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-131-0/+2
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-122-0/+52
|
* Changing file naming in 'show' and '&show'.Alan Mishchenko2017-01-111-6/+2
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-101-6/+0
|
* Updated to arithmetic verification.Alan Mishchenko2017-01-091-4/+12
|
* Delay-oriented performance improvement in &dch (make it conditional).Alan Mishchenko2017-01-091-1/+2
|
* Delay-oriented performance improvement in &dch.Alan Mishchenko2017-01-091-2/+8
|
* Compiler warnings.Alan Mishchenko2017-01-074-24/+24
|
* Dealing wit COs driven by inverters in MiniLUT.Alan Mishchenko2017-01-061-2/+38
|
* Updates to delay optimization project.Alan Mishchenko2017-01-021-16/+16
|
* Updates to delay optimization project.Alan Mishchenko2016-12-311-15/+38
|
* Several changes in arithmetic circuit manipulation.Alan Mishchenko2016-12-223-19/+107
|
* Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.Alan Mishchenko2016-12-131-6/+6
|
* Improvements to GIA visualization.Alan Mishchenko2016-12-081-1/+0
|
* Improvements to GIA visualization.Alan Mishchenko2016-12-081-265/+505
|
* Adding support for minimalistic representation of LUT mapping.Alan Mishchenko2016-12-051-1/+1
|
* Adding support for minimalistic representation of LUT mapping.Alan Mishchenko2016-12-052-0/+184
|
* New SAT-based optimization package.Alan Mishchenko2016-12-041-1/+1
|
* Minor bug fixes.Alan Mishchenko2016-11-211-1/+1
|
* Code for profiling arithmetic circuits.Alan Mishchenko2016-10-211-3/+9
|
* Improving robustness of &b.Alan Mishchenko2016-10-151-2/+2
|
* Adding switch &mfs -b to preserve white boxes during optimization.Alan Mishchenko2016-10-071-3/+3
|
* Long standing bug fix in &mfs.Alan Mishchenko2016-10-061-12/+18
|
* Changes to report quantum cost in Exorcism.Alan Mishchenko2016-08-171-1/+1
|
* Bug fix in 'edge -m'.Alan Mishchenko2016-08-101-6/+13
|
* Updates to arithmetic verification.Alan Mishchenko2016-08-051-6/+10
|
* Infrastructure for using the results of exact SAT-based synthesis during ↵Alan Mishchenko2016-07-291-6/+6
| | | | mapping.
* Adding new command 'dump_equiv'.Alan Mishchenko2016-07-214-2/+150
|
* Fix in reading initial state for edge-detection.Alan Mishchenko2016-07-201-4/+36
|
* Extension in the detection code.Alan Mishchenko2016-07-191-0/+3
|
* Fix in reading initial state for edge-detection.Alan Mishchenko2016-07-191-0/+2
|
* Tuning &blut implementation.Alan Mishchenko2016-07-181-8/+9
|
* Several corner-case bugs in %read, &cec, and st.Alan Mishchenko2016-07-161-3/+12
|
* Fixes and adjustments for the edge computation flow.Alan Mishchenko2016-07-151-1/+2
|
* Small fixes and improvements in reporting node counts.Alan Mishchenko2016-07-151-2/+2
|
* Adding a debug way to print cuts used in the CNF-generator.Alan Mishchenko2016-07-131-0/+9
|
* Removing verbose output in &cec and &syn4.Alan Mishchenko2016-07-132-3/+3
|
* Experiments with edge-based mapping (bug fix).Alan Mishchenko2016-07-021-6/+18
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 14:27:38 +0000