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

1725 Commits

Author SHA1 Message Date
Alan Mishchenko fdb8d83f7a Adding command &miter2 to derive a specified sequential miter. 2013-03-28 12:30:27 -07:00
Alan Mishchenko 7a2132b237 Added dumping QDIMACS files in command 'qbf'. 2013-03-27 17:21:08 -07:00
Alan Mishchenko 272089221a Removing hard-coded limit on the number of solving iterations in command 'qbf'. 2013-03-27 12:51:57 -07:00
Alan Mishchenko e64cad10e2 Adding command &miter2 to derive a specified sequential miter. 2013-03-27 12:43:00 -07:00
Alan Mishchenko 4c00829900 Modified SCL gate library to read/write gate formula. 2013-03-26 20:19:50 -07:00
Alan Mishchenko dfb065fa55 Fixing the dump of SAT solver into a CNF file. 2013-03-26 18:42:47 -07:00
Alan Mishchenko d010231043 The result of merging. 2013-03-26 17:29:26 -07:00
Alan Mishchenko e5054fa757 Making sure 'pdr -a' return UNDEC if it did not finish proving the remaining outputs to be UNSAT. 2013-03-26 16:57:42 -07:00
Alan Mishchenko d80071be84 Fixing a bug in &cycle, which could generate an unreachable state. 2013-03-26 16:04:33 -07:00
Alan Mishchenko 17af45424f Commenting out undesirable warnings/assertions. 2013-03-26 14:32:21 -07:00
Alan Mishchenko 93b1031664 Replacing unsafe Aig_ManObjNum() by Aig_ManObjNumMax(). 2013-03-19 12:42:17 +01:00
Alan Mishchenko a96436e890 Commenting out assertion that fails in 'dch', not sure why. 2013-03-14 19:07:33 +01:00
Alan Mishchenko a3b8b0a59d Fixing gap timeout in 'bmc3'. 2013-03-13 12:02:41 +01:00
Alan Mishchenko bf795e57cf Handling special case in 'fold' when the network is combinational. 2013-03-13 11:47:17 +01:00
Alan Mishchenko ec2973947c PO partitioning algorithm. 2013-03-09 13:37:37 -08:00
Alan Mishchenko 1eb4059f05 PO partitioning algorithm. 2013-03-09 13:33:12 -08:00
Alan Mishchenko b30d55b749 PO partitioning algorithm. 2013-03-09 12:49:36 -08:00
Alan Mishchenko 10729d50d4 Modified Python API iso_eq_classes to be eq_classes. 2013-03-09 12:26:11 -08:00
Alan Mishchenko eee8ceb0fa PO partitioning algorithm. 2013-03-09 12:19:11 -08:00
Alan Mishchenko ae091e695e Integrating box library. 2013-03-08 18:58:54 -08:00
Alan Mishchenko 467f8b651a Making 'bmc3' with switch '-a' not save CEXes. 2013-03-07 22:04:35 -08:00
Alan Mishchenko 7adc34ad9e Fixing gap timeout in 'pdr'. 2013-03-07 21:51:26 -08:00
Alan Mishchenko a3bdba6875 Modified command 'init' to allow for specific init values. 2013-03-07 20:38:55 -08:00
Alan Mishchenko 1ce537e992 Misc changes. 2013-03-07 13:04:16 -08:00
Alan Mishchenko 1a6354c22f Improvements to the hierarchy/timing manager. 2013-03-05 17:01:41 -08:00
Alan Mishchenko dcc8907161 Improvements to the hierarchy/timing manager. 2013-03-05 16:53:18 -08:00
Alan Mishchenko 4ff5203f4c Improvements to the hierarchy/timing manager. 2013-03-05 13:13:15 -08:00
Alan Mishchenko 0c9337f627 User-controlable SAT sweeper. 2013-03-04 00:33:36 -08:00
Alan Mishchenko c959cf1ba1 User-controlable SAT sweeper. 2013-03-03 22:43:01 -08:00
Alan Mishchenko b680f12256 User-controlable SAT sweeper. 2013-02-27 13:52:45 -05:00
Alan Mishchenko a27a7bc827 User-controlable SAT sweeper and other small changes. 2013-02-27 12:12:23 -05:00
Alan Mishchenko 236be84149 User-controlable SAT sweeper. 2013-02-27 09:40:45 -05:00
Alan Mishchenko 12253f47ce User-controlable SAT sweeper. 2013-02-26 17:10:37 -05:00
Alan Mishchenko c98119594e User-controlable SAT sweeper. 2013-02-26 16:59:21 -05:00
Alan Mishchenko 88c273c25e User-controlable SAT sweeper. 2013-02-26 15:52:26 -05:00
Alan Mishchenko ceca5da3e9 User-controlable SAT sweeper. 2013-02-26 15:46:54 -05:00
Alan Mishchenko 458c0538d6 User-controlable SAT sweeper. 2013-02-26 15:38:37 -05:00
Alan Mishchenko a1c543c6c9 User-controlable SAT sweeper. 2013-02-26 15:23:04 -05:00
Alan Mishchenko 044d2f0aba User-controlable SAT sweeper. 2013-02-26 14:44:59 -05:00
Alan Mishchenko fc77972625 User-controlable SAT sweeper. 2013-02-26 14:41:09 -05:00
Alan Mishchenko 70ccd477cf User-controlable SAT sweeper. 2013-02-26 14:25:24 -05:00
Alan Mishchenko ef472c6c57 User-controlable SAT sweeper. 2013-02-26 14:18:42 -05:00
Alan Mishchenko 6e65cd1431 User-controlable SAT sweeper. 2013-02-26 14:13:23 -05:00
Alan Mishchenko b1c0b338a0 User-controlable SAT sweeper. 2013-02-26 12:24:07 -05:00
Alan Mishchenko c4b64ed8cc User-controlable SAT sweeper. 2013-02-26 12:21:21 -05:00
Alan Mishchenko 59bc3cb9d9 User-controlable SAT sweeper. 2013-02-26 11:26:40 -05:00
Alan Mishchenko 8e68df2c6a User-controlable SAT sweeper. 2013-02-26 11:23:30 -05:00
Alan Mishchenko d8d1f6c376 User-controlable SAT sweeper. 2013-02-26 10:46:04 -05:00
Alan Mishchenko 7e293ebe08 User-controlable SAT sweeper. 2013-02-25 22:07:32 -05:00
Alan Mishchenko fe3b2e250b User-controlable SAT sweeper. 2013-02-25 17:49:59 -05:00