Commits · 8afd927d609faf44fcf70e7870bbc201cffde0fd · lvzhengyang / abc · GitLab

23 Apr, 2020 1 commit
- New AIG restructuring feature. · ea1fbfc9
  Alan Mishchenko committed 4 years ago
  
  ea1fbfc9 Browse Directory
18 Apr, 2020 2 commits
- Improving simulation patterns by local search. · 94a2cffe
  Alan Mishchenko committed 4 years ago
  
  94a2cffe Browse Directory
- Improving simulation patterns by local search. · d0e316df
  Alan Mishchenko committed 4 years ago
  
  d0e316df Browse Directory
17 Apr, 2020 1 commit
- Memory leak. · fbf70c5f
  Alan Mishchenko committed 4 years ago
  
  fbf70c5f Browse Directory
12 Apr, 2020 1 commit
- QBF-based code generation. · 34ae4249
  Alan Mishchenko committed 4 years ago
  
  34ae4249 Browse Directory
11 Apr, 2020 1 commit
- Procedures to explore structural support of an AIG. · f7980905
  Alan Mishchenko committed 4 years ago
  
  f7980905 Browse Directory
10 Apr, 2020 1 commit
- Various changes. · 747c6a6d
  Alan Mishchenko committed 4 years ago
  
  747c6a6d Browse Directory
09 Apr, 2020 2 commits
- Adding option to &saveaig to compare AIGs by node count. · a2d33837
  Alan Mishchenko committed 4 years ago
  
  a2d33837 Browse Directory
- Various changes. · dab71687
  Alan Mishchenko committed 4 years ago
  
  dab71687 Browse Directory
07 Apr, 2020 2 commits
- Adding option to &saveaig to compare AIGs by node count. · 5d580c05
  Alan Mishchenko committed 4 years ago
  
  5d580c05 Browse Directory
- Adding option to &saveaig to compare AIGs by node count. · b661fdee
  Alan Mishchenko committed 4 years ago
  
  b661fdee Browse Directory
30 Mar, 2020 1 commit
- Various changes. · 1b83b4b2
  Alan Mishchenko committed 4 years ago
  
  1b83b4b2 Browse Directory
21 Mar, 2020 1 commit
- Various changes. · fb6e4ee2
  Alan Mishchenko committed 4 years ago
  
  fb6e4ee2 Browse Directory
14 Mar, 2020 1 commit
- Adding limit on the number of live BDD nodes in command 'muxes -g'. · 488f9497
  Alan Mishchenko committed 4 years ago
  
  488f9497 Browse Directory
11 Mar, 2020 2 commits
- Adding limit on the number of live BDD nodes in command 'muxes -g'. · 47c0f784
  Alan Mishchenko committed 4 years ago
  
  47c0f784 Browse Directory
- Adding limit on the number of live BDD nodes in command 'muxes -g'. · da5a7a23
  Alan Mishchenko committed 4 years ago
  
  da5a7a23 Browse Directory
09 Mar, 2020 1 commit
- Ongoing changes to the simulator. · dc3a544b
  Alan Mishchenko committed 4 years ago
  
  dc3a544b Browse Directory
08 Mar, 2020 1 commit
- Adding dumping json file with statistics in &mltest. · 7ca64b3d
  Alan Mishchenko committed 4 years ago
  
  7ca64b3d Browse Directory
06 Mar, 2020 1 commit
- Updating and extending simulation data structures. · f402d09c
  Alan Mishchenko committed 5 years ago
  
  f402d09c Browse Directory
05 Mar, 2020 2 commits
- Updating and extending simulation data structures. · ed90ce20
  Alan Mishchenko committed 5 years ago
  
  ed90ce20 Browse Directory
- Updating and extending simulation data structures. · 7efe9c1d
  Alan Mishchenko committed 5 years ago
  
  7efe9c1d Browse Directory
24 Feb, 2020 1 commit
- Adding commands to generate data for experiments. · f4339310
  Alan Mishchenko committed 5 years ago
  
  f4339310 Browse Directory
22 Feb, 2020 1 commit
- Adding commands to generate data for experiments. · c8894603
  Alan Mishchenko committed 5 years ago
  
  c8894603 Browse Directory
21 Feb, 2020 1 commit
- Adding commands to generate data for experiments. · 3c586f88
  Alan Mishchenko committed 5 years ago
  
  3c586f88 Browse Directory
19 Feb, 2020 1 commit
- Adding min-level merging of equivalence classes of AIG nodes. · c086edaa
  Alan Mishchenko committed 5 years ago
  
  c086edaa Browse Directory
27 Jan, 2020 1 commit
- Cleaning up code and fixing for several typos. · 951afa27
  Alan Mishchenko committed 5 years ago
  
  951afa27 Browse Directory
22 Jan, 2020 1 commit
- Experiments with resubstitution. · afebb180
  Alan Mishchenko committed 5 years ago
  
  afebb180 Browse Directory
21 Jan, 2020 1 commit
- Experiments with simulation patterns. · 07002bc9
  Alan Mishchenko committed 5 years ago
  
  07002bc9 Browse Directory
20 Jan, 2020 1 commit
- Experiments with MUX restructuring. · 632c7a7d
  Alan Mishchenko committed 5 years ago
  
  632c7a7d Browse Directory
19 Jan, 2020 1 commit
- Adding new command to generate specialized miter. · f1a3cffe
  Alan Mishchenko committed 5 years ago
  
  f1a3cffe Browse Directory
14 Jan, 2020 1 commit
- Adding switch -g to use global rather than local BDDs in 'muxes'. · c32a2ece
  Alan Mishchenko committed 5 years ago
  
  c32a2ece Browse Directory
10 Jan, 2020 1 commit
- Improving performance of 'lutpack'. · 1bb50384
  Alan Mishchenko committed 5 years ago
  
  1bb50384 Browse Directory
06 Jan, 2020 1 commit
- Allowing nodes and boxes to have more than 6 inputs in mfs2 and &mfs. · 1485e63a
  Alan Mishchenko committed 5 years ago
  
  1485e63a Browse Directory
04 Jan, 2020 1 commit
- Adding commands 'save' and 'load' for mapped networks. · e1997b03
  Alan Mishchenko committed 5 years ago
  
  e1997b03 Browse Directory
15 Dec, 2019 2 commits
- Adding experimental command. · 7a9311ee
  Alan Mishchenko committed 5 years ago
  
  7a9311ee Browse Directory
- Adding experimental command. · 53d4d651
  Alan Mishchenko committed 5 years ago
  
  53d4d651 Browse Directory
12 Dec, 2019 1 commit
- Making &gla iterate over property outputs. · 6fb8b17c
  Alan Mishchenko committed 5 years ago
  
  6fb8b17c Browse Directory
05 Dec, 2019 2 commits
- Renaming options of command &sat. · 95a6aa28
  Alan Mishchenko committed 5 years ago
  
  95a6aa28 Browse Directory
- Changes to several APIs. · 1e602492
  Alan Mishchenko committed 5 years ago
  
  1e602492 Browse Directory
25 Nov, 2019 1 commit
- Adding logfile dump to print_status. · 787e3e1d
  Alan Mishchenko committed 5 years ago
  
  787e3e1d Browse Directory