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

5061 Commits

Author SHA1 Message Date
Baruch Sterin acc9fbbf1d Workaround for a crash when compiling on macOS in GitHub Actions. 
Reported the bug to Apple and return to the previous version of the maOS image (macos-11).
 2022-11-22 03:29:55 +02:00
Alan Mishchenko 3bcc4fc386 Other suggested changes. 2022-11-21 14:40:55 -08:00
Alan Mishchenko b0518173b1 Preventing underfined behavior following a github message suggestion. 2022-11-21 14:12:47 -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