Commits · fbf70c5fbb37fbf55faa82af245560bba1db10ea · lvzhengyang / abc · GitLab

17 Apr, 2020 2 commits
- Memory leak. · fbf70c5f
  Alan Mishchenko committed Apr 17, 2020
  
  fbf70c5f Browse Files
- Adding check for comb loops in NDR. · d7dfd06c
  Alan Mishchenko committed Apr 17, 2020
  
  d7dfd06c Browse Files
16 Apr, 2020 1 commit
- Fixing a typo. · d14acd8e
  Alan Mishchenko committed Apr 15, 2020
  
  d14acd8e Browse Files
14 Apr, 2020 1 commit
- QBF-based code generation (extending beyond 32 bits). · 423d929d
  Alan Mishchenko committed Apr 13, 2020
  
  423d929d Browse Files
12 Apr, 2020 2 commits
- QBF-based code generation. · de82737e
  Alan Mishchenko committed Apr 12, 2020
  
  de82737e Browse Files
- QBF-based code generation. · 34ae4249
  Alan Mishchenko committed Apr 12, 2020
  
  34ae4249 Browse Files
11 Apr, 2020 1 commit
- Procedures to explore structural support of an AIG. · f7980905
  Alan Mishchenko committed Apr 10, 2020
  
  f7980905 Browse Files
10 Apr, 2020 2 commits
- Various changes. · 8eebe633
  Alan Mishchenko committed Apr 10, 2020
  
  8eebe633 Browse Files
- Various changes. · 747c6a6d
  Alan Mishchenko committed Apr 10, 2020
  
  747c6a6d Browse Files
09 Apr, 2020 3 commits
- Debugging a combo loop in NDR. · 6e2e0545
  Alan Mishchenko committed Apr 09, 2020
  
  6e2e0545 Browse Files
- Adding option to &saveaig to compare AIGs by node count. · a2d33837
  Alan Mishchenko committed Apr 09, 2020
  
  a2d33837 Browse Files
- Various changes. · dab71687
  Alan Mishchenko committed Apr 08, 2020
  
  dab71687 Browse Files
07 Apr, 2020 3 commits
- Adding option to &saveaig to compare AIGs by node count. · 5d580c05
  Alan Mishchenko committed Apr 07, 2020
  
  5d580c05 Browse Files
- Adding option to &saveaig to compare AIGs by node count. · b661fdee
  Alan Mishchenko committed Apr 07, 2020
  
  b661fdee Browse Files
- Corner-case bug fix in SAT-based sim info generation. · 2dfadb96
  Alan Mishchenko committed Apr 07, 2020
  
  2dfadb96 Browse Files
04 Apr, 2020 1 commit
- Correctly updating the failed output when recording the CEX in bmc3 -a. · 71fd9165
  Alan Mishchenko committed Apr 03, 2020
  
  71fd9165 Browse Files
03 Apr, 2020 2 commits
- Extend ISOP to return the truth table. · 5a20a27c
  Alan Mishchenko committed Apr 02, 2020
  
  5a20a27c Browse Files
- Corner-case bug in MiniLUT computation. · 65dce2fa
  Alan Mishchenko committed Apr 02, 2020
  
  65dce2fa Browse Files
02 Apr, 2020 1 commit
- Updating parameter in 'dump_equiv'. · 3f758f20
  Alan Mishchenko committed Apr 02, 2020
  
  3f758f20 Browse Files
30 Mar, 2020 1 commit
- Various changes. · 1b83b4b2
  Alan Mishchenko committed Mar 29, 2020
  
  1b83b4b2 Browse Files
29 Mar, 2020 1 commit
- Various changes. · 86541925
  Alan Mishchenko committed Mar 28, 2020
  
  86541925 Browse Files
25 Mar, 2020 1 commit
- Experiments with simulation-based engines. · a277d450
  Alan Mishchenko committed Mar 25, 2020
  
  a277d450 Browse Files
23 Mar, 2020 1 commit
- Experiments with simulation-based engines. · c7bc6b63
  Alan Mishchenko committed Mar 22, 2020
  
  c7bc6b63 Browse Files
22 Mar, 2020 1 commit
- Various changes. · a4518e6f
  Alan Mishchenko committed Mar 21, 2020
  
  a4518e6f Browse Files
21 Mar, 2020 1 commit
- Various changes. · fb6e4ee2
  Alan Mishchenko committed Mar 21, 2020
  
  fb6e4ee2 Browse Files
19 Mar, 2020 4 commits
- Various changes. · 6a6ffed8
  Alan Mishchenko committed Mar 18, 2020
  
  6a6ffed8 Browse Files
- Downgrading random number generator to be not inlined. · e72438b2
  Alan Mishchenko committed Mar 18, 2020
  
  e72438b2 Browse Files
- Extending TT-based ISOP to handle ISFs. · f8b1be8b
  Alan Mishchenko committed Mar 18, 2020
  
  f8b1be8b Browse Files
- Corner case bug fix in &sat -a. · c54da1e9
  Alan Mishchenko committed Mar 18, 2020
  
  c54da1e9 Browse Files
14 Mar, 2020 1 commit
- Adding limit on the number of live BDD nodes in command 'muxes -g'. · 488f9497
  Alan Mishchenko committed Mar 14, 2020
  
  488f9497 Browse Files
11 Mar, 2020 2 commits
- Adding limit on the number of live BDD nodes in command 'muxes -g'. · 47c0f784
  Alan Mishchenko committed Mar 12, 2020
  
  47c0f784 Browse Files
- Adding limit on the number of live BDD nodes in command 'muxes -g'. · da5a7a23
  Alan Mishchenko committed Mar 12, 2020
  
  da5a7a23 Browse Files
09 Mar, 2020 2 commits
- Ongoing changes to the simulator. · dc3a544b
  Alan Mishchenko committed Mar 09, 2020
  
  dc3a544b Browse Files
- Ongoing changes to the simulator. · c9bebe15
  Alan Mishchenko committed Mar 09, 2020
  
  c9bebe15 Browse Files
08 Mar, 2020 3 commits
- Adding dumping json file with statistics in &mltest. · a484c65b
  Alan Mishchenko committed Mar 08, 2020
  
  a484c65b Browse Files
- Adding dumping json file with statistics in &mltest. · 79e298b2
  Alan Mishchenko committed Mar 07, 2020
  
  79e298b2 Browse Files
- Adding dumping json file with statistics in &mltest. · 7ca64b3d
  Alan Mishchenko committed Mar 07, 2020
  
  7ca64b3d Browse Files
06 Mar, 2020 3 commits
- Corner-case bug-fix in retiming (corrected fix). · 2855c94f
  Alan Mishchenko committed Mar 06, 2020
  
  2855c94f Browse Files
- Corner-case bug-fix in retiming (undoing wrong fix). · 1a41d496
  Alan Mishchenko committed Mar 06, 2020
  
  1a41d496 Browse Files
- Corner-case bug-fix in retiming. · cca7e038
  Alan Mishchenko committed Mar 06, 2020
  
  cca7e038 Browse Files