Commits · 0971429b560de650a04b0d6f93dc2e5e0c593579 · 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 File
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 File
- Integrating Glucose into bmc3 -g. · 97dd6019
  Alan Mishchenko committed 7 years ago
  
  97dd6019 Browse File
29 Aug, 2017 1 commit
- Fixing bronken C++ build; Satoko internal header, solver.h, should not be used in other packages · ba8112ff
  Bruno Schmitt committed 7 years ago
  
  ba8112ff Browse File
16 Aug, 2017 1 commit
- Adding an option to bmc3 to use Satoko intead of the default SAT solver. · d2747fb2
  Alan Mishchenko committed 7 years ago
  
  d2747fb2 Browse File
13 Aug, 2017 1 commit
- Adding an option to bmc3 to use Satoko intead of the default SAT solver. · a64957a5
  Alan Mishchenko committed 7 years ago
  
  a64957a5 Browse File
21 Mar, 2017 1 commit
- added callbacks to bmc3 and sat solver · bacc1bc1
  Yen-Sheng Ho committed 7 years ago
  
  bacc1bc1 Browse File
19 Mar, 2017 1 commit
- %pdra: working on bmc3 · 51fbf37c
  Yen-Sheng Ho committed 7 years ago
  
  51fbf37c Browse File
20 May, 2016 1 commit
- Added switch 'bmc3 -r' to disable periodic restarts in the SAT solver. · 2ded89cc
  Alan Mishchenko committed 8 years ago
  
  2ded89cc Browse File
29 Oct, 2014 2 commits
- Bug fix in bmc3 -a -x. · e2b8d95b
  Alan Mishchenko committed 10 years ago
  
  e2b8d95b Browse File
- Bug fix in bmc3 -a -x. · 4edc0234
  Alan Mishchenko committed 10 years ago
  
  4edc0234 Browse File
01 Apr, 2014 3 commits
- Updating logic file print-out. · 41e94c47
  Alan Mishchenko committed 10 years ago
  
  41e94c47 Browse File
- Undoing previous change, which was made by mistake. · 1c56a92a
  Alan Mishchenko committed 10 years ago
  
  1c56a92a Browse File
- Making per-output timeout in bmc3 -a and pdr -a work in CLOCKS_PER_SECs instead of miliseconds. · 679e38b0
  Alan Mishchenko committed 10 years ago
  
  679e38b0 Browse File
30 Mar, 2014 2 commits
- Adding new code to verify invariant derived by 'pdr'. · 37fd73cf
  Alan Mishchenko committed 10 years ago
  
  37fd73cf Browse File
- Updating &if for new cut function representation. · 7d500c89
  Alan Mishchenko committed 10 years ago
  
  7d500c89 Browse File
29 Mar, 2014 1 commit
- Adding per-output logging to bmc3. · 14f69d77
  Alan Mishchenko committed 10 years ago
  
  14f69d77 Browse File
19 Mar, 2014 1 commit
- Compiler warning. · c1fa07db
  Alan Mishchenko committed 10 years ago
  
  c1fa07db Browse File
18 Mar, 2014 2 commits
- Adding special-case report to 'bmc3'. · e5b9817a
  Alan Mishchenko committed 10 years ago
  
  e5b9817a Browse File
- Adding progress report to 'bmc3'. · af0ff7e6
  Alan Mishchenko committed 10 years ago
  
  af0ff7e6 Browse File
11 Mar, 2014 1 commit
- Bug fix in multi-output BMC. · c97b685c
  Alan Mishchenko committed 10 years ago
  
  c97b685c Browse File
05 Nov, 2013 9 commits
- Tuning for multi-ouptut solver. · ed11db17
  Alan Mishchenko committed 11 years ago
  
  ed11db17 Browse File
- Tuning for multi-ouptut solver. · 54b2cc1d
  Alan Mishchenko committed 11 years ago
  
  54b2cc1d Browse File
- Tuning for multi-ouptut solver. · d8cb39a1
  Alan Mishchenko committed 11 years ago
  
  d8cb39a1 Browse File
- Tuning for multi-ouptut solver. · f948c6db
  Alan Mishchenko committed 11 years ago
  
  f948c6db Browse File
- Tuning for multi-ouptut solver. · 5dce71d5
  Alan Mishchenko committed 11 years ago
  
  5dce71d5 Browse File
- Tuning for multi-ouptut solver. · a1d2ba0f
  Alan Mishchenko committed 11 years ago
  
  a1d2ba0f Browse File
- Added sharing of counter-examples across multiple failed properties in 'bmc3 -a'. · 765da3a3
  Alan Mishchenko committed 11 years ago
  
  765da3a3 Browse File
- Added sharing of counter-examples across multiple failed properties in 'bmc3 -a'. · de9fd0a5
  Alan Mishchenko committed 11 years ago
  
  de9fd0a5 Browse File
- Added sharing of counter-examples across multiple failed properties in 'bmc3 -a'. · 2076d38e
  Alan Mishchenko committed 11 years ago
  
  2076d38e Browse File
27 Oct, 2013 2 commits
- Getting rid of a recursive procedure during CNF construction in bmc3. · 72f01030
  Alan Mishchenko committed 11 years ago
  
  72f01030 Browse File
- Multi-output property solver. · 3b30fb2a
  Alan Mishchenko committed 11 years ago
  
  3b30fb2a Browse File
23 Oct, 2013 1 commit
- Multi-output property solver. · 47afd0f4
  Alan Mishchenko committed 11 years ago
  
  47afd0f4 Browse File
09 Oct, 2013 1 commit
- Bug with in bmc3 when no 'sat' outputs are found and H != 0 · 62173b52
  Alan Mishchenko committed 11 years ago
  
  62173b52 Browse File
26 Sep, 2013 1 commit
- Compiler warnings. · 017568af
  Alan Mishchenko committed 11 years ago
  
  017568af Browse File
25 Sep, 2013 1 commit
- Fixing printouts in 'bmc3'. · a55b1787
  Alan Mishchenko committed 11 years ago
  
  a55b1787 Browse File
18 Sep, 2013 2 commits
- Added bridge integration for multi-output 'bmc3 -a'. · 080a7420
  Alan Mishchenko committed 11 years ago
  
  080a7420 Browse File
- Added bridge integration for multi-output 'bmc3 -a'. · d4bd7846
  Alan Mishchenko committed 11 years ago
  
  d4bd7846 Browse File
27 May, 2013 2 commits
- Adding a wrapper around clock() for more accurate time counting in ABC. · 22bdf624
  Alan Mishchenko committed 11 years ago
  
  22bdf624 Browse File
- Adding a wrapper around clock() for more accurate time counting in ABC. · 19c25fd6
  Alan Mishchenko committed 11 years ago
  
  19c25fd6 Browse File