Commits · 6b66b81722eca588b7b3e17f5a95312726ed4049 · lvzhengyang / abc · GitLab

06 Sep, 2017 2 commits
- Changes to 'pdr' to run with updated Satoko. · be49b0fa
  Alan Mishchenko committed 7 years ago
  
  be49b0fa Browse File
- Changes to 'pdr' to run with updated Satoko. · f06056d8
  Alan Mishchenko committed 7 years ago
  
  f06056d8 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
- Integrating Satoko into pdr. · 29cb71f9
  Alan Mishchenko committed 7 years ago
  
  29cb71f9 Browse File
10 Mar, 2017 1 commit
- Improvements to ternary simulation. · d877074d
  Alan Mishchenko committed 7 years ago
  
  d877074d Browse File
16 Feb, 2017 1 commit
- Promising modification of the generalization procedure in 'pdr'. · c7b68c5e
  Alan Mishchenko committed 8 years ago
  
  c7b68c5e Browse File
11 Feb, 2017 2 commits
- Adding PDR with abstraction. · dd96bb74
  Alan Mishchenko committed 8 years ago
  
  dd96bb74 Browse File
- Adding PDR with abstraction. · 8bff9aa1
  Alan Mishchenko committed 8 years ago
  
  8bff9aa1 Browse File
10 Feb, 2017 1 commit
- Re-introducing floating-point activity in the SAT solver. · fce2b16a
  Alan Mishchenko committed 8 years ago
  
  fce2b16a Browse File
04 Feb, 2017 3 commits
- Adding structural flop priority heuristics in 'pdr'. · 45bf0369
  Alan Mishchenko committed 8 years ago
  
  45bf0369 Browse File
- Removing dead code in 'pdr'. · a2cebd3e
  Alan Mishchenko committed 8 years ago
  
  a2cebd3e Browse File
- Enabling new X-valued simulation in 'pdr'. · 6d088bc4
  Alan Mishchenko committed 8 years ago
  
  6d088bc4 Browse File
03 Feb, 2017 1 commit
- Improvements to inductive generalization in IC3/PDR by Zyad Hassan. · e91abd63
  Alan Mishchenko committed 8 years ago
  
  e91abd63 Browse File
15 Jan, 2016 1 commit
- Changes to PDR to compute f-inf clauses and import invariant (or clauses) as a network. · c4446189
  Alan Mishchenko committed 9 years ago
  
  c4446189 Browse File
23 Nov, 2015 1 commit
- New command %psinv. · 56880eab
  Alan Mishchenko committed 9 years ago
  
  56880eab Browse File
20 Jul, 2013 1 commit
- Experiment with 'pdr'. · 3d01abf4
  Alan Mishchenko committed 11 years ago
  
  3d01abf4 Browse File
19 Jul, 2013 1 commit
- Small data-structure improvements in 'pdr'. · 35273eae
  Alan Mishchenko committed 11 years ago
  
  35273eae Browse File
19 Jun, 2013 1 commit
- Performance improvements in 'pdr'. · bc39220d
  Alan Mishchenko committed 11 years ago
  
  bc39220d 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
04 May, 2013 1 commit
- Adding runtime limit per output to multi-output DPR (pdr -H <num_sec>). · 50095be5
  Alan Mishchenko committed 11 years ago
  
  50095be5 Browse File
09 Dec, 2012 2 commits
- Enabling multi-output solving in 'pdr'. · 58d4012a
  Alan Mishchenko committed 12 years ago
  
  58d4012a Browse File
- Enabling multi-output solving in 'pdr'. · b65ae734
  Alan Mishchenko committed 12 years ago
  
  b65ae734 Browse File
15 Sep, 2012 1 commit
- Prepared &gla to try abstracting and proving concurrently. · 117bc0db
  Alan Mishchenko committed 12 years ago
  
  117bc0db Browse File
08 Jul, 2012 1 commit
- Updating project settings to have simpler include paths. · 1c33107c
  Alan Mishchenko committed 12 years ago
  
  1c33107c Browse File
07 Jul, 2012 3 commits
- Fixing time printouts in 'pdr'. · 968b59aa
  Alan Mishchenko committed 12 years ago
  
  968b59aa Browse File
- Fixing time printouts in 'pdr'. · e4842315
  Alan Mishchenko committed 12 years ago
  
  e4842315 Browse File
- Fixing time printouts in 'pdr'. · f4867f33
  Alan Mishchenko committed 12 years ago
  
  f4867f33 Browse File
14 Feb, 2012 1 commit
- Added restarts to PDR. · 77b5dc26
  Alan Mishchenko committed 13 years ago
  
  77b5dc26 Browse File
21 Jan, 2012 1 commit
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed 13 years ago
  
  8014f25f Browse File
10 Dec, 2011 1 commit
- 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 Directory
12 Nov, 2011 1 commit
- Dump last frame clauses with 'pdr -d' even if the problem is SAT or undecided. · 814ee484
  Alan Mishchenko committed 13 years ago
  
  814ee484 Browse Directory
27 Jun, 2011 1 commit
- The cube in PDR can have more than 2^15 literals. · 86ba294d
  Alan Mishchenko committed 13 years ago
  
  86ba294d Browse Directory
07 Apr, 2011 1 commit
- Unsuccessful attempt to improve PDR and a few minor changes. · a28fe0d3
  Alan Mishchenko committed 13 years ago
  
  a28fe0d3 Browse Directory
13 Jan, 2011 1 commit
- New code since Dec 2010. · 624af674
  Alan Mishchenko committed 14 years ago
  
  624af674 Browse Directory