Commits · 2ef79300ef5efb3f147086497469e5b06f050fae · lvzhengyang / abc · GitLab

22 Mar, 2018 1 commit
- Adding switch 'scorr -f' to dump inductive invariant as an AIG. · 53e7d1f9
  Alan Mishchenko committed 6 years ago
  
  53e7d1f9 Browse File
05 Jun, 2014 1 commit
- merge unfold2 · 574af212
  Jiang Long committed 10 years ago
  
  574af212 Browse File
28 Jun, 2013 1 commit
- Adding timeout to command 'ind'. · 8c7ca72e
  Alan Mishchenko committed 11 years ago
  
  8c7ca72e Browse File
22 Feb, 2013 1 commit
- Adding new features to 'dualrail'. · dfe5f511
  Alan Mishchenko committed 12 years ago
  
  dfe5f511 Browse File
14 Nov, 2012 1 commit
- Isolating BMC code into a separate package. · be7a4e42
  Alan Mishchenko committed 12 years ago
  
  be7a4e42 Browse File
16 Sep, 2012 1 commit
- Created new abstraction package from the code that was all over the place. · 69bbfa98
  Alan Mishchenko committed 12 years ago
  
  69bbfa98 Browse File
05 Sep, 2012 1 commit
- Added new command &gla_shrink. · f6b67d78
  Alan Mishchenko committed 12 years ago
  
  f6b67d78 Browse File
08 Jul, 2012 1 commit
- Updating project settings to have simpler include paths. · 1c33107c
  Alan Mishchenko committed 12 years ago
  
  1c33107c Browse File
10 Mar, 2012 2 commits
- Renamed Aig_ObjPioNum to be Aig_ObjCioId. · fec988f6
  Alan Mishchenko committed 12 years ago
  
  fec988f6 Browse File
- Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)... · c46c957a
  Alan Mishchenko committed 12 years ago
  
  c46c957a Browse File
17 Feb, 2012 1 commit
- Isomorphism checking code. · ee9f66e2
  Alan Mishchenko committed 13 years ago
  
  ee9f66e2 Browse File
11 Feb, 2012 1 commit
- Graph isomorphism checking code. · c5067f7d
  Alan Mishchenko committed 13 years ago
  
  c5067f7d Browse File
31 Jan, 2012 1 commit
- Graph isomorphism checking code. · 04414959
  Alan Mishchenko committed 13 years ago
  
  04414959 Browse File
29 Jan, 2012 1 commit
- Generation of dual-rail miter. · 99b408fc
  Alan Mishchenko committed 13 years ago
  
  99b408fc Browse File
28 Jan, 2012 1 commit
- Generation of dual-rail miter. · 5aeab257
  Alan Mishchenko committed 13 years ago
  
  5aeab257 Browse File
21 Jan, 2012 1 commit
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed 13 years ago
  
  8014f25f Browse File
19 Jan, 2012 1 commit
- Added switch 'write_counter -f' to output flop values in each time frame. · 8c62c9db
  Alan Mishchenko committed 13 years ago
  
  8c62c9db Browse File
13 Nov, 2011 1 commit
- Enabled skipping random decisions in PBA, which are performed by default. · df3e23ae
  Alan Mishchenko committed 13 years ago
  
  df3e23ae Browse File
12 Nov, 2011 1 commit
- Enabled counter-example minimization in 'write_counter'. · 3beb3677
  Alan Mishchenko committed 13 years ago
  
  3beb3677 Browse File
07 Nov, 2011 1 commit
- Trying to add BMC to random simulation. · 9382c8fd
  Alan Mishchenko committed 13 years ago
  
  9382c8fd Browse File
24 Sep, 2011 1 commit
- Added new feature to bmc3. · d080336b
  Alan Mishchenko committed 13 years ago
  
  d080336b Browse File
12 Sep, 2011 2 commits
- Added limit on the number of flops to add in one iteration of &abs_refine. · 8248691d
  Alan Mishchenko committed 13 years ago
  
  8248691d Browse File
- Added limit on the number of flops to add in one iteration of &abs_cba. · 583bc4d7
  Alan Mishchenko committed 13 years ago
  
  583bc4d7 Browse File
02 Sep, 2011 1 commit
- Added timeout to &abc_pba. · 11ed7247
  Alan Mishchenko committed 13 years ago
  
  11ed7247 Browse File
24 Aug, 2011 1 commit
- Sequential cleanup with symbolic/ternary simulation. · 3469b605
  Alan Mishchenko committed 13 years ago
  
  3469b605 Browse File
18 Aug, 2011 1 commit
- Bug fix in CBA and PBA. · b71b5bbc
  Alan Mishchenko committed 13 years ago
  
  b71b5bbc Browse File
17 Aug, 2011 1 commit
- Bug fix in CBA and PBA. · 48ae2c44
  Alan Mishchenko committed 13 years ago
  
  48ae2c44 Browse File
02 Aug, 2011 1 commit
- Several bug fixes. · 49df91f0
  Alan Mishchenko committed 13 years ago
  
  49df91f0 Browse File
01 Aug, 2011 2 commits
- Changes to enable CEX minimization. · 4e9f9724
  Alan Mishchenko committed 13 years ago
  
  4e9f9724 Browse File
- Changes to enable CEX minimization. · 81620f2e
  Alan Mishchenko committed 13 years ago
  
  81620f2e Browse File
30 Jul, 2011 1 commit
- Added generation of counter-examples to induction in 'ind'. · 02711b63
  Alan Mishchenko committed 13 years ago
  
  02711b63 Browse File
29 Jul, 2011 3 commits
- Improving and updating the abstraction code. · badf8e47
  Alan Mishchenko committed 13 years ago
  
  badf8e47 Browse File
- Added deriving abstraction in GIA from the precomputed flop map. · dac71e9b
  Alan Mishchenko committed 13 years ago
  
  dac71e9b Browse File
- Improving and updating the abstraction code. · ce38474c
  Alan Mishchenko committed 13 years ago
  
  ce38474c Browse File
27 Jul, 2011 1 commit
- Adding procedures to find the care bits of a counter-example (update). · 8ed6d8e0
  Alan Mishchenko committed 13 years ago
  
  8ed6d8e0 Browse File
25 Jul, 2011 2 commits
- Adding procedures to find the care bits of a counter-example (update). · 7184003b
  Alan Mishchenko committed 13 years ago
  
  7184003b Browse File
- Adding procedures to find the care bits of a counter-example. · e7a5a74b
  Alan Mishchenko committed 13 years ago
  
  e7a5a74b Browse File
20 Jul, 2011 1 commit
- New demitering features. · bb86d914
  Alan Mishchenko committed 13 years ago
  
  bb86d914 Browse File
02 Jul, 2011 1 commit
- Added a new demitering feature for dual-output miters. · f866920e
  Alan Mishchenko committed 13 years ago
  
  f866920e Browse File
19 May, 2011 1 commit
- Added new command 'outdec'. · 31360734
  Alan Mishchenko committed 13 years ago
  
  31360734 Browse File