summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-101-4/+4
* Renamed Aig_ObjPioNum to be Aig_ObjCioId.Alan Mishchenko2012-03-0945-146/+146
* Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)...Alan Mishchenko2012-03-09163-1129/+1129
* Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci...Alan Mishchenko2012-03-09132-865/+865
* Silencing remaining gcc warnings.Alan Mishchenko2012-03-091-19/+19
* Silencing remaining gcc warnings.Alan Mishchenko2012-03-093-15/+15
* Do not cancel the current abstraction when a new refinement is discovered in ...Alan Mishchenko2012-03-091-3/+3
* Commenting out verbose statements.Alan Mishchenko2012-03-081-4/+4
* Fixing a bug and adding verification of minimized counter-example.Alan Mishchenko2012-03-061-2/+2
* Fixing a bug and adding verification of minimized counter-example.Alan Mishchenko2012-03-061-6/+134
* Adding switch '-n' to 'permute' to derive random topological ordering of inte...Alan Mishchenko2012-03-062-4/+93
* Extending memory page size for proof logging.Alan Mishchenko2012-03-051-13/+16
* Some fixes for VTA under Bridge.Niklas Een2012-03-032-82/+81
* Counterexamples now work in BridgeNiklas Een2012-03-031-1/+3
* Some fixes to the Bridge code. More to do.Niklas Een2012-03-031-8/+21
* Removed warning in Abc_PrintNiklas Een2012-03-021-28/+27
* Adding features related to the communication bridge.Alan Mishchenko2012-03-021-9/+77
* Enabling user-specified required times in 'map'.Alan Mishchenko2012-03-0210-30/+200
* Adding switch -N to 'super' to set an upper bound on the number of supergates...Alan Mishchenko2012-03-021-1/+1
* Making GENLIB parser skip LATCHes.Alan Mishchenko2012-03-024-1/+34
* Redirecting printf messages.Alan Mishchenko2012-03-024-190/+190
* Redirecting printf messages.Alan Mishchenko2012-03-027-73/+56
* Redirecting printf messages.Alan Mishchenko2012-03-021-50/+42
* Adding features related to the communication bridge.Alan Mishchenko2012-03-028-101/+136
* Created a communication bridge.Alan Mishchenko2012-03-013-9/+184
* Created a communication bridge.Alan Mishchenko2012-03-013-1/+375
* Adding switch -N to 'super' to set an upper bound on the number of supergates...Alan Mishchenko2012-03-011-1/+1