Commits · ee1bd8f0bee0678a289e086676adad2f35e3e2ae · lvzhengyang / abc · GitLab

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
22 Jan, 2018 1 commit
- Updates to exact synthesis commands. · 67e820a5
  Alan Mishchenko committed 7 years ago
  
  67e820a5 Browse Directory
19 Jan, 2018 1 commit
- Updates to exact synthesis commands. · 6274498e
  Alan Mishchenko committed 7 years ago
  
  6274498e Browse Directory
05 Jan, 2018 2 commits
- New command 'testexact'. · 7d781c37
  Alan Mishchenko committed 7 years ago
  
  7d781c37 Browse Directory
- New command 'testexact'. · 834e2480
  Alan Mishchenko committed 7 years ago
  
  834e2480 Browse Directory
31 Dec, 2017 1 commit
- New exact synthesis command 'allexact'. · f3dcf87c
  Alan Mishchenko committed 7 years ago
  
  f3dcf87c Browse Directory
29 Dec, 2017 2 commits
- New exact synthesis command 'allexact'. · 75d334a0
  Alan Mishchenko committed 7 years ago
  
  75d334a0 Browse Directory
- New exact synthesis command 'allexact'. · 7d7ce3ec
  Alan Mishchenko committed 7 years ago
  
  7d7ce3ec Browse Directory
06 Dec, 2017 9 commits
- Adding parameter structure to 'twoexact' and 'lutexact'. · c7b65a15
  Alan Mishchenko committed 7 years ago
  
  c7b65a15 Browse Directory
- An improvement to 'twoexact' and 'lutexact'. · 93b96fc3
  Alan Mishchenko committed 7 years ago
  
  93b96fc3 Browse Directory
- An improvement to 'twoexact' and 'lutexact'. · c6b962ef
  Alan Mishchenko committed 7 years ago
  
  c6b962ef Browse Directory
- An improvement to 'twoexact' and 'lutexact'. · e37bbba7
  Alan Mishchenko committed 7 years ago
  
  e37bbba7 Browse Directory
- An improvement to 'twoexact' and 'lutexact'. · 9e515ae3
  Alan Mishchenko committed 7 years ago
  
  9e515ae3 Browse Directory
- An improvement to 'twoexact' and 'lutexact'. · 67181d04
  Alan Mishchenko committed 7 years ago
  
  67181d04 Browse Directory
- Switch -a to use only AND-gates in 'twoexact' and 'lutexact'. · c4322a0a
  Alan Mishchenko committed 7 years ago
  
  c4322a0a Browse Directory
- An improvement to 'twoexact' and 'lutexact'. · b258db83
  Alan Mishchenko committed 7 years ago
  
  b258db83 Browse Directory
- New command 'lutexact'. · 3f35ac81
  Alan Mishchenko committed 7 years ago
  
  3f35ac81 Browse Directory
03 Dec, 2017 3 commits
- Portability changes for gcc-6 suggested by Clifford. · a49dfbcf
  Alan Mishchenko committed 7 years ago
  
  a49dfbcf Browse Directory
- Portability changes for gcc-6 suggested by Clifford. · 46175d04
  Alan Mishchenko committed 7 years ago
  
  46175d04 Browse Directory
- Portability changes for gcc-6 suggested by Clifford. · 3cc4080c
  Alan Mishchenko committed 7 years ago
  
  3cc4080c Browse Directory
24 Nov, 2017 1 commit
- C++ comaptibility: add namespace support to Glucose · 7bcfe643
  Baruch Sterin committed 7 years ago
  
  7bcfe643 Browse Directory
14 Nov, 2017 1 commit
- Extracting CSAT interface and several cleanups. · 203629fd
  Alan Mishchenko committed 7 years ago
  
  203629fd Browse Directory
13 Nov, 2017 1 commit
- Improvements to quantification. · 71d9a167
  Alan Mishchenko committed 7 years ago
  
  71d9a167 Browse Directory
07 Nov, 2017 2 commits
- Compiler warnings. · 6bbbbe20
  Alan Mishchenko committed 7 years ago
  
  6bbbbe20 Browse Directory
- Profiling quantification and other changes. · 5fd6dc0f
  Alan Mishchenko committed 7 years ago
  
  5fd6dc0f Browse Directory