Commits · 424b86a55673f53ec102687c04d2762b88ad5a47 · lvzhengyang / abc · GitLab

01 Apr, 2014 4 commits
- Adding switch to handle only single faults. · 7b886346
  Alan Mishchenko committed 10 years ago
  
  7b886346 Browse Directory
- Compiler warnings. · a965f2a0
  Alan Mishchenko committed 10 years ago
  
  a965f2a0 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
30 Mar, 2014 1 commit
- Adding new code to verify invariant derived by 'pdr'. · 37fd73cf
  Alan Mishchenko committed 10 years ago
  
  37fd73cf Browse Directory
16 Mar, 2014 1 commit
- Synchronizing with the recent version. · 7a3e57a4
  Alan Mishchenko committed 10 years ago
  
  7a3e57a4 Browse Directory
17 Feb, 2014 1 commit
- Significant improvement to LUT mappers (if, &if). · 46532e6c
  Alan Mishchenko committed 11 years ago
  
  46532e6c Browse Directory
14 Feb, 2014 1 commit
- Handing trivially UNSAT outputs in 'pdr'. · bd45eca4
  Alan Mishchenko committed 11 years ago
  
  bd45eca4 Browse Directory
28 Jan, 2014 1 commit
- Initial new interpolation code. · b910cba3
  Alan Mishchenko committed 11 years ago
  
  b910cba3 Browse Directory
05 Nov, 2013 1 commit
- Tuning for multi-ouptut solver. · 5f6244c6
  Alan Mishchenko committed 11 years ago
  
  5f6244c6 Browse Directory
01 Nov, 2013 7 commits
- Sweeper internal verification. · 74893bf3
  Alan Mishchenko committed 11 years ago
  
  74893bf3 Browse Directory
- Sweeper internal verification and new switch for &cfraig. · a564e2ab
  Alan Mishchenko committed 11 years ago
  
  a564e2ab Browse Directory
- Sweeper internal verification. · a509fa8e
  Alan Mishchenko committed 11 years ago
  
  a509fa8e Browse Directory
- Sweeper condition complement bug-fix and code for internal verification. · 3b8095a6
  Alan Mishchenko committed 11 years ago
  
  3b8095a6 Browse Directory
- Sweeper assertion. · 57b51411
  Alan Mishchenko committed 11 years ago
  
  57b51411 Browse Directory
- Sweeper assertion. · 7b6e7181
  Alan Mishchenko committed 11 years ago
  
  7b6e7181 Browse Directory
- Sweeper return value normalization. · e4ab09d7
  Alan Mishchenko committed 11 years ago
  
  e4ab09d7 Browse Directory
27 Oct, 2013 2 commits
- Multi-output property solver. · 3b30fb2a
  Alan Mishchenko committed 11 years ago
  
  3b30fb2a Browse Directory
- Multi-output property solver. · 94376645
  Alan Mishchenko committed 11 years ago
  
  94376645 Browse Directory
23 Oct, 2013 1 commit
- Multi-output property solver. · 47afd0f4
  Alan Mishchenko committed 11 years ago
  
  47afd0f4 Browse Directory
18 Oct, 2013 1 commit
- Compiler warnings. · cb4631e6
  Alan Mishchenko committed 11 years ago
  
  cb4631e6 Browse Directory
15 Oct, 2013 1 commit
- Adding switch 'pdr -i' to start push_clauses from an intermediate timeframe. · f9900a4c
  Alan Mishchenko committed 11 years ago
  
  f9900a4c Browse Directory
10 Oct, 2013 1 commit
- Extending truth table support in &jf for more than 6 inputs. · 2c7f3902
  Alan Mishchenko committed 11 years ago
  
  2c7f3902 Browse Directory
06 Oct, 2013 2 commits
- Compiler warning. · 0f49783c
  Alan Mishchenko committed 11 years ago
  
  0f49783c Browse Directory
- Compiler warning. · 67b6cc8e
  Alan Mishchenko committed 11 years ago
  
  67b6cc8e Browse Directory
04 Oct, 2013 1 commit
- Added 'abort' message in bridge mode for pdr -a timeout · c9635d02
  Niklas Een committed 11 years ago
  
  c9635d02 Browse Directory
23 Sep, 2013 1 commit

Changing switch -R <num> in &gla to mean the max allowed size of abstraction.… · cab83010

Changing switch -R <num> in &gla to mean the max allowed size of abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_.

committed 11 years ago

cab83010 Browse Directory

21 Sep, 2013 1 commit
- Adding resource limit to stop &gla when the number of remaining objects is less… · 247dd95d
```
Adding resource limit to stop &gla when the number of remaining objects is less than R/2 during refinement.
```
  Alan Mishchenko committed 11 years ago
  247dd95d Browse Directory
17 Sep, 2013 1 commit
- Adding switch to enable reuse of proof-obligations in the last timeframe. · 105648bf
  Alan Mishchenko committed 11 years ago
  
  105648bf Browse Directory
16 Sep, 2013 2 commits
- Added bridge integration for multi-output 'pdr -a'. · 3b1cf097
  Alan Mishchenko committed 11 years ago
  
  3b1cf097 Browse Directory
- Bug fix in PDR. · e87f0dd6
  Alan Mishchenko committed 11 years ago
  
  e87f0dd6 Browse Directory
15 Sep, 2013 1 commit
- Fixing return value of 'pdr -a'. · d1fed2dd
  Alan Mishchenko committed 11 years ago
  
  d1fed2dd Browse Directory
14 Sep, 2013 3 commits
- Handling the case when all outputs are undecided in 'pdr -a' with per-output timeout. · ab5c1692
  Alan Mishchenko committed 11 years ago
  
  ab5c1692 Browse Directory
- Fixing several bugs, which led to unsound results produced by 'pdr -a' with per-output timeout. · 60fae35d
  Alan Mishchenko committed 11 years ago
  
  60fae35d Browse Directory
- Enabling additional printouts in 'pdr'. · a4087e45
  Alan Mishchenko committed 11 years ago
  
  a4087e45 Browse Directory
10 Sep, 2013 1 commit
- New API to return the set of all reachable states as an AIG. · 8430b6da
  Alan Mishchenko committed 11 years ago
  
  8430b6da Browse Directory
06 Sep, 2013 1 commit
- Unifying parameters for the &ps command. · 23879f92
  Alan Mishchenko committed 11 years ago
  
  23879f92 Browse Directory
29 Aug, 2013 1 commit
- Adding procedures to specify permutations with unused flops. · eec022ea
  Alan Mishchenko committed 11 years ago
  
  eec022ea Browse Directory
20 Aug, 2013 1 commit
- Added switch &sim -g to enable flop grouping. · 1ad363c1
  Alan Mishchenko committed 11 years ago
  
  1ad363c1 Browse Directory
20 Jul, 2013 1 commit
- Experiment with 'pdr'. · 3d01abf4
  Alan Mishchenko committed 11 years ago
  
  3d01abf4 Browse Directory