Commits · 322cea8234aaa6a46c3f2f19c3c3246476231875 · lvzhengyang / abc · GitLab

04 Jun, 2020 1 commit
- Experimental simulation. · a3c6f33a
  Alan Mishchenko committed 4 years ago
  
  a3c6f33a Browse Directory
03 Jun, 2020 1 commit
- Experimental simulation. · 491e4ebf
  Alan Mishchenko committed 4 years ago
  
  491e4ebf Browse Directory
16 May, 2020 1 commit
- Experimental resubstitution. · 0ae0744e
  Alan Mishchenko committed 4 years ago
  
  0ae0744e Browse Directory
13 May, 2020 1 commit
- Experimental resubstitution. · a8bd59bd
  Alan Mishchenko committed 4 years ago
  
  a8bd59bd Browse Directory
12 May, 2020 1 commit
- Experimental resubstitution. · 9bfccf76
  Alan Mishchenko committed 4 years ago
  
  9bfccf76 Browse Directory
08 May, 2020 3 commits
- Experimental resubstitution. · a7871d24
  Alan Mishchenko committed 4 years ago
  
  a7871d24 Browse Directory
- Experimental resubstitution. · a918e2da
  Alan Mishchenko committed 4 years ago
  
  a918e2da Browse Directory
- Experimental resubstitution. · 372eb7bd
  Alan Mishchenko committed 4 years ago
  
  372eb7bd Browse Directory
04 May, 2020 3 commits
- Experiment with permutations. · 234b5d77
  Alan Mishchenko committed 4 years ago
  
  234b5d77 Browse Directory
- Experiment with permutations. · f543d39e
  Alan Mishchenko committed 4 years ago
  
  f543d39e Browse Directory
- Compiler warnings and errors. · f026e653
  Alan Mishchenko committed 4 years ago
  
  f026e653 Browse Directory
03 May, 2020 2 commits
- Compiler warnings. · e149cdcd
  Alan Mishchenko committed 4 years ago
  
  e149cdcd Browse Directory
- Experimental resubstitution. · d51f7989
  Alan Mishchenko committed 4 years ago
  
  d51f7989 Browse Directory
29 Apr, 2020 1 commit
- Adding new API to MiniAIG. · f030a2a5
  Alan Mishchenko committed 4 years ago
  
  f030a2a5 Browse Directory
27 Apr, 2020 1 commit
- Gia_ManDupPermFlop to behave as Gia_ManDupPerm · f2316ab7
```
Fixes sequential synthesis (e.g. &scl) for multiple domains
```
  Eddie Hung committed 4 years ago
  f2316ab7 Browse Directory
23 Apr, 2020 1 commit
- New AIG restructuring feature. · ea1fbfc9
  Alan Mishchenko committed 4 years ago
  
  ea1fbfc9 Browse Directory
18 Apr, 2020 1 commit
- Improving simulation patterns by local search. · d0e316df
  Alan Mishchenko committed 4 years ago
  
  d0e316df Browse Directory
17 Apr, 2020 1 commit
- Fixing broken build and compiler warnings. · 203a7d6a
  Alan Mishchenko committed 4 years ago
  
  203a7d6a Browse Directory
14 Apr, 2020 1 commit
- QBF-based code generation (extending beyond 32 bits). · 423d929d
  Alan Mishchenko committed 4 years ago
  
  423d929d Browse Directory
12 Apr, 2020 2 commits
- QBF-based code generation. · de82737e
  Alan Mishchenko committed 4 years ago
  
  de82737e Browse Directory
- 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
07 Apr, 2020 1 commit
- Corner-case bug fix in SAT-based sim info generation. · 2dfadb96
  Alan Mishchenko committed 4 years ago
  
  2dfadb96 Browse Directory
03 Apr, 2020 1 commit
- Corner-case bug in MiniLUT computation. · 65dce2fa
  Alan Mishchenko committed 4 years ago
  
  65dce2fa Browse Directory
02 Apr, 2020 1 commit
- Updating parameter in 'dump_equiv'. · 3f758f20
  Alan Mishchenko committed 4 years ago
  
  3f758f20 Browse Directory
29 Mar, 2020 1 commit
- Various changes. · 86541925
  Alan Mishchenko committed 4 years ago
  
  86541925 Browse Directory
25 Mar, 2020 1 commit
- Experiments with simulation-based engines. · a277d450
  Alan Mishchenko committed 4 years ago
  
  a277d450 Browse Directory
23 Mar, 2020 1 commit
- Experiments with simulation-based engines. · c7bc6b63
  Alan Mishchenko committed 4 years ago
  
  c7bc6b63 Browse Directory
21 Mar, 2020 1 commit
- Various changes. · fb6e4ee2
  Alan Mishchenko committed 4 years ago
  
  fb6e4ee2 Browse Directory
19 Mar, 2020 1 commit
- Various changes. · 6a6ffed8
  Alan Mishchenko committed 4 years ago
  
  6a6ffed8 Browse Directory
09 Mar, 2020 1 commit
- Ongoing changes to the simulator. · c9bebe15
  Alan Mishchenko committed 4 years ago
  
  c9bebe15 Browse Directory
08 Mar, 2020 3 commits
- Adding dumping json file with statistics in &mltest. · a484c65b
  Alan Mishchenko committed 4 years ago
  
  a484c65b Browse Directory
- Adding dumping json file with statistics in &mltest. · 79e298b2
  Alan Mishchenko committed 4 years ago
  
  79e298b2 Browse Directory
- 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 1 commit
- Updating and extending simulation data structures. · 7efe9c1d
  Alan Mishchenko committed 5 years ago
  
  7efe9c1d Browse Directory
02 Mar, 2020 1 commit
- Several misc changes. · 73496629
  Alan Mishchenko committed 5 years ago
  
  73496629 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. · d1f10f32
  Alan Mishchenko committed 5 years ago
  
  d1f10f32 Browse Directory
21 Feb, 2020 1 commit
- Adding commands to generate data for experiments. · 3c586f88
  Alan Mishchenko committed 5 years ago
  
  3c586f88 Browse Directory