summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Expand)AuthorAgeFilesLines
* 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
* 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
* New procedures to generate NPN-classes for a library of 6-input functions.Alan Mishchenko2012-07-201-8/+16
* New procedures to generate NPN-classes for a library of 6-input functions.Alan Mishchenko2012-07-192-0/+291
* Fixing the integer print-out problem.Alan Mishchenko2012-07-131-13/+13
* Fixing the integer print-out problem.Alan Mishchenko2012-07-131-12/+18
* Debugging a proof error.Alan Mishchenko2012-07-131-25/+17
* Debugging a proof error.Alan Mishchenko2012-07-131-0/+7
* Debugging a proof error.Alan Mishchenko2012-07-131-0/+1
* Debugging a proof error.Alan Mishchenko2012-07-131-2/+2
* Debugging a proof error.Alan Mishchenko2012-07-131-0/+19
* Debugging a proof error.Alan Mishchenko2012-07-131-31/+9
* Fixing a mismatch in regular/shadow page memory appending procedure.Alan Mishchenko2012-07-131-2/+2
* Improvements in the proof-logging SAT solver.Alan Mishchenko2012-07-111-0/+19
* Replacing Mb/Gb to be MB/GB.Alan Mishchenko2012-07-092-7/+7
* Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, dsat...Alan Mishchenko2012-07-091-7/+10
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-0737-42/+42
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-0711-19/+17
* Making 'pdr', &gla, &vta print correctly in batch mode.Alan Mishchenko2012-07-072-4/+16
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-071-4/+4
* Fixing time printouts in 'pdr'.Alan Mishchenko2012-07-071-4/+4
* Added memory reporting to &vta.Alan Mishchenko2012-06-228-8/+137
generated by cgit v1.2.3 (git 2.25.1) at 2025-02-14 20:28:29 +0000