Commits · 63fc01ccbda851b34647de6ee57b36a82e1e6d48 · lvzhengyang / abc · GitLab

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
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 1 commit
- Portability changes for gcc-6 suggested by Clifford. · a49dfbcf
  Alan Mishchenko committed 7 years ago
  
  a49dfbcf Browse Directory