summaryrefslogtreecommitdiffstats
path: root/src/misc/vec
Commit message (Expand)AuthorAgeFilesLines
* 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
* Misc changes.Alan Mishchenko2012-04-201-13/+1
* Added several new APIs.Alan Mishchenko2012-03-311-0/+18
* 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
* Silenced a gcc warning.Alan Mishchenko2012-02-242-4/+4
* Isomorphism checking code.Alan Mishchenko2012-02-171-0/+61
* Isomorphism checking code.Alan Mishchenko2012-02-171-5/+7
* Isomorphism checking code.Alan Mishchenko2012-02-141-1/+82
* Graph isomorphism checking code.Alan Mishchenko2012-02-112-0/+40
* Graph isomorphism checking code.Alan Mishchenko2012-01-301-0/+2
* Moving Vec_IntPrint to where it belongs.Alan Mishchenko2012-01-291-0/+20
* Major restructuring of the code.Alan Mishchenko2012-01-219-19/+19
* Variable timeframe abstraction.Alan Mishchenko2012-01-151-0/+23
* Added bit vector.Alan Mishchenko2012-01-132-0/+580
* Started proof transformations.Alan Mishchenko2011-12-011-0/+16
* New proof-based abstraction code (bug fix).Alan Mishchenko2011-10-271-1/+1
* Skip NULL entry when freeing vector of vectors.Alan Mishchenko2011-10-191-1/+1
* New abstraction code.Alan Mishchenko2011-10-151-0/+30
* Initial changes to enable gate-level abstraction.Alan Mishchenko2011-09-221-2/+2
* 64-bit portability changes.Alan Mishchenko2011-09-171-2/+2
* Several bug fixes.Alan Mishchenko2011-08-021-0/+19
* Changes and simplifications in Vec_Vec_t data-structure.Alan Mishchenko2011-08-011-34/+83
* Added new APIs to integer vector.Alan Mishchenko2011-07-311-0/+40
* Enabled new BDD-based reachability engine 'reachy'.Alan Mishchenko2011-04-131-0/+4
* Added procedure to vector package and manager template file.Alan Mishchenko2011-04-101-0/+2
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-02 22:41:51 +0000