summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abc.c
Commit message (Expand)AuthorAgeFilesLines
* Added switches '-c' and '-n' to 'init'.Alan Mishchenko2014-11-021-12/+48
* Changing switch -v in 'qbf' and '&qbf' to be non-verbose by default.Alan Mishchenko2014-10-261-2/+2
* New command &satenum to enumerate SAT assignments of a miter in a naive way.Alan Mishchenko2014-10-251-0/+69
* Adding switch &fftest -N <num> to detect fixed vars after each <num> iterations.Alan Mishchenko2014-10-251-2/+14
* One bug fix and two small changes.Alan Mishchenko2014-10-221-2/+2
* One bug fix and two small changes.Alan Mishchenko2014-10-221-3/+9
* Disabling MiniSAT 2.2 for now.Alan Mishchenko2014-10-211-1/+1
* Compiler problems.Alan Mishchenko2014-10-211-1/+5
* Preparing to work with C++ code.Alan Mishchenko2014-10-211-0/+36
* Adding commands backup/restore.Alan Mishchenko2014-10-211-0/+82
* Adding switch &qbf -q to quantify functional variables.Alan Mishchenko2014-10-201-2/+20
* Improved QBF solver.Alan Mishchenko2014-10-181-2/+125
* Naive (SAT-only) CEC option.Alan Mishchenko2014-10-101-2/+6
* Improvements to ISOP.Alan Mishchenko2014-10-101-0/+2
* Improvements to ISOP.Alan Mishchenko2014-10-101-0/+4
* Detection of threshold functions.Alan Mishchenko2014-10-081-3/+22
* Deriving cell mapping with &if -kz.Alan Mishchenko2014-10-041-1/+6
* Deriving cell mapping with &if -kz.Alan Mishchenko2014-10-041-1/+14
* Adding switch -R to 'if'.Alan Mishchenko2014-10-021-27/+39
* Adding options to &flow.Alan Mishchenko2014-09-291-4/+9
* Adding options to &flow2.Alan Mishchenko2014-09-291-4/+9
* Adding options to &flow.Alan Mishchenko2014-09-291-4/+9
* Renaming DSD commands (dsd_tune -> dsd_match; dsd_clean -> dsd_filter).Alan Mishchenko2014-09-281-10/+10
* Added switch -t to &flow2.Alan Mishchenko2014-09-241-4/+9
* Enables dumping stats into a file.Alan Mishchenko2014-09-231-1/+1
* Extending &cec to take a single-output miter (usage of switch -d has changed!).Alan Mishchenko2014-09-231-10/+24
* Adding switch to enable SOP balancing in '&flow2'.Alan Mishchenko2014-09-211-4/+9
* Synchronizing packages.Alan Mishchenko2014-09-201-4/+4
* Updating command 'dsd_clean'.Alan Mishchenko2014-09-201-7/+29
* Tuning the flow scripts.Alan Mishchenko2014-09-201-17/+75
* Improvements to Boolean matching.Alan Mishchenko2014-09-191-22/+20
* Improvements to Boolean matching.Alan Mishchenko2014-09-181-4/+4
* Improvements to Boolean matching.Alan Mishchenko2014-09-181-14/+28
* Improving DSD manager.Alan Mishchenko2014-09-181-6/+20
* Concurrency for Boolean matching.Alan Mishchenko2014-09-181-11/+45
* Improvements to Boolean matching.Alan Mishchenko2014-09-171-4/+29
* New choice computation.Alan Mishchenko2014-09-161-10/+65
* Code restructuring.Alan Mishchenko2014-09-161-0/+49
* Bug fix in transferring timing info.Alan Mishchenko2014-09-091-5/+5
* Added command 'move_names'.Alan Mishchenko2014-08-281-1/+1
* Added command 'move_names'.Alan Mishchenko2014-08-281-0/+79
* Tuning LUT mapping flow.Alan Mishchenko2014-08-281-0/+1
* Tuning LUT mapping flow.Alan Mishchenko2014-08-271-1/+1
* Tuning LUT mapping flow.Alan Mishchenko2014-08-271-0/+135
* Improvements BLIF parser.Alan Mishchenko2014-08-271-2/+2
* Improvements to DSD balancing.Alan Mishchenko2014-08-271-36/+96
* Adding commands to save/load best network.Alan Mishchenko2014-08-261-7/+162
* Improving GIA interfaces for some procedures.Alan Mishchenko2014-08-251-1/+1
* Correcting incorrect handling of timing in several &-commands.Alan Mishchenko2014-08-251-0/+116
* Propagating timing support to the new synthesis/mapping commands.Alan Mishchenko2014-08-201-7/+7
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-02 21:41:59 +0000