luke/abc
1
0
Fork 0
mirror of https://github.com/YosysHQ/abc.git synced 2026-08-29 17:27:46 +02:00
Code Issues Packages Projects Releases Wiki Activity
5,579 Commits 30 Branches 59 Tags
codeql
Commit Graph
5579 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Alan Mishchenko 027dbbd492 Making fanin ordering available for netlists, not only networks. 2013-05-07 18:57:40 -07:00
Alan Mishchenko ccf3caddb8 Bug fix in 'blockpo'. 2013-05-07 18:39:24 -07:00
Alan Mishchenko a735d95a5b SAT sweeping under constraints (bug fix). 2013-05-07 18:11:29 -07:00
Alan Mishchenko 51db560206 Procedures for sorting fanins of the nodes. 2013-05-06 18:51:48 -07:00
Alan Mishchenko f02888635f Procedures for sorting fanins of the nodes. 2013-05-06 18:19:20 -07:00
Alan Mishchenko f321b27bb7 SAT sweeping under constraints. 2013-05-06 00:44:21 -07:00
Alan Mishchenko 05f7cd9ed2 Integration of the liveness property prover developed by Sayak Ray. 2013-05-05 21:08:55 -07:00
Alan Mishchenko 98cf5698a1 New fast extract. 2013-05-05 18:57:51 -07:00
Alan Mishchenko 7a78e30390 New fast extract. 2013-05-05 14:33:28 -07:00
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