summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Added generation of multipliers in 'gen'.Alan Mishchenko2012-05-152-105/+160
|
* Preventing 'show' from unmapping the network.Alan Mishchenko2012-05-141-7/+12
|
* Included copyright statement into 'main.c'.Alan Mishchenko2012-05-111-0/+27
|
* Changing the rules of assigning the names when AIG is converted into a logic ↵Alan Mishchenko2012-05-111-4/+9
| | | | network.
* Making sure cec -n and dsec -n do not remove the I/O names in the current ↵Alan Mishchenko2012-05-081-0/+30
| | | | network.
* Bug fix in fraig_restore.Alan Mishchenko2012-05-061-3/+6
|
* Misc changes.Alan Mishchenko2012-05-033-1/+9
|
* Preventing &iso from removing fanoutless PIs.Alan Mishchenko2012-05-033-6/+14
|
* Misc changes.Alan Mishchenko2012-05-021-1/+2
|
* Bug fixes in previous bug fixes related to &trim.Alan Mishchenko2012-05-013-31/+60
|
* Misc changes.Alan Mishchenko2012-05-011-2/+2
|
* Added supporting dual-output seq miters in &trim (bug fix).Alan Mishchenko2012-04-301-2/+0
|
* Compilation problem caused by multiple declarations.Alan Mishchenko2012-04-281-0/+1
|
* Adding on-the-fly truth-table minimization.Alan Mishchenko2012-04-284-1/+22
|
* Added supporting dual-output seq miters in &trim.Alan Mishchenko2012-04-281-0/+13
|
* Added supporting dual-output seq miters in &iso.Alan Mishchenko2012-04-281-0/+8
|
* Added supporting dual-output seq miters in &trim.Alan Mishchenko2012-04-284-10/+56
|
* Added supporting dual-output seq miters in &iso.Alan Mishchenko2012-04-281-2/+2
|
* Added supporting dual-output seq miters in &iso.Alan Mishchenko2012-04-283-9/+48
|
* Misc changes.Alan Mishchenko2012-04-272-38/+44
|
* Set the failed output index if ORing of outputs was done in 'int'.Alan Mishchenko2012-04-271-1/+7
|
* Writing status file vta.status when dumping intermediate abstraction in &vta.Alan Mishchenko2012-04-271-1/+3
|
* Updating the counter of finished frames when dumping intermediate ↵Alan Mishchenko2012-04-273-4/+9
| | | | abstraction in &vta.
* Disallow the circiut-based solver in &scorr to run with more than 1000 ↵Alan Mishchenko2012-04-241-0/+3
| | | | conflicts.
* Misc changes.Alan Mishchenko2012-04-223-2/+7
|
* Misc changes.Alan Mishchenko2012-04-223-6/+11
|
* pyabc: minor fixes to make API changes workBaruch Sterin2012-04-201-1/+3
|
* Added Python APIs for node/level counts.Alan Mishchenko2012-04-201-3/+29
|
* Misc changes.Alan Mishchenko2012-04-203-14/+5
|
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-08-28 15:35:03 +0000