Commits · 0c719ab69ef8a0cdbb618b2fd6de2c85fd46accb · lvzhengyang / abc

04 Sep, 2023 1 commit
- Problem fix: <unistd.h> is not properly defined. · 1cdb2dac
  Alan Mishchenko committed a year ago
  
  1cdb2dac Browse Directory
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 a year ago

b7d1435d Browse Directory

20 Aug, 2023 1 commit
- Problem fix: <unistd.h> is not properly defined. · 756e21a8
  Alan Mishchenko committed a year ago
  
  756e21a8 Browse Directory
28 Jul, 2023 1 commit
- Adding preprocessing to command &splitsat. · 039f05cb
  Alan Mishchenko committed a year ago
  
  039f05cb Browse Directory
27 Jul, 2023 2 commits
- New command &splitsat. · 74157fc0
  Alan Mishchenko committed a year ago
  
  74157fc0 Browse Directory
- Removing checking for the binary in the current dir. · edb7fb10
  Alan committed a year ago
  
  edb7fb10 Browse Directory
24 Jul, 2023 1 commit
- Experiment with CNF cofactoring. · d9f6af51
  Alan Mishchenko committed a year ago
  
  d9f6af51 Browse Directory
13 Mar, 2023 1 commit
- Adding BLIF dumping to MiniAIG. · a5f48414
  Alan Mishchenko committed a year ago
  
  a5f48414 Browse Directory
11 Mar, 2023 1 commit
- Alternative binary name on Linux. · c1b2a64c
  Alan Mishchenko committed a year ago
  
  c1b2a64c Browse Directory
01 Mar, 2023 1 commit
- More compiler warnings. · 8742534d
  Alan Mishchenko committed 2 years ago
  
  8742534d Browse Directory
28 Feb, 2023 1 commit
- Compiler warnings. · b57b5464
  Alan Mishchenko committed 2 years ago
  
  b57b5464 Browse Directory
13 Feb, 2023 1 commit
- Changes and bug fixes in exact synthesis. · 38ad178e
  Alan Mishchenko committed 2 years ago
  
  38ad178e Browse Directory
30 Dec, 2022 1 commit
- Experiments with exact synthesis. · 66a5fe7a
  Alan Mishchenko committed 2 years ago
  
  66a5fe7a Browse Directory
19 Dec, 2022 1 commit
- Experiments with precomputation. · 27b8cce3
  Alan Mishchenko committed 2 years ago
  
  27b8cce3 Browse Directory
04 Dec, 2022 1 commit
- Another way of dumping QBF problem into a file. · 6e6c728b
  Alan Mishchenko committed 2 years ago
  
  6e6c728b Browse Directory
21 Nov, 2022 1 commit
- Fix undefined behavior in signed/unsigned shifting. · 74740dc8
```
Discovered by UBSAN as invalid attempts at shifting signed integers.

Signed-off-by: Henner Zeller <hzeller@google.com>
```
  Henner Zeller committed 2 years ago
  74740dc8 Browse Directory
30 Aug, 2022 1 commit
- Various changes. · c3c64382
  Alan Mishchenko committed 2 years ago
  
  c3c64382 Browse Directory
08 Aug, 2022 2 commits
- Improvements to command 'twoexact'. · af0ac882
  Alan Mishchenko committed 2 years ago
  
  af0ac882 Browse Directory
- Improvements to command 'twoexact'. · 1368a920
  Alan Mishchenko committed 2 years ago
  
  1368a920 Browse Directory
07 Aug, 2022 2 commits
- Improvements to command 'twoexact'. · 99b33e5d
  Alan Mishchenko committed 2 years ago
  
  99b33e5d Browse Directory
- Improvements to command 'twoexact'. · 30ddf14c
  Alan Mishchenko committed 2 years ago
  
  30ddf14c Browse Directory
05 Aug, 2022 1 commit
- Improvements to command 'twoexact'. · 21cccea0
  Alan Mishchenko committed 2 years ago
  
  21cccea0 Browse Directory
04 Aug, 2022 1 commit
- Improvements to command 'twoexact'. · 89e1ee8b
  Alan Mishchenko committed 2 years ago
  
  89e1ee8b Browse Directory
24 Apr, 2022 2 commits
- Experiments with SAT sweeping. · 1abd0457
  Alan Mishchenko committed 2 years ago
  
  1abd0457 Browse Directory
- Experiments with SAT sweeping. · 1f56f20e
  Alan Mishchenko committed 2 years ago
  
  1f56f20e Browse Directory
03 Feb, 2022 1 commit
- Adding option to dump CNF after preprocessing in &glucose. · 6097ac1d
  Alan Mishchenko committed 3 years ago
  
  6097ac1d Browse Directory
22 Jan, 2022 1 commit
- Move CI to GitHub Actions. · 554a1693
```
Also, a few minor changes that are required to compile ABC under moder compilers.
```
  Baruch Sterin committed 3 years ago
  554a1693 Browse Directory
29 Dec, 2021 2 commits
- Missing class name in the FreeBSD code. · 48498af8
  Alan Mishchenko committed 3 years ago
  
  48498af8 Browse Directory
- Add missing class names in FreeBSD-ifdefed code. · 41c4d3c0
  Yuri Victorovich committed 3 years ago
  
  41c4d3c0 Browse Directory
10 Oct, 2021 1 commit
- Experiments with pattern generation. · f0236d5a
  Alan Mishchenko committed 3 years ago
  
  f0236d5a Browse Directory
17 May, 2021 1 commit
- Fixing memory leak in the SAT sweeper. · 91a2eafc
  Alan Mishchenko committed 3 years ago
  
  91a2eafc Browse Directory
27 Apr, 2021 1 commit
- Upgrade to the circuit-based solver. · 5f8a8a59
  Alan Mishchenko committed 3 years ago
  
  5f8a8a59 Browse Directory
21 Dec, 2020 2 commits
- Integrating Glucose into &sat. · e44f409c
  Alan Mishchenko committed 4 years ago
  
  e44f409c Browse Directory
- Compiler warnings. · f06217e2
  Alan Mishchenko committed 4 years ago
  
  f06217e2 Browse Directory
16 Nov, 2020 2 commits
- Extending sweeper to handle XORs. · 230b759d
  Alan Mishchenko committed 4 years ago
  
  230b759d Browse Directory
- Extending sweeper to handle XORs. · dd07ec57
  Alan Mishchenko committed 4 years ago
  
  dd07ec57 Browse Directory
15 Nov, 2020 2 commits
- Improvements to the SAT sweeper (bug fix). · 28ea3ade
  Alan Mishchenko committed 4 years ago
  
  28ea3ade Browse Directory
- Improvements to the SAT solver. · 581f2e59
  Alan Mishchenko committed 4 years ago
  
  581f2e59 Browse Directory
14 Nov, 2020 1 commit
- Upgrading the SAT solvers. · bab4c1dd
  Alan Mishchenko committed 4 years ago
  
  bab4c1dd Browse Directory
13 Nov, 2020 1 commit
- Adding and integrating new SAT solver APIs. · 22388f90
  Alan Mishchenko committed 4 years ago
  
  22388f90 Browse Directory