Commits · daad9ede0137dc58487a0abc126253e671a85b14 · lvzhengyang / abc

13 Sep, 2023 3 commits
- Add WASI support in Gia_StochProcessOne. · daad9ede
  Catherine committed Sep 13, 2023
  
  daad9ede Browse Files
- Add WASI support in Cnf_RunSolverOnce and Cnf_SplitCnfFile. · 89a5395f
  Catherine committed Sep 13, 2023
  
  89a5395f Browse Files
- Add WASI support in Abc_ThreadClock. · 6b66b817
  Catherine committed Sep 13, 2023
  
  6b66b817 Browse Files
11 Sep, 2023 5 commits
- Merge remote-tracking branch 'upstream/master' into yosys-experimental · 9537f391
  Miodrag Milanovic committed Sep 11, 2023
  
  9537f391 Browse Files
- Adding link to the fork of ABC with Agdmap. · 20f9095c
  Alan Mishchenko committed Sep 11, 2023
  
  20f9095c Browse Files
- Commenting out an assert that signals a non-critical formance bug. · 1153b3b6
  Alan Mishchenko committed Sep 11, 2023
  
  1153b3b6 Browse Files
- Corner-case bug fix. · 1ffdbbbe
  Alan Mishchenko committed Sep 11, 2023
  
  1ffdbbbe Browse Files
- Writing an interface module when dumping Verilog. · 588122dc
  Alan Mishchenko committed Sep 11, 2023
  
  588122dc Browse Files
09 Sep, 2023 1 commit
- Updating command "time" to report wall time. · 6d866dab
  Alan Mishchenko committed Sep 09, 2023
  
  6d866dab Browse Files
08 Sep, 2023 4 commits
- Experiments with CEC. · a4755a37
  Alan Mishchenko committed Sep 08, 2023
  
  a4755a37 Browse Files
- Fixing a typo. · 55aba173
  Alan Mishchenko committed Sep 08, 2023
  
  55aba173 Browse Files
- Command to add one flop to the design. · f844fb10
  Alan Mishchenko committed Sep 08, 2023
  
  f844fb10 Browse Files
- Adding procedure to merge two libraries. · 0c719ab6
  Alan Mishchenko committed Sep 08, 2023
  
  0c719ab6 Browse Files
05 Sep, 2023 11 commits
- Merge pull request #241 from wjrforcyber/typo · 00fa1e37
```
Refactor(Typo):Typo currently exists
```
  alanminko committed Sep 05, 2023
  00fa1e37 Browse Files
- Merge pull request #232 from phsauter/fix-retime-segfault · 1f0c5153
```
fix Segfault in retime command
```
  alanminko committed Sep 05, 2023
  1f0c5153 Browse Files
- Merge pull request #218 from seccipon/master · 4c718f7b
```
1. Fix bug (using pDesign without check if == NULL) 2. Switch type of variables containing file size to (int => long)
```
  alanminko committed Sep 05, 2023
  4c718f7b Browse Files
- Merge pull request #194 from jamesjer/badfile · 7f22cc07
```
Do not pass NULL to fprintf
```
  alanminko committed Sep 05, 2023
  7f22cc07 Browse Files
- Merge pull request #193 from jamesjer/use-after-free · 17c9075b
```
Fix two instances of use after free
```
  alanminko committed Sep 05, 2023
  17c9075b Browse Files
- Merge pull request #183 from j2kun/patch-1 · e3feb5c4
```
typo: Libery -> Liberty
```
  alanminko committed Sep 05, 2023
  e3feb5c4 Browse Files
- Merge pull request #177 from mmicko/fix_large_liberty · 0e88e273
```
Enable loading of large liberty files
```
  alanminko committed Sep 05, 2023
  0e88e273 Browse Files
- Merge pull request #156 from Teemperor/FixMemoryLeak · 1cd5a2ce
```
Fix some memory leaks
```
  alanminko committed Sep 05, 2023
  1cd5a2ce Browse Files
