projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Check that whiteboxes are synthesisable
[yosys.git]
/
tests
/
2019-06-14
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-13
Serge Bazanski
Merge pull request #829 from abdelrahmanhosny/master
tree
|
commitdiff
2019-06-12
Eddie Hung
Revert "Merge remote-tracking branch 'origin/eddie...
tree
|
commitdiff
2019-06-12
Eddie Hung
Add a couple more tests
tree
|
commitdiff
2019-06-12
Eddie Hung
Merge branch 'xc7mux' into xaig
tree
|
commitdiff
2019-06-12
Eddie Hung
Revert "Merge remote-tracking branch 'origin/eddie...
tree
|
commitdiff
2019-06-12
Eddie Hung
Revert "Merge remote-tracking branch 'origin/eddie...
tree
|
commitdiff
2019-06-12
Eddie Hung
Merge remote-tracking branch 'origin/xc7mux' into xaig
tree
|
commitdiff
2019-06-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-11
Eddie Hung
Merge remote-tracking branch 'origin/eddie/shregmap_imp...
tree
|
commitdiff
2019-06-10
Eddie Hung
Merge remote-tracking branch 'origin/eddie/shregmap_imp...
tree
|
commitdiff
2019-06-10
Eddie Hung
Add test
tree
|
commitdiff
2019-06-10
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
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
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 from AIGER to Verilog
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-06-07
Clifford Wolf
Merge pull request #1077 from YosysHQ/clifford/pr983
tree
|
commitdiff
2019-06-07
Clifford Wolf
Rename implicit_ports.sv test to implicit_ports.v
tree
|
commitdiff
2019-06-07
Clifford Wolf
Merge branch 'pr_elab_sys_tasks' of https://github...
tree
|
commitdiff
2019-06-07
Clifford Wolf
Merge branch 'tux3-implicit_named_connection'
tree
|
commitdiff
2019-06-07
Clifford Wolf
Cleanup tux3-implicit_named_connection
tree
|
commitdiff
2019-06-07
Clifford Wolf
Merge branch 'implicit_named_connection' of https:...
tree
|
commitdiff
2019-06-06
Eddie Hung
Merge remote-tracking branch 'origin/eddie/muxpack...
tree
|
commitdiff
2019-06-06
Eddie Hung
Fix and test for balanced case
tree
|
commitdiff
2019-06-06
Eddie Hung
Merge remote-tracking branch 'origin/eddie/muxpack...
tree
|
commitdiff
2019-06-06
Eddie Hung
Fix warnings
tree
|
commitdiff
2019-06-06
Eddie Hung
Support cascading $pmux.A with $mux.A and $mux.B
tree
|
commitdiff
2019-06-06
Eddie Hung
Add non exclusive test
tree
|
commitdiff
2019-06-06
Eddie Hung
One more and tidy up
tree
|
commitdiff
2019-06-06
Eddie Hung
Add a few more special case tests
tree
|
commitdiff
2019-06-06
Eddie Hung
Add tests, fix for !=
tree
|
commitdiff
2019-06-06
tux3
SystemVerilog support for implicit named port connections
tree
|
commitdiff
2019-06-06
Clifford Wolf
Merge pull request #1060 from antmicro/parsing_attr_on_...
tree
|
commitdiff
2019-06-06
David Shah
Merge pull request #1073 from whitequark/ecp5-diamond-iob
tree
|
commitdiff
2019-06-05
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-06-05
Eddie Hung
Merge remote-tracking branch 'origin/clifford/fix1065...
tree
|
commitdiff
2019-06-05
Clifford Wolf
Merge pull request #999 from jakobwenzel/setundefInitFix
tree
|
commitdiff
2019-06-04
Maciej Kurc
Moved tests that fail with Icarus Verilog to /tests...
tree
|
commitdiff
2019-06-04
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-06-03
Maciej Kurc
Added tests for attributes
tree
|
commitdiff
2019-05-31
Eddie Hung
Merge branch 'xaig' into xc7mux
tree
|
commitdiff
2019-05-29
Eddie Hung
Rename to #23
tree
|
commitdiff
2019-05-29
Eddie Hung
Add abc_test024
tree
|
commitdiff
2019-05-28
Eddie Hung
Add abc9_test022
tree
|
commitdiff
2019-05-28
Clifford Wolf
Merge pull request #1049 from YosysHQ/clifford/fix1047
tree
|
commitdiff
2019-05-28
Eddie Hung
From master
tree
|
commitdiff
2019-05-28
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-05-28
Clifford Wolf
Merge pull request #1050 from YosysHQ/clifford/wandwor
tree
|
commitdiff
2019-05-28
Clifford Wolf
Do not use shiftmul peepopt pattern when mul result...
tree
|
commitdiff
2019-05-28
Clifford Wolf
Add actual wandwor test that is part of "make test"
tree
|
commitdiff
2019-05-28
Clifford Wolf
Merge branch 'wandwor' of https://github.com/thasti...
tree
|
commitdiff
2019-05-27
Stefan Biereigel
Merge branch 'master' into wandwor
tree
|
commitdiff
2019-05-27
Stefan Biereigel
reformat wand/wor test
tree
|
commitdiff
2019-05-27
Stefan Biereigel
remove port direction workaround from test case
tree
|
commitdiff
2019-05-27
Clifford Wolf
Merge pull request #1026 from YosysHQ/clifford/fix1023
tree
|
commitdiff
2019-05-27
Clifford Wolf
Merge pull request #1030 from Kmanfi/makefile_osx
tree
|
commitdiff
2019-05-26
Clifford Wolf
Merge pull request #1035 from YosysHQ/eddie/opt_rmdff
tree
|
commitdiff
2019-05-26
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-05-25
Eddie Hung
Fix init
tree
|
commitdiff
2019-05-25
Eddie Hung
Fix typos
tree
|
commitdiff
2019-05-25
Eddie Hung
Add more tests
tree
|
commitdiff
2019-05-25
Eddie Hung
Call proc
tree
|
commitdiff
2019-05-25
Eddie Hung
Fix duplicate driver
tree
|
commitdiff
2019-05-23
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-05-23
Eddie Hung
Merge remote-tracking branch 'origin/eddie/opt_rmdff...
tree
|
commitdiff
2019-05-23
Eddie Hung
Add opt_rmdff tests
tree
|
commitdiff
2019-05-23
Stefan Biereigel
add simple test case for wand/wor
tree
|
commitdiff
2019-05-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-05-21
Jim Lawson
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-05-16
Clifford Wolf
Merge pull request #1013 from antmicro/parameter_attributes
tree
|
commitdiff
2019-05-16
Maciej Kurc
Added tests for Verilog frontent for attributes on...
tree
|
commitdiff
2019-05-08
Clifford Wolf
Merge pull request #991 from kristofferkoch/gcc9-warnings
tree
|
commitdiff
2019-05-08
Clifford Wolf
Merge pull request #998 from mdaiter/get_bool_attribute...
tree
|
commitdiff
2019-05-07
Clifford Wolf
Add test case from #997
tree
|
commitdiff
2019-05-06
Clifford Wolf
Merge pull request #946 from YosysHQ/clifford/specify
tree
|
commitdiff
2019-05-06
Clifford Wolf
Merge pull request #975 from YosysHQ/clifford/fix968
tree
|
commitdiff
2019-05-06
Clifford Wolf
Merge pull request #871 from YosysHQ/verific_import
tree
|
commitdiff
2019-05-06
Clifford Wolf
Add tests/various/chparam.sh
tree
|
commitdiff
2019-05-06
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys into...
tree
|
commitdiff
2019-05-06
Clifford Wolf
Improve tests/various/specify.ys
tree
|
commitdiff
2019-05-06
Clifford Wolf
Merge branch 'master' of github.com:YosysHQ/yosys into...
tree
|
commitdiff
2019-05-03
Eddie Hung
More testing
tree
|
commitdiff
2019-05-03
Eddie Hung
Fix spacing
tree
|
commitdiff
2019-05-03
Eddie Hung
Add quick-and-dirty specify tests
tree
|
commitdiff
2019-05-03
Eddie Hung
Merge remote-tracking branch 'origin/master' into cliff...
tree
|
commitdiff
2019-05-03
Eddie Hung
iverilog with simcells.v as well
tree
|
commitdiff
2019-05-03
Clifford Wolf
Merge pull request #969 from YosysHQ/clifford/pmgenstuff
tree
|
commitdiff
2019-05-03
Clifford Wolf
Merge pull request #984 from YosysHQ/eddie/fix_982
tree
|
commitdiff
2019-05-03
Clifford Wolf
Merge pull request #976 from YosysHQ/clifford/fix974
tree
|
commitdiff
2019-05-03
Clifford Wolf
Merge pull request #985 from YosysHQ/clifford/fix981
tree
|
commitdiff
2019-05-03
Clifford Wolf
Fix typo in tests/svinterfaces/runone.sh
tree
|
commitdiff
2019-05-03
Clifford Wolf
Merge pull request #979 from jakobwenzel/svinterfacesTe...
tree
|
commitdiff
2019-05-03
Udi Finkelstein
Initial implementation of elaboration system tasks
tree
|
commitdiff
2019-05-02
Eddie Hung
Merge remote-tracking branch 'origin/clifford/pmgenstuf...
tree
|
commitdiff
2019-05-02
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
next