summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Expand)AuthorAgeFilesLines
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-152-5/+51
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-132-10/+22
* Assembling timing/hierarchy manager from input data.Alan Mishchenko2012-12-102-0/+62
* Unifification of custom extensions.Alan Mishchenko2012-12-103-32/+31
* Enabling multi-output solving in 'pdr'.Alan Mishchenko2012-12-091-3/+4
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-091-6/+5
* Deriving CEX after phase/tempor/reparam.Alan Mishchenko2012-12-082-1/+118
* Counter-example analysis and optimization.Alan Mishchenko2012-11-301-2/+2
* Counter-example analysis and optimization.Alan Mishchenko2012-11-292-0/+20
* Counter-example analysis and optimization.Alan Mishchenko2012-11-282-0/+12
* DSD manager.Alan Mishchenko2012-11-201-5/+5
* DSD manager.Alan Mishchenko2012-11-191-0/+1
* Added switch 'cexcut -m' to generate bad states for all frames after G.Alan Mishchenko2012-11-151-2/+2
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-141-11/+12
* Added command 'cexcut' and 'cexmerge'.Alan Mishchenko2012-11-142-0/+59
* Made print-out of frontier cut an option ('-c') in '&ps'.Alan Mishchenko2012-11-121-1/+1
* Improved DSD.Alan Mishchenko2012-11-111-3/+46
* Improved DSD.Alan Mishchenko2012-11-061-0/+52
* Improved DSD.Alan Mishchenko2012-11-061-45/+164
* Improved DSD.Alan Mishchenko2012-11-031-1/+2
* Improved DSD.Alan Mishchenko2012-11-021-21/+36
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-10/+2
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-462/+69
* Improvements to the truth table computations.Alan Mishchenko2012-11-011-84/+101
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-13/+22
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-2/+4
* Improvements to the truth table computations.Alan Mishchenko2012-10-311-2/+38
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-2/+39
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-4/+4
* Improvements to the truth table computations.Alan Mishchenko2012-10-304-80/+906
* Added switch for netlist type to 'send_aig'. Changed defautl to &-space. Fixe...Niklas Een2012-10-302-10/+20
* Improvements to the truth table computation in 'if' package.Alan Mishchenko2012-10-291-4/+103
* Move truth table code into a separte file.Alan Mishchenko2012-10-281-0/+323
* Improvements to LMS code.Alan Mishchenko2012-10-271-8/+7
* Improvements to LMS code.Alan Mishchenko2012-10-271-5/+78
* Adding #ifdef to guard windows-specific debugging option.Alan Mishchenko2012-10-201-3/+5
* Improvements to gate sizing.Alan Mishchenko2012-10-091-0/+3
* Improvements to gate sizing.Alan Mishchenko2012-10-081-0/+360
* Bug fix in loading the timing manager.Alan Mishchenko2012-10-051-0/+8
* Minor bug fix.Alan Mishchenko2012-10-041-3/+3
* C++ portability changes.Alan Mishchenko2012-10-031-5/+6
* Minor bug fixes.Alan Mishchenko2012-10-031-3/+3
* Replacing 'st_table' by 'st__table' to resolve linker problems.Alan Mishchenko2012-09-298-270/+270
* Testing GIA with time manager.Alan Mishchenko2012-09-242-9/+54
* Testing GIA with time manager.Alan Mishchenko2012-09-235-18/+75
* Modified structural constraint extraction (unfold -s) to work for multi-outpu...Alan Mishchenko2012-09-231-0/+22
* Integrating time manager into choice computation.Alan Mishchenko2012-09-224-53/+76
* Upgrading hierarchy timing manager.Alan Mishchenko2012-09-2110-989/+1394
* Modified 'read' to read all types of libraries (genlib, liberty, scl).Alan Mishchenko2012-09-201-1/+1
* Changes to command 'upsize'.Alan Mishchenko2012-09-181-0/+36
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-19 04:45:29 +0000