summaryrefslogtreecommitdiffstats
path: root/src/misc/vec
Commit message (Expand)AuthorAgeFilesLines
* New MFS package.Alan Mishchenko2013-05-301-0/+8
* New DSD detection code.Alan Mishchenko2013-05-301-9/+18
* New MFS package.Alan Mishchenko2013-05-271-0/+19
* New MFS package.Alan Mishchenko2013-05-231-1/+18
* New MFS package.Alan Mishchenko2013-05-122-3/+11
* Changing the queue to work in the same the array of costs is realloced.Alan Mishchenko2013-05-053-5/+13
* New fast extract.Alan Mishchenko2013-05-053-7/+198
* C++ compiler errors.Alan Mishchenko2013-05-041-2/+4
* Adding new API to the queue.Alan Mishchenko2013-05-041-0/+4
* Compiler warnings.Alan Mishchenko2013-05-031-1/+0
* Reading/writing MiniAIG and several minor changes.Alan Mishchenko2013-05-031-0/+19
* Minor changes and improvement in PO partitioning (command &popart).Alan Mishchenko2013-05-011-0/+14
* Faster isomorphism detection (command &iso).Alan Mishchenko2013-05-011-1/+92
* SAT sweeping under constraints.Alan Mishchenko2013-04-281-0/+20
* New fast extract.Alan Mishchenko2013-04-275-1/+860
* PO partitioning algorithm.Alan Mishchenko2013-03-091-12/+10
* User-controlable SAT sweeper.Alan Mishchenko2013-02-261-0/+8
* User-controlable SAT sweeper.Alan Mishchenko2013-02-251-0/+5
* Enabled detecting CEXes in multiple POs without stopping (sim3 -a).Alan Mishchenko2013-01-231-1/+2
* Integration of timing manager.Alan Mishchenko2013-01-231-2/+4
* Improvements to LMS code.Alan Mishchenko2012-10-271-8/+7
* Improvements to LMS code.Alan Mishchenko2012-10-271-5/+78
* Improvements to gate sizing.Alan Mishchenko2012-10-091-0/+3
* Improvements to gate sizing.Alan Mishchenko2012-10-081-0/+360
* Minor bug fix.Alan Mishchenko2012-10-041-3/+3
* Minor bug fixes.Alan Mishchenko2012-10-031-3/+3
* Modified structural constraint extraction (unfold -s) to work for multi-outpu...Alan Mishchenko2012-09-231-0/+22
* Upgrading hierarchy timing manager.Alan Mishchenko2012-09-211-0/+22
* Changes to command 'upsize'.Alan Mishchenko2012-09-181-0/+36
* Moving binary IO streams to the vector package.Alan Mishchenko2012-09-171-0/+115
* 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-241-0/+17
* Improved abstraction refinement.Alan Mishchenko2012-08-091-4/+6
* 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
* 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
* 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
* 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-071-1/+1
* Added memory reporting to &vta.Alan Mishchenko2012-06-227-2/+129
* Reporing memory usage by the SAT solver in 'bmc3'.Alan Mishchenko2012-06-151-0/+19
* Misc changes.Alan Mishchenko2012-05-031-0/+6
generated by cgit v1.2.3 (git 2.25.1) at 2025-01-10 07:38:07 +0000