summaryrefslogtreecommitdiffstats
path: root/src/misc
Commit message (Expand)AuthorAgeFilesLines
* 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
* Changes to Boolean matching.Alan Mishchenko2011-09-241-0/+35
* Initial changes to enable gate-level abstraction.Alan Mishchenko2011-09-221-2/+2
* Fixed minor issues having to do with the number of BDD vars used.Alan Mishchenko2011-09-181-3/+0
* 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
* Added new sorting procedures.Alan Mishchenko2011-07-311-0/+452
* Added new sorting procedures.Alan Mishchenko2011-07-312-1/+5
* Enhancing printing of counter-examples.Alan Mishchenko2011-07-252-3/+33
* Updated 'iprove' to generate seq CEX when CEC fails.Alan Mishchenko2011-06-252-0/+26
* 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-07 18:22:11 +0000