summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Experiments with edge-based mapping.Alan Mishchenko2016-06-292-26/+173
|
* Experiments with edge-based mapping.Alan Mishchenko2016-06-171-71/+74
|
* Experiments with edge-based mapping.Alan Mishchenko2016-06-153-3/+882
|
* Improvement to CNF encoding of cardinality constraints proposed by Mathias ↵Alan Mishchenko2016-06-071-0/+6
| | | | Soaken.
* Small changes for today's experiments.Alan Mishchenko2016-06-033-7/+16
|
* Enabling AIGs without structural hashing (&get -c to import logic network).Alan Mishchenko2016-05-202-10/+13
|
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-202-2/+2
|
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-206-18/+29
|
* Switch &miter -y to convert a two-word miter into a dual-output miter.Alan Mishchenko2016-05-202-0/+32
|
* Enabling AIGs without structural hashing.Alan Mishchenko2016-05-205-19/+25
|
* Bug fix in &demiter.Alan Mishchenko2016-05-161-16/+9
|
* Factoring out library preprocessing code in &nf and putting it elsewhere.Alan Mishchenko2016-05-161-34/+25
|
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-114-2/+9
|
* Invalidate packing after mapping is updated.Alan Mishchenko2016-05-091-0/+1
|
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-082-12/+225
|
* Experiments with CEC for arithmetic circuits.Alan Mishchenko2016-05-0710-1692/+444
|
* Update to &show to show AIGs with XORs and MUXes (derived by &st -m).Alan Mishchenko2016-05-041-0/+1
|
* Update to &show to show AIGs with XORs and MUXes (derived by &st -m).Alan Mishchenko2016-05-041-2/+28
|
* Updating GIG parser.Alan Mishchenko2016-05-011-180/+384
|
* Fanout restriction in &edge.Alan Mishchenko2016-04-301-11/+33
|
* Experiments with arithmetic circuits.Alan Mishchenko2016-04-282-0/+290
|
* Adding option to rehash AIG after mapping.Alan Mishchenko2016-04-2710-18/+16
|
* Extending &satlut to work for 6-LUTs.Alan Mishchenko2016-04-271-4/+11
|
* Using seed assignment of edges in &edge.Alan Mishchenko2016-04-273-2/+17
|
* Improved algo for edge computation.Alan Mishchenko2016-04-241-1/+1
|
* Improved algo for edge computation.Alan Mishchenko2016-04-242-7/+90
|
* Improved algo for edge computation.Alan Mishchenko2016-04-231-48/+58
|
* Improved algo for edge computation.Alan Mishchenko2016-04-226-7/+430
|
* Experimental algorithm for edge optimization.Alan Mishchenko2016-04-134-1/+360
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 03:13:03 +0000