Commits · 7522e68b58167b225a81becc59bd4decc6602de7 · lvzhengyang / abc · GitLab

25 Jun, 2018 1 commit
- Bug fix by Horus Nero. · 7522e68b
  Alan Mishchenko committed Jun 25, 2018
  
  7522e68b Browse Files
21 Jun, 2018 2 commits
- Path enumeration using SAT. · 9ff928a7
  Alan Mishchenko committed Jun 20, 2018
  
  9ff928a7 Browse Files
- Bug fix in polynomial construction. · 2dd629a4
  Alan Mishchenko committed Jun 20, 2018
  
  2dd629a4 Browse Files
17 Jun, 2018 1 commit
- Command %blastmem for bit-blasting small memories. · 28a1307a
  Alan Mishchenko committed Jun 16, 2018
  
  28a1307a Browse Files
16 Jun, 2018 1 commit
- Bug fix in 'lutpack' (level count overflow). · f4a267d5
  Alan Mishchenko committed Jun 16, 2018
  
  f4a267d5 Browse Files
15 Jun, 2018 1 commit
- Extending NDR to support adder/subtractor. · 15939511
  Alan Mishchenko committed Jun 14, 2018
  
  15939511 Browse Files
14 Jun, 2018 2 commits
- Enabling user-specified output signature in &polyn (bug fix). · baab8c11
  Alan Mishchenko committed Jun 13, 2018
  
  baab8c11 Browse Files
- Enabling user-specified output signature in &polyn. · 01d736cb
  Alan Mishchenko committed Jun 13, 2018
  
  01d736cb Browse Files
12 Jun, 2018 1 commit
- Bug fix (accessing unassigned memory). · aa2f29fa
  Alan Mishchenko committed Jun 12, 2018
  
  aa2f29fa Browse Files
11 Jun, 2018 1 commit
- Experiments with path enumeration. · 1c990fc4
  Alan Mishchenko committed Jun 10, 2018
  
  1c990fc4 Browse Files
08 Jun, 2018 3 commits
- Compiler warnings. · dca22182
  Alan Mishchenko committed Jun 08, 2018
  
  dca22182 Browse Files
- Improvements in bit-blasting of adders and multipliers. · d06d7836
  Alan Mishchenko committed Jun 08, 2018
  
  d06d7836 Browse Files
- Changing makefile to suppress warnings with GCC 5+ · a08cc8b2
  Alan Mishchenko committed Jun 08, 2018
  
  a08cc8b2 Browse Files
07 Jun, 2018 1 commit
- Adding switch 'clp -o' to reverse initial variable ordering. · b729c737
  Alan Mishchenko committed Jun 07, 2018
  
  b729c737 Browse Files
06 Jun, 2018 1 commit
- Experiments with path enumeration. · aae37ffd
  Alan Mishchenko committed Jun 06, 2018
  
  aae37ffd Browse Files
05 Jun, 2018 3 commits
- Supporting the decoder primitive in NDR and bit-blasting. · 867600b7
  Alan Mishchenko committed Jun 05, 2018
  
  867600b7 Browse Files
- Exposing a switch to generate carry-lookahead adder during bit-blasting. · 5b588e09
  Alan Mishchenko committed Jun 05, 2018
  
  5b588e09 Browse Files
- Adding command print_mint. · 812a1bb3
  Alan Mishchenko committed Jun 04, 2018
  
  812a1bb3 Browse Files
04 Jun, 2018 1 commit
- Disabling unused feature in &nf. · 044c7a07
  Alan Mishchenko committed Jun 04, 2018
  
  044c7a07 Browse Files
25 May, 2018 1 commit
- Supporting SEL in bit-blasting. · 6df13962
  Alan Mishchenko committed May 25, 2018
  
  6df13962 Browse Files
24 May, 2018 1 commit
- Supporting NMUX and SEL in NDR. · 21c7dad7
  Alan Mishchenko committed May 24, 2018
  
  21c7dad7 Browse Files
23 May, 2018 2 commits
- Simple BDD package. · 8cb55037
  Alan Mishchenko committed May 23, 2018
  
  8cb55037 Browse Files
- Simple BDD package. · 3697bdbe
  Alan Mishchenko committed May 23, 2018
  
  3697bdbe Browse Files
19 May, 2018 1 commit
- Fix to prevent undefined behavior. · e68c6c62
  Alan Mishchenko committed May 19, 2018
  
  e68c6c62 Browse Files
18 May, 2018 1 commit
- Bug fix in supporting signed multiplication in NDR. · d9e68f60
  Alan Mishchenko committed May 18, 2018
  
  d9e68f60 Browse Files
16 May, 2018 1 commit
- Supporting wide MUX in NDR. · eb027885
  Alan Mishchenko committed May 16, 2018
  
  eb027885 Browse Files
11 May, 2018 1 commit
- Bug fix in the naming of outputs in %blast -d. · 03b17916
  Alan Mishchenko committed May 10, 2018
  
  03b17916 Browse Files
08 May, 2018 1 commit
- Bug fix in &sat -x. · cd159976
  Alan Mishchenko committed May 07, 2018
  
  cd159976 Browse Files
07 May, 2018 1 commit
- Adding &sat -x to save CEXes for multi-output combinational miters. · ccf52969
  Alan Mishchenko committed May 06, 2018
  
  ccf52969 Browse Files
04 May, 2018 1 commit
- Updates to NDR format (bug fixes). · aa313189
  Alan Mishchenko committed May 03, 2018
  
  aa313189 Browse Files
29 Apr, 2018 2 commits
- Updates to NDR format (flops, memories, signed mult, etc). · f23ea8e3
  Alan Mishchenko committed Apr 29, 2018
  
  f23ea8e3 Browse Files
- The ECO code (fix to the broken build). · 89c981c6
  Alan Mishchenko committed Apr 28, 2018
  
  89c981c6 Browse Files
25 Apr, 2018 4 commits
- Adding switch &w -p to dump AIG in a Verilog file. · fa00219d
  Alan Mishchenko committed Apr 25, 2018
  
  fa00219d Browse Files
- The ECO code. · f093aef8
  Alan Mishchenko committed Apr 25, 2018
  
  f093aef8 Browse Files
- The ECO code. · cce9ff21
  Alan Mishchenko committed Apr 25, 2018
  
  cce9ff21 Browse Files
- Typo in the command description. · 5d1abad8
  Alan Mishchenko committed Apr 25, 2018
  
  5d1abad8 Browse Files
20 Apr, 2018 2 commits
- Memory abstraction. · 0e15e4dd
  Alan Mishchenko committed Apr 20, 2018
  
  0e15e4dd Browse Files
- Memory abstraction. · 1c665557
  Alan Mishchenko committed Apr 19, 2018
  
  1c665557 Browse Files
16 Apr, 2018 1 commit
- Memory abstraction. · 09810301
  Alan Mishchenko committed Apr 15, 2018
  
  09810301 Browse Files
12 Apr, 2018 1 commit
- Adding adder-subtractor primitive. · 37504a49
  Alan Mishchenko committed Apr 11, 2018
  
  37504a49 Browse Files