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

2643 Commits

Author SHA1 Message Date
Baruch Sterin 257cbfd25c add an option to the pyabc packaging scripts 2014-06-10 02:05:57 -07:00
Baruch Sterin e58713a6a1 minor changes to pyabc install script 2014-06-09 19:00:33 -07:00
Alan Mishchenko 6ce9ac9bbd Skip 'scorr' when the network has no primary inputs. 2014-06-09 08:14:45 -07:00
Alan Mishchenko 9b54345120 Commented out some assertions in 
'map'.
 2014-06-07 14:09:22 -07:00
Alan Mishchenko 3c6def2915 Adding print-out to &splitprove to see impact of cof variable on AIG size. 2014-06-07 13:14:23 -07:00
Alan Mishchenko 2d38fc1608 Adding print-out to &splitprove to see impact of cof variable on AIG size. 2014-06-07 13:04:03 -07:00
Alan Mishchenko 8a341c200f Adding a feature to collapse hierarhical AIGs. 2014-06-05 19:15:40 -07:00
Alan Mishchenko 78e09e9119 Correcting switching activity computation. 2014-06-05 17:00:04 -07:00
Alan Mishchenko c5b620b9bf Fixed printout of in the hierarchy log file. 2014-06-05 11:17:32 -07:00
Alan Mishchenko 3abc3fb4ff Fixed printout of in the hierarchy log file. 2014-06-05 10:57:04 -07:00
Alan Mishchenko 0dd2715563 Reverting to Makefile with suppressed printouts. 2014-06-05 10:50:01 -07:00
Alan Mishchenko 54d3c1ab42 Fixed printout of in the hierarchy log file. 2014-06-05 10:46:43 -07:00
Alan Mishchenko 7c8e1b8de6 Fixed printout of in the hierarchy log file. 2014-06-05 10:45:59 -07:00
Alan Mishchenko 43ec3fd8f8 Fixed C-compiler errors on Windows. 2014-06-04 23:42:28 -07:00
Alan Mishchenko fa48d46b82 Merged in lj/abc-lj/unfold2-dev (pull request #6) 
pull request for unfold2
 2014-06-04 23:33:58 -07:00
Jiang Long f18b0254c8 ci 2014-06-04 23:21:13 -07:00
Jiang Long fcbd6f83ec the latest version 2014-06-04 22:49:44 -07:00
Jiang Long 574af21208 merge unfold2 2014-06-04 21:59:03 -07:00
Jiang Long b1e35da6ee init 2014-06-04 21:56:02 -07:00
Alan Mishchenko 102782a5a1 Adding CEC command &splitprove. 2014-06-04 19:06:18 -07:00
Alan Mishchenko c05aa7a8d2 Adding CEC command &splitprove. 2014-06-04 17:45:15 -07:00
Alan Mishchenko 4875dfcb9b Adding CEC command &splitprove. 2014-06-04 17:31:00 -07:00
Alan Mishchenko ed695b74ee Adding CEC command &splitprove. 2014-06-04 17:10:22 -07:00
Alan Mishchenko 87143c1182 Adding CEC command &splitprove. 2014-06-04 16:50:39 -07:00
Alan Mishchenko 9c4bf6e11d Adding CEC command &splitprove. 2014-06-04 15:08:58 -07:00
Alan Mishchenko b844433a0d Adding CEC command &splitprove. 2014-06-04 15:00:38 -07:00
Alan Mishchenko f2818ddb83 Adding CEC command &splitprove. 2014-06-04 12:00:37 -07:00
Alan Mishchenko 97bd9d8f1b Adding CEC command &splitprove. 2014-06-04 11:40:37 -07:00
Alan Mishchenko d2c3971de0 Adding CEC command &splitprove. 2014-06-04 11:33:49 -07:00
Alan Mishchenko d527f03a27 Adding CEC command &splitprove. 2014-06-04 11:13:40 -07:00
Alan Mishchenko 8075db7a0d Adding CEC command &splitprove. 2014-06-04 10:48:12 -07:00
Alan Mishchenko a8b2024efa Adding CEC command &splitprove. 2014-06-04 10:45:24 -07:00
Alan Mishchenko 83d3cc8837 Adding CEC command &splitprove. 2014-06-04 10:38:27 -07:00
Alan Mishchenko ab1e4ed7f1 Merging two branches. 2014-06-04 09:12:01 -07:00
Alan Mishchenko 5c0c8e1ae2 Fix PLA reader to correctly report error file numbers. 2014-06-02 17:27:21 -07:00
Alan Mishchenko 802377ed4e Adding CEC command &splitprove. 2014-06-02 10:01:07 -07:00
Alan Mishchenko 67050333b2 Adding CEC command &splitprove. 2014-06-02 09:56:37 -07:00
Alan Mishchenko e69854f540 Adding CEC command &splitprove. 2014-06-02 09:55:17 -07:00
Alan Mishchenko 9030f46188 Code to explore cofactors of CEC problems. 2014-06-02 02:22:18 -07:00
Alan Mishchenko 3d8eff2cdc Corner-cases in &gprove and &mprove. 2014-06-01 23:49:52 -07:00
Alan Mishchenko ebf10fdc33 Allow delay increase to be negative in 'mfs2'. 2014-05-31 12:03:35 -07:00
Alan Mishchenko 8b26084e3c Compiler warnings. 2014-05-29 10:47:50 -07:00
Alan Mishchenko ccaa96549f Fixing the problem with 'phase -c'. 2014-05-29 10:39:55 -07:00
Alan Mishchenko bfa48cef2a Experiment with support minimization. 2014-05-27 01:12:00 +09:00
Alan Mishchenko ed1a925c61 Adding symbolic fault representation in &fftest. 2014-05-23 00:13:03 +09:00
Alan Mishchenko fee0da2310 Experiment with support minimization. 2014-05-22 16:41:11 +09:00
Alan Mishchenko 28f77372a7 Experiment with support minimization. 2014-05-22 16:26:31 +09:00
Alan Mishchenko 824ee5b4f3 Adding symbolic fault representation in &fftest. 2014-05-22 15:59:01 +09:00
Alan Mishchenko 292cbfcf90 Experiment with support minimization. 2014-05-21 22:40:19 +09:00
Alan Mishchenko 79c62d22fc Simple version of ECO. 2014-05-21 22:32:08 +09:00