projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Fix different abc9 test
[yosys.git]
/
tests
/
2019-06-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-21
Eddie Hung
Fix issue with part of PI being 1'bx
tree
|
commitdiff
2019-06-20
Clifford Wolf
Update some .gitignore files
tree
|
commitdiff
2019-06-20
Clifford Wolf
Merge branch 'towoe-unpacked_arrays'
tree
|
commitdiff
2019-06-20
Clifford Wolf
Add proper test for SV-style arrays
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
Tobias Wölfel
Unpacked array declaration using size
tree
|
commitdiff
2019-06-19
Clifford Wolf
Make tests/aiger less chatty
tree
|
commitdiff
2019-06-19
Clifford Wolf
Add defvalue test, minor autotest fixes for .sv files
tree
|
commitdiff
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
next