Commits · 6e2e054509f3707fb5ad0a064e3733e9e7c6ee6f · lvzhengyang / abc · GitLab

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
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
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
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
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
19 Oct, 2017 2 commits
- Adding random search in exact synthesis. · 15908929
  Alan Mishchenko committed 7 years ago
  
  15908929 Browse Directory
- Integrating old SAT solver into majexact and twoexact. · 8f690fe8
  Alan Mishchenko committed 7 years ago
  
  8f690fe8 Browse Directory
11 Oct, 2017 1 commit
- Another variation on exact synthesis. · 711ea3df
  Alan Mishchenko committed 7 years ago
  
  711ea3df Browse Directory
01 Oct, 2017 3 commits
- Exact synthesis of majority gates. · c2721889
  Alan Mishchenko committed 7 years ago
  
  c2721889 Browse Directory
- Exact synthesis of majority gates. · ce8dbc4a
  Alan Mishchenko committed 7 years ago
  
  ce8dbc4a Browse Directory
- Exact synthesis of majority gates. · d3152aef
  Alan Mishchenko committed 7 years ago
  
  d3152aef Browse Directory
16 Sep, 2017 1 commit
- Enabling variable elim in &bmcs -g. · e7def3d4
  Alan Mishchenko committed 7 years ago
  
  e7def3d4 Browse Directory
08 Sep, 2017 2 commits
- Disabling CNF simplification in &bmcs -g. · af4c76e2
  Alan Mishchenko committed 7 years ago
  
  af4c76e2 Browse Directory
- Trying to enable CNF simplification in &bmcs -g. · ba0d855f
  Alan Mishchenko committed 7 years ago
  
  ba0d855f Browse Directory
07 Sep, 2017 2 commits
- Adding global conflict counter to Satoko (to make it apple-to-apple with other solvers). · 3ffb098d
  Alan Mishchenko committed 7 years ago
  
  3ffb098d Browse Directory
- Integrating Glucose into bmc3 -g. · 97dd6019
  Alan Mishchenko committed 7 years ago
  
  97dd6019 Browse Directory