Commits · a9237f50ea01efdd62f86d334a38ffbe80a3d141 · lvzhengyang / abc · GitLab

01 Aug, 2022 1 commit
- New switch in command &st for adding buffers. · a9237f50
  Alan Mishchenko committed Jul 31, 2022
  
  a9237f50 Browse Files
31 Jul, 2022 1 commit
- Constructing boolean relation. · 66449e80
  Alan Mishchenko committed Jul 30, 2022
  
  66449e80 Browse Files
30 Jul, 2022 1 commit
- Various changes. · ddb22f3b
  Alan Mishchenko committed Jul 30, 2022
  
  ddb22f3b Browse Files
27 Jun, 2022 2 commits
- Commenting out unimportant assertion. · c23cd0a7
  Alan Mishchenko committed Jun 27, 2022
  
  c23cd0a7 Browse Files
- Dumping equivalences after SAT sweeping. · adcc398b
  Alan Mishchenko committed Jun 26, 2022
  
  adcc398b Browse Files
26 Jun, 2022 1 commit
- Experiments with technology mapping. · 8cf3f542
  Alan Mishchenko committed Jun 25, 2022
  
  8cf3f542 Browse Files
23 Jun, 2022 2 commits
- Making command &kissat not look for the binary in the current dir. · 25455d35
  Alan Mishchenko committed Jun 23, 2022
  
  25455d35 Browse Files
- Experiments with the mapper. · 8888e8e8
  Alan Mishchenko committed Jun 23, 2022
  
  8888e8e8 Browse Files
10 Jun, 2022 2 commits
- Adding command to check resub problem solution. · 8eb651c3
  Alan Mishchenko committed Jun 10, 2022
  
  8eb651c3 Browse Files
- Adding command to check resub problem solution. · ae0f03f4
  Alan Mishchenko committed Jun 10, 2022
  
  ae0f03f4 Browse Files
08 Jun, 2022 1 commit
- Bug fix by Ai Quoc Dao. · 3241a595
  Alan Mishchenko committed Jun 08, 2022
  
  3241a595 Browse Files
06 Jun, 2022 2 commits
- Renaming switch '-i' into '-c' in %collapse. · 7bda1d4b
  Alan Mishchenko committed Jun 05, 2022
  
  7bda1d4b Browse Files
- Enabling support for reading AIGs with XOR gates. · 617eb759
  Alan Mishchenko committed Jun 05, 2022
  
  617eb759 Browse Files
02 Jun, 2022 2 commits
- Integrated Kissat, by Armin Biere, as an external binary. · aebf1e7b
  Alan Mishchenko committed Jun 02, 2022
  
  aebf1e7b Browse Files
- Supporting new resub problem format. · 94ab17c3
  Alan Mishchenko committed Jun 02, 2022
  
  94ab17c3 Browse Files
23 May, 2022 1 commit
- Improvements to MiniAIG. · 5a3e0a1f
  Alan Mishchenko committed May 22, 2022
  
  5a3e0a1f Browse Files
20 May, 2022 1 commit
- Adding new switch to &cec. · 4f7bf910
  Alan Mishchenko committed May 20, 2022
  
  4f7bf910 Browse Files
18 May, 2022 3 commits
- Adding switch to dsd_match to skip small functions. · 21922e3e
  Alan Mishchenko committed May 18, 2022
  
  21922e3e Browse Files
- One less line printed out in the batch mode. · 67247b72
  Alan Mishchenko committed May 18, 2022
  
  67247b72 Browse Files
- Improvements to MiniAIG. · 3d19d411
  Alan Mishchenko committed May 18, 2022
  
  3d19d411 Browse Files
28 Apr, 2022 2 commits
- Removing equivalence classes when they are not properly refined. · 61f2f3db
  Alan Mishchenko committed Apr 28, 2022
  
  61f2f3db Browse Files
- Removing equivalence classes when they are not properly refined. · f6758079
  Alan Mishchenko committed Apr 27, 2022
  
  f6758079 Browse Files
27 Apr, 2022 2 commits
- Removing duplicated command. · daa4eaf2
  Alan Mishchenko committed Apr 26, 2022
  
  daa4eaf2 Browse Files
- Adding switch -c to &cone. · 5999b5a5
  Alan Mishchenko committed Apr 26, 2022
  
  5999b5a5 Browse Files
26 Apr, 2022 1 commit
- Experiments with word-level data structures. · 0fc56e71
  Alan Mishchenko committed Apr 26, 2022
  
  0fc56e71 Browse Files
25 Apr, 2022 3 commits
- A trivial changeset. · c68fcae4
  Alan Mishchenko committed Apr 24, 2022
  
  c68fcae4 Browse Files
- Adding a switch to complement outputs after collapsing. · 9e164ec5
  Alan Mishchenko committed Apr 24, 2022
  
  9e164ec5 Browse Files
- Bug fix in &uif. · 7693ce6a
  Alan Mishchenko committed Apr 24, 2022
  
  7693ce6a Browse Files
24 Apr, 2022 6 commits
- Supporting multiple box types in &uif. · dd81af81
  Alan Mishchenko committed Apr 24, 2022
  
  dd81af81 Browse Files
- Bug fix in &uif. · ca6dd4ed
  Alan Mishchenko committed Apr 24, 2022
  
  ca6dd4ed Browse Files
- Experiments with SAT sweeping. · 1abd0457
  Alan Mishchenko committed Apr 24, 2022
  
  1abd0457 Browse Files
- Experiments with SAT sweeping. · cb30ea05
  Alan Mishchenko committed Apr 24, 2022
  
  cb30ea05 Browse Files
- Experiments with SAT sweeping. · 1f56f20e
  Alan Mishchenko committed Apr 24, 2022
  
  1f56f20e Browse Files
- Adding switch to stop scorr if refinement is too slow. · 8e13245e
  Alan Mishchenko committed Apr 24, 2022
  
  8e13245e Browse Files
22 Apr, 2022 1 commit
- Experiments with word-level data structures. · b79f37ae
  Alan Mishchenko committed Apr 22, 2022
  
  b79f37ae Browse Files
07 Apr, 2022 1 commit
- Merge pull request #160 from antonblanchard/signed-char · fdf08d2a
```
Fix compile error on targets with unsigned char
```
  alanminko committed Apr 06, 2022
  fdf08d2a Browse Files
05 Apr, 2022 2 commits
- Added a switch to &dfs to perform levelized ordering. · e5e5e354
  Alan Mishchenko committed Apr 04, 2022
  
  e5e5e354 Browse Files
- Experiments with word-level data structures. · 7ad8f954
  Alan Mishchenko committed Apr 04, 2022
  
  7ad8f954 Browse Files
04 Apr, 2022 1 commit
- Merge pull request #145 from QuantamHD/fix_internal_pins · 547de096
```
Fixes internal pin parsing error in ASAP7 liberty file.
```
  alanminko committed Apr 04, 2022
  547de096 Browse Files
03 Apr, 2022 1 commit
- Suggested changes to properly initialize the variable array for Cudd_bddVectorCompose(). · 5405003a
  Alan Mishchenko committed Apr 02, 2022
  
  5405003a Browse Files