- Merge pull request #242 from DanielG/spelling-fixes · 3daa630a
```
treewide: Fix spelling mistakes
```
  alanminko committed Sep 05, 2023
  3daa630a Browse Files
- Experiments with the SAT sweeper. · 7df17e3c
  Alan Mishchenko committed Sep 05, 2023
  
  7df17e3c Browse Files
- Enabling command history on Linux. · 167fceac
  Alan Mishchenko committed Sep 05, 2023
  
  167fceac Browse Files
04 Sep, 2023 3 commits
- Experiments with the SAT sweeper. · 30146943
  Alan Mishchenko committed Sep 04, 2023
  
  30146943 Browse Files
- Corner-case bug in truth table reading. · a13dae7a
  Alan Mishchenko committed Sep 04, 2023
  
  a13dae7a Browse Files
- Problem fix: <unistd.h> is not properly defined. · 1cdb2dac
  Alan Mishchenko committed Sep 04, 2023
  
  1cdb2dac Browse Files
29 Aug, 2023 2 commits
- Merge remote-tracking branch 'upstream/master' into typo · 1a525c57
  wjrforcyber committed Aug 29, 2023
  
  1a525c57 Browse Files
- Refactor(Typo):Expends->Expands · b8f5708e
  wjrforcyber committed Aug 29, 2023
  
  b8f5708e Browse Files
27 Aug, 2023 1 commit

treewide: Fix spelling mistakes · b7d1435d

A particularly pedantic set of changes currently used in Debian

Authored-By: Ruben Undheim <ruben.undheim@gmail.com>

committed Aug 27, 2023

b7d1435d Browse Files

26 Aug, 2023 1 commit
- Cleaning up AIG output in EQN format. · 3309ccab
  Alan Mishchenko committed Aug 26, 2023
  
  3309ccab Browse Files
24 Aug, 2023 1 commit
- Extending &ps -n NPN profile to use cut pairs. · 750f8f17
  Alan Mishchenko committed Aug 24, 2023
  
  750f8f17 Browse Files
20 Aug, 2023 1 commit
- Problem fix: <unistd.h> is not properly defined. · 756e21a8
  Alan Mishchenko committed Aug 20, 2023
  
  756e21a8 Browse Files
18 Aug, 2023 1 commit
- Refactor(Typo):rec_add2 is no longer exist · 0971429b
  wjrforcyber committed Aug 18, 2023
  
  0971429b Browse Files
16 Aug, 2023 1 commit
- Merge pull request #240 from QuantamHD/fix_windows_build · 0d579a43
```
map: Fixes windows fnmatch build issue
```
  alanminko committed Aug 16, 2023
  0d579a43 Browse Files
15 Aug, 2023 2 commits
- map: Fixes windows fnmatch build issue · aae3a399
```
Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
```
  Ethan Mahintorabi committed Aug 15, 2023
  aae3a399 Browse Files
- Merge pull request #239 from QuantamHD/dont_use · 5405d478
```
map: Adds a user configurable dont_use flag to liberty
```
  alanminko committed Aug 15, 2023
  5405d478 Browse Files
14 Aug, 2023 3 commits
- map: Adds a user configurable dont_use flag to liberty · 503c4a34
```
This flag (-X <glob>) will allow a user to set this flag
multiple times with a glob pattern to exclude cells that
user doesn't want to show up in a mapped netlist.

Signed-off-by: Ethan Mahintorabi <ethanmoon@google.com>
```
  Ethan Mahintorabi committed Aug 14, 2023
  503c4a34 Browse Files
- Fixing 'read_truth' to read a constant truth table · c4839c92
  Alan Mishchenko committed Aug 14, 2023
  
  c4839c92 Browse Files
- Code to compute CNF of a cardinality constraint. · c2517679
  Alan Mishchenko committed Aug 14, 2023
  
  c2517679 Browse Files