projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
tests: read +/xilinx/cell_sim.v before xilinx_dsp test
[yosys.git]
/
tests
/
aiger
/
2020-04-10
whitequark
Merge pull request #1603 from whitequark/ice40-ram_style
tree
|
commitdiff
2020-03-27
Claire Wolf
Merge pull request #1607 from whitequark/simplify-simpl...
tree
|
commitdiff
2020-03-12
Miodrag Milanović
Merge pull request #1666 from Xiretza/improve-makefile
tree
|
commitdiff
2020-03-03
N. Engelhardt
Merge pull request #1691 from ZirconiumX/use-flowmap...
tree
|
commitdiff
2020-03-03
Claire Wolf
Merge pull request #1681 from YosysHQ/eddie/fix1663
tree
|
commitdiff
2020-03-03
Claire Wolf
Merge pull request #1519 from YosysHQ/eddie/submod_po
tree
|
commitdiff
2020-02-26
Miodrag Milanović
Merge pull request #1705 from YosysHQ/logger_pass
tree
|
commitdiff
2020-02-21
Eddie Hung
Merge pull request #1703 from YosysHQ/eddie/specify_improve
tree
|
commitdiff
2020-02-20
Claire Wolf
Merge pull request #1642 from jjj11x/jjj11x/sv-enum
tree
|
commitdiff
2020-02-15
Marcin Kościelnicki
tests/aiger: Add missing .gitignore
tree
|
commitdiff
2020-02-01
Eddie Hung
Merge branch 'master' into eddie/submod_po
tree
|
commitdiff
2020-01-29
Claire Wolf
Merge branch 'vector_fix' of https://github.com/Kmanfi...
tree
|
commitdiff
2020-01-29
N. Engelhardt
Merge pull request #1510 from pumbor/master
tree
|
commitdiff
2020-01-29
Miodrag Milanović
Merge pull request #1559 from YosysHQ/efinix_test_fix
tree
|
commitdiff
2020-01-28
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-28
Claire Wolf
Merge pull request #1567 from YosysHQ/eddie/sat_init_wa...
tree
|
commitdiff
2020-01-28
N. Engelhardt
Merge pull request #1573 from YosysHQ/eddie/xilinx_tristate
tree
|
commitdiff
2020-01-28
Claire Wolf
Merge pull request #1553 from whitequark/manual-dffx
tree
|
commitdiff
2020-01-27
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-27
Claire Wolf
Merge pull request #1613 from porglezomp-misc/version...
tree
|
commitdiff
2020-01-18
David Shah
Merge pull request #1602 from niklasnisbeth/ice40-init...
tree
|
commitdiff
2020-01-09
Eddie Hung
Merge remote-tracking branch 'origin/eddie/abc9_refacto...
tree
|
commitdiff
2020-01-07
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-07
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2020-01-07
Eddie Hung
Merge pull request #1618 from YosysHQ/eddie/aiger_fixes
tree
|
commitdiff
2020-01-07
Eddie Hung
tests/aiger: write Yosys output
tree
|
commitdiff
2020-01-07
Eddie Hung
Add testcases
tree
|
commitdiff
2020-01-07
Eddie Hung
tests/aiger: write Yosys output
tree
|
commitdiff
2019-09-27
Aman Goel
Merge pull request #7 from YosysHQ/master
tree
|
commitdiff
2019-08-25
Clifford Wolf
Merge pull request #1112 from acw1251/pyosys_sigsig_issue
tree
|
commitdiff
2019-07-24
Jim Lawson
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-07-09
Clifford Wolf
Merge pull request #1146 from gsomlo/gls-test-abc-ext
tree
|
commitdiff
2019-07-03
Clifford Wolf
Merge pull request #1147 from YosysHQ/clifford/fix1144
tree
|
commitdiff
2019-07-01
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
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