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

238 Commits

Author SHA1 Message Date
Jannis Harder 6d52a1e449 fold: Option (-s) to make sequential cleanup optional 
(cherry picked from commit 1bd088d027)
 2024-08-07 14:47:00 +02:00
Alan Mishchenko 55aba1731c Fixing a typo. 2023-09-08 19:57:45 +07:00
Daniel Gröber b7d1435db1 treewide: Fix spelling mistakes 
A particularly pedantic set of changes currently used in Debian

Authored-By: Ruben Undheim <ruben.undheim@gmail.com>
 2023-08-27 14:13:20 +02:00
Alan Mishchenko 667326b18e Compiler warnings. 2023-02-28 15:53:12 +07:00
Alan Mishchenko 622d142794 Compiler warnings. 2023-02-28 15:40:06 +07:00
Alan Mishchenko ba64e78608 Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers. 2021-09-26 11:30:54 -07:00
Alan Mishchenko 5f163c0152 Fixing broken build and compiler warnings. 2020-04-17 10:32:38 -07:00
Alan Mishchenko 951afa27cb Cleaning up code and fixing for several typos. 2020-01-27 10:43:37 -08:00
Alan Mishchenko 53e7d1f9ef Adding switch 'scorr -f' to dump inductive invariant as an AIG. 2018-03-22 10:10:09 -07:00
Alan Mishchenko 23d36a8d56 Integrating Satoko into 'bmc' and 'bmc2'. 2017-08-16 14:20:52 +07:00
Heinz Riener 2b46253088 changed int to unsigned / narrowing conversion error 2017-03-03 12:06:18 +01:00
Alan Mishchenko cf539dcca4 Fix mismatch in output formatting. 2017-01-21 12:48:40 +08:00
Alan Mishchenko eb699bbaf8 Changes to be able to compile ABC without CUDD. 2015-08-24 21:09:43 -07:00
Alan Mishchenko 9ef96ae8a6 Changes to be able to compile ABC without CUDD. 2015-08-24 20:55:07 -07:00
Alan Mishchenko 609be7a114 C++ compiler typecast problem. 2015-07-08 15:04:26 -07:00
Alan Mishchenko b4cf2f7448 Added switches '-c' and '-n' to 'init'. 2014-11-02 17:35:47 -08:00
Alan Mishchenko 43ec3fd8f8 Fixed C-compiler errors on Windows. 2014-06-04 23:42:28 -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
Alan Mishchenko 42927d5ebb Adding command to dump UNSAT core of BMC instance. 2014-04-07 14:10:51 -07:00
Alan Mishchenko 549cd2c6da Making 'fold' and 'unfold' skip constant POs (another fix). 2013-12-04 15:45:42 -08:00
Alan Mishchenko ecdcfbba5c Making 'fold' and 'unfold' skip constant POs (fixed). 2013-12-04 00:02:21 -08:00
Alan Mishchenko a3bc77cd7b Making 'fold' and 'unfold' skip constant POs. 2013-12-03 00:03:09 -08:00
Alan Mishchenko 431dc61a9e Bug fix in 'tempor -s'. 2013-10-30 19:09:55 -04:00
Alan Mishchenko cb4631e64e Compiler warnings. 2013-10-17 18:04:07 -07:00
Alan Mishchenko aa1a50fe89 Fixing corner-case bug in command 'ind'. 2013-09-08 14:42:15 -07:00
Alan Mishchenko 3459683e3b Extending 'permute' to handle user-specified flop permutation. 2013-08-16 13:13:38 -07:00
Alan Mishchenko 8c7ca72ea9 Adding timeout to command 'ind'. 2013-06-28 12:21:48 -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 ccf3caddb8 Bug fix in 'blockpo'. 2013-05-07 18:39:24 -07:00
Alan Mishchenko 3b1c632b15 Bug fix in 'blockpo'. 2013-04-11 11:03:26 -07:00
Alan Mishchenko bf795e57cf Handling special case in 'fold' when the network is combinational. 2013-03-13 11:47:17 +01:00
Alan Mishchenko dfe5f511b2 Adding new features to 'dualrail'. 2013-02-21 22:46:53 -08:00
Alan Mishchenko 19749cb8f8 Fixing C++ compilation issues. 2013-01-08 14:19:42 +08:00
Alan Mishchenko 5d74635f7b Restoring correct behavior of 'tempor' after a change in counting BMC frames in 'bmc2'. 2012-12-07 22:07:47 -08:00
Alan Mishchenko ddab80aea4 Isolating BMC code into a separate package. 2012-11-14 14:00:47 -08:00
Alan Mishchenko be7a4e4259 Isolating BMC code into a separate package. 2012-11-14 13:55:24 -08:00
Niklas Een f21615ecc2 Replaced printfs with Abc_Print 2012-10-29 15:26:39 -07:00
Alan Mishchenko daeffe791c Making report about the number of correcty covered frames consistent across the engines. 2012-10-09 15:42:25 -07:00
Alan Mishchenko 56d3d7cd22 C++ portability changes. 2012-10-03 21:49:18 -07:00
Alan Mishchenko f7caf84f21 Modified structural constraint extraction (unfold -s) to work for multi-output testcases. 2012-09-23 14:30:17 -07:00
Alan Mishchenko 6e774ef541 Cleaing AIG manager by removing pointers to HAIG. 2012-09-23 12:01:59 -07:00
Alan Mishchenko 6dc3a0a246 Bug fix in bmc3. 2012-09-17 17:39:42 -07:00
Alan Mishchenko 819b41bb59 Fixed timeout problem in bmc3 -s. 2012-09-17 09:54:45 -07:00
Alan Mishchenko 69bbfa9856 Created new abstraction package from the code that was all over the place. 2012-09-15 23:27:46 -07:00
Alan Mishchenko d40af538e2 Unified print-out of property failures produced by all engines. 2012-09-09 20:46:34 -07:00
Alan Mishchenko f6b67d7846 Added new command &gla_shrink. 2012-09-04 23:57:58 -07:00
Alan Mishchenko 7e486af832 Minor updates to the BMC engines. 2012-07-27 15:59:20 -07:00
Alan Mishchenko a40c13a93c Recording and reusing learned util clauses in bmc2. 2012-07-22 22:28:24 -07:00
Alan Mishchenko 2379dea445 Recording and reusing learned util clauses in bmc3. 2012-07-22 16:52:24 -07:00