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
...
|
*
Bug fix in delay-opt framework.
Alan Mishchenko
2017-01-09
1
-1
/
+1
|
*
Change suggested by Udi Finkelstein.
Alan Mishchenko
2017-01-09
2
-40
/
+2
|
*
Bug fixes by Clifford Wolf.
Alan Mishchenko
2017-01-08
3
-4
/
+8
|
*
Bug fix in delay-opt framework.
Alan Mishchenko
2017-01-07
1
-4
/
+4
|
*
Adding an option to not add buffers to decouple COs driven by the same intern...
Alan Mishchenko
2017-01-07
1
-0
/
+7
|
*
Compiler warnings.
Alan Mishchenko
2017-01-07
8
-31
/
+31
|
*
Dealing wit COs driven by inverters in MiniLUT.
Alan Mishchenko
2017-01-06
1
-2
/
+38
|
*
Creating file name from design name for PDR invariant.
Alan Mishchenko
2017-01-06
1
-1
/
+2
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-05
1
-15
/
+17
|
*
Adding two external APIs.
Alan Mishchenko
2017-01-05
1
-0
/
+2
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-02
2
-10
/
+10
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-02
1
-3
/
+20
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-02
1
-16
/
+16
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-02
1
-1
/
+1
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-02
1
-2
/
+4
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-02
7
-30
/
+268
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-01
1
-1
/
+1
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-01
2
-30
/
+31
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-01
1
-1
/
+1
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-01
4
-1
/
+468
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-01
1
-1
/
+1
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-01
1
-0
/
+2
|
*
Compiler warnings.
Alan Mishchenko
2017-01-01
1
-1
/
+1
|
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-01
1
-1
/
+1
|
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-31
1
-1
/
+1
|
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-31
1
-1
/
+1
|
*
Compiler warnings.
Alan Mishchenko
2016-12-31
6
-15
/
+15
|
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-31
2
-0
/
+12
|
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-31
9
-198
/
+446
|
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-29
7
-153
/
+196
|
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-29
4
-39
/
+332
|
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-28
2
-107
/
+239
|
*
C++ compatibility fix.
Alan Mishchenko
2016-12-28
1
-0
/
+2
|
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-27
2
-0
/
+618
|
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-27
2
-3
/
+4
|
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-27
4
-48
/
+254
|
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-25
6
-63
/
+551
|
*
Correcting API names for inputing/outputing MiniLut.
Alan Mishchenko
2016-12-23
1
-3
/
+3
|
*
Several changes in arithmetic circuit manipulation.
Alan Mishchenko
2016-12-22
7
-24
/
+426
|
*
Converting some errors into warnings.
Alan Mishchenko
2016-12-21
2
-3
/
+3
*
|
Fixes to make xSAT compile with old compilers.
Bruno Schmitt
2016-12-13
8
-136
/
+119
|
/
*
Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.
Alan Mishchenko
2016-12-13
2
-4
/
+3
*
Bug fix in 'dsat <file.cnf>' when the number of classes in listed incorrectly.
Alan Mishchenko
2016-12-13
10
-116
/
+348
*
xSAT is an experimental SAT Solver based on Glucose v3(see Glucose copyrights...
Bruno Schmitt
2016-12-12
14
-99
/
+3391
*
Improvements to GIA visualization.
Alan Mishchenko
2016-12-08
1
-1
/
+0
*
Improvements to GIA visualization.
Alan Mishchenko
2016-12-08
1
-265
/
+505
*
Adding support for minimalistic representation of LUT mapping.
Alan Mishchenko
2016-12-05
2
-1
/
+5
*
Bug fix in Liberty parser.
Alan Mishchenko
2016-12-05
1
-0
/
+4
*
Compiler warnings.
Alan Mishchenko
2016-12-05
3
-4
/
+4
*
Adding support for minimalistic representation of LUT mapping.
Alan Mishchenko
2016-12-05
6
-11
/
+496
[prev]
[next]