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

1890 Commits

Author SHA1 Message Date
Alan Mishchenko 22bdf62465 Adding a wrapper around clock() for more accurate time counting in ABC. 2013-05-27 15:14:42 -07:00
Alan Mishchenko 19c25fd6aa Adding a wrapper around clock() for more accurate time counting in ABC. 2013-05-27 15:09:23 -07:00
Alan Mishchenko 94356f0d1f Several small changes to the MFS packages. 2013-05-27 14:39:08 -07:00
Alan Mishchenko 755935a6df Added switch -M to set max size of two-cube divisors to extract (often helps both runtime and quality). 2013-05-27 13:34:22 -07:00
Alan Mishchenko 446cfcf8a6 Changing how often timeout is checked in the SAT solver and several application packages. 2013-05-27 12:07:26 -07:00
Alan Mishchenko c27556c569 New MFS package. 2013-05-27 09:54:39 -07:00
Alan Mishchenko 0cad45fa90 New MFS package. 2013-05-27 09:49:13 -07:00
Alan Mishchenko fb6eaaf5d9 New MFS package. 2013-05-26 16:12:44 -07:00
Alan Mishchenko ed3d3dfc8e New MFS package. 2013-05-26 13:34:24 -07:00
Alan Mishchenko 8e639c3d79 New command 'putontop' to concatenate networks for don't-care-based optimization. 2013-05-25 22:13:46 -07:00
Alan Mishchenko 94a75fe6d8 New MFS package. 2013-05-25 18:10:45 -07:00
Alan Mishchenko f47cc6cefc New MFS package. 2013-05-25 11:14:12 -07:00
Alan Mishchenko 40d8cdabba New MFS package. 2013-05-25 09:15:03 -07:00
Alan Mishchenko 9268c10023 New MFS package. 2013-05-25 00:45:22 -07:00
Alan Mishchenko d5234332fb New MFS package. 2013-05-24 22:35:22 -07:00
Alan Mishchenko 283abd4795 New MFS package. 2013-05-24 19:54:28 -07:00
Alan Mishchenko ac037cbb96 New MFS package. 2013-05-23 23:22:12 -07:00
Alan Mishchenko 78d60d98a8 Counter-example depth minimization. 2013-05-22 13:41:05 -07:00
Alan Mishchenko 28e065b0ae Counter-example depth minimization. 2013-05-22 11:02:56 -07:00
Alan Mishchenko b7d670ecf2 Bug fix in saving CEXes and CEX vectors. 2013-05-21 17:28:15 -07:00
Alan Mishchenko c31e593b09 Windows Visual Studio 2008 warnings. 2013-05-20 14:25:27 -07:00
Alan Mishchenko 9289d71516 Updated Makefile as suggested by Mark Jarvin. 2013-05-19 22:17:58 -07:00
Alan Mishchenko f3bab3e479 Updated Makefile as suggested by Mark Jarvin. 2013-05-19 22:15:55 -07:00
Alan Mishchenko 1e34a38b16 g++ warnings. 2013-05-19 22:14:50 -07:00
Alan Mishchenko 6ad94cd988 Making changes suggested by Mark Jarvin. 2013-05-19 21:50:09 -07:00
Alan Mishchenko 232fe09ee4 Bug fix in &frames. 2013-05-19 21:27:23 -07:00
Alan Mishchenko 6682d6b0e7 Bug fix in &mprove. 2013-05-19 12:22:03 -07:00
Alan Mishchenko 67357cda2f Added new switched to command &frames. 2013-05-19 10:58:36 -07:00
Alan Mishchenko 354333f98a Changing command 'history' to have simpler interface. 2013-05-18 23:24:29 -07:00
Alan Mishchenko e86e4b6698 Added switch -I <file_name> to &sim to perform simulation with the user's simulation pattern. 2013-05-18 23:19:51 -07:00
Alan Mishchenko 2a71e3e719 Potential improvement to &scorr. 2013-05-18 22:17:24 -07:00
Alan Mishchenko 68e1a07fdb Improvements to 'bmc3'. 2013-05-18 17:31:23 -07:00
Alan Mishchenko 29a995685d SAT variable profiling. 2013-05-18 15:02:26 -07:00
Alan Mishchenko dfcdffe4be Fixed gap timeout in 'pdr'. 2013-05-18 13:22:05 -07:00
Alan Mishchenko c83e1d906a SAT variable profiling. 2013-05-18 12:35:29 -07:00
Alan Mishchenko 5766472bb6 SAT variable profiling. 2013-05-18 11:30:13 -07:00
Alan Mishchenko 7bc2fb5199 SAT variable profiling. 2013-05-18 11:20:07 -07:00
Alan Mishchenko f9da2c790f SAT variable profiling. 2013-05-18 11:03:32 -07:00
Alan Mishchenko 0328488bdf SAT variable profiling. 2013-05-18 10:52:07 -07:00
Alan Mishchenko 29ee997bb9 SAT variable profiling (undo). 2013-05-18 00:35:21 -07:00
Alan Mishchenko 66ff650f48 SAT variable profiling. 2013-05-18 00:34:37 -07:00
Alan Mishchenko 84b3b91447 SAT variable profiling (undo). 2013-05-18 00:33:18 -07:00
Alan Mishchenko 86e38c2a36 SAT variable profiling. 2013-05-18 00:31:06 -07:00
Alan Mishchenko 92dcffcfb8 Adding support of XOR/MUX in GIA. 2013-05-17 17:09:29 -07:00
Alan Mishchenko 2afef15a1e Adding support of XOR/MUX in GIA. 2013-05-17 17:06:27 -07:00
Alan Mishchenko e04ded5640 Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins. 2013-05-17 12:05:28 -07:00
Alan Mishchenko 760c1f60d2 Adding new command &mprove for proving groups of properties. 2013-05-17 11:50:16 -07:00
Alan Mishchenko 1dd80e1cfa Bug fix in the timeout mechanism of 'pdr'. 2013-05-17 08:38:46 -07:00
Alan Mishchenko 7be3e3e6b4 Adding 'zeropo -o' to replace a given PO by const 1. 2013-05-15 00:17:06 -07:00
Alan Mishchenko 533ff6984e Commenting assertion that does not hold in AIGER 1.9, accoring to Baruch Sterin. 2013-05-13 23:25:34 -07:00