Commits · 674622a3c0be8704e0d1243248dfc8b957846013 · lvzhengyang / abc · GitLab

07 Apr, 2014 1 commit
- Adding command to dump UNSAT core of BMC instance. · 42927d5e
  Alan Mishchenko committed 10 years ago
  
  42927d5e Browse File
17 Sep, 2013 2 commits
- Compiler warning about unused variable. · ca39b892
  Alan Mishchenko committed 11 years ago
  
  ca39b892 Browse File
- Changing dynamic CNF loading code to perform loading before propagate() as… · 5df166fc
```
Changing dynamic CNF loading code to perform loading before propagate() as opposed to when the literal first implied in enqueue().
```
  Alan Mishchenko committed 11 years ago
  5df166fc Browse File
02 Aug, 2013 1 commit
- SAT solver with dynamic CNF loading. · da60781c
  Alan Mishchenko committed 11 years ago
  
  da60781c Browse File
21 Jun, 2013 1 commit
- Limiting runtime limit checks in 'pdr'. · cec6bd64
  Alan Mishchenko committed 11 years ago
  
  cec6bd64 Browse File
27 May, 2013 2 commits
- Adding a wrapper around clock() for more accurate time counting in ABC. · 19c25fd6
  Alan Mishchenko committed 11 years ago
  
  19c25fd6 Browse File
- Changing how often timeout is checked in the SAT solver and several application packages. · 446cfcf8
  Alan Mishchenko committed 11 years ago
  
  446cfcf8 Browse File
18 May, 2013 6 commits
- SAT variable profiling. · f9da2c79
  Alan Mishchenko committed 11 years ago
  
  f9da2c79 Browse File
- SAT variable profiling. · 0328488b
  Alan Mishchenko committed 11 years ago
  
  0328488b Browse File
- SAT variable profiling (undo). · 29ee997b
  Alan Mishchenko committed 11 years ago
  
  29ee997b Browse File
- SAT variable profiling. · 66ff650f
  Alan Mishchenko committed 11 years ago
  
  66ff650f Browse File
- SAT variable profiling (undo). · 84b3b914
  Alan Mishchenko committed 11 years ago
  
  84b3b914 Browse File
- SAT variable profiling. · 86e38c2a
  Alan Mishchenko committed 11 years ago
  
  86e38c2a Browse File
25 Apr, 2013 1 commit
- Adding rollback for the other solver. · ae9a4407
  Alan Mishchenko committed 11 years ago
  
  ae9a4407 Browse File
27 Mar, 2013 1 commit
- Fixing the dump of SAT solver into a CNF file. · dfb065fa
  Alan Mishchenko committed 11 years ago
  
  dfb065fa Browse File
23 Feb, 2013 1 commit
- Compiler warnings. · 8281b56e
  Alan Mishchenko committed 12 years ago
  
  8281b56e Browse File
31 Oct, 2012 1 commit
- Increasing memory page limit in the main SAT solver. · 77083825
  Alan Mishchenko committed 12 years ago
  
  77083825 Browse File
23 Jul, 2012 1 commit
- Recording and reusing learned util clauses in bmc2. · a40c13a9
  Alan Mishchenko committed 12 years ago
  
  a40c13a9 Browse File
22 Jul, 2012 1 commit
- Recording and reusing learned util clauses in bmc3. · 2379dea4
  Alan Mishchenko committed 12 years ago
  
  2379dea4 Browse File
11 Jul, 2012 1 commit
- Improvements in the proof-logging SAT solver. · b9ee5d85
  Alan Mishchenko committed 12 years ago
  
  b9ee5d85 Browse File
10 Jul, 2012 4 commits
- Improving print-outs of &vta and &gla. · db6e7f97
  Alan Mishchenko committed 12 years ago
  
  db6e7f97 Browse File
- Bug fix in the recent changes to the SAT solver. · d46c4908
  Alan Mishchenko committed 12 years ago
  
  d46c4908 Browse File
- Removing print-out message. · b2f1d21d
  Alan Mishchenko committed 12 years ago
  
  b2f1d21d Browse File
- Adding several command-line arguments to 'dsat'. · 63773682
  Alan Mishchenko committed 12 years ago
  
  63773682 Browse File
09 Jul, 2012 1 commit
- Added learned clause recycling to the SAT solver (may impact bmc2, bmc3, dsat, etc). · c265d244
  Alan Mishchenko committed 12 years ago
  
  c265d244 Browse File
08 Jul, 2012 2 commits
- Fixing time primtouts throughout the code. · 4760983a
  Alan Mishchenko committed 12 years ago
  
  4760983a Browse File
- Fixing time primtouts throughout the code. · 3aab7245
  Alan Mishchenko committed 12 years ago
  
  3aab7245 Browse File
22 Jun, 2012 1 commit
- Added memory reporting to &vta. · 735a831e
  Alan Mishchenko committed 12 years ago
  
  735a831e Browse File
15 Jun, 2012 1 commit
- Reporing memory usage by the SAT solver in 'bmc3'. · 675b0892
  Alan Mishchenko committed 12 years ago
  
  675b0892 Browse File
22 Mar, 2012 1 commit
- Switching to a variable-page-size memory manager for clauses and proofs. · f50ce3db
  Alan Mishchenko committed 12 years ago
  
  f50ce3db Browse File
17 Feb, 2012 1 commit
- Silencing some of the gcc warnings. · 97856d02
  Alan Mishchenko committed 13 years ago
  
  97856d02 Browse File
16 Feb, 2012 1 commit
- Improved memory management of proof-logging and propagated changes. · f1dba69c
  Alan Mishchenko committed 13 years ago
  
  f1dba69c Browse File
14 Jan, 2012 1 commit
- Improving printout in the SAT solver. · 37b8a190
  Alan Mishchenko committed 13 years ago
  
  37b8a190 Browse File
12 Jan, 2012 1 commit
- Bug fix related to not properly resizing SAT solver's model array. · 56cc5734
  Alan Mishchenko committed 13 years ago
  
  56cc5734 Browse File
06 Jan, 2012 1 commit
- Bug fix related to not properly resizing SAT solver's model array. · 10ad8949
  Alan Mishchenko committed 13 years ago
  
  10ad8949 Browse File
23 Dec, 2011 1 commit
- Transforming the solver to use different clause representation. · 9d289304
  Alan Mishchenko committed 13 years ago
  
  9d289304 Browse File
22 Dec, 2011 1 commit
- Transforming the solver to use different clause representation. · 844c385e
  Alan Mishchenko committed 13 years ago
  
  844c385e Browse File
10 Dec, 2011 2 commits
- Implemented rollback in the main SAT solver and updated PDR to use it (saves about 5% of runtime). · 871171ff
  Alan Mishchenko committed 13 years ago
  
  871171ff Browse File
- Changes to the main SAT solver: fixing performance bug (resetting decay params… · f67c0c17
```
Changes to the main SAT solver: fixing performance bug (resetting decay params after each restart), making the SAT solver platform- and runtime-independent (by using interger-based activity).
```
  Alan Mishchenko committed 13 years ago
  f67c0c17 Browse File
08 Dec, 2011 1 commit
- Proof-logging in the updated solver. · c985e17d
  Alan Mishchenko committed 13 years ago
  
  c985e17d Browse File