summaryrefslogtreecommitdiffstats
path: root/src/map
Commit message (Expand)AuthorAgeFilesLines
...
* Changes to the matching procedure and new abstraction code.Alan Mishchenko2011-09-272-151/+248
* Changes to Boolean matching.Alan Mishchenko2011-09-243-123/+351
* Added new feature to bmc3.Alan Mishchenko2011-09-231-15/+22
* 64-bit portability changes.Alan Mishchenko2011-09-173-3/+6
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-202-7/+17
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-131-1/+1
* Other changes to enable new features in the mapper (bug fix).Alan Mishchenko2011-07-111-1/+1
* Other changes to enable new features in the mapper.Alan Mishchenko2011-07-107-28/+440
* Initial changes to enable new features in the mapperAlan Mishchenko2011-07-084-4/+67
* Added another specialized check to the mapper.Alan Mishchenko2011-06-275-8/+516
* Fixed the problem in mapping with the new check.Alan Mishchenko2011-06-261-17/+28
* Added new mapping feature.Alan Mishchenko2011-06-205-2/+501
* Special BLIF writing (bug fixes).Alan Mishchenko2011-05-181-26/+9
* Special BLIF writing.Alan Mishchenko2011-05-181-5/+201
* Improvements to timeout.Alan Mishchenko2011-05-111-44/+169
* Updated technology mapping.Alan Mishchenko2011-05-081-0/+409
* Updated technology mapping.Alan Mishchenko2011-05-082-0/+3
* Updated technology mapping.Alan Mishchenko2011-05-074-8/+12
* Trying to fix a mysterious bug in reading the library files.Alan Mishchenko2011-05-061-15/+14
* Added switch to control duplication of logic after mapping.Alan Mishchenko2011-04-241-0/+1
* Bug fixes having to do with the use of chars.Alan Mishchenko2011-04-202-13/+20
* Made gate library package Mio independent of CUDD.Alan Mishchenko2011-03-3017-144/+1521
* Fixed a number of small bugs and memory leaks.Alan Mishchenko2011-03-277-4/+31
* Fix parsing tab symbol in Liberty files.Alan Mishchenko2011-03-171-1/+1
* Made abc.h independent of CUDD and Extra.Alan Mishchenko2011-03-037-11/+15
* Performance bug fix in area-only mapping "map -a".Alan Mishchenko2010-11-291-1/+1
* Bug fix: unhandled & symbol in Liberty formula representationAlan Mishchenko2010-11-292-7/+12
* initial commit of public abcAlan Mishchenko2010-11-0189-340/+1249
* Version abc90807Alan Mishchenko2015-06-221-6/+6
* Version abc90804Alan Mishchenko2015-06-223-8/+27
* Version abc90714Alan Mishchenko2015-06-224-10/+37
* Version abc90408Alan Mishchenko2009-04-087-14/+14
* Version abc90329Alan Mishchenko2009-03-2911-0/+4249
* Version abc90310Alan Mishchenko2009-03-107-63/+65
* Version abc90215Alan Mishchenko2009-02-1547-339/+1369
* Version abc90118Alan Mishchenko2009-01-1831-108/+5152
* Version abc81029Alan Mishchenko2008-10-291-0/+2
* Version abc81027Alan Mishchenko2008-10-272-0/+0
* Version abc81025Alan Mishchenko2008-10-252-0/+0
* Version abc81014Alan Mishchenko2008-10-143-1/+1
* Version abc81013Alan Mishchenko2008-10-132-0/+0
* Version abc80927Alan Mishchenko2008-09-272-0/+0
* Version abc80922Alan Mishchenko2008-09-222-0/+0
* Version abc80921Alan Mishchenko2008-09-212-0/+0
* Version abc80919Alan Mishchenko2008-09-192-0/+0
* Version abc80910Alan Mishchenko2008-09-102-0/+0
* Version abc80909Alan Mishchenko2008-09-091-0/+3
* Version abc80901Alan Mishchenko2008-09-011-1/+1
* Version abc80830Alan Mishchenko2008-08-302-0/+0
* Version abc80725Alan Mishchenko2008-07-252-3/+833
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-09 09:22:27 +0000