Commits · 8f5c823fa40fa39755f5ca8c5209f8f1ffd1c364 · lvzhengyang / abc · GitLab

07 Jul, 2022 2 commits
- Merge pull request #17 from YosysHQ/wasi-wlnRtl · 8f5c823f
```
Add support for WASI platform in Wln_ConvertToRtl
```
  Catherine committed Jul 07, 2022
  8f5c823f Browse Files
- Add support for WASI platform in Wln_ConvertToRtl. · 5f40c470
  Catherine committed Jul 07, 2022
  
  5f40c470 Browse Files
04 Jul, 2022 2 commits
- Prevent types from stdint to be defined under abc namespace · f159bef6
  Miodrag Milanovic committed Jul 04, 2022
  
  f159bef6 Browse Files
- Merge remote-tracking branch 'upstream/master' into yosys-experimental · 163af36f
  Miodrag Milanovic committed Jul 04, 2022
  
  163af36f Browse Files
01 Jul, 2022 2 commits
- Merge pull request #16 from jix/read_cex_chagnes · 18634305
```
read_cex: Allow reading cex that has extra registers
```
  Jannis Harder committed Jul 01, 2022
  18634305 Browse Files
- read_cex: Allow reading cex that has extra registers · 69ffaa09
  Jannis Harder committed Jul 01, 2022
  
  69ffaa09 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
06 May, 2022 3 commits
- distinquish between old and new format as well · 09a7e6da
  Miodrag Milanovic committed May 06, 2022
  
  09a7e6da Browse Files
- Give more reasonable error on read_cex and handle status · 6234e18d
  Miodrag Milanovic committed May 06, 2022
  
  6234e18d Browse Files
- Add missing class names in FreeBSD-ifdefed code. · c84323b5
  Yuri Victorovich committed May 06, 2022
  
  c84323b5 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