summaryrefslogtreecommitdiffstats
path: root/abcexe.dsp
Commit message (Collapse)AuthorAgeFilesLines
* Adding visualization of word-level networks Wlc_Ntk_t.Alan Mishchenko2017-01-261-4/+0
|
* Updates to arithmetic verification.Alan Mishchenko2017-01-151-0/+4
|
* Fixing accidental change in the project file.Alan Mishchenko2016-10-201-4/+0
|
* Extending command 'dump_equv' to match inputs by name.Alan Mishchenko2016-07-271-0/+4
|
* Changes to be able to compile ABC without CUDD.Alan Mishchenko2015-08-241-2/+2
|
* Removing dependency on ABC library in the settings.Alan Mishchenko2014-10-291-2/+2
|
* Preparing to work with C++ code.Alan Mishchenko2014-10-211-2/+2
|
* Improvements to Boolean matching.Alan Mishchenko2014-09-181-2/+2
|
* Bug fix in &fraig -L <num>.Alan Mishchenko2014-08-121-4/+0
|
* Adding delay optimization to synthesis script &syn2.Alan Mishchenko2014-08-081-0/+4
|
* Changes to LUT mappers.Alan Mishchenko2014-02-251-4/+0
|
* Changing the queue to work in the same the array of costs is realloced.Alan Mishchenko2013-05-051-0/+1
|
* Making changes suggested by Mark Jarvin.Alan Mishchenko2013-05-041-2/+2
|
* SAT sweeping under constraints.Alan Mishchenko2013-04-251-0/+4
|
* Prepared &gla to try abstracting and proving concurrently.Alan Mishchenko2012-09-141-2/+2
|
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-2/+2
|
* Variable timeframe abstraction.Alan Mishchenko2012-01-241-2/+2
|
* Major restructuring of the code.Alan Mishchenko2012-01-211-2/+2
|
* Improvements in Vec_Vec_t.Alan Mishchenko2011-03-271-4/+0
|
* Added new procedure and other small changes.Alan Mishchenko2011-03-161-0/+4
|
* Cumulative changes in the last few weeks.Alan Mishchenko2011-01-131-2/+2
|
* initial commit of public abcAlan Mishchenko2010-11-011-4/+4
|
* Version abc90310Alan Mishchenko2009-03-101-2/+2
|
* Version abc90215Alan Mishchenko2009-02-151-0/+102