projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge branch 'koriakin/xc7nocarrymux' into xaig
[yosys.git]
/
tests
/
2019-06-26
Eddie Hung
Merge branch 'koriakin/xc7nocarrymux' into xaig
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge branch 'koriakin/xc7nocarrymux' into xaig
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge branch 'koriakin/xc7nocarrymux' into xaig
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge branch 'xc7nocarrymux' of https://github.com...
tree
|
commitdiff
2019-06-25
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-25
Eddie Hung
Add testcase from #335, fixed by #1130
tree
|
commitdiff
2019-06-25
Clifford Wolf
Merge pull request #1130 from YosysHQ/eddie/fix710
tree
|
commitdiff
2019-06-25
Eddie Hung
Merge pull request #1129 from YosysHQ/eddie/ram32x1d
tree
|
commitdiff
2019-06-25
Clifford Wolf
Merge pull request #1075 from YosysHQ/eddie/muxpack
tree
|
commitdiff
2019-06-25
Eddie Hung
Add tests/various/abc9.{v,ys} with SCC test
tree
|
commitdiff
2019-06-25
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-25
Eddie Hung
Add test
tree
|
commitdiff
2019-06-24
Clifford Wolf
Merge pull request #1124 from mmicko/json_ports
tree
|
commitdiff
2019-06-22
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-06-22
Eddie Hung
Merge branch 'master' into xaig
tree
|
commitdiff
2019-06-22
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-22
Eddie Hung
Merge pull request #1108 from YosysHQ/clifford/fix1091
tree
|
commitdiff
2019-06-21
Eddie Hung
Add more tests
tree
|
commitdiff
2019-06-21
Eddie Hung
Fix testcase
tree
|
commitdiff
2019-06-21
Eddie Hung
Add more muxpack tests, with overlapping entries
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
Clifford Wolf
Merge pull request #1119 from YosysHQ/eddie/fix1118
tree
|
commitdiff
2019-06-21
Clifford Wolf
Merge pull request #1116 from YosysHQ/eddie/fix1115
tree
|
commitdiff
2019-06-21
Eddie Hung
Missing a `clean` and `opt_expr -mux_bool` in test
tree
|
commitdiff
2019-06-21
Eddie Hung
Add test
tree
|
commitdiff
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
Eddie Hung
Add test
tree
|
commitdiff
2019-06-20
Eddie Hung
Extend sign extension tests
tree
|
commitdiff
2019-06-20
Eddie Hung
Remove leftover comment
tree
|
commitdiff
2019-06-20
Eddie Hung
Add test
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-18
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
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-12
Eddie Hung
Add shregmap -tech xilinx test
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
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
Eddie Hung
Add nonexcl case test, comment out two others
tree
|
commitdiff
2019-06-07
Clifford Wolf
Merge pull request #1079 from YosysHQ/eddie/fix_read_aiger
tree
|
commitdiff
2019-06-07
Eddie Hung
Add @cliffordwolf freduce testcase
tree
|
commitdiff
2019-06-07
Eddie Hung
Add nonexclusive test from @cliffordwolf
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
Eddie Hung
Another muxpack test
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
next