projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge pull request #3310 from robinsonb5-PRs/master
[yosys.git]
/
tests
/
aiger
/
2022-02-11
Claire Xen
Merge pull request #2019 from boqwxp/glift
tree
|
commitdiff
2020-11-25
Claire Xen
Merge pull request #2133 from dh73/nodev_head
tree
|
commitdiff
2020-11-24
Miodrag Milanović
Merge pull request #2295 from epfl-vlsc/firrtl_blackbox...
tree
|
commitdiff
2020-10-01
clairexen
Merge pull request #2378 from udif/pr_dollar_high_low
tree
|
commitdiff
2020-10-01
clairexen
Merge pull request #2380 from Xiretza/parallel-tests
tree
|
commitdiff
2020-09-23
Miodrag Milanović
Merge pull request #2384 from nakengelhardt/fix_2383
tree
|
commitdiff
2020-09-23
N. Engelhardt
switch argument order to work with macOS getopt
tree
|
commitdiff
2020-09-21
N. Engelhardt
Merge pull request #2372 from nakengelhardt/name_is_public
tree
|
commitdiff
2020-09-17
clairexen
Merge pull request #2329 from antmicro/arrays-fix-multi...
tree
|
commitdiff
2020-09-17
clairexen
Merge pull request #2330 from antmicro/arrays-fix-multi...
tree
|
commitdiff
2020-09-10
Miodrag Milanović
Merge pull request #2369 from Xiretza/gitignores
tree
|
commitdiff
2020-08-31
Xiretza
Add missing gitignores for test artifacts
tree
|
commitdiff
2020-06-04
whitequark
Merge pull request #2006 from jersey99/signed-in-rtlil...
tree
|
commitdiff
2020-05-14
Eddie Hung
Merge pull request #1994 from YosysHQ/eddie/fix_bug1758
tree
|
commitdiff
2020-05-07
Claire Wolf
Merge pull request #2005 from YosysHQ/claire/fix1990
tree
|
commitdiff
2020-05-05
whitequark
Merge pull request #2012 from whitequark/fix-wasi-abc...
tree
|
commitdiff
2020-05-04
Eddie Hung
Merge pull request #1996 from boqwxp/rtlil_source_locations
tree
|
commitdiff
2020-05-03
whitequark
Merge pull request #2000 from whitequark/log_error...
tree
|
commitdiff
2020-05-03
Claire Wolf
Merge pull request #2014 from YosysHQ/claire/fixoptalu
tree
|
commitdiff
2020-05-02
Eddie Hung
Merge pull request #2013 from YosysHQ/eddie/aiger_fixes
tree
|
commitdiff
2020-05-02
Eddie Hung
tests: aiger test for wire->start_offset != 0
tree
|
commitdiff
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
next