summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Updates and bug fixes.Alan Mishchenko2014-06-151-0/+13
* Updates and bug fixes.Alan Mishchenko2014-06-154-3/+21
* Adding more features to the synthesis script &syn2.Alan Mishchenko2014-06-145-17/+56
* Specializing some truth-table functions to 6 inputs.Alan Mishchenko2014-06-146-83/+121
* pyabc package script: don't package mercurial repositoriesBaruch Sterin2014-06-141-0/+3
* pyabc packaging script: also package shared objectsBaruch Sterin2014-06-141-1/+1
* Various modifications.Alan Mishchenko2014-06-131-1/+2
* Various modifications.Alan Mishchenko2014-06-1213-104/+141
* Enabling switching activity.Alan Mishchenko2014-06-122-2/+7
* Integrating recent changes.Alan Mishchenko2014-06-124-45/+40
* Adding switch to &st to convert to larger gates.Alan Mishchenko2014-06-111-5/+12
* Various modifications.Alan Mishchenko2014-06-101-1/+1
* Various modifications.Alan Mishchenko2014-06-101-0/+61
* Various modifications.Alan Mishchenko2014-06-108-8/+246
* undo an accidental change to the MakefileBaruch Sterin2014-06-101-3/+1
* add an option to the pyabc packaging scriptsBaruch Sterin2014-06-102-3/+10
* minor changes to pyabc install scriptBaruch Sterin2014-06-091-2/+14
* Skip 'scorr' when the network has no primary inputs.Alan Mishchenko2014-06-091-0/+6
* Commented out some assertions inAlan Mishchenko2014-06-071-8/+8
* Adding print-out to &splitprove to see impact of cof variable on AIG size.Alan Mishchenko2014-06-072-10/+14
* Adding print-out to &splitprove to see impact of cof variable on AIG size.Alan Mishchenko2014-06-074-18/+49
* Adding a feature to collapse hierarhical AIGs.Alan Mishchenko2014-06-052-5/+23
* Correcting switching activity computation.Alan Mishchenko2014-06-055-56/+46
* Fixed printout of in the hierarchy log file.Alan Mishchenko2014-06-051-1/+1
* Fixed printout of in the hierarchy log file.Alan Mishchenko2014-06-051-2/+4
* Reverting to Makefile with suppressed printouts.Alan Mishchenko2014-06-051-1/+1
* Fixed printout of in the hierarchy log file.Alan Mishchenko2014-06-051-1/+1
* Fixed printout of in the hierarchy log file.Alan Mishchenko2014-06-051-1/+1
* Fixed C-compiler errors on Windows.Alan Mishchenko2014-06-041-7/+9
* Merged in lj/abc-lj/unfold2-dev (pull request #6)Alan Mishchenko2014-06-0410-4/+775
|\
| * ciJiang Long2014-06-041-1/+1
| * the latest versionJiang Long2014-06-044-117/+120
| * merge unfold2Jiang Long2014-06-0410-4/+772
| * initJiang Long2014-06-040-0/+0
|/
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-0/+4
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-4/+4
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-1/+1
* Adding CEC command &splitprove.Alan Mishchenko2014-06-042-2/+2
* Adding CEC command &splitprove.Alan Mishchenko2014-06-042-134/+158
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-5/+5
* Adding CEC command &splitprove.Alan Mishchenko2014-06-046-82/+366
* Adding CEC command &splitprove.Alan Mishchenko2014-06-042-9/+31
* Adding CEC command &splitprove.Alan Mishchenko2014-06-042-13/+26
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-9/+42
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-52/+59
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-2/+1
* Adding CEC command &splitprove.Alan Mishchenko2014-06-041-1/+1
* Adding CEC command &splitprove.Alan Mishchenko2014-06-044-53/+120
* Merging two branches.Alan Mishchenko2014-06-041-5/+6
|\
| * Fix PLA reader to correctly report error file numbers.Alan Mishchenko2014-06-021-5/+6
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 18:58:55 +0000