The-OpenROAD-Project/abc
1
0
Fork 0
mirror of https://github.com/The-OpenROAD-Project/abc.git synced 2026-03-12 11:26:17 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity
5,996 Commits 1 Branch 0 Tags
master
Commit Graph

128 Commits

Author SHA1 Message Date
Alan Mishchenko
daf3313ce6 New aliases. 2024-05-13 23:31:50 -07:00
Allen Ho
524699d6ab restore .gitignore, Makefile, and abc.rc 2024-03-04 11:19:46 +08:00
Allen Ho
9bb5333f62 extend bo 2023-12-07 19:07:52 +08:00
Alan Mishchenko
8888e8e82e Experiments with the mapper. 2022-06-23 07:48:10 -07:00
Alan Mishchenko
1c245b4a4a Updating old script. 2016-04-30 10:41:15 -07:00
Alan Mishchenko
579bcccc65 Changing the resource file to get rid of a warning on Linux. 2016-01-14 21:34:47 -08:00
Alan Mishchenko
31fb2e8506 Changes to LUT mappers. 2014-03-08 17:37:26 -08:00
Alan Mishchenko
4b0c12eb1e Changes to LUT mappers. 2014-03-08 17:09:20 -08:00
Alan Mishchenko
375686ce47 Adding new aliases. 2013-09-30 22:50:49 -07:00
Alan Mishchenko
4f72aff1d1 Adding new aliases. 2013-09-30 21:29:37 -07:00
Alan Mishchenko
1f16b97c89 Changing default values. 2013-09-29 11:57:25 -07:00
Alan Mishchenko
2a83a97164 Changing default values. 2013-09-28 23:56:08 -07:00
Alan Mishchenko
a33821ab38 Added alias for 'eliminate'. 2013-04-28 15:41:29 -07:00
Alan Mishchenko
96b784ecd7 Fixing both AIGER readers (read_aiger and &r) to work with AIGER 1.9 (except for liveness properties). 2013-04-18 00:05:11 -07:00
Alan Mishchenko
f1c9f1829a Cleaning up abc.rc file. 2013-04-02 21:30:42 -07:00
Alan Mishchenko
fed18333e2 Improvements to gate-sizing. 2012-10-09 15:25:34 -07:00
Alan Mishchenko
22d21a5c44 Added recording history of used commands into file 'abc.history' (Windows only). 2012-08-24 15:44:33 -07:00
Alan Mishchenko
573749ba19 Updated BIP binary name. 2012-07-05 17:35:32 -07:00
Alan Mishchenko
051cc64ee2 Gate level abstraction (command &gla). 2012-06-28 23:06:07 -07:00
Alan Mishchenko
072c264f76 Updated default BIP version. 2012-06-21 20:21:17 -07:00
Alan Mishchenko
8587ebe797 Variable timeframe abstraction. 2012-02-16 00:11:09 -08:00
Alan Mishchenko
810c0be127 Added alias blif2aig = undc; strash; zero 2011-12-22 14:29:36 -08:00
Alan Mishchenko
b71b5bbc23 Bug fix in CBA and PBA. 2011-08-18 14:38:02 +07:00
Alan Mishchenko
6c2ac7661d Added another specialized check to the mapper. 2011-06-27 20:17:52 -07:00
Alan Mishchenko
631b50aa59 Commented out debug messages. 2011-04-26 22:56:04 -04:00
Alan Mishchenko
3dfdbe1402 Forgot to update project file. 2011-04-15 08:01:27 -07:00
Alan Mishchenko
1794bd37cd Made gate library package Mio independent of CUDD. 2011-03-30 21:02:29 -07:00
Alan Mishchenko
6130e39b18 initial commit of public abc 2010-11-01 01:35:04 -07:00
Alan Mishchenko
51a646a355 Version abc90901 
committer: Baruch Sterin <baruchs@gmail.com>
 2015-06-22 23:05:13 -07:00
Alan Mishchenko
32314347ba Version abc90310 2009-03-10 08:01:00 -07:00
Alan Mishchenko
0871bffae3 Version abc90215 2009-02-15 08:01:00 -08:00
Alan Mishchenko
f936cc0680 Version abc90118 2009-01-18 08:01:00 -08:00
Alan Mishchenko
d80ee832f3 Version abc81027 2008-10-27 08:01:00 -07:00
Alan Mishchenko
75d6d6abd1 Version abc80912 2008-09-12 08:01:00 -07:00
Alan Mishchenko
7b734f23fc Version abc80705 2008-07-05 08:01:00 -07:00
Alan Mishchenko
303baf27cf Version abc80702 2008-07-02 08:01:00 -07:00
Alan Mishchenko
74ff01bfb5 Version abc80515 2008-05-15 08:01:00 -07:00
Alan Mishchenko
582cf0b923 Version abc80511 2008-05-11 08:01:00 -07:00
Alan Mishchenko
0f03f34924 Version abc80510 2008-05-10 08:01:00 -07:00
Alan Mishchenko
de81a1a1fb Version abc80430 2008-04-30 08:01:00 -07:00
Alan Mishchenko
7d23cc522e Version abc80222 2008-02-22 08:01:00 -08:00
Alan Mishchenko
f2d4f6c26e Version abc80208 2008-02-08 08:01:00 -08:00
Alan Mishchenko
3b790eb17e Version abc80202 2008-02-02 08:01:00 -08:00
Alan Mishchenko
0c6505a26a Version abc80130_2 2008-01-30 20:01:00 -08:00
Alan Mishchenko
4d30a1e4f1 Version abc80130 2008-01-30 08:01:00 -08:00
Alan Mishchenko
676ba9ee21 Version abc71226 2007-12-26 08:01:00 -08:00
Alan Mishchenko
00e9c3d06b Version abc71225 2007-12-25 08:01:00 -08:00
Alan Mishchenko
126637ddd3 Version abc71216 2007-12-16 08:01:00 -08:00
Alan Mishchenko
369f008e69 Version abc71130 2007-11-30 08:01:00 -08:00
Alan Mishchenko
765a212408 Version abc71002 2007-10-02 08:01:00 -07:00