summaryrefslogtreecommitdiffstats
path: root/src/base/abci/module.make
Commit message (Expand)AuthorAgeFilesLines
* Adding new command handler for experimental procedures.Alan Mishchenko2019-04-171-0/+1
* Adding experimental command.Alan Mishchenko2017-03-021-0/+1
* Adding new command 'dump_equiv'.Alan Mishchenko2016-07-211-0/+1
* Adding command 'exact' developed by Mathias Soeken to implement Knuth's exact...Alan Mishchenko2016-07-161-0/+1
* Detecting properties of internal nodes.Alan Mishchenko2016-06-071-0/+1
* One bug fix and two small changes.Alan Mishchenko2014-10-221-4/+4
* Removing unused LMS code.Alan Mishchenko2014-02-161-2/+0
* Adding commands 'bm2' and 'saucy3' developed by Hadi Katebi, Igor Markov, and...Alan Mishchenko2013-07-011-0/+1
* Limiting runtime limit checks in 'pdr'.Alan Mishchenko2013-06-221-0/+1
* New MFS package.Alan Mishchenko2013-05-121-0/+1
* New fast extract.Alan Mishchenko2013-04-271-0/+1
* Retiring old 'fpga' command and package.Alan Mishchenko2012-12-101-2/+0
* Improvements to LMS code.Alan Mishchenko2012-10-271-0/+1
* Testing GIA with time manager.Alan Mishchenko2012-09-231-0/+1
* Cleaing AIG manager by removing pointers to HAIG.Alan Mishchenko2012-09-231-1/+1
* New command 'testnpn' to compare semi-canonical forms.Alan Mishchenko2012-08-081-0/+1
* Started implementing command 'testdec'.Alan Mishchenko2012-07-281-0/+1
* Adding new file to the build file.Alan Mishchenko2012-07-171-0/+1
* Logic sharing for multi-input gates.Alan Mishchenko2012-03-251-1/+0
* Logic sharing for multi-input gates.Alan Mishchenko2012-03-251-0/+1
* Experiment with technology mapping.Alan Mishchenko2012-02-201-0/+1
* Major restructuring of the code.Alan Mishchenko2012-01-211-1/+0
* Added recording of AIG subgraphs.Alan Mishchenko2011-12-061-0/+1
* NPN class computation.Alan Mishchenko2010-11-281-0/+1
* initial commit of public abcAlan Mishchenko2010-11-011-4/+8
* Version abc90714Alan Mishchenko2015-06-221-0/+1
* Version abc90310Alan Mishchenko2009-03-101-0/+1
* Version abc90215Alan Mishchenko2009-02-151-1/+0
* Version abc90118Alan Mishchenko2009-01-181-0/+1
* Version abc80717Alan Mishchenko2008-07-171-1/+0
* Version abc80706Alan Mishchenko2008-07-061-0/+1
* Version abc80430Alan Mishchenko2008-04-301-0/+1
* Version abc80330Alan Mishchenko2008-03-301-0/+1
* Version abc80314Alan Mishchenko2008-03-141-0/+1
* Version abc80222Alan Mishchenko2008-02-221-0/+1
* Version abc80130_2Alan Mishchenko2008-01-301-2/+32
* Version abc80130Alan Mishchenko2008-01-301-32/+2
* Version abc71001Alan Mishchenko2007-10-011-0/+54
* Version abc70930Alan Mishchenko2007-09-301-55/+0
* Version abc70705Alan Mishchenko2007-07-051-1/+0
* Version abc70428Alan Mishchenko2007-04-281-0/+1
* Version abc70408Alan Mishchenko2007-04-081-0/+1
* Version abc70330Alan Mishchenko2007-03-301-0/+1
* Version abc70328Alan Mishchenko2007-03-281-0/+1
* Version abc70313Alan Mishchenko2007-03-131-0/+1
* Version abc70302Alan Mishchenko2007-03-021-0/+1
* Version abc70217Alan Mishchenko2007-02-171-0/+2
* Version abc70216Alan Mishchenko2007-02-161-0/+1
* Version abc70127Alan Mishchenko2007-01-271-0/+1
* Version abc70110Alan Mishchenko2007-01-101-0/+1
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-05 12:03:48 +0000