summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Collapse)AuthorAgeFilesLines
* 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, ↵Alan Mishchenko2012-07-091-7/+10
| | | | dsat, etc).
* 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
|
* Reporing memory usage by the SAT solver in 'bmc3'.Alan Mishchenko2012-06-151-0/+19
|
* Added option to compile on windows without DLL support.Alan Mishchenko2012-06-151-2/+7
|
* Misc changes.Alan Mishchenko2012-05-032-1/+7
|
* Misc changes.Alan Mishchenko2012-04-221-2/+3
|
* Misc changes.Alan Mishchenko2012-04-203-14/+5
|
* Added/moved several APIs.Alan Mishchenko2012-04-102-9/+16
|
* Added several new APIs.Alan Mishchenko2012-03-312-0/+19
|
* Added several new APIs to GIA and for file management.Alan Mishchenko2012-03-302-2/+36
|
* Moving Vec_Set_t to the vector directory.Alan Mishchenko2012-03-281-11/+12
|
* Moving Vec_Set_t to the vector directory.Alan Mishchenko2012-03-281-0/+263
|
* Logic sharing for multi-input gates.Alan Mishchenko2012-03-251-0/+32
|
* Added one currently unused iterator.Alan Mishchenko2012-03-211-3/+5
|
* Added new procedures to read files.Alan Mishchenko2012-03-112-1/+52
|
* Silencing remaining gcc warnings.Alan Mishchenko2012-03-091-2/+2
|
* Some fixes for VTA under Bridge.Niklas Een2012-03-031-1/+1
|
* 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
|
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-16 19:52:23 +0000