Commits · c7a7444211b7906da6e8a3097c6a7d52b44a9405 · lvzhengyang / abc · GitLab

13 Nov, 2011 16 commits
- Bug fix in GLA PBA. · c7a74442
  Alan Mishchenko committed Nov 13, 2011
  
  c7a74442 Browse Files
- Bug fix in GLA PBA. · 21de6660
  Alan Mishchenko committed Nov 13, 2011
  
  21de6660 Browse Files
- Setting the number of completed time frames. · e43c0d87
  Alan Mishchenko committed Nov 12, 2011
  
  e43c0d87 Browse Files
- Setting the number of completed time frames. · b695e333
  Alan Mishchenko committed Nov 12, 2011
  
  b695e333 Browse Files
- Temporary debugging change. · 30ea50a3
  Alan Mishchenko committed Nov 12, 2011
  
  30ea50a3 Browse Files
- Temporary debugging change. · ca33481f
  Alan Mishchenko committed Nov 12, 2011
  
  ca33481f Browse Files
- Temporary debugging change. · bf97e901
  Alan Mishchenko committed Nov 12, 2011
  
  bf97e901 Browse Files
- Temporary debugging change. · 53b2f056
  Alan Mishchenko committed Nov 12, 2011
  
  53b2f056 Browse Files
- Temporary debugging change. · 926b3ade
  Alan Mishchenko committed Nov 12, 2011
  
  926b3ade Browse Files
- Temporary debugging change. · 4a937ef3
  Alan Mishchenko committed Nov 12, 2011
  
  4a937ef3 Browse Files
- Temporary debugging change. · 03cd9e19
  Alan Mishchenko committed Nov 12, 2011
  
  03cd9e19 Browse Files
- Temporary debugging change. · bca84be5
  Alan Mishchenko committed Nov 12, 2011
  
  bca84be5 Browse Files
- Making computation in 'fx' run-to-run reproducible. · cd2f13c0
  Alan Mishchenko committed Nov 12, 2011
  
  cd2f13c0 Browse Files
- Enabled skipping random decisions in PBA, which are performed by default. · df3e23ae
  Alan Mishchenko committed Nov 12, 2011
  
  df3e23ae Browse Files
- Do not allow interpolation with constraints. · fa96b8d7
  Alan Mishchenko committed Nov 12, 2011
  
  fa96b8d7 Browse Files
- Dump inductive invariant or last interpolant after interpolation. · c1ac6b9b
  Alan Mishchenko committed Nov 12, 2011
  
  c1ac6b9b Browse Files
12 Nov, 2011 5 commits
- Experiment with time reporting in GLA PBA. · b38df9fe
  Alan Mishchenko committed Nov 12, 2011
  
  b38df9fe Browse Files
- Dump last frame clauses with 'pdr -d' even if the problem is SAT or undecided. · 814ee484
  Alan Mishchenko committed Nov 12, 2011
  
  814ee484 Browse Files
- Bug fix in GLA PBA. · c16f5d64
  Alan Mishchenko committed Nov 12, 2011
  
  c16f5d64 Browse Files
- Enabled counter-example minimization in 'write_counter'. · 3beb3677
  Alan Mishchenko committed Nov 11, 2011
  
  3beb3677 Browse Files
- Corner-case bug in PDR. · 9fe4c749
  Alan Mishchenko committed Nov 11, 2011
  
  9fe4c749 Browse Files
11 Nov, 2011 1 commit
- Removing restruction on the number of LUT inputs. · 8e6d4d3f
  Alan Mishchenko committed Nov 10, 2011
  
  8e6d4d3f Browse Files
09 Nov, 2011 2 commits
- Bug fix in GLA PBA (unfinished). · d8dbc712
  Alan Mishchenko committed Nov 09, 2011
  
  d8dbc712 Browse Files
- Preventing scripts from aborting if reading has failed. · 0b73c763
  Alan Mishchenko committed Nov 08, 2011
  
  0b73c763 Browse Files
08 Nov, 2011 1 commit
- Corner case bug in deriving truth table from SOP. · 55e9c4d0
  Alan Mishchenko committed Nov 08, 2011
  
  55e9c4d0 Browse Files
07 Nov, 2011 5 commits
- Changing defaults in gate-level abstraction. · 9a89e3f9
  Alan Mishchenko committed Nov 06, 2011
  
  9a89e3f9 Browse Files
- Trying to add BMC to random simulation. · 986bf053
  Alan Mishchenko committed Nov 06, 2011
  
  986bf053 Browse Files
- Changes to read multi-output testcases described using AIGER 1.9. · d2ced9f8
  Alan Mishchenko committed Nov 06, 2011
  
  d2ced9f8 Browse Files
- Experiments with variable permutation. · c345a60e
  Alan Mishchenko committed Nov 06, 2011
  
  c345a60e Browse Files
- Trying to add BMC to random simulation. · 9382c8fd
  Alan Mishchenko committed Nov 06, 2011
  
  9382c8fd Browse Files
06 Nov, 2011 2 commits
- Experiments with variable permutation. · 6a939b63
  Alan Mishchenko committed Nov 06, 2011
  
  6a939b63 Browse Files
- Experiments with variable permutation. · cb5be511
  Alan Mishchenko committed Nov 06, 2011
  
  cb5be511 Browse Files
04 Nov, 2011 2 commits
- Temporarily added new runtime computation procedures. · 5c326464
  Alan Mishchenko committed Nov 03, 2011
  
  5c326464 Browse Files
- Fixed &reachy to perform reparametrization in case reachability is disabled. · f75e55bb
  Alan Mishchenko committed Nov 03, 2011
  
  f75e55bb Browse Files
31 Oct, 2011 2 commits
- Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc. · 5b75410a
  Alan Mishchenko committed Oct 31, 2011
  
  5b75410a Browse Files
- Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc. · 868a1b9a
  Alan Mishchenko committed Oct 31, 2011
  
  868a1b9a Browse Files
28 Oct, 2011 2 commits
- C++ portability changes. · f08be274
  Alan Mishchenko committed Oct 27, 2011
  
  f08be274 Browse Files
- Improvements to the new abstraction code. · 24d27e55
  Alan Mishchenko committed Oct 27, 2011
  
  24d27e55 Browse Files
27 Oct, 2011 2 commits
- Removed some recently added file, which broke compilation. · ef288ed5
  Alan Mishchenko committed Oct 27, 2011
  
  ef288ed5 Browse Files
- Improvements to the new abstraction code. · 0ff0a552
  Alan Mishchenko committed Oct 27, 2011
  
  0ff0a552 Browse Files