Commits · 32312c43f8f813e8d7055aa2168bde53a2a9d2a6 · 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 Directory
- Changes to 'pdr' to run with updated Satoko. · f06056d8
  Alan Mishchenko committed 7 years ago
  
  f06056d8 Browse Directory
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 Directory
16 Aug, 2017 1 commit
- Integrating Satoko into pdr. · 29cb71f9
  Alan Mishchenko committed 7 years ago
  
  29cb71f9 Browse Directory
31 Mar, 2017 1 commit
- %pdra: added an option -t for disabling trace reuse · 1531dd8e
  Yen-Sheng Ho committed 7 years ago
  
  1531dd8e Browse Directory
30 Mar, 2017 2 commits
- %pdra: fixed bugs · 1cb140bb
  Yen-Sheng Ho committed 7 years ago
  
  1cb140bb Browse Directory
- added callbacks to sat solvers in pdr · ecf91190
  Yen-Sheng Ho committed 7 years ago
  
  ecf91190 Browse Directory
29 Mar, 2017 1 commit
- %pdra: fixed bugs · 4d479048
  Yen-Sheng Ho committed 7 years ago
  
  4d479048 Browse Directory
27 Mar, 2017 2 commits
- %pdra: refactor · 758270d6
  Yen-Sheng Ho committed 7 years ago
  
  758270d6 Browse Directory
- %pdra: added a procedure to rebuild traces · e6098d20
  Yen-Sheng Ho committed 7 years ago
  
  e6098d20 Browse Directory
10 Mar, 2017 2 commits
- Improvements to ternary simulation. · 5fbe218f
  Alan Mishchenko committed 8 years ago
  
  5fbe218f Browse Directory
- Improvements to ternary simulation. · d877074d
  Alan Mishchenko committed 8 years ago
  
  d877074d Browse Directory
03 Mar, 2017 1 commit
- added experimental codes · 7eac1f57
  Yen-Sheng Ho committed 8 years ago
  
  7eac1f57 Browse Directory
02 Mar, 2017 3 commits
- Adding alternative generalization procedure. · ff88edd6
  Alan Mishchenko committed 8 years ago
  
  ff88edd6 Browse Directory
- Adding alternative generalization procedure. · f419f2e8
  Alan Mishchenko committed 8 years ago
  
  f419f2e8 Browse Directory
- Adding alternative generalization procedure. · 7747d89c
  Alan Mishchenko committed 8 years ago
  
  7747d89c Browse Directory
01 Mar, 2017 1 commit
- %pdra: added an option -u for checking comb. unsat · 18b47dfb
  Yen-Sheng Ho committed 8 years ago
  
  18b47dfb Browse Directory
23 Feb, 2017 2 commits
- changed how pdr -t cleans up abs flops · ca0bdde9
  Yen-Sheng Ho committed 8 years ago
  
  ca0bdde9 Browse Directory
- added %pdra -a: run with pdr -nct · d5bbf918
  Yen-Sheng Ho committed 8 years ago
  
  d5bbf918 Browse Directory
22 Feb, 2017 2 commits
- Remapping flops in '%pdra. · 53b1d46b
  Alan Mishchenko committed 8 years ago
  
  53b1d46b Browse Directory
- Changes to Visual Studio project file to support 'pdra'. · 96ccd24e
  Alan Mishchenko committed 8 years ago
  
  96ccd24e Browse Directory
20 Feb, 2017 4 commits
- small tweaks in %pdra -p · c5e9506f
  Yen-Sheng Ho committed 8 years ago
  
  c5e9506f Browse Directory
- added options of checking and pushing to %pdra · 9f43c845
  Yen-Sheng Ho committed 8 years ago
  
  9f43c845 Browse Directory
- fixed a tricky bug: property should not be assumed true in the last frame · 25ecc3d4
  Yen-Sheng Ho committed 8 years ago
  
  25ecc3d4 Browse Directory
- working on pdr with wla · 1a66a582
  Yen-Sheng Ho committed 8 years ago
  
  1a66a582 Browse Directory
19 Feb, 2017 4 commits
- working on pdr with wla · 2d179204
  Yen-Sheng Ho committed 8 years ago
  
  2d179204 Browse Directory
- working on pdr with wla · 2732cbc1
  Yen-Sheng Ho committed 8 years ago
  
  2732cbc1 Browse Directory
- working on pdr with wla · 6cf289da
  Yen-Sheng Ho committed 8 years ago
  
  6cf289da Browse Directory
- working on incremental pdr · fc0f3b8d
  Yen-Sheng Ho committed 8 years ago
  
  fc0f3b8d Browse Directory
18 Feb, 2017 4 commits
- working on incremental pdr · fdc0b471
  Yen-Sheng Ho committed 8 years ago
  
  fdc0b471 Browse Directory
- copied some functions from pdr · b93a8051
  Yen-Sheng Ho committed 8 years ago
  
  b93a8051 Browse Directory
- copied pdr_mansolve · 91a0a0fc
  Yen-Sheng Ho committed 8 years ago
  
  91a0a0fc Browse Directory
- started pdrIncr.c · 196b3591
  Yen-Sheng Ho committed 8 years ago
  
  196b3591 Browse Directory
17 Feb, 2017 1 commit
- Promising modification of the generalization procedure in 'pdr'. · bc010af4
  Alan Mishchenko committed 8 years ago
  
  bc010af4 Browse Directory
16 Feb, 2017 4 commits
- Promising alternative of CEX minimization in 'pdr'. · 632ca7ed
  Alan Mishchenko committed 8 years ago
  
  632ca7ed Browse Directory
- Fixing memory leak in 'pdr'. · 408ce468
  Alan Mishchenko committed 8 years ago
  
  408ce468 Browse Directory
- Promising modification of the generalization procedure in 'pdr'. · c7b68c5e
  Alan Mishchenko committed 8 years ago
  
  c7b68c5e Browse Directory
- Word-level abstraction engine. · ab387953
  Alan Mishchenko committed 8 years ago
  
  ab387953 Browse Directory
13 Feb, 2017 1 commit
- Adding PDR with abstraction. · f4853496
  Alan Mishchenko committed 8 years ago
  
  f4853496 Browse Directory
12 Feb, 2017 1 commit
- Adding PDR with abstraction. · 3fb058a3
  Alan Mishchenko committed 8 years ago
  
  3fb058a3 Browse Directory