Commits · 2a0289f97bbf4b09859c7b8bef9adc5d74682309 · lvzhengyang / abc · GitLab

15 Aug, 2017 3 commits
- Trying &bmcs with external solvers. · 2a0289f9
  Alan Mishchenko committed 7 years ago
  
  2a0289f9 Browse Directory
- Unfold several timeframes at the same time in &bmcs. · ca87c1a6
  Alan Mishchenko committed 7 years ago
  
  ca87c1a6 Browse Directory
- Bug fix in &bmcs. · 1f5ab6d7
  Alan Mishchenko committed 7 years ago
  
  1f5ab6d7 Browse Directory
13 Aug, 2017 5 commits
- Adding an option to bmc3 to use Satoko intead of the default SAT solver. · a64957a5
  Alan Mishchenko committed 7 years ago
  
  a64957a5 Browse Directory
- Experiments with BMC. · 8ae4ed5d
  Alan Mishchenko committed 7 years ago
  
  8ae4ed5d Browse Directory
- Experiments with BMC. · fe6cb9e8
  Alan Mishchenko committed 7 years ago
  
  fe6cb9e8 Browse Directory
- Experiments with BMC. · f5f1f44a
  Alan Mishchenko committed 7 years ago
  
  f5f1f44a Browse Directory
- Experiments with BMC. · ab8f784b
  Alan Mishchenko committed 7 years ago
  
  ab8f784b Browse Directory
09 Aug, 2017 2 commits
- add frame done callback support for command &bmcs · cf427690
  Baruch Sterin committed 7 years ago
  
  cf427690 Browse Directory
- Experiments with BMC. · a1d1a7b8
  Alan Mishchenko committed 7 years ago
  
  a1d1a7b8 Browse Directory
22 Jul, 2017 3 commits
- Compiler warnings. · 2e56f44c
  Alan Mishchenko committed 7 years ago
  
  2e56f44c Browse Directory
- Experiments with BMC. · 66af4ae6
  Alan Mishchenko committed 7 years ago
  
  66af4ae6 Browse Directory
- Experiments with BMC. · 55771ee0
  Alan Mishchenko committed 7 years ago
  
  55771ee0 Browse Directory
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 9 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 1 commit
- Improvements to 'satclp'. · 19e4604b
  Alan Mishchenko committed 9 years ago
  
  19e4604b Browse Directory