projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first
⋅
prev
⋅
next
write_xaiger to inst each cell type once, do not call techmap/aigmap
[yosys.git]
/
tests
/
2019-10-08
Eddie Hung
Merge pull request #1432 from YosysHQ/eddie/fix1427
tree
|
commitdiff
2019-10-08
Eddie Hung
Merge pull request #1433 from YosysHQ/eddie/equiv_opt_a...
tree
|
commitdiff
2019-10-08
Eddie Hung
Merge pull request #1437 from YosysHQ/eddie/abc_to_abc9
tree
|
commitdiff
2019-10-08
Eddie Hung
Merge pull request #1438 from YosysHQ/eddie/xilinx_dsp_...
tree
|
commitdiff
2019-10-06
Clifford Wolf
Merge pull request #1439 from YosysHQ/eddie/fix_ice40_w...
tree
|
commitdiff
2019-10-05
Eddie Hung
Missing 'accept' at end of ice40_wrapcarry, spotted...
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
Split mux tests per type
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
Split latch check
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
split rest od ff's
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
Separate check for ff's types
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
Cleaned tests
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
Remove not needed tests
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
Merge branch 'SergeyDegtyar/efinix' of https://github...
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
Cleanup and formating
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
split latches into separate checks
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
check muxes per type
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
check ff's separately
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
Cleanup top modules and not used defines
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
remove alu test
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
Merge branch 'SergeyDegtyar/anlogic' of https://github...
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
Check latches type one by one
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
Removed top module where not needed
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
Test muxes synth one by one
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
Cleaned verilog code from not used defines
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
Check for MULT18X18D, since that is working now
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
Check flops one by one
tree
|
commitdiff
2019-10-04
Miodrag Milanovic
Removed alu and div_mod tests as agreed
tree
|
commitdiff
2019-10-03
Eddie Hung
Use `sat -tempinduct` and comments for why equiv_opt...
tree
|
commitdiff
2019-10-03
Eddie Hung
Disable equiv check for ice40 latches
tree
|
commitdiff
2019-10-03
Eddie Hung
Use equiv_opt -async2sync for xilinx
tree
|
commitdiff
2019-10-03
Clifford Wolf
Merge pull request #1419 from YosysHQ/eddie/lazy_derive
tree
|
commitdiff
2019-10-03
Clifford Wolf
Merge pull request #1422 from YosysHQ/eddie/aigmap_select
tree
|
commitdiff
2019-10-03
Clifford Wolf
Merge pull request #1429 from YosysHQ/clifford/checkmapped
tree
|
commitdiff
2019-10-03
David Shah
sv: Improve tests
tree
|
commitdiff
2019-10-03
David Shah
sv: Add test scripts for typedefs
tree
|
commitdiff
2019-10-03
David Shah
sv: Add support for memories of a typedef
tree
|
commitdiff
2019-10-03
David Shah
sv: Add support for memory typedefs
tree
|
commitdiff
2019-10-03
David Shah
sv: Fix typedefs in packages
tree
|
commitdiff
2019-10-03
David Shah
sv: Fix typedef parameters
tree
|
commitdiff
2019-10-03
David Shah
sv: Switch parser to glr, prep for typedef
tree
|
commitdiff
2019-10-03
David Shah
Merge pull request #1425 from YosysHQ/dave/ecp5_pdp16
tree
|
commitdiff
2019-10-03
Eddie Hung
Fix broken CI, check reset even for constants, trim...
tree
|
commitdiff
2019-10-03
Eddie Hung
Merge pull request #1423 from YosysHQ/eddie/techmap_rep...
tree
|
commitdiff
2019-10-03
Eddie Hung
Fix test
tree
|
commitdiff
2019-10-03
Eddie Hung
Merge branch 'eddie/fix_sat_init' into eddie/fix1427
tree
|
commitdiff
2019-10-03
Eddie Hung
Update test
tree
|
commitdiff
2019-10-03
Eddie Hung
Add test
tree
|
commitdiff
2019-10-02
Eddie Hung
Add test that is expecting to fail
tree
|
commitdiff
2019-10-02
Eddie Hung
Extend test with renaming cells with prefix too
tree
|
commitdiff
2019-10-01
Sergey
run-test.sh Move $x at end of line.
tree
|
commitdiff
2019-10-01
Sergey
Merge branch 'master' into SergeyDegtyar/efinix
tree
|
commitdiff
2019-10-01
Sergey
Merge branch 'master' into SergeyDegtyar/anlogic
tree
|
commitdiff
2019-10-01
Sergey
run-test.sh Move $x at end of line.
tree
|
commitdiff
2019-10-01
Eddie Hung
equiv_opt with -assert
tree
|
commitdiff
2019-10-01
Eddie Hung
Update resource count for alu.ys
tree
|
commitdiff
2019-10-01
Eddie Hung
Add test
tree
|
commitdiff
2019-09-30
Eddie Hung
Add quick test
tree
|
commitdiff
2019-09-30
Eddie Hung
Move $x to end as per 7f0eec8
tree
|
commitdiff
2019-09-30
Eddie Hung
Update fsm.ys resource count
tree
|
commitdiff
2019-09-30
Eddie Hung
Merge branch 'SergeyDegtyar/ecp5' of https://github...
tree
|
commitdiff
2019-09-30
whitequark
Merge pull request #1406 from whitequark/connect_rpc
tree
|
commitdiff
2019-09-30
Eddie Hung
Merge pull request #1397 from btut/fix/python_wrappers_...
tree
|
commitdiff
2019-09-30
whitequark
rpc: new frontend.
tree
|
commitdiff
2019-09-30
Miodrag Milanović
Merge pull request #1416 from YosysHQ/mmicko/frontend_b...
tree
|
commitdiff
2019-09-30
Clifford Wolf
Merge pull request #1412 from YosysHQ/eddie/equiv_opt_a...
tree
|
commitdiff
2019-09-30
Eddie Hung
Add latch test modified from #1363
tree
|
commitdiff
2019-09-30
Eddie Hung
Merge pull request #1414 from hzeller/improve-replace...
tree
|
commitdiff
2019-09-29
Eddie Hung
Merge pull request #1359 from YosysHQ/xc7dsp
tree
|
commitdiff
2019-09-29
Clifford Wolf
Merge pull request #1411 from aman-goel/YosysHQ-master
tree
|
commitdiff
2019-09-27
Marcin Kościelnicki
Fix _TECHMAP_REMOVEINIT_ handling.
tree
|
commitdiff
2019-09-27
Aman Goel
Merge pull request #7 from YosysHQ/master
tree
|
commitdiff
2019-09-27
Miodrag Milanović
Merge pull request #1409 from YosysHQ/mmicko/fix_getopt...
tree
|
commitdiff
2019-09-27
Miodrag Milanovic
Change order of parameters, to work on other os
tree
|
commitdiff
2019-09-25
Eddie Hung
Merge pull request #1401 from SergeyDegtyar/SergeyDegty...
tree
|
commitdiff
2019-09-25
SergeyDegtyar
Change sync controls to async.
tree
|
commitdiff
2019-09-24
SergeyDegtyar
adffs test update (equiv_opt -multiclock).
tree
|
commitdiff
2019-09-23
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
tree
|
commitdiff
2019-09-23
SergeyDegtyar
Add new tests for Efinix architecture.
tree
|
commitdiff
2019-09-23
SergeyDegtyar
Add new tests for Anlogic architecture
tree
|
commitdiff
2019-09-21
Clifford Wolf
Merge pull request #1392 from YosysHQ/eddie/fix1391
tree
|
commitdiff
2019-09-21
Eddie Hung
Hell let's add the original #1381 testcase too
tree
|
commitdiff
2019-09-21
Eddie Hung
Add testcase
tree
|
commitdiff
2019-09-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
tree
|
commitdiff
2019-09-20
Eddie Hung
Add more complicated macc testcase
tree
|
commitdiff
2019-09-20
Eddie Hung
Add mac.sh and macc_tb.v for testing
tree
|
commitdiff
2019-09-19
Eddie Hung
Merge remote-tracking branch 'origin/clifford/fix1381...
tree
|
commitdiff
2019-09-19
Eddie Hung
Format macc.v
tree
|
commitdiff
2019-09-19
Marcin Kościelnicki
Added extractinv pass
tree
|
commitdiff
2019-09-18
Eddie Hung
Remove stat
tree
|
commitdiff
2019-09-18
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
tree
|
commitdiff
2019-09-18
Eddie Hung
Merge pull request #1355 from YosysHQ/eddie/peepopt_dff...
tree
|
commitdiff
2019-09-18
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
tree
|
commitdiff
2019-09-18
Eddie Hung
Add .gitignore
tree
|
commitdiff
2019-09-18
Eddie Hung
Refine macc testcase
tree
|
commitdiff
2019-09-18
SergeyDegtyar
Add comment to dpram test about related issue.
tree
|
commitdiff
2019-09-17
SergeyDegtyar
adffs test update (equiv_opt -multiclock). div_mod...
tree
|
commitdiff
2019-09-14
Eddie Hung
Oops
tree
|
commitdiff
2019-09-13
Eddie Hung
Add counter-example from @cliffordwolf
tree
|
commitdiff
2019-09-13
Eddie Hung
Revert "Make one check $shift(x)? only; change testcase...
tree
|
commitdiff
2019-09-13
Clifford Wolf
Merge pull request #1373 from YosysHQ/clifford/fix1364
tree
|
commitdiff
next