Commits · 7f22cc07b8d470416ef116187d53de9375954a71 · lvzhengyang / abc

05 Sep, 2023 8 commits
- 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
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
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
12 Aug, 2023 2 commits
- Fixed performance bug in Feb 28 commit (0d0063f7 ). · 42683a73
  Alan Mishchenko committed Aug 12, 2023
  
  42683a73 Browse Files
- Fixed a corner-case bug in Aug 5 commit (3daecc0e ). · a7aa3dea
  Alan Mishchenko committed Aug 12, 2023
  
  a7aa3dea Browse Files
11 Aug, 2023 1 commit
- "Fixing usage message of &ps." · a603186d
  Alan Mishchenko committed Aug 11, 2023
  
  a603186d Browse Files
06 Aug, 2023 1 commit
- Merge pull request #236 from MyskYko/fix_rwr · e387ddf8
```
update reverse level when co is replaced
```
  alanminko committed Aug 06, 2023
  e387ddf8 Browse Files
05 Aug, 2023 1 commit
- update reverse level when co is replaced · 3daecc0e
  MyskYko committed Aug 05, 2023
  
  3daecc0e Browse Files
28 Jul, 2023 1 commit
- Adding preprocessing to command &splitsat. · 039f05cb
  Alan Mishchenko committed Jul 27, 2023
  
  039f05cb Browse Files
27 Jul, 2023 2 commits
- New command &splitsat. · 74157fc0
  Alan Mishchenko committed Jul 27, 2023
  
  74157fc0 Browse Files
- Removing checking for the binary in the current dir. · edb7fb10
  Alan committed Jul 26, 2023
  
  edb7fb10 Browse Files
25 Jul, 2023 2 commits
- Changing default time counting from thread time to wall time. · c51c081d
  Alan Mishchenko committed Jul 25, 2023
  
  c51c081d Browse Files
- Bug fix in &splitprove. · a3942996
  Alan Mishchenko committed Jul 25, 2023
  
  a3942996 Browse Files
24 Jul, 2023 1 commit
- Experiment with CNF cofactoring. · d9f6af51
  Alan Mishchenko committed Jul 24, 2023
  
  d9f6af51 Browse Files
23 Jul, 2023 3 commits
- Experiments with cube ordering. · 19eaa55c
  Alan Mishchenko committed Jul 23, 2023
  
  19eaa55c Browse Files
- Experiments with stochastic synthesis. · 683882f2
  Alan Mishchenko committed Jul 22, 2023
  
  683882f2 Browse Files
- Bug fix in 'dsd'. · 0108175c
  Alan Mishchenko committed Jul 22, 2023
  
  0108175c Browse Files
22 Jul, 2023 2 commits
- Adding functional comparison to &compare. · a620c09c
  Alan Mishchenko committed Jul 22, 2023
  
  a620c09c Browse Files
- Partitioned &scorr. · 3592078d
  Alan Mishchenko committed Jul 21, 2023
  
  3592078d Browse Files
21 Jul, 2023 1 commit
- Changing command &permute to generate random NPNP transformations. · 55ed1e66
  Alan Mishchenko committed Jul 21, 2023
  
  55ed1e66 Browse Files
19 Jul, 2023 1 commit
- Change in how signal names are printing in 'print_level'. · 623d0f3c
  Alan Mishchenko committed Jul 18, 2023
  
  623d0f3c Browse Files
18 Jul, 2023 1 commit
- Bug fix in Verilog writer. · 0828ac28
  Alan Mishchenko committed Jul 18, 2023
  
  0828ac28 Browse Files