index
:
iCE40/yosys
master
clone of https://github.com/YosysHQ/yosys
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
examples
Commit message (
Expand
)
Author
Age
Files
Lines
*
glift: Use `qbfsat -O2` instead of manually calling `abc`.
Alberto Gonzalez
2020-07-01
8
-40
/
+8
*
glift: Change command names to better represent their functions.
Alberto Gonzalez
2020-07-01
9
-27
/
+27
*
glift: Add `-create-imprecise` command, rename other commands, and re-work th...
Alberto Gonzalez
2020-07-01
9
-12
/
+13
*
glift: Add examples, including a number of benchmarks used in some academic w...
Alberto Gonzalez
2020-07-01
18
-1
/
+7279
*
Use C++11 final/override keywords.
whitequark
2020-06-18
1
-1
/
+1
*
kernel: use more ID::*
Eddie Hung
2020-04-02
1
-2
/
+2
*
Add support for optimizing exists-forall problems.
Alberto Gonzalez
2020-03-13
2
-2
/
+22
*
set undriven pads to zero
Pepijn de Vos
2019-09-04
1
-2
/
+2
*
fix tcl script
Pepijn de Vos
2019-09-04
1
-2
/
+1
*
add broken TCL run script
Pepijn de Vos
2019-09-04
2
-0
/
+18
*
Add demonstration of breakage
Pepijn de Vos
2019-09-04
1
-0
/
+1
*
Update example for GW1NR-9
Pepijn de Vos
2019-09-04
4
-47
/
+28
*
Add clock buffer insertion pass, improve iopadmap.
Marcin Kościelnicki
2019-08-13
1
-2
/
+1
*
Add a simple example for Spartan 6
Marcin Kościelnicki
2019-07-24
5
-0
/
+47
*
Added cell_stats example
Benedikt Tutzer
2019-04-03
4
-478
/
+54
*
Merge remote-tracking branch 'origin/master' into feature/python_bindings
Benedikt Tutzer
2019-03-28
16
-1
/
+215
|
\
|
*
Merge pull request #856 from kprasadvnsi/master
Clifford Wolf
2019-03-07
6
-10
/
+12
|
|
\
|
|
*
examples/anlogic/ now also output the SVF file.
Kali Prasad
2019-03-06
6
-10
/
+12
|
*
|
Refactor SF2 iobuf insertion, Add clkint insertion
Clifford Wolf
2019-03-06
1
-1
/
+1
|
*
|
Improve igloo2 example
Clifford Wolf
2019-03-05
1
-2
/
+3
|
*
|
Improve igloo2 example
Clifford Wolf
2019-03-05
2
-2
/
+54
|
*
|
Improvements in SF2 flow and demo
Clifford Wolf
2019-03-05
2
-1
/
+2
|
|
/
|
*
Improve igloo2 exmaple
Clifford Wolf
2019-03-05
4
-8
/
+16
|
*
Add missing newline
Clifford Wolf
2019-03-05
1
-1
/
+1
|
*
Added examples/anlogic/
Kali Prasad
2019-03-04
7
-0
/
+55
|
*
Improve igloo2 example
Clifford Wolf
2019-03-03
2
-3
/
+10
|
*
Update igloo2 example to Libero v12.0
Clifford Wolf
2019-03-03
2
-6
/
+5
|
*
Cleanups in igloo2 example design
Clifford Wolf
2019-01-17
6
-7
/
+4
|
*
Add SF2 IO buffer insertion
Clifford Wolf
2019-01-17
2
-2
/
+3
|
*
Improve Igloo2 example
Clifford Wolf
2019-01-17
8
-22
/
+41
|
*
Improve igloo2 example
Clifford Wolf
2019-01-08
4
-5
/
+29
|
*
Add skeleton Yosys-Libero igloo2 example project
Clifford Wolf
2019-01-05
5
-0
/
+44
|
*
Merge pull request #591 from hzeller/virtual-override
Clifford Wolf
2018-08-15
1
-1
/
+1
|
|
\
|
|
*
Consistent use of 'override' for virtual methods in derived classes.
Henner Zeller
2018-07-20
1
-1
/
+1
|
*
|
fix basys3 example
japm48
2018-07-22
2
-0
/
+4
|
|
/
*
/
Added sample code for python-api
Benedikt Tutzer
2018-12-11
3
-0
/
+479
|
/
*
Update examples/cmos/counter.ys to use "synth" command
Clifford Wolf
2018-05-30
1
-5
/
+5
*
Add smtbmc support for exist-forall problems
Clifford Wolf
2018-02-23
3
-2
/
+23
*
Add $allconst and $allseq cell types
Clifford Wolf
2018-02-23
1
-1
/
+1
*
Fixed the -vout flag to -vqm in examples/intel directory
dh73
2017-11-14
4
-4
/
+4
*
Add timing constraints to osu035 example
Clifford Wolf
2017-10-10
3
-2
/
+4
*
Add examples/osu035
Clifford Wolf
2017-05-23
4
-0
/
+30
*
Replace CRLF line endings with LF in de2i.qsf (quartus example)
Clifford Wolf
2017-04-12
1
-1098
/
+1098
*
Squelch trailing whitespace
Larry Doolittle
2017-04-12
6
-31
/
+31
*
Add initial support for both MAX10 and Cyclone IV (E|GX) FPGAs
dh73
2017-04-05
17
-0
/
+1287
*
Added $assert/$assume support to AIGER back-end
Clifford Wolf
2016-12-03
2
-3
/
+3
*
Added examples/aiger/
Clifford Wolf
2016-12-01
4
-0
/
+53
*
Progress in examples/gowin/
Clifford Wolf
2016-11-08
5
-21
/
+95
*
Added examples/gowin/
Clifford Wolf
2016-11-07
6
-0
/
+57
*
Added $anyseq cell type
Clifford Wolf
2016-10-14
1
-1
/
+2
[next]
