Commits · d1b9ade53587ce2b1a2db65560d0bf38fc674903 · lvzhengyang / abc · GitLab

02 Aug, 2013 2 commits
- SAT solver with dynamic CNF loading. · 1067e6de
  Alan Mishchenko committed 11 years ago
  
  1067e6de Browse Directory
- SAT solver with dynamic CNF loading. · da60781c
  Alan Mishchenko committed 11 years ago
  
  da60781c Browse Directory
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 Directory
- Adding a wrapper around clock() for more accurate time counting in ABC. · 19c25fd6
  Alan Mishchenko committed 11 years ago
  
  19c25fd6 Browse Directory
22 May, 2013 1 commit
- Counter-example depth minimization. · 28e065b0
  Alan Mishchenko committed 11 years ago
  
  28e065b0 Browse Directory
19 May, 2013 1 commit
- Improvements to 'bmc3'. · 68e1a07f
  Alan Mishchenko committed 11 years ago
  
  68e1a07f Browse Directory
18 May, 2013 10 commits
- SAT variable profiling. · 29a99568
  Alan Mishchenko committed 11 years ago
  
  29a99568 Browse Directory
- SAT variable profiling. · c83e1d90
  Alan Mishchenko committed 11 years ago
  
  c83e1d90 Browse Directory
- SAT variable profiling. · 5766472b
  Alan Mishchenko committed 11 years ago
  
  5766472b Browse Directory
- SAT variable profiling. · 7bc2fb51
  Alan Mishchenko committed 11 years ago
  
  7bc2fb51 Browse Directory
- SAT variable profiling. · f9da2c79
  Alan Mishchenko committed 11 years ago
  
  f9da2c79 Browse Directory
- SAT variable profiling. · 0328488b
  Alan Mishchenko committed 11 years ago
  
  0328488b Browse Directory
- SAT variable profiling (undo). · 29ee997b
  Alan Mishchenko committed 11 years ago
  
  29ee997b Browse Directory
- SAT variable profiling. · 66ff650f
  Alan Mishchenko committed 11 years ago
  
  66ff650f Browse Directory
- SAT variable profiling (undo). · 84b3b914
  Alan Mishchenko committed 11 years ago
  
  84b3b914 Browse Directory
- SAT variable profiling. · 86e38c2a
  Alan Mishchenko committed 11 years ago
  
  86e38c2a Browse Directory
09 May, 2013 1 commit
- Changing per-output runtime limit to be in miliseconds. · 7c7d5277
  Alan Mishchenko committed 11 years ago
  
  7c7d5277 Browse Directory
04 May, 2013 2 commits
- Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>). · 50095be5
  Alan Mishchenko committed 11 years ago
  
  50095be5 Browse Directory
- Adding runtime limit per output to multi-output BMC (bmc3 -H <num_sec>). · a59968ce
  Alan Mishchenko committed 11 years ago
  
  a59968ce Browse Directory
18 Apr, 2013 1 commit
- Adding callback to bmc3, sim3, pdr in the multi-output mode. · bdae7c62
  Alan Mishchenko committed 11 years ago
  
  bdae7c62 Browse Directory
09 Apr, 2013 1 commit
- Added switch '-x' to save CEXes in 'bmc3' and 'pdr' in multi-output mode. · 4876f1e2
  Alan Mishchenko committed 11 years ago
  
  4876f1e2 Browse Directory
31 Mar, 2013 1 commit
- Updating bmc3 printout to show the number of failed outputs. · 017c35ba
  Alan Mishchenko committed 11 years ago
  
  017c35ba Browse Directory
30 Mar, 2013 3 commits
- Updating bmc3 printout to show the number of failed outputs. · 5ace6838
  Alan Mishchenko committed 11 years ago
  
  5ace6838 Browse Directory
- Compiler warnings. · 7f112787
  Alan Mishchenko committed 11 years ago
  
  7f112787 Browse Directory
- Updating bmc3 printout to show the number of failed outputs. · d3a4dce1
  Alan Mishchenko committed 11 years ago
  
  d3a4dce1 Browse Directory
13 Mar, 2013 1 commit
- Fixing gap timeout in 'bmc3'. · a3b8b0a5
  Alan Mishchenko committed 11 years ago
  
  a3b8b0a5 Browse Directory
08 Mar, 2013 1 commit
- Making 'bmc3' with switch '-a' not save CEXes. · 467f8b65
  Alan Mishchenko committed 11 years ago
  
  467f8b65 Browse Directory
27 Feb, 2013 1 commit
- User-controlable SAT sweeper and other small changes. · a27a7bc8
  Alan Mishchenko committed 12 years ago
  
  a27a7bc8 Browse Directory
21 Feb, 2013 1 commit
- Compiler warnings. · f33c3007
  Alan Mishchenko committed 12 years ago
  
  f33c3007 Browse Directory
16 Feb, 2013 2 commits
- Added 'gap timeout' to bmc3 and sim3. · 4dc7eb6f
  Alan Mishchenko committed 12 years ago
  
  4dc7eb6f Browse Directory
- Added 'gap timeout' to bmc3 and sim3. · fd0ff017
  Alan Mishchenko committed 12 years ago
  
  fd0ff017 Browse Directory
23 Jan, 2013 1 commit
- Enabled detecting CEXes in multiple POs without stopping (sim3 -a). · 68636887
  Alan Mishchenko committed 12 years ago
  
  68636887 Browse Directory
24 Dec, 2012 1 commit
- New unrolling manager. · e1a5556e
  Alan Mishchenko committed 12 years ago
  
  e1a5556e Browse Directory
10 Dec, 2012 1 commit
- Unifification of custom extensions. · 2575a5d6
  Alan Mishchenko committed 12 years ago
  
  2575a5d6 Browse Directory
02 Dec, 2012 1 commit
- Counter-example analysis and optimization. · 2469058b
  Alan Mishchenko committed 12 years ago
  
  2469058b Browse Directory
01 Dec, 2012 2 commits
- Counter-example analysis and optimization. · 9b6ec8e8
  Alan Mishchenko committed 12 years ago
  
  9b6ec8e8 Browse Directory
- Counter-example analysis and optimization. · cd32ae50
  Alan Mishchenko committed 12 years ago
  
  cd32ae50 Browse Directory
30 Nov, 2012 1 commit
- Counter-example analysis and optimization. · f1a52889
  Alan Mishchenko committed 12 years ago
  
  f1a52889 Browse Directory
29 Nov, 2012 2 commits
- Counter-example analysis and optimization. · c48e3c7a
  Alan Mishchenko committed 12 years ago
  
  c48e3c7a Browse Directory
- Counter-example analysis and optimization. · 66126598
  Alan Mishchenko committed 12 years ago
  
  66126598 Browse Directory