Commits · 0f1a758c2f2766294b27e6e9f166e792f42b6497 · lvzhengyang / abc · GitLab

24 Mar, 2017 1 commit
- Experiments with don't-cares. · a34d8cbb
  Alan Mishchenko committed 7 years ago
  
  a34d8cbb Browse Directory
21 Mar, 2017 1 commit
- added callbacks to bmc3 and sat solver · bacc1bc1
  Yen-Sheng Ho committed 7 years ago
  
  bacc1bc1 Browse Directory
19 Mar, 2017 2 commits
- %pdra: working on bmc3 · 51fbf37c
  Yen-Sheng Ho committed 7 years ago
  
  51fbf37c Browse Directory
- Several bug fixed / small changes in Satoko. · 33290869
  Alan Mishchenko committed 7 years ago
  
  33290869 Browse Directory
17 Mar, 2017 4 commits
- Synthesis for mesh of LUTs. · 1ccf3218
  Alan Mishchenko committed 7 years ago
  
  1ccf3218 Browse Directory
- Synthesis for mesh of LUTs. · 60aa7baa
  Alan Mishchenko committed 7 years ago
  
  60aa7baa Browse Directory
- Synthesis for mesh of LUTs. · d81d9cc0
  Alan Mishchenko committed 7 years ago
  
  d81d9cc0 Browse Directory
- Synthesis for mesh of LUTs. · 9e668f1b
  Alan Mishchenko committed 7 years ago
  
  9e668f1b Browse Directory
01 Mar, 2017 1 commit
- Adding efficient procedure to minimize the set of assumptions. · bd9b7d64
  Alan Mishchenko committed 8 years ago
  
  bd9b7d64 Browse Directory
18 Feb, 2017 1 commit
- Experiments with SAT sweeping. · 429f52ce
  Alan Mishchenko committed 8 years ago
  
  429f52ce Browse Directory
11 Feb, 2017 1 commit
- Adding PDR with abstraction. · 8bff9aa1
  Alan Mishchenko committed 8 years ago
  
  8bff9aa1 Browse Directory
10 Feb, 2017 3 commits
- Improving CEX minimization. · f2d096c9
  Alan Mishchenko committed 8 years ago
  
  f2d096c9 Browse Directory
- Standardizing the use of new CNF generator. Adding CNF variable connectivity information. · d335ee09
  Alan Mishchenko committed 8 years ago
  
  d335ee09 Browse Directory
- Profiling CEX minimization. · 4e6978f2
  Alan Mishchenko committed 8 years ago
  
  4e6978f2 Browse Directory
06 Feb, 2017 1 commit
- Improving new X-valued simulation in 'pdr'. · 89e8e500
  Alan Mishchenko committed 8 years ago
  
  89e8e500 Browse Directory
26 Jan, 2017 1 commit
- Adding features for invariant minimization. · 636332c6
  Alan Mishchenko committed 8 years ago
  
  636332c6 Browse Directory
20 May, 2016 2 commits
- Enabling AIGs without structural hashing. · 555ed0b1
  Alan Mishchenko committed 8 years ago
  
  555ed0b1 Browse Directory
- Added switch 'bmc3 -r' to disable periodic restarts in the SAT solver. · 2ded89cc
  Alan Mishchenko committed 8 years ago
  
  2ded89cc Browse Directory
15 May, 2016 2 commits
- Experiments with generating sat assignments. · fa111ff8
  Alan Mishchenko committed 8 years ago
  
  fa111ff8 Browse Directory
- Experiments with generating sat assignments. · 12688ac9
  Alan Mishchenko committed 8 years ago
  
  12688ac9 Browse Directory
13 May, 2016 1 commit
- New command 'expand' to expand SOPs against the offset. · 5b6e5b81
  Alan Mishchenko committed 8 years ago
  
  5b6e5b81 Browse Directory
13 Apr, 2016 1 commit
- Adding new implementation of LEXSAT. · 89d4ac50
  Alan Mishchenko committed 8 years ago
  
  89d4ac50 Browse Directory
25 Mar, 2016 1 commit
- Corner-case bug fix in 'satclp' with conflict limit. · 81b70c4d
  Alan Mishchenko committed 8 years ago
  
  81b70c4d Browse Directory
09 Mar, 2016 1 commit
- Bug fix in &fftest: not outputting test patterns when user test patterns are given. · 73cbe319
  Alan Mishchenko committed 8 years ago
  
  73cbe319 Browse Directory
14 Jan, 2016 1 commit
- Adding a way to derive cardinality constraint as a sorting network. · 4ecf43f1
  Alan Mishchenko committed 9 years ago
  
  4ecf43f1 Browse Directory
13 Jan, 2016 1 commit
- Integrating new CNF generation into &bmc. · 8dd31fb4
  Alan Mishchenko committed 9 years ago
  
  8dd31fb4 Browse Directory
09 Nov, 2015 2 commits
- Improvements to 'satclp'. · 19e4604b
  Alan Mishchenko committed 9 years ago
  
  19e4604b Browse Directory
- Improvements to 'satclp'. · 58c2584e
  Alan Mishchenko committed 9 years ago
  
  58c2584e Browse Directory
06 Nov, 2015 2 commits
- Improvements to 'satclp' (unfinished). · e50fc467
  Alan Mishchenko committed 9 years ago
  
  e50fc467 Browse Directory
- Improvements to 'satclp' (unfinished). · dd365cba
  Alan Mishchenko committed 9 years ago
  
  dd365cba Browse Directory
28 Oct, 2015 1 commit
- Improvements to 'satclp'. · 9521d134
  Alan Mishchenko committed 9 years ago
  
  9521d134 Browse Directory
23 Oct, 2015 1 commit
- Set the default cube limit in 'satclp' to be 0. · 701565eb
  Alan Mishchenko committed 9 years ago
  
  701565eb Browse Directory
22 Oct, 2015 3 commits
- Quality improvement in 'satclp'. · ea7b8136
  Alan Mishchenko committed 9 years ago
  
  ea7b8136 Browse Directory
- Minor tuning in 'satclp'. · 1332dc41
  Alan Mishchenko committed 9 years ago
  
  1332dc41 Browse Directory
- Corner case bug in 'satclp'. · 17718a4c
  Alan Mishchenko committed 9 years ago
  
  17718a4c Browse Directory
21 Oct, 2015 1 commit
- Code inserts to profile runtime of 'satclp'. · ce232aca
  Alan Mishchenko committed 9 years ago
  
  ce232aca Browse Directory
18 Oct, 2015 2 commits
- Additional improvements in 'satclp'. · 9faaf802
  Alan Mishchenko committed 9 years ago
  
  9faaf802 Browse Directory
- Additional improvements in 'satclp'. · 69df5462
  Alan Mishchenko committed 9 years ago
  
  69df5462 Browse Directory
17 Oct, 2015 2 commits
- Added approximate SAT-based irredundant procedure to 'satclp'. · edf31445
  Alan Mishchenko committed 9 years ago
  
  edf31445 Browse Directory
- Bug fix in 'satclp -r'. · 17cbe356
  Alan Mishchenko committed 9 years ago
  
  17cbe356 Browse Directory