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

4955 Commits

Author SHA1 Message Date
Sean Cross 3f9b46591c casts: add casts for unsigned -> signed int 
When compiling on Darwin ARM64 hardware using the Conda clang compiler,
compilation fails due to these casts going from `unsigned` to `int`.

In these cases, a cast appears to be the correct approach. Add a cast
to make the compiler happy.

Signed-off-by: Sean Cross <sean@xobs.io>
 2023-02-15 22:58:24 +08:00
Catherine 18b9c612f4 Add WASI support in Exa4_ManSolve. 2023-02-04 03:14:44 +00:00
Miodrag Milanovic be9a35c036 Merge remote-tracking branch 'upstream/master' into yosys-experimental 2022-11-09 08:42:08 +01: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
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
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
Miodrag Milanovic ab5b16ede2 Additional fix for large liberty files 2022-09-08 16:04:24 +02:00
Miodrag Milanovic aa21961c24 Support using large liberty files 2022-09-07 11:42:59 +02: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
Jannis Harder 20f970f569 write_cex: Check for unsupported multi-PO SAT based minimization 
Running SAT-based CEX minimization with multiple POs runs into an
assertion. This makes it produce an error message instead.
 2022-08-05 15:12:00 +02:00
Jannis Harder feedbc7449 read_cex: Faster parsing and care bits for verification 2022-08-05 15:11:34 +02:00
Jannis Harder 8c923ad492 Add '-p' option to 'constr' to allow fully removing constraints 
Invoking 'constr -r' converts constraints into POs but does not fully
remove them. Now 'constr -pr' can be used to completely remove them,
leaving the set of non-constraint POs unchanged.
 2022-08-05 13:21:59 +02: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
Miodrag Milanovic c95d9499d9 Revert "Remove ABC_NO_RLIMIT macro, use defined(__wasm) instead." 
This reverts commit fd2c9b1c19.
 2022-07-15 12:46:01 +02:00
Catherine 5f40c4704f Add support for WASI platform in Wln_ConvertToRtl. 2022-07-07 08:28:52 +00:00
Miodrag Milanovic f159bef6c3 Prevent types from stdint to be defined under abc namespace 2022-07-04 16:11:23 +02:00
Miodrag Milanovic 163af36fee Merge remote-tracking branch 'upstream/master' into yosys-experimental 2022-07-04 16:02:44 +02:00
Jannis Harder 69ffaa0912 read_cex: Allow reading cex that has extra registers 2022-07-01 16:00:05 +02: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