summaryrefslogtreecommitdiffstats
path: root/src/base/abc
Commit message (Expand)AuthorAgeFilesLines
* BMS fixes and start gates parameter.Mathias Soeken2016-08-251-1/+1
* Resource constraints in exact synthesis, arrival times in exact command.Mathias Soeken2016-08-081-1/+1
* Handling constant and buffer cut in exact synthesis.Alan Mishchenko2016-08-051-1/+1
* Infrastructure for using the results of exact SAT-based synthesis during mapp...Alan Mishchenko2016-07-291-0/+3
* Several updates to exact synthesis.Mathias Soeken2016-07-281-1/+1
* Extending command 'exact' to handle delay constraints.Alan Mishchenko2016-07-231-1/+1
* Adding new command 'dump_equiv'.Alan Mishchenko2016-07-211-6/+5
* Adding command 'exact' developed by Mathias Soeken to implement Knuth's exact...Alan Mishchenko2016-07-161-0/+2
* Several corner-case bugs in %read, &cec, and st.Alan Mishchenko2016-07-161-2/+3
* Small fixes and improvements in reporting node counts.Alan Mishchenko2016-07-152-1/+22
* Detecting properties of internal nodes.Alan Mishchenko2016-06-122-0/+2
* Enabling AIGs without structural hashing (&get -c to import logic network).Alan Mishchenko2016-05-202-11/+14
* Added Exorcism package, reading ESOP (read_pla -x file.esop) and deriving AIG...Alan Mishchenko2016-04-111-4/+13
* Preserving internal signal names when 'strash' is not used.Alan Mishchenko2016-02-032-0/+7
* Bug fix in 'aig', for the case of non-min-base SOPs.Alan Mishchenko2016-01-201-0/+1
* Better print-out of SOPs. Changing default of 'fx'. Updating 'satclp' to fine...Alan Mishchenko2016-01-123-8/+181
* Improvements to timing optimization.Alan Mishchenko2015-11-112-0/+29
* Improvements to 'satclp'.Alan Mishchenko2015-11-091-1/+1
* silence clang errors when compiling as C++Baruch Sterin2015-11-052-2/+2
* Improvements to command print_fanio.Alan Mishchenko2015-10-271-1/+1
* Added switch 'satclp -Z' to control the max size of the cone to work with.Alan Mishchenko2015-10-231-1/+1
* Changes for delay-oriented computation.Alan Mishchenko2015-10-231-0/+4
* Additional improvements in 'satclp'.Alan Mishchenko2015-10-181-0/+35
* New switch 'satclp -r' to reverse variable order.Alan Mishchenko2015-10-071-1/+1
* Bug fix in &nf and in propagating timing info.Alan Mishchenko2015-09-271-2/+2
* Several bug-fixed related to synthesis, library handling, and timimg info.Alan Mishchenko2015-09-231-1/+1
* New constraint manager and memory reporting 'ps'.Alan Mishchenko2015-09-083-11/+37
* Experiments with SAT-based collapsing.Alan Mishchenko2015-09-041-1/+1
* Experiments with SAT-based collapsing.Alan Mishchenko2015-09-041-0/+1
* Adding switch to control area-recovery and more tuning in &nf.Alan Mishchenko2015-08-281-1/+1
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-249-9/+9
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-249-148/+255
* Updates to Cba data-structure.Alan Mishchenko2015-07-231-1/+1
* Adding new Python API 'is_func_iso2'.Alan Mishchenko2015-07-112-7/+17
* Adding new Python API 'is_func_iso'.Alan Mishchenko2015-07-112-0/+93
* Adding new Python API 'co_supp'.Alan Mishchenko2015-07-071-0/+1
* Adding new Python API 'co_supp'.Alan Mishchenko2015-07-062-0/+52
* Fixing assertion failure in Abc_NtkBddToSop.Alan Mishchenko2015-06-291-0/+4
* Making sure the CI/CO are not ordered by 'fraig_restore'.Alan Mishchenko2015-06-292-13/+104
* Adding resource limits to 'fraig_restore'.Alan Mishchenko2015-06-271-1/+1
* Making sure 0-input LUTs are supported by the DSD matching code.Alan Mishchenko2015-05-142-2/+2
* Getting default AND-node delay from Genlib library.Alan Mishchenko2015-04-061-0/+2
* Making sure the names are transfered when &get -n is used.Alan Mishchenko2015-04-041-13/+19
* Properly copying and saving the timing info in &get and &put.Alan Mishchenko2015-04-041-0/+2
* Bug fix in handling constants in the updated 'sop' command.Alan Mishchenko2015-04-031-9/+4
* Bug fix in 'move_names' related to feed-through nets.Alan Mishchenko2015-03-151-1/+20
* Compiler warnings.Alan Mishchenko2015-02-191-4/+6
* Performance bug fix in 'clp' (different way of removing redundant fanins).Alan Mishchenko2015-02-191-1/+1
* Propagating changes after updating flag of 'sop'.Alan Mishchenko2015-02-195-11/+11
* Changing semantics of switch -C in 'sop' to limit cubes at one node.Alan Mishchenko2015-02-181-15/+17
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 16:32:03 +0000