Commits · 5081b41dc0b500cc4e6fadfa0292f00c42340c9e · lvzhengyang / abc · GitLab

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 2 commits
- Promising alternative of CEX minimization in 'pdr'. · 632ca7ed
  Alan Mishchenko committed 8 years ago
  
  632ca7ed Browse File
- Word-level abstraction engine. · ab387953
  Alan Mishchenko committed 8 years ago
  
  ab387953 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
06 Feb, 2017 1 commit
- Improving new X-valued simulation in 'pdr'. · 89e8e500
  Alan Mishchenko committed 8 years ago
  
  89e8e500 Browse File
05 Feb, 2017 1 commit
- Compiler warnings. · 8b6de217
  Alan Mishchenko committed 8 years ago
  
  8b6de217 Browse File
04 Feb, 2017 4 commits
- Adding structural flop priority heuristics in 'pdr' (bug fix). · 2c4c464a
  Alan Mishchenko committed 8 years ago
  
  2c4c464a Browse File
- 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
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
01 Apr, 2014 2 commits
- 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 1 commit
- Adding new code to verify invariant derived by 'pdr'. · 37fd73cf
  Alan Mishchenko committed 10 years ago
  
  37fd73cf Browse File
16 Sep, 2013 1 commit
- Bug fix in PDR. · e87f0dd6
  Alan Mishchenko committed 11 years ago
  
  e87f0dd6 Browse File
14 Sep, 2013 1 commit
- Handling the case when all outputs are undecided in 'pdr -a' with per-output timeout. · ab5c1692
  Alan Mishchenko committed 11 years ago
  
  ab5c1692 Browse File
19 Jul, 2013 1 commit
- Small data-structure improvements in 'pdr'. · 35273eae
  Alan Mishchenko committed 11 years ago
  
  35273eae Browse File
27 May, 2013 1 commit
- Adding a wrapper around clock() for more accurate time counting in ABC. · 19c25fd6
  Alan Mishchenko committed 11 years ago
  
  19c25fd6 Browse File
17 May, 2013 1 commit
- Adding new command &mprove for proving groups of properties. · 760c1f60
  Alan Mishchenko committed 11 years ago
  
  760c1f60 Browse File
09 May, 2013 1 commit
- Changing per-output runtime limit to be in miliseconds. · 7c7d5277
  Alan Mishchenko committed 11 years ago
  
  7c7d5277 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
- Adding flushing stdout after printing verbose stats. · e80bd69e
  Alan Mishchenko committed 12 years ago
  
  e80bd69e Browse File
07 Jul, 2012 1 commit
- Fixing time printouts in 'pdr'. · e4842315
  Alan Mishchenko committed 12 years ago
  
  e4842315 Browse File
02 Mar, 2012 1 commit
- Redirecting printf messages. · c47dc99a
  Alan Mishchenko committed 13 years ago
  
  c47dc99a Browse File
21 Jan, 2012 1 commit
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed 13 years ago
  
  8014f25f Browse File
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
14 Feb, 2011 1 commit
- Unified the use of counter-examples in three packages. · 71cbf17e
  Alan Mishchenko committed 14 years ago
  
  71cbf17e Browse Directory
13 Feb, 2011 1 commit
- Changes to enable C++ compilation after recent modifications. · 686d38d6
  Alan Mishchenko committed 14 years ago
  
  686d38d6 Browse Directory
13 Jan, 2011 1 commit
- New code since Dec 2010. · 624af674
  Alan Mishchenko committed 14 years ago
  
  624af674 Browse Directory