Commits · 8eb6aed5d116afc0933b49c6973af08cf2eff471 · lvzhengyang / abc · GitLab

17 Nov, 2019 1 commit
- Enable blasting LUTs in NDR. · dd5a1f5d
  Alan Mishchenko committed 5 years ago
  
  dd5a1f5d Browse File
06 Oct, 2019 1 commit
- Adding bit-blasting of sqrt using non-restoring algorithm (Parhami, 2nd ed, p. 452) · 52a8ebb4
  Alan Mishchenko committed 5 years ago
  
  52a8ebb4 Browse File
15 Apr, 2019 1 commit
- Adding miter construction with one bit-level output for each pair of word-level outputs. · 81282155
  Alan Mishchenko committed 5 years ago
  
  81282155 Browse File
06 Apr, 2019 1 commit
- Supporting LUT in NDR and WLC. · 362b2d9d
  Alan Mishchenko committed 5 years ago
  
  362b2d9d Browse File
26 Mar, 2019 1 commit
- Recognizing async reset in blasting. · acdfc3cc
  Alan Mishchenko committed 5 years ago
  
  acdfc3cc Browse File
28 Jan, 2019 1 commit
- Experiments with memory abstraction. · 0699c43a
  Alan Mishchenko committed 6 years ago
  
  0699c43a Browse File
23 Jan, 2019 1 commit
- Experiments with memory abstraction. · f86cfc93
  Alan Mishchenko committed 6 years ago
  
  f86cfc93 Browse File
21 Jan, 2019 1 commit
- Exploring other ways of CEX writing. · b3d81b5f
  Alan Mishchenko committed 6 years ago
  
  b3d81b5f Browse File
09 Dec, 2018 1 commit
- Experiments with retiming (adding new APIs). · 36585eff
  Alan Mishchenko committed 6 years ago
  
  36585eff Browse File
23 Sep, 2018 1 commit
- Support for flops with complex controls. · a2258f5e
  Alan Mishchenko committed 6 years ago
  
  a2258f5e Browse File
05 Jun, 2018 2 commits
- Supporting the decoder primitive in NDR and bit-blasting. · 867600b7
  Alan Mishchenko committed 6 years ago
  
  867600b7 Browse File
- Exposing a switch to generate carry-lookahead adder during bit-blasting. · 5b588e09
  Alan Mishchenko committed 6 years ago
  
  5b588e09 Browse File
24 May, 2018 1 commit
- Supporting NMUX and SEL in NDR. · 21c7dad7
  Alan Mishchenko committed 6 years ago
  
  21c7dad7 Browse File
29 Apr, 2018 1 commit
- Updates to NDR format (flops, memories, signed mult, etc). · f23ea8e3
  Alan Mishchenko committed 6 years ago
  
  f23ea8e3 Browse File
20 Apr, 2018 2 commits
- Memory abstraction. · 0e15e4dd
  Alan Mishchenko committed 6 years ago
  
  0e15e4dd Browse File
- Memory abstraction. · 1c665557
  Alan Mishchenko committed 6 years ago
  
  1c665557 Browse File
16 Apr, 2018 1 commit
- Memory abstraction. · 09810301
  Alan Mishchenko committed 6 years ago
  
  09810301 Browse File
04 Mar, 2018 1 commit
- Extending primitives supported by WLC. · 48e128aa
  Alan Mishchenko committed 7 years ago
  
  48e128aa Browse File
01 Mar, 2018 1 commit
- Adding parameters and improvements to %blast. · 7e9f3f02
  Alan Mishchenko committed 7 years ago
  
  7e9f3f02 Browse File
07 Feb, 2018 1 commit
- Fixing input swapping issue in MUXes derived from NDR. · c6bce9c2
  Alan Mishchenko committed 7 years ago
  
  c6bce9c2 Browse File
29 Jan, 2018 1 commit
- Adding support of reading and writing designs using a new internal format. · 99ddb640
  Alan Mishchenko committed 7 years ago
  
  99ddb640 Browse File
08 Jul, 2017 1 commit
- Adding new type of MUX blasting. · 4886a4ef
  Alan Mishchenko committed 7 years ago
  
  4886a4ef Browse File
30 Apr, 2017 1 commit
- Adding switch %blast -d to dump dual-output miter after blasting. · 41314cea
  Alan Mishchenko committed 7 years ago
  
  41314cea Browse File
17 Apr, 2017 1 commit
- %pdra: added an option for disabling incremental solving · 38e5c8c9
  Yen-Sheng Ho committed 7 years ago
  
  38e5c8c9 Browse File
09 Apr, 2017 1 commit
- %pdra: added top level callbacks · 3401ed36
  Yen-Sheng Ho committed 7 years ago
  
  3401ed36 Browse File
31 Mar, 2017 1 commit
- %pdra: added an option -t for disabling trace reuse · 1531dd8e
  Yen-Sheng Ho committed 7 years ago
  
  1531dd8e Browse File
28 Mar, 2017 2 commits
- %pdra: added an option -s · 2fea987e
  Yen-Sheng Ho committed 7 years ago
  
  2fea987e Browse File
- %pdra: added a procedure to shrink abstraction · 7a423e4f
  Yen-Sheng Ho committed 7 years ago
  
  7a423e4f Browse File
19 Mar, 2017 1 commit
- %pdra: working on bmc3 · 87541198
  Yen-Sheng Ho committed 7 years ago
  
  87541198 Browse File
18 Mar, 2017 1 commit
- %pdra: working on bmc3 · 0d054904
  Yen-Sheng Ho committed 7 years ago
  
  0d054904 Browse File
17 Mar, 2017 1 commit
- New word-level transformation. · d66ff2cf
  Alan Mishchenko committed 7 years ago
  
  d66ff2cf Browse File
10 Mar, 2017 1 commit
- %pdra: added an option -i for weaker proof-based refinement · 70511b00
  Yen-Sheng Ho committed 7 years ago
  
  70511b00 Browse File
09 Mar, 2017 1 commit
- %pdra, %abs: added option -d for apple-to-apple comparison · 3ae83d37
  Yen-Sheng Ho committed 7 years ago
  
  3ae83d37 Browse File
01 Mar, 2017 2 commits
- %pdra: added an option -u for checking comb. unsat · 18b47dfb
  Yen-Sheng Ho committed 8 years ago
  
  18b47dfb Browse File
- added an option -r to %pdra: proof-based refinement only · 902a78ee
  Yen-Sheng Ho committed 8 years ago
  
  902a78ee Browse File
27 Feb, 2017 1 commit
- %pdra -L: now applies to all types · 9195192f
  Yen-Sheng Ho committed 8 years ago
  
  9195192f Browse File
26 Feb, 2017 2 commits
- added an option -L to %pdra for limiting the number of muxes · 86b3cb3d
  Yen-Sheng Ho committed 8 years ago
  
  86b3cb3d Browse File
- added an option -b to %pdra · a8f6e5c6
  Yen-Sheng Ho committed 8 years ago
  
  a8f6e5c6 Browse File
23 Feb, 2017 1 commit
- added %pdra -a: run with pdr -nct · d5bbf918
  Yen-Sheng Ho committed 8 years ago
  
  d5bbf918 Browse File
22 Feb, 2017 1 commit
- added an option -m for %pdra · 2f90e5e1
  Yen-Sheng Ho committed 8 years ago
  
  2f90e5e1 Browse File