index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
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
11
-116
/
+396
*
xSAT is an experimental SAT Solver based on Glucose v3(see Glucose copyrights...
Bruno Schmitt
2016-12-12
15
-100
/
+3392
*
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
7
-11
/
+500
*
New SAT-based optimization package.
Alan Mishchenko
2016-12-04
6
-39
/
+168
*
Analysis of arithmetic logic cones.
Alan Mishchenko
2016-12-04
6
-26
/
+366
*
New SAT-based optimization package.
Alan Mishchenko
2016-12-03
2
-123
/
+437
*
Changes to arithmetic logic detection.
Alan Mishchenko
2016-12-02
7
-59
/
+736
*
New SAT-based optimization package.
Alan Mishchenko
2016-11-30
1
-1
/
+1
*
New SAT-based optimization package.
Alan Mishchenko
2016-11-30
2
-122
/
+485
*
Commenting out bailout in 'print_cex' when CEX has latches initialized to 1.
Alan Mishchenko
2016-11-30
1
-1
/
+2
*
Small changes in handling arithmetic logic.
Alan Mishchenko
2016-11-30
2
-3
/
+18
*
New SAT-based optimization package.
Alan Mishchenko
2016-11-28
4
-81
/
+491
*
New SAT-based optimization package.
Alan Mishchenko
2016-11-27
2
-27
/
+376
*
New command to profile arithmetic logic cones.
Alan Mishchenko
2016-11-26
6
-16
/
+282
*
New SAT-based optimization package.
Alan Mishchenko
2016-11-26
7
-43
/
+821
*
Adding switch '-c' to generate only stuck-at faults in 'faultclasses -g'.
Alan Mishchenko
2016-11-22
2
-8
/
+14
*
Minor bug fixes.
Alan Mishchenko
2016-11-21
2
-2
/
+2
*
New SAT-based optimization package.
Alan Mishchenko
2016-11-19
2
-65
/
+319
*
New SAT-based optimization package.
Alan Mishchenko
2016-11-17
1
-15
/
+232
*
New SAT-based optimization package.
Alan Mishchenko
2016-11-17
10
-1
/
+683
*
Fixed several compiler warnings.
Alan Mishchenko
2016-11-17
2
-23
/
+34
*
Merged alanmi/abc into default
Vinicius Callegaro
2016-11-16
5
-16
/
+1093
|
\
|
*
Renaming command 'detect' to be 'faultclasses'.
Alan Mishchenko
2016-11-10
2
-10
/
+12
|
*
Compiler warnings.
Alan Mishchenko
2016-11-09
1
-3
/
+0
|
*
Equivalent fault detection code.
Alan Mishchenko
2016-11-09
5
-9
/
+1087
*
|
Disjoint-support decomposition with cofactoring and boolean difference analysis
Vinicius Callegaro
2016-11-08
6
-2
/
+643
|
/
*
Isolating CBA types into a separate header.
Alan Mishchenko
2016-11-08
1
-0
/
+169
*
Isolating CBA types into a separate header.
Alan Mishchenko
2016-11-07
2
-110
/
+5
*
Exact synthesis.
Mathias Soeken
2016-10-29
1
-1
/
+1
*
Exact synthesis.
Mathias Soeken
2016-10-26
1
-0
/
+15
*
Exact synthesis.
Mathias Soeken
2016-10-26
1
-2
/
+14
*
Merged alanmi/abc into default
Mathias Soeken
2016-10-26
10
-2
/
+466
|
\
|
*
Parser for JSON format.
Alan Mishchenko
2016-10-25
10
-2
/
+466
*
|
Exact synthesis.
Mathias Soeken
2016-10-25
2
-8
/
+8
|
/
*
Code for profiling arithmetic circuits.
Alan Mishchenko
2016-10-21
1
-2
/
+2
*
Code for profiling arithmetic circuits.
Alan Mishchenko
2016-10-21
1
-0
/
+420
*
Code for profiling arithmetic circuits.
Alan Mishchenko
2016-10-21
4
-7
/
+32
*
Fixing accidental change in the project file.
Alan Mishchenko
2016-10-20
1
-4
/
+0
*
Improving robustness of &b.
Alan Mishchenko
2016-10-15
1
-2
/
+2
*
Memory leak in scl package.
Alan Mishchenko
2016-10-12
1
-0
/
+2
*
Updates to arithmetic verification.
Alan Mishchenko
2016-10-09
3
-64
/
+220
*
Adding switch &mfs -b to preserve white boxes during optimization.
Alan Mishchenko
2016-10-07
5
-7
/
+19
*
Small FXCH bug fix.
Bruno Schmitt
2016-10-07
1
-3
/
+9
*
Change Verilog reader to take a string rather than file name.
Alan Mishchenko
2016-10-06
3
-8
/
+10
[next]