index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
base
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
Change suggested by Udi Finkelstein.
Alan Mishchenko
2017-01-09
2
-40
/
+2
*
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
1
-1
/
+1
*
Updates to delay optimization project.
Alan Mishchenko
2017-01-02
1
-13
/
+18
*
Compiler warnings.
Alan Mishchenko
2016-12-31
1
-2
/
+2
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-31
1
-2
/
+26
*
Updates to delay optimization project.
Alan Mishchenko
2016-12-29
1
-2
/
+14
*
Several changes in arithmetic circuit manipulation.
Alan Mishchenko
2016-12-22
1
-4
/
+8
*
Converting some errors into warnings.
Alan Mishchenko
2016-12-21
2
-3
/
+3
*
xSAT is an experimental SAT Solver based on Glucose v3(see Glucose copyrights...
Bruno Schmitt
2016-12-12
1
-99
/
+240
*
Compiler warnings.
Alan Mishchenko
2016-12-05
1
-1
/
+1
*
Adding support for minimalistic representation of LUT mapping.
Alan Mishchenko
2016-12-05
1
-10
/
+22
*
New SAT-based optimization package.
Alan Mishchenko
2016-12-04
1
-3
/
+8
*
Analysis of arithmetic logic cones.
Alan Mishchenko
2016-12-04
1
-3
/
+10
*
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
1
-1
/
+10
*
New command to profile arithmetic logic cones.
Alan Mishchenko
2016-11-26
5
-16
/
+278
*
New SAT-based optimization package.
Alan Mishchenko
2016-11-26
2
-1
/
+130
*
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
1
-1
/
+1
*
Merged alanmi/abc into default
Vinicius Callegaro
2016-11-16
2
-16
/
+1088
|
\
|
*
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
2
-9
/
+1082
*
|
Disjoint-support decomposition with cofactoring and boolean difference analysis
Vinicius Callegaro
2016-11-08
2
-1
/
+24
|
/
*
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
1
-110
/
+1
*
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
9
-2
/
+458
|
\
|
*
Parser for JSON format.
Alan Mishchenko
2016-10-25
9
-2
/
+458
*
|
Exact synthesis.
Mathias Soeken
2016-10-25
2
-8
/
+8
|
/
*
Code for profiling arithmetic circuits.
Alan Mishchenko
2016-10-21
1
-4
/
+18
*
Updates to arithmetic verification.
Alan Mishchenko
2016-10-09
1
-26
/
+56
*
Adding switch &mfs -b to preserve white boxes during optimization.
Alan Mishchenko
2016-10-07
1
-2
/
+6
*
Change Verilog reader to take a string rather than file name.
Alan Mishchenko
2016-10-06
3
-8
/
+10
*
Adding module name when reading SMT-LIB from stdin.
Alan Mishchenko
2016-10-02
1
-1
/
+1
*
Bug fix in SMT parser.
Alan Mishchenko
2016-10-02
1
-20
/
+12
*
Bug fix in the SMT parser to address multi-argument operators and large const...
Alan Mishchenko
2016-09-30
1
-2
/
+295
*
Compiler warnings.
Alan Mishchenko
2016-09-30
1
-2
/
+2
*
Merged alanmi/abc into default
Mathias Soeken
2016-09-29
2
-8
/
+25
|
\
|
*
Supporting 'define-fun' with an expression rather than a constant.
Alan Mishchenko
2016-09-29
1
-6
/
+19
|
*
Adding flag 'pdr -e' to output only support variables in the invariant.
Alan Mishchenko
2016-09-28
1
-2
/
+6
*
|
Some fixes in BMS.
Mathias Soeken
2016-09-14
1
-9
/
+13
*
|
New search strategy in BMS.
Mathias Soeken
2016-09-14
1
-98
/
+101
*
|
Updates to BMS.
Mathias Soeken
2016-09-10
1
-72
/
+90
*
|
Fix in BMS.
Mathias Soeken
2016-09-09
1
-0
/
+5
*
|
Fixes in BMS.
Mathias Soeken
2016-09-09
1
-7
/
+9
*
|
Missing case in BMS.
Mathias Soeken
2016-09-09
1
-1
/
+4
[prev]
[next]