summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Adding dumping abstractions in &vta.Alan Mishchenko2012-04-151-2/+5
* Adding iterative refinement to 'addbuffs'.Alan Mishchenko2012-04-141-0/+43
* Adding iterative refinement to 'addbuffs'.Alan Mishchenko2012-04-132-10/+37
* Updated used message for 'back_reach'.Alan Mishchenko2012-04-131-1/+1
* Bug fix in SOP balancing with structural choices.Alan Mishchenko2012-04-121-0/+2
* Adding iterative refinement to 'addbuffs'.Alan Mishchenko2012-04-111-34/+2
* Adding iterative refinement to 'addbuffs'.Alan Mishchenko2012-04-112-7/+161
* Adding reverse order to 'addbuffs'.Alan Mishchenko2012-04-112-5/+26
* Added/moved several APIs.Alan Mishchenko2012-04-104-13/+20
* Improving printouts of critical path.Alan Mishchenko2012-04-091-1/+2
* Improving printouts of critical path.Alan Mishchenko2012-04-091-6/+3
* Improving printouts of critical path.Alan Mishchenko2012-04-092-5/+5
* Improving printouts of critical path.Alan Mishchenko2012-04-091-2/+4
* Added dumping abstracted model in &vta.Alan Mishchenko2012-04-071-2/+2
* Added dumping abstracted model in &vta.Alan Mishchenko2012-04-073-2/+43
* Better interface with the new code.Alan Mishchenko2012-04-061-2/+7
* Improving printouts of critical path.Alan Mishchenko2012-04-061-3/+6
* Improving printouts of critical path.Alan Mishchenko2012-04-062-6/+6
* Improving printouts of critical path.Alan Mishchenko2012-04-065-22/+78
* Added several new APIs.Alan Mishchenko2012-03-312-0/+19
* Added several new APIs to GIA and for file management.Alan Mishchenko2012-03-304-2/+49
* Bug fix in 'addbuffs'.Alan Mishchenko2012-03-291-2/+2
* Moving Vec_Set_t to the vector directory.Alan Mishchenko2012-03-281-11/+12
* Moving Vec_Set_t to the vector directory.Alan Mishchenko2012-03-286-8/+8
* Logic sharing for multi-input gates (silencing a warning).Alan Mishchenko2012-03-271-4/+0
* Enabling mapping into multi-input AND/OR gates.Alan Mishchenko2012-03-278-23/+274
* Logic sharing for multi-input gates (bug fix).Alan Mishchenko2012-03-261-1/+8
* Important bug fix in XOR balancing (balance -x).Alan Mishchenko2012-03-261-185/+91
* Making demiter dump files in the current directory.Alan Mishchenko2012-03-261-5/+13
* Logic sharing for multi-input gates.Alan Mishchenko2012-03-262-12/+204
* Logic sharing for multi-input gates.Alan Mishchenko2012-03-251-4/+4
* Logic sharing for multi-input gates.Alan Mishchenko2012-03-253-116/+305
* Logic sharing for multi-input gates.Alan Mishchenko2012-03-251-1/+0
* Logic sharing for multi-input gates.Alan Mishchenko2012-03-256-462/+606
* Logic sharing for multi-input gates.Alan Mishchenko2012-03-256-0/+492
* Improving printouts of gates and support.Alan Mishchenko2012-03-242-10/+50
* Bug fix in the mapper: using an object after it is deleted.Alan Mishchenko2012-03-241-2/+2
* Silencing a gcc warning.Alan Mishchenko2012-03-231-1/+1
* Enabled demitering dual-output miters.Alan Mishchenko2012-03-233-47/+29
* Added command 'addbuffs' to create balanced CI/CO paths.Alan Mishchenko2012-03-232-0/+123
* Additional features for delay optimizationAlan Mishchenko2012-03-2117-46/+544
* Switching to a variable-page-size memory manager for clauses and proofs.Alan Mishchenko2012-03-216-96/+44
* Added one currently unused iterator.Alan Mishchenko2012-03-211-3/+5
* Preventing gcc compilation errors in handling memory pages.Alan Mishchenko2012-03-212-27/+27
* Bug fix to prevent crashing when Abc_Print() is called while ABC is not initi...Alan Mishchenko2012-03-201-2/+2
* Alternative way of computing delay in SOP balancing.Alan Mishchenko2012-03-164-3/+163
* Exploration of ISO and minor changes.Alan Mishchenko2012-03-134-7/+114
* Added new procedures to read files.Alan Mishchenko2012-03-112-1/+52
* Added command 'nodedup' to duplicate nodes with high fanout.Alan Mishchenko2012-03-112-0/+125
* Updating &test to call full check.Alan Mishchenko2012-03-101-1/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 07:15:38 +0000