projects
/
yosys.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add counter-example from @cliffordwolf
2019-09-13
Eddie Hung
Add counter-example from @cliffordwolf
commit
|
commitdiff
|
tree
2019-09-13
Eddie Hung
Revert "Make one check $shift(x)? only; change testcase...
commit
|
commitdiff
|
tree
2019-09-11
Eddie Hung
Tidy up
commit
|
commitdiff
|
tree
2019-09-11
Eddie Hung
Fix UB
commit
|
commitdiff
|
tree
2019-09-11
Eddie Hung
Cope with presence of reset muxes too
commit
|
commitdiff
|
tree
2019-09-11
Eddie Hung
Cleanup
commit
|
commitdiff
|
tree
2019-09-11
Eddie Hung
Add more tests
commit
|
commitdiff
|
tree
2019-09-11
Eddie Hung
Only display log message if did_something
commit
|
commitdiff
|
tree
2019-09-11
Eddie Hung
Rename dffmuxext -> dffmux, also remove constants in...
commit
|
commitdiff
|
tree
2019-09-11
Eddie Hung
proc instead of prep
commit
|
commitdiff
|
tree
2019-09-11
Eddie Hung
Add unsigned case
commit
|
commitdiff
|
tree
2019-09-07
Eddie Hung
Missing equiv_opt -assert
commit
|
commitdiff
|
tree
2019-09-07
Eddie Hung
Make one check $shift(x)? only; change testcase to...
commit
|
commitdiff
|
tree
2019-09-07
Eddie Hung
Usee equiv_opt -assert
commit
|
commitdiff
|
tree
2019-09-05
Eddie Hung
simple/peepopt.v tests to various/peepopt.ys with equiv_opt...
commit
|
commitdiff
|
tree
2019-09-05
Eddie Hung
Revert "abc9 followed by clean otherwise netlist could...
commit
|
commitdiff
|
tree
2019-09-04
Eddie Hung
Revert "parse_xaiger() to do "clean -purge""
commit
|
commitdiff
|
tree
2019-09-04
Eddie Hung
abc9 followed by clean otherwise netlist could be invalid...
commit
|
commitdiff
|
tree
2019-09-04
Eddie Hung
Remove log_cell() calls
commit
|
commitdiff
|
tree
2019-09-04
Eddie Hung
Add peepopt_dffmuxext
commit
|
commitdiff
|
tree
2019-09-04
Eddie Hung
Add peepopt_dffmuxext tests
commit
|
commitdiff
|
tree
2019-09-04
Eddie Hung
Merge pull request #1338 from YosysHQ/eddie/deferred_top
commit
|
commitdiff
|
tree
2019-09-03
Eddie Hung
Adopt @cliffordwolf's suggestion
commit
|
commitdiff
|
tree
2019-09-03
Eddie Hung
Expand test with `hierarchy' without -auto-top
commit
|
commitdiff
|
tree
2019-09-03
Eddie Hung
Add `read -noverific` before read
commit
|
commitdiff
|
tree
2019-09-03
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
commit
|
commitdiff
|
tree
2019-09-02
Eddie Hung
Merge branch 'master' of github.com:YosysHQ/yosys
commit
|
commitdiff
|
tree
2019-09-02
Eddie Hung
Recognise built-in types (e.g. $_DFF_*)
commit
|
commitdiff
|
tree
2019-09-01
Eddie Hung
Merge pull request #1344 from YosysHQ/eddie/ice40_signed_macc
commit
|
commitdiff
|
tree
2019-08-30
Eddie Hung
Missing dep for test_pmgen
commit
|
commitdiff
|
tree
2019-08-30
Eddie Hung
Merge pull request #1340 from YosysHQ/eddie/abc_no_clean
commit
|
commitdiff
|
tree
2019-08-30
Eddie Hung
Improve tests/ice40/macc.ys for SB_MAC16
commit
|
commitdiff
|
tree
2019-08-30
Eddie Hung
Do not restrict multiplier to unsigned
commit
|
commitdiff
|
tree
2019-08-30
Eddie Hung
Merge pull request #1310 from SergeyDegtyar/master
commit
|
commitdiff
|
tree
2019-08-30
Eddie Hung
Merge pull request #1321 from YosysHQ/eddie/xilinx_srl
commit
|
commitdiff
|
tree
2019-08-30
Eddie Hung
Format `-pwires`
commit
|
commitdiff
|
tree
2019-08-30
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
commit
|
commitdiff
|
tree
2019-08-30
Eddie Hung
Merge pull request #1337 from YosysHQ/eddie/fix_carry_wrapper
commit
|
commitdiff
|
tree
2019-08-30
Eddie Hung
Nicer formatting
commit
|
commitdiff
|
tree
2019-08-30
Eddie Hung
parse_xaiger() to do "clean -purge"
commit
|
commitdiff
|
tree
2019-08-30
Eddie Hung
Output has priority over input when stitching in abc9
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Group abc_* attribute doc with other attributes
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
abc9 to not call "clean" at end of run (often called...
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Fix typo that's gone unnoticed for 5 months!?!
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Add constant expression attribute to test
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Remove newline
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Restore non-deferred code, deferred case to ignore...
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Rename boxes too
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
-auto-top should check $abstract (deferred) modules...
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
read_verilog -defer should still populate module attributes
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Add failing test
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Add run-test.sh too
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Do not overwrite LUT param
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Add SB_CARRY to ice40_opt test
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Add ice40_opt test
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Cleanup
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Trailing comma
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Adapt to $__ICE40_CARRY_WRAPPER
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Revert "Remove $__ICE40_FULL_ADDER handling from ice40_opt...
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Remove $__ICE40_FULL_ADDER handling from ice40_opt...
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Update box size and timings
commit
|
commitdiff
|
tree
2019-08-29
Eddie Hung
Update to new $__ICE40_CARRY_WRAPPER
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
Account for D port being a constant
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
Comment out *.sh used for testbenches as we have no...
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
Merge pull request #1334 from YosysHQ/clifford/async2synclatch
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
Use equiv for memory and dpram
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
Use equiv_opt for latches
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
Merge remote-tracking branch 'origin/clifford/async2synclatc...
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
No need to replace Q of slice since $shiftx is autoremove-d
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
Add (* clkbuf_sink *) to SRLC16E, reorder ports to...
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
More cleanup
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
More cleanup
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
Do not use default_params dict, hardcode default values...
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
Add .gitignore
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
Use test_pmgen for xilinx_srl
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
Always generate if no match
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
Rename test_pmgen arg xilinx_srl.{fixed,variable}
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
Do not simplemap for variable test
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
Add xilinx_srl test
commit
|
commitdiff
|
tree
2019-08-28
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
commit
|
commitdiff
|
tree
2019-08-27
Eddie Hung
Merge pull request #1292 from YosysHQ/mwk/xilinx_bufgmap
commit
|
commitdiff
|
tree
2019-08-27
Eddie Hung
Ignore all 1'bx in (* init *)
commit
|
commitdiff
|
tree
2019-08-27
Eddie Hung
Revert to using clean
commit
|
commitdiff
|
tree
2019-08-27
Eddie Hung
Missing close bracket
commit
|
commitdiff
|
tree
2019-08-27
Eddie Hung
Revert "In sat: 'x' in init attr should not override...
commit
|
commitdiff
|
tree
2019-08-27
Eddie Hung
Remove leftover header
commit
|
commitdiff
|
tree
2019-08-27
Eddie Hung
Improve xilinx_srl.fixed generate, add .variable generate
commit
|
commitdiff
|
tree
2019-08-27
Eddie Hung
Account for maxsubcnt overflowing
commit
|
commitdiff
|
tree
2019-08-27
Eddie Hung
Add xilinx_srl_pm.variable to test_pmgen
commit
|
commitdiff
|
tree
2019-08-26
Eddie Hung
Populate generate for xilinx_srl.fixed pattern
commit
|
commitdiff
|
tree
2019-08-26
Eddie Hung
Add xilinx_srl_fixed, fix typos
commit
|
commitdiff
|
tree
2019-08-26
Eddie Hung
Merge branch 'master' into eddie/xilinx_srl
commit
|
commitdiff
|
tree
2019-08-26
Eddie Hung
Improve tests to check that clkbuf is connected to...
commit
|
commitdiff
|
tree
2019-08-26
Eddie Hung
Merge branch 'master' into mwk/xilinx_bufgmap
commit
|
commitdiff
|
tree
2019-08-26
Eddie Hung
Remove dupe in CHANGELOG, missing end quote
commit
|
commitdiff
|
tree
2019-08-24
Eddie Hung
Wire with init on FF part, 1'bx on non-FF part
commit
|
commitdiff
|
tree
2019-08-24
Eddie Hung
Create new $__XILINX_SHREG_ cell for variable length too
commit
|
commitdiff
|
tree
2019-08-24
Eddie Hung
Do not allow Q of last cell of variable length SRL...
commit
|
commitdiff
|
tree
2019-08-24
Eddie Hung
Also add first.Q to chain_bits since variable length
commit
|
commitdiff
|
tree
2019-08-24
Eddie Hung
Do not enforce !EN_POLARITY on $dffe
commit
|
commitdiff
|
tree
next