summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* Redirecting printf messages.Alan Mishchenko2012-03-021-6/+6
* Redirecting printf messages.Alan Mishchenko2012-03-021-18/+6
* Adding features related to the communication bridge.Alan Mishchenko2012-03-022-96/+109
* Created a communication bridge.Alan Mishchenko2012-03-013-9/+184
* Created a communication bridge.Alan Mishchenko2012-03-012-1/+371
* Silenced a gcc warning.Alan Mishchenko2012-02-242-4/+4
* Added printout of BMC tents in &ps.Alan Mishchenko2012-02-191-7/+7
* Added QuickSort based on 3-way partitioning.Alan Mishchenko2012-02-192-15/+15
* Added QuickSort based on 3-way partitioning.Alan Mishchenko2012-02-192-19/+362
* Isomorphism checking code.Alan Mishchenko2012-02-171-0/+61
* Isomorphism checking code.Alan Mishchenko2012-02-171-5/+7
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-171-0/+2
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-172-0/+6
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-163-2/+4
* Silencing some of the gcc warnings.Alan Mishchenko2012-02-163-4/+8
* Isomorphism checking code.Alan Mishchenko2012-02-141-1/+82
* Graph isomorphism checking code.Alan Mishchenko2012-02-112-0/+40
* Removed unused 'bool' definition and unused memory management macros.Alan Mishchenko2012-02-071-19/+0
* 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-2184-491/+4333
* New hierarchy manager.Alan Mishchenko2012-01-171-2/+2
* Variable timeframe abstraction.Alan Mishchenko2012-01-151-0/+23
* Added bit vector.Alan Mishchenko2012-01-132-0/+580
* Added new name manager and modified hierarchy manager to use it.Alan Mishchenko2012-01-134-0/+592
* Added utility to sort lines in a file alphabetically.Alan Mishchenko2011-12-171-0/+97
* Started proof transformations.Alan Mishchenko2011-12-011-0/+16
* Enabled counter-example minimization in 'write_counter'.Alan Mishchenko2011-11-112-1/+20
* Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc.Alan Mishchenko2011-10-312-7/+7
* 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