Commits · 978b5db0397ae062cf4a4818eb2e76b9804bdce3 · lvzhengyang / abc · GitLab

22 Apr, 2020 1 commit
- Fix a bug in comb loop detection. · 978b5db0
  Alan Mishchenko committed Apr 22, 2020
  
  978b5db0 Browse Files
18 Apr, 2020 2 commits
- Improving simulation patterns by local search. · 94a2cffe
  Alan Mishchenko committed Apr 17, 2020
  
  94a2cffe Browse Files
- Improving simulation patterns by local search. · d0e316df
  Alan Mishchenko committed Apr 17, 2020
  
  d0e316df Browse Files
17 Apr, 2020 6 commits
- Fixing broken build and compiler warnings. · 5f163c01
  Alan Mishchenko committed Apr 17, 2020
  
  5f163c01 Browse Files
- Fixing broken build and compiler warnings. · 61a88f16
  Alan Mishchenko committed Apr 17, 2020
  
  61a88f16 Browse Files
- Fixing broken build and compiler warnings. · 203a7d6a
  Alan Mishchenko committed Apr 17, 2020
  
  203a7d6a Browse Files
- Removing debug stop. · 92abe5cb
  Alan Mishchenko committed Apr 17, 2020
  
  92abe5cb Browse Files
- 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 1 commit
- Ongoing changes to the simulator. · dc3a544b
  Alan Mishchenko committed Mar 09, 2020
  
  dc3a544b Browse Files