projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Be more explicit
[yosys.git]
/
tests
/
aiger
/
2019-07-03
Clifford Wolf
Merge pull request #1147 from YosysHQ/clifford/fix1144
tree
|
commitdiff
2019-06-28
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-06-28
Eddie Hung
Merge pull request #1098 from YosysHQ/xaig
tree
|
commitdiff
2019-06-28
Clifford Wolf
Merge pull request #1146 from gsomlo/gls-test-abc-ext
tree
|
commitdiff
2019-06-28
Gabriel L. Somlo
tests: use optional ABCEXTERNAL when specified
tree
|
commitdiff
2019-06-27
Bogdan Vukobratovic
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge branch 'xc7nocarrymux' of https://github.com...
tree
|
commitdiff
2019-06-21
Eddie Hung
Merge remote-tracking branch 'origin/eddie/muxpack...
tree
|
commitdiff
2019-06-21
Eddie Hung
Merge branch 'master' into eddie/muxpack
tree
|
commitdiff
2019-06-21
Eddie Hung
Merge pull request #1085 from YosysHQ/eddie/shregmap_im...
tree
|
commitdiff
2019-06-21
Clifford Wolf
Merge pull request #1117 from bwidawsk/more-home
tree
|
commitdiff
2019-06-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-06-20
Clifford Wolf
Update some .gitignore files
tree
|
commitdiff
2019-06-20
Clifford Wolf
Merge branch 'master' of https://github.com/bogdanvuk...
tree
|
commitdiff
2019-06-20
Clifford Wolf
Merge branch 'unpacked_arrays' of https://github.com...
tree
|
commitdiff
2019-06-19
Clifford Wolf
Merge pull request #1105 from YosysHQ/clifford/fixlogicinit
tree
|
commitdiff
2019-06-19
Clifford Wolf
Make tests/aiger less chatty
tree
|
commitdiff
2019-06-14
Bogdan Vukobratovic
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-06-13
Serge Bazanski
Merge pull request #829 from abdelrahmanhosny/master
tree
|
commitdiff
2019-06-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-10
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-06-10
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-06-10
Eddie Hung
Add some more comments
tree
|
commitdiff
2019-06-08
Clifford Wolf
Merge pull request #1078 from YosysHQ/eddie/muxcover_costs
tree
|
commitdiff
2019-06-07
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-06-07
Eddie Hung
Merge branch 'master' into eddie/muxpack
tree
|
commitdiff
2019-06-07
Clifford Wolf
Merge pull request #1079 from YosysHQ/eddie/fix_read_aiger
tree
|
commitdiff
2019-06-07
Eddie Hung
Test *.aag too, by using *.aig as reference
tree
|
commitdiff
2019-06-07
Eddie Hung
Use ABC to convert AIGER to Verilog, then sat against...
tree
|
commitdiff
2019-06-07
Eddie Hung
Add symbols to AIGER test inputs for ABC
tree
|
commitdiff
2019-04-30
Jim Lawson
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-04-30
Benedikt Tutzer
Merge branch 'master' of https://github.com/YosysHQ...
tree
|
commitdiff
2019-04-22
Eddie Hung
Merge remote-tracking branch 'origin/xc7srl' into xc7mux
tree
|
commitdiff
2019-04-22
Clifford Wolf
Merge pull request #905 from christian-krieg/feature...
tree
|
commitdiff
2019-04-22
Clifford Wolf
Merge pull request #941 from Wren6991/sim_lib_io_clke
tree
|
commitdiff
2019-04-22
Clifford Wolf
Merge branch 'master' of https://github.com/dh73/yosys_...
tree
|
commitdiff
2019-04-22
Clifford Wolf
Merge pull request #911 from mmicko/gowin-nobram
tree
|
commitdiff
2019-04-22
Clifford Wolf
Merge pull request #909 from zachjs/master
tree
|
commitdiff
2019-04-21
Eddie Hung
Merge branch 'master' into map_cells_before_map_luts
tree
|
commitdiff
2019-04-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-04-20
Clifford Wolf
Merge pull request #943 from YosysHQ/clifford/whitebox
tree
|
commitdiff
2019-04-20
Eddie Hung
Merge remote-tracking branch 'origin/pmux2shiftx' into...
tree
|
commitdiff
2019-04-20
Eddie Hung
Merge remote-tracking branch 'origin' into xc7srl
tree
|
commitdiff
2019-04-20
Clifford Wolf
Merge pull request #942 from YosysHQ/clifford/fix931
tree
|
commitdiff
2019-04-19
Clifford Wolf
Add tests/aiger/.gitignore
tree
|
commitdiff
2019-04-01
Jim Lawson
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-03-28
Benedikt Tutzer
Merge remote-tracking branch 'origin/master' into featu...
tree
|
commitdiff
2019-03-19
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7srl
tree
|
commitdiff
2019-03-19
Eddie Hung
Merge pull request #808 from eddiehung/read_aiger
tree
|
commitdiff
2019-03-19
Eddie Hung
Merge https://github.com/YosysHQ/yosys into read_aiger
tree
|
commitdiff
2019-02-26
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-02-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-02-21
Eddie Hung
Merge branch 'clifford/dffsrfix' of https://github...
tree
|
commitdiff
2019-02-19
Eddie Hung
Merge branch 'master' into xaig
tree
|
commitdiff
2019-02-19
Eddie Hung
Merge branch 'master' into read_aiger
tree
|
commitdiff
2019-02-19
Eddie Hung
Merge branch 'master' into read_aiger
tree
|
commitdiff
2019-02-18
Eddie Hung
Merge branch 'dff_init' into read_aiger
tree
|
commitdiff
2019-02-17
Eddie Hung
Merge branch 'dff_init' into read_aiger
tree
|
commitdiff
2019-02-17
Eddie Hung
Merge https://github.com/YosysHQ/yosys into read_aiger
tree
|
commitdiff
2019-02-13
Eddie Hung
Merge https://github.com/YosysHQ/yosys into xaig
tree
|
commitdiff
2019-02-08
Eddie Hung
Merge remote-tracking branch 'origin/dff_init' into...
tree
|
commitdiff
2019-02-08
Eddie Hung
Support and differentiate between ASCII and binary...
tree
|
commitdiff
2019-02-08
Eddie Hung
Add binary AIGs converted from AAG
tree
|
commitdiff
2019-02-06
Eddie Hung
Merge branch 'dff_init' of https://github.com/eddiehung...
tree
|
commitdiff
2019-02-06
Eddie Hung
Rename ASCII tests
tree
|
commitdiff