Commits · 8389c455a67bda208697316b10e346c23dbec0f4 · lvzhengyang / abc · GitLab

12 Apr, 2017 1 commit
- Experiments with hashing. · 000e51f3
  Alan Mishchenko committed 7 years ago
  
  000e51f3 Browse File
04 Apr, 2017 1 commit
- Experiments with don't-cares. · 44605f5a
  Alan Mishchenko committed 7 years ago
  
  44605f5a Browse File
21 Mar, 2017 1 commit
- added callbacks to bmc3 and sat solver · bacc1bc1
  Yen-Sheng Ho committed 7 years ago
  
  bacc1bc1 Browse File
02 Mar, 2017 1 commit
- Adding alternative generalization procedure. · ff88edd6
  Alan Mishchenko committed 8 years ago
  
  ff88edd6 Browse File
01 Mar, 2017 1 commit
- Adding efficient procedure to minimize the set of assumptions. · bd9b7d64
  Alan Mishchenko committed 8 years ago
  
  bd9b7d64 Browse File
11 Feb, 2017 2 commits
- Updates to variable activity in the SAT solver. · f6193c0d
  Alan Mishchenko committed 8 years ago
  
  f6193c0d Browse File
- Movinng custom floating-point implementations, etc. · 45f4d6c7
  Alan Mishchenko committed 8 years ago
  
  45f4d6c7 Browse File
07 Feb, 2017 1 commit
- Re-introducing floating-point activity in the SAT solver. · 44dbf992
  Alan Mishchenko committed 8 years ago
  
  44dbf992 Browse File
03 Feb, 2017 1 commit
- Improvements to inductive generalization in IC3/PDR by Zyad Hassan. · e91abd63
  Alan Mishchenko committed 8 years ago
  
  e91abd63 Browse File
29 Dec, 2016 1 commit
- Updates to delay optimization project. · 4488ab83
  Alan Mishchenko committed 8 years ago
  
  4488ab83 Browse File
20 May, 2016 1 commit
- Added switch 'bmc3 -r' to disable periodic restarts in the SAT solver. · 2ded89cc
  Alan Mishchenko committed 8 years ago
  
  2ded89cc Browse File
23 Apr, 2016 1 commit
- Improved algo for edge computation. · 67bfb4ba
  Alan Mishchenko committed 8 years ago
  
  67bfb4ba Browse File
13 Apr, 2016 2 commits
- Adding new implementation of LEXSAT. · 89d4ac50
  Alan Mishchenko committed 8 years ago
  
  89d4ac50 Browse File
- Restructing sat_solver_solve() method for pushing/popping assumptions. · 8de7383e
  Alan Mishchenko committed 8 years ago
  
  8de7383e Browse File
12 Apr, 2016 2 commits
- Removing unused feature of the SAT solver (user-guided variable ordering). · b4bb88ae
  Alan Mishchenko committed 8 years ago
  
  b4bb88ae Browse File
- Removing unused feature of the SAT solver (native support for cardinality constraint). · 3a553e15
  Alan Mishchenko committed 8 years ago
  
  3a553e15 Browse File
08 Feb, 2016 1 commit
- Experiments with SAT-based mapping. · 67f4f1ad
  Alan Mishchenko committed 9 years ago
  
  67f4f1ad Browse File
11 Jan, 2016 1 commit
- Experiments with SAT-based mapping. · 1bbf2398
  Alan Mishchenko committed 9 years ago
  
  1bbf2398 Browse File
10 Jan, 2016 1 commit
- Adding support of candinality clause to the SAT solver. · d6178631
  Alan Mishchenko committed 9 years ago
  
  d6178631 Browse File
04 Sep, 2015 2 commits
- Experiments with SAT-based collapsing. · b11344b4
  Alan Mishchenko committed 9 years ago
  
  b11344b4 Browse File
- Experiments with SAT-based collapsing. · 5bcde4be
  Alan Mishchenko committed 9 years ago
  
  5bcde4be Browse File
05 May, 2015 1 commit
- Bug fix in QBF solver. · 3e1c831b
  Alan Mishchenko committed 9 years ago
  
  3e1c831b Browse File
06 Mar, 2015 1 commit
- Experiments with SAT-based cube enumeration. · 6da21b8b
  Alan Mishchenko committed 10 years ago
  
  6da21b8b Browse File
29 Oct, 2014 1 commit
- Compiler warnings. · 135bf3ec
  Alan Mishchenko committed 10 years ago
  
  135bf3ec Browse File
07 Apr, 2014 1 commit
- Adding command to dump UNSAT core of BMC instance. · 42927d5e
  Alan Mishchenko committed 10 years ago
  
  42927d5e Browse File
01 Apr, 2014 1 commit
- Adding switch to handle only single faults. · 7b886346
  Alan Mishchenko committed 10 years ago
  
  7b886346 Browse File
05 Mar, 2014 1 commit
- Changes to LUT mappers. · a2ff2cb9
  Alan Mishchenko committed 11 years ago
  
  a2ff2cb9 Browse File
28 Feb, 2014 1 commit
- Changes to LUT mappers. · b556c259
  Alan Mishchenko committed 11 years ago
  
  b556c259 Browse File
01 Nov, 2013 1 commit
- Specialized induction check. · 34366b8a
  Alan Mishchenko committed 11 years ago
  
  34366b8a Browse File
31 Oct, 2013 1 commit
- Specialized induction check. · f620a857
  Alan Mishchenko committed 11 years ago
  
  f620a857 Browse File
02 Aug, 2013 1 commit
- SAT solver with dynamic CNF loading. · da60781c
  Alan Mishchenko committed 11 years ago
  
  da60781c Browse File
27 May, 2013 1 commit
- Adding a wrapper around clock() for more accurate time counting in ABC. · 19c25fd6
  Alan Mishchenko committed 11 years ago
  
  19c25fd6 Browse File
18 May, 2013 5 commits
- SAT variable profiling. · 0328488b
  Alan Mishchenko committed 11 years ago
  
  0328488b Browse File
- SAT variable profiling (undo). · 29ee997b
  Alan Mishchenko committed 11 years ago
  
  29ee997b Browse File
- SAT variable profiling. · 66ff650f
  Alan Mishchenko committed 11 years ago
  
  66ff650f Browse File
- SAT variable profiling (undo). · 84b3b914
  Alan Mishchenko committed 11 years ago
  
  84b3b914 Browse File
- SAT variable profiling. · 86e38c2a
  Alan Mishchenko committed 11 years ago
  
  86e38c2a Browse File
25 Apr, 2013 1 commit
- Adding rollback for the other solver. · ae9a4407
  Alan Mishchenko committed 11 years ago
  
  ae9a4407 Browse File
23 Feb, 2013 1 commit
- Compiler warnings. · 8281b56e
  Alan Mishchenko committed 12 years ago
  
  8281b56e Browse File
22 Jul, 2012 1 commit
- Recording and reusing learned util clauses in bmc3. · 2379dea4
  Alan Mishchenko committed 12 years ago
  
  2379dea4 Browse File