Commits · 280a485336963305b795efaee1d84c854fa90abc · lvzhengyang / abc · GitLab

01 Apr, 2014 7 commits
- Compiler warnings. · 329cdc35
  Alan Mishchenko committed 10 years ago
  
  329cdc35 Browse Directory
- Adding switch to handle only single faults. · 7b886346
  Alan Mishchenko committed 10 years ago
  
  7b886346 Browse Directory
- Updating logic file print-out. · 41e94c47
  Alan Mishchenko committed 10 years ago
  
  41e94c47 Browse Directory
- Undoing previous change, which was made by mistake. · 1c56a92a
  Alan Mishchenko committed 10 years ago
  
  1c56a92a Browse Directory
- 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 Directory
- Adding functionally observable fault testing. · 90867a64
  Alan Mishchenko committed 10 years ago
  
  90867a64 Browse Directory
- Adding functionally observable fault testing. · fa1fafe4
  Alan Mishchenko committed 10 years ago
  
  fa1fafe4 Browse Directory
30 Mar, 2014 2 commits
- Adding new code to verify invariant derived by 'pdr'. · 37fd73cf
  Alan Mishchenko committed 10 years ago
  
  37fd73cf Browse Directory
- Updating &if for new cut function representation. · 7d500c89
  Alan Mishchenko committed 10 years ago
  
  7d500c89 Browse Directory
29 Mar, 2014 1 commit
- Adding per-output logging to bmc3. · 14f69d77
  Alan Mishchenko committed 10 years ago
  
  14f69d77 Browse Directory
28 Mar, 2014 1 commit
- Adding a feature to dump untestable multiple faults. · c0f68834
  Alan Mishchenko committed 10 years ago
  
  c0f68834 Browse Directory
25 Mar, 2014 1 commit
- Experiments with stuck-at fault testing. · c6663b04
  Alan Mishchenko committed 10 years ago
  
  c6663b04 Browse Directory
23 Mar, 2014 1 commit
- Experiments with stuck-at fault testing. · b13e6588
  Alan Mishchenko committed 10 years ago
  
  b13e6588 Browse Directory
21 Mar, 2014 1 commit
- Experiments with recent ideas. · c86a13f0
  Alan Mishchenko committed 10 years ago
  
  c86a13f0 Browse Directory
20 Mar, 2014 5 commits
- Experiments with recent ideas. · d44d9e29
  Alan Mishchenko committed 10 years ago
  
  d44d9e29 Browse Directory
- Experiments with recent ideas. · c1e54b8b
  Alan Mishchenko committed 10 years ago
  
  c1e54b8b Browse Directory
- Experiments with recent ideas. · 86d3c72b
  Alan Mishchenko committed 10 years ago
  
  86d3c72b Browse Directory
- Experiments with recent ideas. · 37bbbcb2
  Alan Mishchenko committed 10 years ago
  
  37bbbcb2 Browse Directory
- Experiments with recent ideas. · e34d41b3
  Alan Mishchenko committed 10 years ago
  
  e34d41b3 Browse Directory
19 Mar, 2014 3 commits
- Experiments with recent ideas. · ffa881bc
  Alan Mishchenko committed 10 years ago
  
  ffa881bc Browse Directory
- Compiler warning. · c1fa07db
  Alan Mishchenko committed 10 years ago
  
  c1fa07db Browse Directory
- Experiments with recent ideas. · 83cd20d6
  Alan Mishchenko committed 10 years ago
  
  83cd20d6 Browse Directory
18 Mar, 2014 2 commits
- Adding special-case report to 'bmc3'. · e5b9817a
  Alan Mishchenko committed 10 years ago
  
  e5b9817a Browse Directory
- Adding progress report to 'bmc3'. · af0ff7e6
  Alan Mishchenko committed 10 years ago
  
  af0ff7e6 Browse Directory
11 Mar, 2014 1 commit
- Bug fix in multi-output BMC. · c97b685c
  Alan Mishchenko committed 10 years ago
  
  c97b685c Browse Directory
09 Mar, 2014 1 commit
- Experiments with stuck-at fault testing. · cc6c8b2f
  Alan Mishchenko committed 10 years ago
  
  cc6c8b2f Browse Directory
06 Mar, 2014 1 commit
- Experiments with delay fault testing. · 5b3d4b7d
  Alan Mishchenko committed 10 years ago
  
  5b3d4b7d Browse Directory
05 Mar, 2014 1 commit
- Experiments with delay fault testing. · b541201d
  Alan Mishchenko committed 11 years ago
  
  b541201d Browse Directory
16 Feb, 2014 1 commit
- Fixing timeout in &icheck. · d5253839
  Alan Mishchenko committed 11 years ago
  
  d5253839 Browse Directory
15 Feb, 2014 1 commit
- Enabling default no output in &icheck. · 2bad2663
  Alan Mishchenko committed 11 years ago
  
  2bad2663 Browse Directory
11 Feb, 2014 1 commit
- Experiments with inductive don't-cares. · 0ff59252
  Alan Mishchenko committed 11 years ago
  
  0ff59252 Browse Directory
18 Dec, 2013 1 commit
- Fixed problem with timeout in &bmc. · efc1c858
  Alan Mishchenko committed 11 years ago
  
  efc1c858 Browse Directory
06 Nov, 2013 3 commits
- Specialized inductive check. · f29fe2d0
  Alan Mishchenko committed 11 years ago
  
  f29fe2d0 Browse Directory
- Specialized inductive check. · 78a0660e
  Alan Mishchenko committed 11 years ago
  
  78a0660e Browse Directory
- Specialized inductive check. · 66b65935
  Alan Mishchenko committed 11 years ago
  
  66b65935 Browse Directory
05 Nov, 2013 5 commits
- Tuning for multi-ouptut solver. · 053c9f54
  Alan Mishchenko committed 11 years ago
  
  053c9f54 Browse Directory
- Tuning for multi-ouptut solver. · 0f29c62e
  Alan Mishchenko committed 11 years ago
  
  0f29c62e Browse Directory
- Tuning for multi-ouptut solver. · ed11db17
  Alan Mishchenko committed 11 years ago
  
  ed11db17 Browse Directory
- Tuning for multi-ouptut solver. · 54b2cc1d
  Alan Mishchenko committed 11 years ago
  
  54b2cc1d Browse Directory
- Tuning for multi-ouptut solver. · d8cb39a1
  Alan Mishchenko committed 11 years ago
  
  d8cb39a1 Browse Directory