Commits · 0deb8bf632e1700451ce4d69c99f9820e2fe0339 · lvzhengyang / abc · GitLab

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 6 commits
- Adding and integrating new SAT solver APIs. · 22388f90
  Alan Mishchenko committed 4 years ago
  
  22388f90 Browse Directory
- Duplicating Glucose package. · 38d72c43
  Alan Mishchenko committed 4 years ago
  
  38d72c43 Browse Directory
- Duplicating Glucose package. · 2f65566d
  Alan Mishchenko committed 4 years ago
  
  2f65566d Browse Directory
- Duplicating Glucose package. · 5415fe52
  Alan Mishchenko committed 4 years ago
  
  5415fe52 Browse Directory
- Duplicating Glucose package. · fd41920a
  Alan Mishchenko committed 4 years ago
  
  fd41920a Browse Directory
- Duplicating Glucose package. · b3d3f7dd
  Alan Mishchenko committed 4 years ago
  
  b3d3f7dd Browse Directory
12 Nov, 2020 1 commit
- Adding Glucose API to return a CEX. · 890aa684
  Alan Mishchenko committed 4 years ago
  
  890aa684 Browse Directory
07 Nov, 2020 1 commit
- Removing local file 'stdint.h' which was included by mistake, not even a header file. · 0b89fd38
  Alan Mishchenko committed 4 years ago
  
  0b89fd38 Browse Directory
17 Apr, 2020 1 commit
- Fixing broken build and compiler warnings. · 5f163c01
  Alan Mishchenko committed 4 years ago
  
  5f163c01 Browse Directory
04 Apr, 2020 1 commit
- Correctly updating the failed output when recording the CEX in bmc3 -a. · 71fd9165
  Alan Mishchenko committed 4 years ago
  
  71fd9165 Browse Directory
25 Mar, 2020 1 commit
- Experiments with simulation-based engines. · a277d450
  Alan Mishchenko committed 4 years ago
  
  a277d450 Browse Directory
31 Oct, 2019 1 commit
- Changes to several APIs. · 6b2fe00c
  Alan Mishchenko committed 5 years ago
  
  6b2fe00c Browse Directory
14 Sep, 2019 2 commits
- Several suggested bug-fixes. · c3837b95
  Alan Mishchenko committed 5 years ago
  
  c3837b95 Browse Directory
- Several suggested bug-fixes. · 4256ad0a
  Alan Mishchenko committed 5 years ago
  
  4256ad0a Browse Directory
25 Jul, 2019 1 commit
- Adding license file for Glucose 3.0 · 0bd26507
  Alan Mishchenko committed 5 years ago
  
  0bd26507 Browse Directory
24 Jul, 2019 1 commit
- Fixing some update gcc. · ee1bd8f0
  Alan Mishchenko committed 5 years ago
  
  ee1bd8f0 Browse Directory
18 Jul, 2019 1 commit
- Representing formula used in &fftest as a BLIF file. · 2de35735
  Alan Mishchenko committed 5 years ago
  
  2de35735 Browse Directory
02 Jul, 2019 1 commit
- Printing formula used in &fftest. · 544d50c5
  Alan Mishchenko committed 5 years ago
  
  544d50c5 Browse Directory
23 May, 2019 1 commit
- Experiments with counting care bits. · afdaebe1
  Alan Mishchenko committed 5 years ago
  
  afdaebe1 Browse Directory
05 Mar, 2019 1 commit
- Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc. · 01569b8f
  Alan Mishchenko committed 6 years ago
  
  01569b8f Browse Directory
04 Mar, 2019 1 commit
- Suggested white-space changes for fewer gcc warnings. · bc288a76
  Alan Mishchenko committed 6 years ago
  
  bc288a76 Browse Directory
21 Nov, 2018 1 commit
- Adding switch &w -n to modify the comment section of the AIGER file written. · 5aa3025c
  Alan Mishchenko committed 6 years ago
  
  5aa3025c Browse Directory
12 Nov, 2018 1 commit
- Usability improvements to &fftest. · e9c00fb0
  Alan Mishchenko committed 6 years ago
  
  e9c00fb0 Browse Directory
08 Sep, 2018 1 commit
- Adding timeout to twoexact and lutexact. · d798d616
  Alan Mishchenko committed 6 years ago
  
  d798d616 Browse Directory
02 Sep, 2018 1 commit
- Adding solution dumping in BLIF to 'twoexact'. · ca4ddb08
  Alan Mishchenko committed 6 years ago
  
  ca4ddb08 Browse Directory
26 Mar, 2018 1 commit
- Integrating SAT-based CEX minimization (bug fix). · a2d59be3
  Alan Mishchenko committed 6 years ago
  
  a2d59be3 Browse Directory
25 Mar, 2018 1 commit
- Integrating SAT-based CEX minimization. · e639e8fd
  Alan Mishchenko committed 6 years ago
  
  e639e8fd Browse Directory
20 Feb, 2018 1 commit
- Small fix in satoko. · eb4bee3e
  Bruno Schmitt committed 7 years ago
  
  eb4bee3e Browse Directory
05 Feb, 2018 1 commit
- Suggested fix to compile on FreeBSD. · 00fb1d70
  Alan Mishchenko committed 7 years ago
  
  00fb1d70 Browse Directory
25 Jan, 2018 1 commit
- Experiments with SAT-based simulation. · e4cd0d60
  Alan Mishchenko committed 7 years ago
  
  e4cd0d60 Browse Directory
24 Jan, 2018 1 commit
- Experiments with SAT-based simulation. · 066e8d1b
  Alan Mishchenko committed 7 years ago
  
  066e8d1b Browse Directory