summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Collapse)AuthorAgeFilesLines
* 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. ↵Niklas Een2012-10-302-10/+20
| | | | Fixed printf -> Abc_Print in some places.
* 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 ↵Alan Mishchenko2012-09-231-0/+22
| | | | multi-output testcases.
* 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
|
* Fixing mismatch between declaration of the output value of Extra_CpuTime.Alan Mishchenko2012-09-182-2/+2
|
* Moving binary IO streams to the vector package.Alan Mishchenko2012-09-171-0/+115
|
* Several minor changes.Alan Mishchenko2012-09-031-0/+41
|
* Added printout of library cells.Alan Mishchenko2012-08-271-0/+22
|
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-251-0/+1
|
* New package to read/write a subset of Liberty for STA.Alan Mishchenko2012-08-241-0/+17
|
* Added new algorithm for NPN semi-canonical form computation.Alan Mishchenko2012-08-232-4/+86
|
* Added purification of UNSAT core in &gla.Alan Mishchenko2012-08-101-6/+6
|
* Improved abstraction refinement.Alan Mishchenko2012-08-091-4/+6
|
* New command 'testnpn' to compare semi-canonical forms.Alan Mishchenko2012-08-082-1/+2
|
* Fixing performance bug with old proof-logging (adding clauses multiple times).Alan Mishchenko2012-07-301-0/+22
|
* Reducing memory usage in proof-based abstraction.Alan Mishchenko2012-07-291-0/+2
|
* Adding memory reporting to vectors.Alan Mishchenko2012-07-297-118/+120
|
* Recording and reusing learned util clauses in bmc2.Alan Mishchenko2012-07-221-1/+1
|
* Updated code for lazy man's synthesis (memory optimization).Alan Mishchenko2012-07-201-0/+290
|
* Updated code for lazy man's synthesis.Alan Mishchenko2012-07-201-2/+2
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 13:06:01 +0000