index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
Commit message (
Expand
)
Author
Age
Files
Lines
...
|
*
|
|
Intersection a bug in rewrite/refactor.
Alan Mishchenko
2022-02-23
1
-1
/
+1
|
*
|
|
Intersection a bug in rewrite/refactor.
Alan Mishchenko
2022-02-22
9
-46
/
+84
|
*
|
|
Similar changes suggested in other places.
Alan Mishchenko
2022-02-18
1
-4
/
+4
|
*
|
|
Suggested change to prevent ABC from crashing when compiled on Windows.
Alan Mishchenko
2022-02-18
1
-1
/
+2
|
|
|
/
|
|
/
|
|
*
|
Experiments with word-level data structures.
Alan Mishchenko
2022-02-16
7
-224
/
+562
|
*
|
Improving truth table handling.
Alan Mishchenko
2022-02-16
3
-2
/
+27
|
*
|
Improving truth table handling.
Alan Mishchenko
2022-02-03
5
-21
/
+166
|
*
|
Compiler warnings.
Alan Mishchenko
2022-02-02
1
-2
/
+2
|
*
|
Experiments with word-level data structures.
Alan Mishchenko
2022-02-02
4
-33
/
+440
|
*
|
Adding option to dump CNF after preprocessing in &glucose.
Alan Mishchenko
2022-02-02
6
-8
/
+22
|
*
|
Suggested bug fix.
Alan Mishchenko
2022-01-22
1
-1
/
+1
|
*
|
Move CI to GitHub Actions.
Baruch Sterin
2022-01-22
4
-8
/
+8
|
*
|
Suggested bug fixes in the old code.
Alan Mishchenko
2022-01-21
6
-9
/
+8
|
*
|
Compiler warnings.
Alan Mishchenko
2022-01-21
1
-6
/
+6
|
*
|
Experiments with word-level data structures.
Alan Mishchenko
2022-01-21
10
-155
/
+2379
|
*
|
Missing class name in the FreeBSD code.
Alan Mishchenko
2021-12-29
2
-2
/
+2
|
*
|
Changes to pattern generation.
Alan Mishchenko
2021-12-26
1
-32
/
+63
|
|
/
|
*
Adding new command &icec.
Alan Mishchenko
2021-12-17
5
-8
/
+265
|
*
Fixing a rare problem with choice nodes.
Alan Mishchenko
2021-12-16
1
-0
/
+26
|
*
Compiler warning.
Alan Mishchenko
2021-12-16
1
-8
/
+7
|
*
Adding new command %yosys.
Alan Mishchenko
2021-12-16
3
-0
/
+284
|
*
Outputting the constant node in 'write_gml'.
Alan Mishchenko
2021-12-06
1
-0
/
+12
|
*
Adding command-line switch 'testnpn -A 12' for P-only canonical form computat...
Alan Mishchenko
2021-12-03
3
-2
/
+16
|
*
Bug fix in blasting word-level flops.
Alan Mishchenko
2021-12-02
2
-3
/
+11
|
*
Disabling choices when they are computed incorrectly.
Alan Mishchenko
2021-11-30
2
-2
/
+9
|
*
Changes to make compiler happy.
Alan Mishchenko
2021-11-27
10
-1
/
+231
|
*
Merge branch 'master' of github.com:berkeley-abc/abc
Alan Mishchenko
2021-11-27
1
-1
/
+24
|
|
\
|
*
|
Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase) (add...
Alan Mishchenko
2021-11-27
1
-0
/
+6
*
|
|
read_cex: Allow reading cex that has extra registers
Jannis Harder
2022-07-01
1
-0
/
+6
*
|
|
distinquish between old and new format as well
Miodrag Milanovic
2022-05-06
1
-3
/
+3
*
|
|
Give more reasonable error on read_cex and handle status
Miodrag Milanovic
2022-05-06
1
-4
/
+7
*
|
|
Add missing class names in FreeBSD-ifdefed code.
Yuri Victorovich
2022-05-06
2
-2
/
+2
*
|
|
Fix for unhandled aiw file commands
Miodrag Milanovic
2022-04-15
1
-2
/
+2
*
|
|
Make read_cex able to append if some latches are missing
Miodrag Milanovic
2022-04-13
1
-3
/
+11
*
|
|
fix buffer error
Miodrag Milanovic
2022-03-22
1
-2
/
+5
*
|
|
gcc 4.8 fix
Miodrag Milanovic
2022-03-04
1
-3
/
+3
*
|
|
read_cex (#12)
Miodrag Milanović
2022-03-04
1
-7
/
+285
*
|
|
Merge pull request #11 from YosysHQ/writecex_cexinfo
Miodrag Milanović
2022-02-15
1
-30
/
+64
|
\
\
\
|
*
|
|
Fixes and more cleanups in write_cex output code
Claire Xenia Wolf
2022-02-15
1
-34
/
+27
|
*
|
|
Cleanups in write_cex output format
Claire Xenia Wolf
2022-02-15
1
-2
/
+7
|
*
|
|
Enable writing of minimized Cex in non-names mode
Claire Xenia Wolf
2022-02-15
1
-3
/
+7
|
*
|
|
write_cex - add minimize using algorithm from cexinfo command
Miodrag Milanovic
2021-11-19
1
-4
/
+36
*
|
|
|
Extend WASI platform support for glucose2.
whitequark
2021-11-27
3
-0
/
+20
|
/
/
/
*
|
|
Add WASI platform support to glucose2.
Miodrag Milanovic
2021-11-12
1
-8
/
+6
*
|
|
Define S_IREAD|IWRITE macros using IRUSR|IWUSR
Mohamed A. Bamakhrama
2021-11-12
1
-0
/
+17
*
|
|
Add WASI platform support to bsat2 and glucose.
whitequark
2021-11-12
6
-0
/
+32
*
|
|
Merge remote-tracking branch 'upstream/master' into yosys-experimental
Miodrag Milanovic
2021-11-12
237
-2622
/
+34584
|
\
\
\
|
|
|
/
|
|
/
|
|
*
|
Merge pull request #139 from antmicro/fix-unconnected-couts-upstream
alanminko
2021-11-10
1
-1
/
+24
|
|
\
\
|
|
|
/
|
|
/
|
|
|
*
Fix typo
Michael Gielda
2021-10-26
1
-1
/
+1
|
|
*
Added including unconnected carry-outs in the carry-chain connection list.
Maciej Kurc
2021-10-25
1
-1
/
+24
[prev]
[next]