summaryrefslogtreecommitdiffstats
path: root/src/misc/extra/extra.h
Commit message (Expand)AuthorAgeFilesLines
* Adding command 'majgen'.Alan Mishchenko2018-07-041-0/+1
* New parser and framework.Alan Mishchenko2014-11-291-0/+1
* Added minor API to clean path on a Windows computer.Alan Mishchenko2014-11-051-0/+1
* One bug fix and two small changes.Alan Mishchenko2014-10-221-0/+1
* Improvements to the standard cell flow.Alan Mishchenko2013-11-081-0/+1
* Improvements to the new technology mapper.Alan Mishchenko2013-09-121-0/+1
* Improvements to the new technology mapper.Alan Mishchenko2013-09-111-2/+5
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-0/+1
* Improvements to the new technology mapper.Alan Mishchenko2013-09-091-0/+10
* Adding a wrapper around clock() for more accurate time counting in ABC.Alan Mishchenko2013-05-271-1/+1
* Adding command &miter2 to derive a specified sequential miter.Alan Mishchenko2013-03-271-0/+1
* Improvements to the truth table computations.Alan Mishchenko2012-10-301-0/+1
* Fixing mismatch between declaration of the output value of Extra_CpuTime.Alan Mishchenko2012-09-181-1/+1
* Added new algorithm for NPN semi-canonical form computation.Alan Mishchenko2012-08-231-1/+2
* New command 'testnpn' to compare semi-canonical forms.Alan Mishchenko2012-08-081-0/+1
* New procedures to generate NPN-classes for a library of 6-input functions.Alan Mishchenko2012-07-191-0/+3
* Updating project settings to have simpler include paths.Alan Mishchenko2012-07-071-1/+1
* Fixing time primtouts throughout the code.Alan Mishchenko2012-07-071-1/+0
* Added/moved several APIs.Alan Mishchenko2012-04-101-0/+1
* Added several new APIs to GIA and for file management.Alan Mishchenko2012-03-301-0/+2
* Added new procedures to read files.Alan Mishchenko2012-03-111-0/+2
* Major restructuring of the code.Alan Mishchenko2012-01-211-243/+3
* Fixing bugs in the new procedures added to the library.Alan Mishchenko2011-03-051-2/+1
* Adding new procedures to the library.Alan Mishchenko2011-03-051-0/+3
* Changes to enable C++ compilation after recent modifications.Alan Mishchenko2011-02-131-1/+1
* Yet another update to the runtime control in BDD operations.Alan Mishchenko2011-02-071-0/+1
* Added handling runtime limit inside And and AndExist.Alan Mishchenko2011-02-071-0/+5
* Cumulative changes of the last two weeks.Alan Mishchenko2011-02-011-0/+2
* initial commit of public abcAlan Mishchenko2010-11-011-14/+22
* Version abc90315Alan Mishchenko2009-03-151-1/+1
* Version abc90215Alan Mishchenko2009-02-151-72/+14
* Version abc90118Alan Mishchenko2009-01-181-11/+10
* Version abc81004Alan Mishchenko2008-10-041-12/+24
* Version abc80718Alan Mishchenko2008-07-181-1/+1
* Version abc80717Alan Mishchenko2008-07-171-0/+2
* Version abc80702Alan Mishchenko2008-07-021-7/+7
* Version abc80430Alan Mishchenko2008-04-301-0/+25
* Version abc80307Alan Mishchenko2008-03-071-0/+1
* Version abc80301Alan Mishchenko2008-03-011-0/+2
* Version abc80130_2Alan Mishchenko2008-01-301-31/+333
* Version abc80130Alan Mishchenko2008-01-301-333/+31
* Version abc71001Alan Mishchenko2007-10-011-0/+626
* Version abc70930Alan Mishchenko2007-09-301-626/+0
* Version abc70703Alan Mishchenko2007-07-031-0/+2
* Version abc70406Alan Mishchenko2007-04-061-0/+24
* Version abc70328Alan Mishchenko2007-03-281-17/+19
* Version abc70302Alan Mishchenko2007-03-021-0/+1
* Version abc70225Alan Mishchenko2007-02-251-0/+1
* Version abc70217Alan Mishchenko2007-02-171-0/+14
* Version abc70206Alan Mishchenko2007-02-061-0/+4
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-04 21:35:41 +0000