projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2019-09-25
Eddie Hung
Merge pull request #1401 from SergeyDegtyar/SergeyDegty...
commit
|
commitdiff
|
tree
2019-09-25
SergeyDegtyar
Change sync controls to async.
commit
|
commitdiff
|
tree
2019-09-25
Clifford Wolf
Merge pull request #1402 from YosysHQ/clifford/portlist
commit
|
commitdiff
|
tree
2019-09-25
Clifford Wolf
Improve "portlist" command
commit
|
commitdiff
|
tree
2019-09-24
Clifford Wolf
Add "portlist" command
commit
|
commitdiff
|
tree
2019-09-24
SergeyDegtyar
adffs test update (equiv_opt -multiclock).
commit
|
commitdiff
|
tree
2019-09-23
Miodrag Milanović
Merge pull request #1399 from nakengelhardt/fix-show...
commit
|
commitdiff
|
tree
2019-09-23
N. Engelhardt
add xdot dependency to Brewfile
commit
|
commitdiff
|
tree
2019-09-23
N. Engelhardt
fix show command for macos
commit
|
commitdiff
|
tree
2019-09-21
Clifford Wolf
Merge pull request #1392 from YosysHQ/eddie/fix1391
commit
|
commitdiff
|
tree
2019-09-21
Eddie Hung
Hell let's add the original #1381 testcase too
commit
|
commitdiff
|
tree
2019-09-21
Eddie Hung
Revert abc9.cc
commit
|
commitdiff
|
tree
2019-09-21
Eddie Hung
Add testcase
commit
|
commitdiff
|
tree
2019-09-21
Eddie Hung
Trim mismatched connection to be same (smallest) size
commit
|
commitdiff
|
tree
2019-09-21
Eddie Hung
Fix first testcase in #1391
commit
|
commitdiff
|
tree
2019-09-20
Clifford Wolf
Merge pull request #1386 from YosysHQ/clifford/fix1360
commit
|
commitdiff
|
tree
2019-09-20
Clifford Wolf
Fix handling of read_verilog config in AstModule::repro...
commit
|
commitdiff
|
tree
2019-09-20
Clifford Wolf
Update CHANGELOG
commit
|
commitdiff
|
tree
2019-09-20
Clifford Wolf
Add "add -mod"
commit
|
commitdiff
|
tree
2019-09-20
Clifford Wolf
Merge pull request #1384 from YosysHQ/clifford/fix1381
commit
|
commitdiff
|
tree
2019-09-19
Clifford Wolf
Add techmap_autopurge attribute, fixes #1381
commit
|
commitdiff
|
tree
2019-09-19
Marcin Kościelnicki
Use extractinv for synth_xilinx -ise
commit
|
commitdiff
|
tree
2019-09-19
Marcin Kościelnicki
Added extractinv pass
commit
|
commitdiff
|
tree
2019-09-18
Eddie Hung
Document (* gentb_skip *) attr for test_autotb
commit
|
commitdiff
|
tree
2019-09-18
Eddie Hung
Merge pull request #1355 from YosysHQ/eddie/peepopt_dff...
commit
|
commitdiff
|
tree
2019-09-18
Eddie Hung
Merge pull request #1379 from mmicko/sim_models
commit
|
commitdiff
|
tree
2019-09-18
Miodrag Milanovic
make note that it is for latch mode
commit
|
commitdiff
|
tree
2019-09-18
Miodrag Milanovic
better lut handling
commit
|
commitdiff
|
tree
2019-09-18
Miodrag Milanovic
better handling of lut and begin/end add
commit
|
commitdiff
|
tree
2019-09-18
Clifford Wolf
Add "write_aiger -L"
commit
|
commitdiff
|
tree
2019-09-18
Clifford Wolf
Fix stupid bug in btor back-end
commit
|
commitdiff
|
tree
2019-09-16
Clifford Wolf
Bump version
commit
|
commitdiff
|
tree
2019-09-16
Clifford Wolf
Merge pull request #1380 from YosysHQ/clifford/fix1372
commit
|
commitdiff
|
tree
2019-09-16
Clifford Wolf
Fix handling of range selects on loop variables, fixes...
commit
|
commitdiff
|
tree
2019-09-15
Eddie Hung
Merge pull request #1374 from YosysHQ/eddie/fix1371
commit
|
commitdiff
|
tree
2019-09-15
Marcin Kościelnicki
xilinx: Make blackbox library family-dependent.
commit
|
commitdiff
|
tree
2019-09-15
Clifford Wolf
Merge pull request #1377 from YosysHQ/clifford/fixzdigit
commit
|
commitdiff
|
tree
2019-09-15
Miodrag Milanovic
Added simulation models for Efinix and Anlogic
commit
|
commitdiff
|
tree
2019-09-14
Eddie Hung
Oops
commit
|
commitdiff
|
tree
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-13
Eddie Hung
Spacing
commit
|
commitdiff
|
tree
2019-09-13
Eddie Hung
Explicitly order function arguments
commit
|
commitdiff
|
tree
2019-09-13
Eddie Hung
Use template specialisation
commit
|
commitdiff
|
tree
2019-09-13
Eddie Hung
Revert "SigSet<Cell*> to use stable compare class"
commit
|
commitdiff
|
tree
2019-09-13
Clifford Wolf
Fix handling of z_digit "?" and fix optimization of...
commit
|
commitdiff
|
tree
2019-09-13
Clifford Wolf
Merge pull request #1373 from YosysHQ/clifford/fix1364
commit
|
commitdiff
|
tree
2019-09-13
Clifford Wolf
Fix lexing of integer literals without radix
commit
|
commitdiff
|
tree
2019-09-12
Eddie Hung
Grammar
commit
|
commitdiff
|
tree
2019-09-12
Eddie Hung
static_assert to enforce this going forward
commit
|
commitdiff
|
tree
2019-09-12
Eddie Hung
SigSet<Cell*> to use stable compare class
commit
|
commitdiff
|
tree
2019-09-12
David Shah
Merge pull request #1370 from YosysHQ/dave/equiv_opt_mu...
commit
|
commitdiff
|
tree
2019-09-12
Clifford Wolf
Fix lexing of integer literals, fixes #1364
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
Marcin Kościelnicki
Add -match-init option to dff2dffs.
commit
|
commitdiff
|
tree
2019-09-11
David Shah
Add equiv_opt -multiclock
commit
|
commitdiff
|
tree
2019-09-11
David Shah
Merge pull request #1362 from xobs/smtbmc-msvc2-build...
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-10
Clifford Wolf
Bump version
commit
|
commitdiff
|
tree
2019-09-10
Sean Cross
tests: ice40: fix div_mod SB_LUT4 count
commit
|
commitdiff
|
tree
2019-09-09
Eddie Hung
Fix misspelling
commit
|
commitdiff
|
tree
2019-09-09
Sean Cross
passes: opt_share: don't statically initialize mergeabl...
commit
|
commitdiff
|
tree
2019-09-08
Sean Cross
msys2: launcher: fix warnings and errors under g++
commit
|
commitdiff
|
tree
2019-09-08
Sean Cross
backends: smt2: use $(CXX) variable for compiler
commit
|
commitdiff
|
tree
2019-09-07
Marcin Kościelnicki
synth_xilinx: Support init values on Spartan 6 flip...
commit
|
commitdiff
|
tree
2019-09-07
Marcin Kościelnicki
techmap: Add support for extracting init values of...
commit
|
commitdiff
|
tree
2019-09-07
Eddie Hung
Merge branch 'master' of github.com:YosysHQ/yosys
commit
|
commitdiff
|
tree
2019-09-07
Eddie Hung
Add missing -assert to equiv_opt
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
Merge pull request #1312 from YosysHQ/xaig_arrival
commit
|
commitdiff
|
tree
2019-09-05
Clifford Wolf
Bump version
commit
|
commitdiff
|
tree
2019-09-05
Clifford Wolf
Merge pull request #1350 from YosysHQ/clifford/fixsby59
commit
|
commitdiff
|
tree
2019-09-05
Clifford Wolf
Merge pull request #1330 from YosysHQ/clifford/fix1145
commit
|
commitdiff
|
tree
2019-09-05
Eddie Hung
simple/peepopt.v tests to various/peepopt.ys with equiv...
commit
|
commitdiff
|
tree
2019-09-05
Eddie Hung
Revert "abc9 followed by clean otherwise netlist could...
commit
|
commitdiff
|
tree
2019-09-05
Clifford Wolf
Update README.md
commit
|
commitdiff
|
tree
2019-09-05
Clifford Wolf
Rename conflicting wires on flatten/techmap, add "hierc...
commit
|
commitdiff
|
tree
2019-09-05
Clifford Wolf
Add flatten handling of pre-existing wires as created...
commit
|
commitdiff
|
tree
2019-09-05
whitequark
Merge pull request #1356 from emilazy/fix-makefile...
commit
|
commitdiff
|
tree
2019-09-04
Emily
Use $(shell :; ...) in Makefile to force shell
commit
|
commitdiff
|
tree
2019-09-04
Eddie Hung
Resolve TODO with pin assignments for SRL*
commit
|
commitdiff
|
tree
2019-09-04
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_...
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 inval...
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
whitequark
Merge pull request #1354 from emilazy/remove-which-use
commit
|
commitdiff
|
tree
2019-09-04
Emily
Replace `which` with `command -v` in Makefile too
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
next