Commits · 0e88e2739fa38c3bb80ea958b5a8f6c642ec616b · lvzhengyang / abc · GitLab

21 Nov, 2022 1 commit
- Fix undefined behavior in signed/unsigned shifting. · 74740dc8
```
Discovered by UBSAN as invalid attempts at shifting signed integers.

Signed-off-by: Henner Zeller <hzeller@google.com>
```
  Henner Zeller committed 2 years ago
  74740dc8 Browse Directory
10 Oct, 2021 1 commit
- Experiments with pattern generation. · f0236d5a
  Alan Mishchenko committed 3 years ago
  
  f0236d5a Browse Directory
25 Mar, 2020 1 commit
- Experiments with simulation-based engines. · a277d450
  Alan Mishchenko committed 4 years ago
  
  a277d450 Browse Directory
31 Oct, 2019 1 commit
- Changes to several APIs. · 6b2fe00c
  Alan Mishchenko committed 5 years ago
  
  6b2fe00c Browse Directory
06 Dec, 2017 1 commit
- An improvement to 'twoexact' and 'lutexact'. · 67181d04
  Alan Mishchenko committed 7 years ago
  
  67181d04 Browse Directory
06 Sep, 2017 1 commit
- Changes to 'pdr' to run with updated Satoko. · f06056d8
  Alan Mishchenko committed 7 years ago
  
  f06056d8 Browse Directory
04 Sep, 2017 1 commit
- Several changes to various packages. · ecae67e3
  Alan Mishchenko committed 7 years ago
  
  ecae67e3 Browse Directory
03 Sep, 2017 1 commit
- Improvements to minimize_assumptions. · f9914988
  Alan Mishchenko committed 7 years ago
  
  f9914988 Browse Directory
13 Aug, 2017 1 commit
- Adding an option to bmc3 to use Satoko intead of the default SAT solver. · a64957a5
  Alan Mishchenko committed 7 years ago
  
  a64957a5 Browse Directory
28 Apr, 2017 3 commits
- Compiler warnings. · 534ebbc7
  Alan Mishchenko committed 7 years ago
  
  534ebbc7 Browse Directory
- Compiler warnings. · 16ac0466
  Alan Mishchenko committed 7 years ago
  
  16ac0466 Browse Directory
- Compiler warnings. · 68faa04a
  Alan Mishchenko committed 7 years ago
  
  68faa04a Browse Directory
12 Apr, 2017 1 commit
- Experiments with hashing. · 000e51f3
  Alan Mishchenko committed 7 years ago
  
  000e51f3 Browse Directory
04 Apr, 2017 1 commit
- Experiments with don't-cares. · 44605f5a
  Alan Mishchenko committed 7 years ago
  
  44605f5a Browse Directory
03 Apr, 2017 1 commit
- Experiments with don't-cares. · f765e666
  Alan Mishchenko committed 7 years ago
  
  f765e666 Browse Directory
21 Mar, 2017 1 commit
- added callbacks to bmc3 and sat solver · bacc1bc1
  Yen-Sheng Ho committed 7 years ago
  
  bacc1bc1 Browse Directory
03 Mar, 2017 2 commits
- Clone of the main SAT solver to eneable independent work. · 4cf046c9
  Alan Mishchenko committed 8 years ago
  
  4cf046c9 Browse Directory
- Clone of the main SAT solver to eneable independent work. · 59348e22
  Alan Mishchenko committed 8 years ago
  
  59348e22 Browse Directory
02 Mar, 2017 3 commits
- Adding alternative generalization procedure. · ff88edd6
  Alan Mishchenko committed 8 years ago
  
  ff88edd6 Browse Directory
- Adding efficient procedure to minimize the set of assumptions (improved literal reordering). · 160d1311
  Alan Mishchenko committed 8 years ago
  
  160d1311 Browse Directory
- Adding alternative generalization procedure. · 7747d89c
  Alan Mishchenko committed 8 years ago
  
  7747d89c Browse Directory
01 Mar, 2017 1 commit
- Adding efficient procedure to minimize the set of assumptions. · bd9b7d64
  Alan Mishchenko committed 8 years ago
  
  bd9b7d64 Browse Directory
16 Feb, 2017 2 commits
- Fixing missing sat_solver APIs in 'iprove'. · 6d6bf874
  Alan Mishchenko committed 8 years ago
  
  6d6bf874 Browse Directory
- Fixing missing sat_solver APIs in 'iprove'. · bcc6d268
  Alan Mishchenko committed 8 years ago
  
  bcc6d268 Browse Directory
12 Feb, 2017 1 commit
- Commenting out uncommented message. · 4abb1ce8
  Alan Mishchenko committed 8 years ago
  
  4abb1ce8 Browse Directory
11 Feb, 2017 2 commits
- Updates to variable activity in the SAT solver. · f6193c0d
  Alan Mishchenko committed 8 years ago
  
  f6193c0d Browse Directory
- Movinng custom floating-point implementations, etc. · 45f4d6c7
  Alan Mishchenko committed 8 years ago
  
  45f4d6c7 Browse Directory
07 Feb, 2017 2 commits
- Re-introducing floating-point activity in the SAT solver. · 80f5070d
  Alan Mishchenko committed 8 years ago
  
  80f5070d Browse Directory
- Re-introducing floating-point activity in the SAT solver. · 44dbf992
  Alan Mishchenko committed 8 years ago
  
  44dbf992 Browse Directory
03 Feb, 2017 1 commit
- Improvements to inductive generalization in IC3/PDR by Zyad Hassan. · e91abd63
  Alan Mishchenko committed 8 years ago
  
  e91abd63 Browse Directory
29 Dec, 2016 1 commit
- Updates to delay optimization project. · 4488ab83
  Alan Mishchenko committed 8 years ago
  
  4488ab83 Browse Directory
16 Jul, 2016 1 commit
- Fixes and adjustments for the edge computation flow. · 1343b8a8
  Alan Mishchenko committed 8 years ago
  
  1343b8a8 Browse Directory
16 Jun, 2016 1 commit
- Experiments with edge-based mapping. · e1b51d18
  Alan Mishchenko committed 8 years ago
  
  e1b51d18 Browse Directory
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 Directory
30 Apr, 2016 1 commit
- This code was accidentally deleted from the SAT solver (effectively disabling restarts!) · e3e62366
  Alan Mishchenko committed 8 years ago
  
  e3e62366 Browse Directory
23 Apr, 2016 1 commit
- Improved algo for edge computation. · 67bfb4ba
  Alan Mishchenko committed 8 years ago
  
  67bfb4ba Browse Directory
13 Apr, 2016 2 commits
- Adding new implementation of LEXSAT. · 89d4ac50
  Alan Mishchenko committed 8 years ago
  
  89d4ac50 Browse Directory
- Restructing sat_solver_solve() method for pushing/popping assumptions. · 8de7383e
  Alan Mishchenko committed 8 years ago
  
  8de7383e Browse Directory
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 Directory
- Removing unused feature of the SAT solver (native support for cardinality constraint). · 3a553e15
  Alan Mishchenko committed 8 years ago
  
  3a553e15 Browse Directory