luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
4,285 Commits 27 Branches 57 Tags 58 MiB
Commit Graph

24 Commits

Author SHA1 Message Date
Alan Mishchenko 64d7119ddc Adding visualization of word-level networks Wlc_Ntk_t. 2017-01-26 21:43:28 -08:00
Alan Mishchenko 153b71c140 Updates to arithmetic verification. 2017-01-15 20:59:59 +07:00
Alan Mishchenko 5e4e815d10 Fixing accidental change in the project file. 2016-10-20 11:41:39 -07:00
Alan Mishchenko 9895f30d95 Extending command 'dump_equv' to match inputs by name. 2016-07-27 18:09:52 -07:00
Alan Mishchenko eb699bbaf8 Changes to be able to compile ABC without CUDD. 2015-08-24 21:09:43 -07:00
Alan Mishchenko 8d62c0a3fc Removing dependency on ABC library in the settings. 2014-10-29 14:43:06 -07:00
Alan Mishchenko a9317eac75 Preparing to work with C++ code. 2014-10-21 19:37:33 -07:00
Alan Mishchenko ee72791293 Improvements to Boolean matching. 2014-09-18 22:26:54 -07:00
Alan Mishchenko 99a917caf3 Bug fix in &fraig -L <num>. 2014-08-12 16:20:03 -07:00
Alan Mishchenko 68ce0bc1c1 Adding delay optimization to synthesis script &syn2. 2014-08-08 12:45:28 -07:00
Alan Mishchenko 9005c6bfe2 Changes to LUT mappers. 2014-02-25 07:50:11 -08:00
Alan Mishchenko eacfad7622 Changing the queue to work in the same the array of costs is realloced. 2013-05-05 09:04:14 -07:00
Alan Mishchenko 6ecf7c6063 Making changes suggested by Mark Jarvin. 2013-05-04 11:10:50 -07:00
Alan Mishchenko 486eacc542 SAT sweeping under constraints. 2013-04-25 15:32:30 -07:00
Alan Mishchenko 117bc0dbcd Prepared &gla to try abstracting and proving concurrently. 2012-09-14 21:20:37 -07:00
Alan Mishchenko 1c33107cbb Updating project settings to have simpler include paths. 2012-07-07 20:14:12 -07:00
Alan Mishchenko 94d35a2592 Variable timeframe abstraction. 2012-01-24 01:04:56 -08:00
Alan Mishchenko 8014f25f6d Major restructuring of the code. 2012-01-21 04:30:10 -08:00
Alan Mishchenko 4dcf8cee2d Improvements in Vec_Vec_t. 2011-03-27 11:35:31 -07:00
Alan Mishchenko 326e5da48a Added new procedure and other small changes. 2011-03-16 21:33:02 -07:00
Alan Mishchenko ae4b51351c Cumulative changes in the last few weeks. 2011-01-13 12:38:59 -08:00
Alan Mishchenko 6130e39b18 initial commit of public abc 2010-11-01 01:35:04 -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