Commits · 19b8d9bf7ca6c9d51ea829b40c46a801a1ac0e11 · lvzhengyang / abc · GitLab

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
14 Aug, 2019 1 commit
- Adding switch to suppress printing simple objects in %retime. · 97545722
  Alan Mishchenko committed 5 years ago
  
  97545722 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
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 2 commits
- Experiments with memory abstraction. · 82eead08
  Alan Mishchenko committed 6 years ago
  
  82eead08 Browse File
- Experiments with memory abstraction. · f86cfc93
  Alan Mishchenko committed 6 years ago
  
  f86cfc93 Browse File
21 Jan, 2019 2 commits
- Exploring other ways of CEX writing. · b3d81b5f
  Alan Mishchenko committed 6 years ago
  
  b3d81b5f Browse File
- Undoing some recent changes for improved CEX writing. · d4ce4cc9
  Alan Mishchenko committed 6 years ago
  
  d4ce4cc9 Browse File
17 Jan, 2019 1 commit
- Fixing the problem with outputting word-level CEXes after retiming. · 4d8c72d0
  Alan Mishchenko committed 6 years ago
  
  4d8c72d0 Browse File
16 Jan, 2019 1 commit
- Procedure to trasnsform counter-examples. · 36e5badf
  Alan Mishchenko committed 6 years ago
  
  36e5badf Browse File
09 Dec, 2018 1 commit
- Experiments with retiming (adding new APIs). · 36585eff
  Alan Mishchenko committed 6 years ago
  
  36585eff Browse File
19 Nov, 2018 1 commit
- Various usability changes. · 12908d3c
  Alan Mishchenko committed 6 years ago
  
  12908d3c Browse File
01 Oct, 2018 1 commit
- Experiments with word-level retiming. · 9e787c71
  Alan Mishchenko committed 6 years ago
  
  9e787c71 Browse File
22 Sep, 2018 1 commit
- Adding dump of name mapping after blasting. · a9815b75
  Alan Mishchenko committed 6 years ago
  
  a9815b75 Browse File
17 Jun, 2018 1 commit
- Command %blastmem for bit-blasting small memories. · 28a1307a
  Alan Mishchenko committed 6 years ago
  
  28a1307a 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
01 Mar, 2018 1 commit
- Adding parameters and improvements to %blast. · 7e9f3f02
  Alan Mishchenko committed 7 years ago
  
  7e9f3f02 Browse File
24 Feb, 2018 1 commit
- Adding support for adders with carry-in in WLC and NDR. · 33971604
  Alan Mishchenko committed 7 years ago
  
  33971604 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
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 1 commit
- %pdra: added an option -s · 2fea987e
  Yen-Sheng Ho committed 7 years ago
  
  2fea987e 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 8 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 8 years ago
  
  3ae83d37 Browse File
01 Mar, 2017 3 commits
- %pdra: added an option -u for checking comb. unsat · 18b47dfb
  Yen-Sheng Ho committed 8 years ago
  
  18b47dfb Browse File
- small tweaks · 007195dd
  Yen-Sheng Ho committed 8 years ago
  
  007195dd Browse File
- added an option -r to %pdra: proof-based refinement only · 902a78ee
  Yen-Sheng Ho committed 8 years ago
  
  902a78ee Browse File
28 Feb, 2017 1 commit
- added -L to %abs · 43f34ddc
  Yen-Sheng Ho committed 8 years ago
  
  43f34ddc 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