summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
...
* Making 'fold' and 'unfold' skip constant POs (another fix).Alan Mishchenko2013-12-041-6/+18
* Upgrading command 'print_supp'.Alan Mishchenko2013-12-041-3/+12
* Making 'fold' and 'unfold' skip constant POs (fixed).Alan Mishchenko2013-12-041-4/+5
* Bug fixes in the above patches.Alan Mishchenko2013-12-032-6/+7
* Suggested patch of AIG writers.Alan Mishchenko2013-12-032-34/+116
* Making 'fold' and 'unfold' skip constant POs.Alan Mishchenko2013-12-031-0/+4
* New canonical DSD form.Alan Mishchenko2013-12-021-0/+660
* Bug fix in &b when reference counters are given.Alan Mishchenko2013-11-301-0/+1
* Commeting out an assertion in sizing.Alan Mishchenko2013-11-271-1/+1
* Patching ABC for Yosys.Alan Mishchenko2013-11-271-1/+2
* Patching ABC for Yosys.Alan Mishchenko2013-11-271-2/+2
* Patching ABC for Yosys.Alan Mishchenko2013-11-272-4/+6
* Patching ABC for Yosys.Alan Mishchenko2013-11-275-59/+129
* Structural mapper into structures.Alan Mishchenko2013-11-262-42/+65
* Explanation for one assetion.Alan Mishchenko2013-11-261-1/+1
* Bug fix in timing update.Alan Mishchenko2013-11-261-1/+1
* Structural mapper into structures.Alan Mishchenko2013-11-243-81/+191
* Bug fix in technology mapper.Alan Mishchenko2013-11-241-4/+13
* Bug fix in liberty parser.Alan Mishchenko2013-11-231-2/+4
* Add command 'splitsop' to split large node SOPs into smaller ones.Alan Mishchenko2013-11-232-0/+152
* Several changes to allow Liberty files without delay info.Alan Mishchenko2013-11-216-19/+67
* Fixing several simple bugs in library handling.Alan Mishchenko2013-11-213-1/+3
* Bug fix in writing constants in write_verilog.Alan Mishchenko2013-11-211-1/+1
* Propagating initial PI level during balancing.Alan Mishchenko2013-11-151-0/+45
* Adding switch to control the number of nodes tried in mfs2.Alan Mishchenko2013-11-144-14/+29
* Structural mapper into structures.Alan Mishchenko2013-11-127-2/+750
* Improvements to the standard cell flow.Alan Mishchenko2013-11-087-14/+34
* Merged in atomb/abc (pull request #2)Alan Mishchenko2013-11-071-1/+1
|\
| * Fix parenthesization of Abc_Clock #ifdef.Aaron Tomb2013-11-061-1/+1
* | Organizing the timing report functions.Alan Mishchenko2013-11-072-23/+22
* | Fixing the wire-load approximation problem.Alan Mishchenko2013-11-078-64/+88
|/
* Specialized inductive check.Alan Mishchenko2013-11-051-6/+3
* Specialized inductive check.Alan Mishchenko2013-11-051-1/+1
* Specialized inductive check.Alan Mishchenko2013-11-053-4/+159
* Merged in atomb/abc (pull request #1)Alan Mishchenko2013-11-052-4/+6
|\
| * Don't assume MSVC when __MINGW32__ set.Aaron Tomb2013-11-041-0/+2
| * Choose Windows file operations with MINGW32.Aaron Tomb2013-11-041-3/+3
| * Make definition of Abc_Clock work with MINGW32.Aaron Tomb2013-11-041-1/+1
* | Tuning for multi-ouptut solver.Alan Mishchenko2013-11-053-4/+30
* | Tuning for multi-ouptut solver.Alan Mishchenko2013-11-051-1/+1
* | Tuning for multi-ouptut solver.Alan Mishchenko2013-11-041-3/+3
* | Tuning for multi-ouptut solver.Alan Mishchenko2013-11-041-7/+0
* | Tuning for multi-ouptut solver.Alan Mishchenko2013-11-041-1/+1
* | Tuning for multi-ouptut solver.Alan Mishchenko2013-11-041-1/+5
* | Tuning for multi-ouptut solver.Alan Mishchenko2013-11-041-0/+2
* | Tuning for multi-ouptut solver.Alan Mishchenko2013-11-042-2/+3
* | Tuning for multi-ouptut solver.Alan Mishchenko2013-11-045-4/+51
* | Tuning for multi-ouptut solver.Alan Mishchenko2013-11-041-0/+2
* | Added sharing of counter-examples across multiple failed properties in 'bmc3 ...Alan Mishchenko2013-11-041-2/+2
* | Added sharing of counter-examples across multiple failed properties in 'bmc3 ...Alan Mishchenko2013-11-041-1/+2
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-14 20:05:55 +0000