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

1820 Commits

Author SHA1 Message Date
Alan Mishchenko a1ceb7617c Making changes suggested by Mark Jarvin. 2013-05-05 09:06:53 -07: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 7d3301584a New fast extract. 2013-05-05 01:56:16 -07:00
Alan Mishchenko a762c695d7 New fast extract. 2013-05-05 01:54:11 -07:00
Alan Mishchenko 7f700af6e2 C++ compiler errors. 2013-05-04 20:44:28 -07:00
Alan Mishchenko cd4043ba7f C++ compiler errors. 2013-05-04 20:41:40 -07:00
Alan Mishchenko 79f782c0e8 C++ compiler errors. 2013-05-04 20:37:14 -07:00
Alan Mishchenko a11370946b C++ compiler errors. 2013-05-04 20:36:20 -07:00
Alan Mishchenko af6442a3ed C++ compiler errors. 2013-05-04 20:34:25 -07:00
Alan Mishchenko 744d35d029 C++ compiler errors. 2013-05-04 20:32:38 -07:00
Alan Mishchenko 4aff2d134d C++ compiler errors. 2013-05-04 20:28:05 -07:00
Alan Mishchenko 13ee4998c3 C++ compiler errors. 2013-05-04 20:24:53 -07:00
Alan Mishchenko 3945d382fe Adding new API to the queue. 2013-05-04 20:24:35 -07:00
Alan Mishchenko e3f9c4c182 Temporarily disabling one change to Makefile. 2013-05-04 11:28:08 -07:00
Alan Mishchenko 7dba9af692 Adding link to the tutorial. 2013-05-04 11:16:52 -07:00
Alan Mishchenko c82da43e40 Reducing page width in 'readme.md'. 2013-05-04 11:13:33 -07:00
Alan Mishchenko 6ecf7c6063 Making changes suggested by Mark Jarvin. 2013-05-04 11:10:50 -07:00
Alan Mishchenko 36d5ef4e62 Making changes suggested by Mark Jarvin. 2013-05-04 11:10:25 -07:00
Alan Mishchenko 95571be503 Changes to the ABC data-structures to allow for larger designs. 2013-05-04 10:48:46 -07:00
Alan Mishchenko 14f761950d Fix to return equiv classes after improving &iso. 2013-05-03 21:53:13 -07:00
Alan Mishchenko 50df0813fb Allowing 'constr' to reset remove currently defined constraints. 2013-05-03 19:59:18 -07:00
Alan Mishchenko 50095be5ac Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>). 2013-05-03 19:58:25 -07:00
Alan Mishchenko a59968ce8c Adding runtime limit per output to multi-output BMC (bmc3 -H <num_sec>). 2013-05-03 18:26:18 -07:00
Alan Mishchenko 0ca8a245da Reading/writing MiniAIG and several minor changes. 2013-05-03 17:53:03 -07:00
Alan Mishchenko fcd377405a Compiler warnings. 2013-05-03 15:48:05 -07:00
Alan Mishchenko 6a49d1f4c6 Reading/writing MiniAIG and several minor changes. 2013-05-03 15:45:50 -07:00
Alan Mishchenko e782bbb842 Commenting out a warning. 2013-05-02 14:07:55 -07:00
Alan Mishchenko bc50421928 Minor changes and improvement in PO partitioning (command &popart). 2013-05-01 12:45:34 -07:00
Alan Mishchenko 1039c8b432 Adding the link to Ana's ABC tutorial. 2013-05-01 10:35:02 -07:00
Alan Mishchenko 1f573cfe58 Compiler warnings. 2013-05-01 00:13:29 -07:00
Alan Mishchenko b94766bce5 Faster isomorphism detection (command &iso). 2013-05-01 00:10:53 -07:00
Alan Mishchenko c53eb0b9e1 Changing the print-out of &iso. 2013-04-30 10:46:07 -07:00
Alan Mishchenko 3b1ebbaa28 SAT sweeping under constraints. 2013-04-28 19:17:59 -07:00
Alan Mishchenko 9e1765216b Added option 'int -I <filename>' to specify file names to dump invariants. 2013-04-28 16:55:25 -07:00
Alan Mishchenko 266667d8b2 Improving local BDD construction from local SOPs and local AIGs. 2013-04-28 16:33:42 -07:00
Alan Mishchenko 58e1041ad8 Modified command 'eliminate' to perform traditional 'eliminate -1'. 2013-04-28 16:21:58 -07:00
Alan Mishchenko a33821ab38 Added alias for 'eliminate'. 2013-04-28 15:41:29 -07:00
Alan Mishchenko 2044caa97e Compiler warnings. 2013-04-28 15:12:55 -07:00
Alan Mishchenko 48d867f77d Modified command 'eliminate' to perform traditional 'eliminate -1'. 2013-04-28 15:02:03 -07:00
Alan Mishchenko 8db0b9c0c6 Improving local BDD construction from local SOPs and local AIGs. 2013-04-28 12:34:03 -07:00
Alan Mishchenko b09926e8e2 SAT sweeping under constraints. 2013-04-28 01:25:29 -07:00
Alan Mishchenko 17a0d944b3 SAT sweeping under constraints. 2013-04-27 22:38:01 -07:00
Alan Mishchenko 613e8b2ad6 SAT sweeping under constraints. 2013-04-27 18:37:39 -07:00
Alan Mishchenko 324d73c29a New fast extract. 2013-04-27 15:23:12 -07:00
Alan Mishchenko ae9a4407c4 Adding rollback for the other solver. 2013-04-25 16:02:40 -07:00
Alan Mishchenko ecf75a075b Compiler warnings. 2013-04-25 15:37:31 -07:00
Alan Mishchenko fb6c9e8564 Compiler warnings. 2013-04-25 15:36:07 -07:00
Alan Mishchenko 486eacc542 SAT sweeping under constraints. 2013-04-25 15:32:30 -07:00
Alan Mishchenko 005f0e39d2 Adding command &filter_equiv to filter candidate equivalence classes using indexes of disproved POs after handling SRM as a multi-output miter. 2013-04-22 13:39:55 -07:00
Alan Mishchenko 85ea8e95c6 Fixing the way packing information is written. 2013-04-19 23:40:17 -07:00