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

5059 Commits

Author SHA1 Message Date
Henner Zeller 74740dc894 Fix undefined behavior in signed/unsigned shifting. 
Discovered by UBSAN as invalid attempts at shifting signed integers.

Signed-off-by: Henner Zeller <hzeller@google.com>
 2022-11-21 12:36:41 -08:00
Alan Mishchenko 70cb339f86 Bug fix in &dch -x. 2022-10-19 05:05:56 -07:00
Alan Mishchenko 336b41a063 Adding comment about dup cell name. 2022-10-11 09:36:15 -07:00
Alan Mishchenko 813a0f1ff1 Updating features of &if mapper. 2022-10-09 23:51:40 -07:00
alanminko 5fb4912559
Merge pull request #180 from MyskYko/ttopt 
fix compile warnings
 2022-09-19 18:47:58 -07:00
Yukio Miyasaka fdd5656599 fix compile warnings 2022-09-19 18:25:00 -07:00
Alan Mishchenko 1bd7550378 Compiler warnings. 2022-09-19 16:30:52 -07:00
Alan Mishchenko 6325e41681 Compiler warnings. 2022-09-19 16:13:54 -07:00
Alan Mishchenko 4d183efe48 Compiler warnings. 2022-09-19 16:07:29 -07:00
Alan Mishchenko 47c153629f Compiler warnings. 2022-09-19 15:57:48 -07:00
alanminko fa6cdf9b48
Merge pull request #179 from MyskYko/ttopt 
fix compile errors and warnings
 2022-09-19 15:45:38 -07:00
Yukio Miyasaka 124e750e9a fix compile errors and warnings 2022-09-19 14:51:34 -07:00
Alan Mishchenko 6c8c6aafc5 Temporarily disabling new code. 2022-09-19 12:41:19 -07:00
Alan Mishchenko 2df7443317 Temporarily disabling new code. 2022-09-19 12:33:45 -07:00
Alan Mishchenko a6c9e997bd Temporarily disabling &ttopt in the Windows version. 2022-09-19 11:17:15 -07:00
alanminko c65e08f9b5
Merge pull request #178 from MyskYko/ttopt 
Import ttopt
 2022-09-19 10:49:31 -07:00
Alan Mishchenko b69f439609 Adding args to command %yosys. 2022-09-19 10:48:41 -07:00
Yukio Miyasaka 96b9ef2ce5 import ttopt 2022-09-17 15:42:36 -07:00
Alan Mishchenko 0ed81b34f1 Compiler warnings. 2022-08-30 13:28:59 -07:00
Alan Mishchenko 138c381f76 Testing utility code. 2022-08-30 13:19:14 -07:00
Alan Mishchenko 34d571a562 Various changes. 2022-08-30 12:30:15 -07:00
Alan Mishchenko c3c643820e Various changes. 2022-08-30 12:00:33 -07:00
Alan Mishchenko 1b0439d128 Changing 2:1 MUX fanin order to be (ctrl, data0, data1). 2022-08-11 20:19:37 -07:00
Alan Mishchenko af0ac88266 Improvements to command 'twoexact'. 2022-08-08 16:43:30 -07:00
Alan Mishchenko 1368a920b9 Improvements to command 'twoexact'. 2022-08-08 16:41:32 -07:00
Alan Mishchenko 99b33e5dbf Improvements to command 'twoexact'. 2022-08-07 12:56:37 -07:00
Alan Mishchenko 30ddf14c90 Improvements to command 'twoexact'. 2022-08-07 12:24:44 -07:00
Alan Mishchenko 21cccea072 Improvements to command 'twoexact'. 2022-08-04 21:08:11 -07:00
Alan Mishchenko 89e1ee8bc9 Improvements to command 'twoexact'. 2022-08-03 20:59:44 -07:00
Alan Mishchenko 132b893921 Investigating complex miters. 2022-08-03 10:09:44 -07:00
Alan Mishchenko a9237f50ea New switch in command &st for adding buffers. 2022-07-31 19:12:55 -07:00
Alan Mishchenko 66449e8033 Constructing boolean relation. 2022-07-30 20:38:33 -07:00
Alan Mishchenko ddb22f3bed Various changes. 2022-07-30 14:21:47 -07:00
Alan Mishchenko c23cd0a7c5 Commenting out unimportant assertion. 2022-06-27 09:53:17 -07:00
Alan Mishchenko adcc398bc3 Dumping equivalences after SAT sweeping. 2022-06-26 19:45:03 -07:00
Alan Mishchenko 8cf3f54208 Experiments with technology mapping. 2022-06-25 19:44:30 -07:00
Alan Mishchenko 25455d358f Making command &kissat not look for the binary in the current dir. 2022-06-23 08:04:34 -07:00
Alan Mishchenko 8888e8e82e Experiments with the mapper. 2022-06-23 07:48:10 -07:00
Alan Mishchenko 8eb651c3d3 Adding command to check resub problem solution. 2022-06-10 16:55:12 -07:00
Alan Mishchenko ae0f03f4a9 Adding command to check resub problem solution. 2022-06-10 14:06:23 -07:00
Alan Mishchenko 3241a595ba Bug fix by Ai Quoc Dao. 2022-06-08 08:50:37 -07:00
Alan Mishchenko 7bda1d4bfb Renaming switch '-i' into '-c' in %collapse. 2022-06-05 18:28:51 -07:00
Alan Mishchenko 617eb759ae Enabling support for reading AIGs with XOR gates. 2022-06-05 18:27:40 -07:00
Alan Mishchenko aebf1e7b9c Integrated Kissat, by Armin Biere, as an external binary. 2022-06-02 09:35:06 -07:00
Alan Mishchenko 94ab17c39e Supporting new resub problem format. 2022-06-02 07:47:33 -07:00
Alan Mishchenko 5a3e0a1f15 Improvements to MiniAIG. 2022-05-22 19:47:13 -07:00
Alan Mishchenko 4f7bf91003 Adding new switch to &cec. 2022-05-20 12:53:12 -07:00
Alan Mishchenko 21922e3e9f Adding switch to dsd_match to skip small functions. 2022-05-18 10:43:07 -07:00
Alan Mishchenko 67247b7209 One less line printed out in the batch mode. 2022-05-18 10:42:37 -07:00
Alan Mishchenko 3d19d411b2 Improvements to MiniAIG. 2022-05-18 10:41:39 -07:00