projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
Use ID() in kernel/*, add simple ID:: hack (to be improved upon later)
[yosys.git]
/
tests
/
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
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-28
Bogdan Vukobratovic
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-05-28
Bogdan Vukobratovic
Optimizing DFFs whose initial value prevents their...
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
2019-05-02
Jakob Wenzel
fail svinterfaces testcases on yosys error exit
tree
|
commitdiff
2019-05-02
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
tree
|
commitdiff
2019-05-01
Eddie Hung
Merge branch 'master' of github.com:YosysHQ/yosys
tree
|
commitdiff
2019-05-01
Jim Lawson
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-05-01
Clifford Wolf
Merge pull request #977 from ucb-bar/fixfirrtlmem
tree
|
commitdiff
2019-05-01
Jim Lawson
Fix #938 - Crash occurs in case when use write_firrtl...
tree
|
commitdiff
next