Commits · 655dc4e727e2c4e74cc511f343007cee5b8e35b6 · lvzhengyang / abc · GitLab

06 Aug, 2013 2 commits
- Bug fix in 'int'. · cb99a221
  Alan Mishchenko committed 11 years ago
  
  cb99a221 Browse Directory
- Bug fix in 'int'. · 220a83f1
  Alan Mishchenko committed 11 years ago
  
  220a83f1 Browse Directory
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
20 Jul, 2013 1 commit
- Experiment with 'pdr'. · 3d01abf4
  Alan Mishchenko committed 11 years ago
  
  3d01abf4 Browse Directory
01 Jul, 2013 1 commit
- Bug fix in the timeout for 'int'. · 779cff21
  Alan Mishchenko committed 11 years ago
  
  779cff21 Browse Directory
28 Jun, 2013 1 commit
- Adding timeout to the interpolant computation procedure. · 184c5d4e
  Alan Mishchenko committed 11 years ago
  
  184c5d4e Browse Directory
21 Jun, 2013 1 commit
- Limiting runtime limit checks in 'pdr'. · cec6bd64
  Alan Mishchenko committed 11 years ago
  
  cec6bd64 Browse Directory
27 May, 2013 3 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
- Changing how often timeout is checked in the SAT solver and several application packages. · 446cfcf8
  Alan Mishchenko committed 11 years ago
  
  446cfcf8 Browse Directory
22 May, 2013 1 commit
- Counter-example depth minimization. · 28e065b0
  Alan Mishchenko committed 11 years ago
  
  28e065b0 Browse Directory
20 May, 2013 1 commit
- g++ warnings. · 1e34a38b
  Alan Mishchenko committed 11 years ago
  
  1e34a38b 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
25 Apr, 2013 1 commit
- Adding rollback for the other solver. · ae9a4407
  Alan Mishchenko committed 11 years ago
  
  ae9a4407 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
28 Mar, 2013 1 commit
- Added dumping QDIMACS files in command 'qbf'. · 7a2132b2
  Alan Mishchenko committed 11 years ago
  
  7a2132b2 Browse Directory
27 Mar, 2013 1 commit
- Fixing the dump of SAT solver into a CNF file. · dfb065fa
  Alan Mishchenko committed 11 years ago
  
  dfb065fa 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 12 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
23 Feb, 2013 1 commit
- Compiler warnings. · 8281b56e
  Alan Mishchenko committed 12 years ago
  
  8281b56e Browse Directory