projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
xaiger: update help text
[yosys.git]
/
kernel
/
log.cc
2020-05-07
Claire Wolf
Merge pull request #2005 from YosysHQ/claire/fix1990
blob
|
commitdiff
|
raw
2020-05-05
whitequark
Merge pull request #2012 from whitequark/fix-wasi-abc...
blob
|
commitdiff
|
raw
2020-05-04
Eddie Hung
Merge pull request #1996 from boqwxp/rtlil_source_locations
blob
|
commitdiff
|
raw
2020-05-03
whitequark
Merge pull request #2000 from whitequark/log_error...
blob
|
commitdiff
|
raw
2020-05-03
whitequark
kernel: Trap in `log_error()` when a debugger is attached.
blob
|
commitdiff
|
raw
2020-04-10
whitequark
Merge pull request #1603 from whitequark/ice40-ram_style
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
Eddie Hung
Merge pull request #1853 from YosysHQ/eddie/fix_dynslice
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
Eddie Hung
Merge pull request #1845 from YosysHQ/eddie/kernel_speedup
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
Claire Wolf
Merge pull request #1770 from YosysHQ/claire/btor_symbols
blob
|
commitdiff
|
raw
|
diff to current
2020-04-02
Claire Wolf
Merge pull request #1765 from YosysHQ/claire/btor_info
blob
|
commitdiff
|
raw
|
diff to current
2020-04-01
Eddie Hung
Merge pull request #1828 from YosysHQ/eddie/celltypes_s...
blob
|
commitdiff
|
raw
|
diff to current
2020-04-01
Eddie Hung
Merge pull request #1790 from YosysHQ/eddie/opt_expr_xor
blob
|
commitdiff
|
raw
|
diff to current
2020-04-01
Eddie Hung
Merge pull request #1789 from YosysHQ/eddie/opt_expr_alu
blob
|
commitdiff
|
raw
|
diff to current
2020-04-01
Claire Wolf
Merge pull request #1848 from YosysHQ/eddie/fix_dynslice
blob
|
commitdiff
|
raw
|
diff to current
2020-03-31
Eddie Hung
Merge pull request #1761 from YosysHQ/eddie/opt_merge_s...
blob
|
commitdiff
|
raw
|
diff to current
2020-03-27
Claire Wolf
Merge pull request #1607 from whitequark/simplify-simpl...
blob
|
commitdiff
|
raw
|
diff to current
2020-03-17
Eddie Hung
Merge pull request #1769 from boqwxp/select_cleanup
blob
|
commitdiff
|
raw
|
diff to current
2020-03-16
N. Engelhardt
Merge pull request #1768 from boqwxp/smt2_cleanup
blob
|
commitdiff
|
raw
|
diff to current
2020-03-16
N. Engelhardt
Merge pull request #1746 from boqwxp/optimization
blob
|
commitdiff
|
raw
|
diff to current
2020-03-14
Miodrag Milanović
Merge pull request #1759 from zeldin/constant_with_comm...
blob
|
commitdiff
|
raw
|
diff to current
2020-03-14
Miodrag Milanović
Merge pull request #1754 from boqwxp/precise_locations
blob
|
commitdiff
|
raw
|
diff to current
2020-03-14
Miodrag Milanović
Merge pull request #1766 from YosysHQ/mmicko/regex_gcc48
blob
|
commitdiff
|
raw
|
diff to current
2020-03-13
Miodrag Milanovic
Add YS_ prefix to macros, add explanation and apply...
blob
|
commitdiff
|
raw
|
diff to current
2020-03-13
Miodrag Milanovic
Use boost xpressive for gcc 4.8
blob
|
commitdiff
|
raw
|
diff to current
2020-03-12
Miodrag Milanović
Merge pull request #1666 from Xiretza/improve-makefile
blob
|
commitdiff
|
raw
|
diff to current
2020-03-12
N. Engelhardt
Merge pull request #1751 from boqwxp/add_assert
blob
|
commitdiff
|
raw
|
diff to current
2020-03-12
Miodrag Milanović
Merge pull request #1757 from jiegec/fix-emcc
blob
|
commitdiff
|
raw
|
diff to current
2020-03-11
jiegec
Fix compilation for emcc
blob
|
commitdiff
|
raw
|
diff to current
2020-03-10
David Shah
Merge pull request #1721 from YosysHQ/dave/tribuf-unused
blob
|
commitdiff
|
raw
|
diff to current
2020-03-09
N. Engelhardt
Merge pull request #1716 from zeldin/ecp5_fix
blob
|
commitdiff
|
raw
|
diff to current
2020-03-03
N. Engelhardt
Merge pull request #1691 from ZirconiumX/use-flowmap...
blob
|
commitdiff
|
raw
|
diff to current
2020-03-03
Claire Wolf
Merge pull request #1718 from boqwxp/precise_locations
blob
|
commitdiff
|
raw
|
diff to current
2020-03-03
Claire Wolf
Merge pull request #1681 from YosysHQ/eddie/fix1663
blob
|
commitdiff
|
raw
|
diff to current
2020-03-03
Claire Wolf
Merge pull request #1519 from YosysHQ/eddie/submod_po
blob
|
commitdiff
|
raw
|
diff to current
2020-02-27
Claire Wolf
Merge pull request #1709 from rqou/coolrunner2_counter
blob
|
commitdiff
|
raw
|
diff to current
2020-02-27
Claire Wolf
Merge pull request #1708 from rqou/coolrunner2-buf-fix
blob
|
commitdiff
|
raw
|
diff to current
2020-02-26
Miodrag Milanović
Merge pull request #1705 from YosysHQ/logger_pass
blob
|
commitdiff
|
raw
|
diff to current
2020-02-23
Miodrag Milanovic
Remove duplicate warning detection
blob
|
commitdiff
|
raw
|
diff to current
2020-02-22
Miodrag Milanovic
Handle expect no warnings together with expected
blob
|
commitdiff
|
raw
|
diff to current
2020-02-20
Claire Wolf
Merge pull request #1642 from jjj11x/jjj11x/sv-enum
blob
|
commitdiff
|
raw
|
diff to current
2020-02-17
Miodrag Milanovic
Prevent double error message
blob
|
commitdiff
|
raw
|
diff to current
2020-02-17
Miodrag Milanovic
Option to expect no warnings
blob
|
commitdiff
|
raw
|
diff to current
2020-02-17
Miodrag Milanovic
No new error if already failing
blob
|
commitdiff
|
raw
|
diff to current
2020-02-14
Miodrag Milanovic
Add expect option to logger command
blob
|
commitdiff
|
raw
|
diff to current
2020-02-05
Eddie Hung
Merge pull request #1576 from YosysHQ/eddie/opt_merge_init
blob
|
commitdiff
|
raw
|
diff to current
2020-02-05
Eddie Hung
Merge remote-tracking branch 'origin/master' into eddie...
blob
|
commitdiff
|
raw
|
diff to current
2020-02-05
Eddie Hung
Merge pull request #1638 from YosysHQ/eddie/fix1631
blob
|
commitdiff
|
raw
|
diff to current
2020-02-05
Eddie Hung
Merge pull request #1661 from YosysHQ/eddie/abc9_required
blob
|
commitdiff
|
raw
|
diff to current
2020-02-02
David Shah
Merge pull request #1647 from YosysHQ/dave/sprintf
blob
|
commitdiff
|
raw
|
diff to current
2020-02-02
David Shah
Merge pull request #1657 from YosysHQ/dave/xilinx-dsp...
blob
|
commitdiff
|
raw
|
diff to current
2020-02-01
Eddie Hung
Merge branch 'master' into eddie/submod_po
blob
|
commitdiff
|
raw
|
diff to current
2020-01-30
Claire Wolf
Merge pull request #1503 from YosysHQ/eddie/verific_help
blob
|
commitdiff
|
raw
|
diff to current
2020-01-30
Claire Wolf
Merge pull request #1654 from YosysHQ/eddie/sby_fix69
blob
|
commitdiff
|
raw
|
diff to current
2020-01-29
Claire Wolf
Merge branch 'vector_fix' of https://github.com/Kmanfi...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-29
Claire Wolf
Merge pull request #1662 from YosysHQ/dave/opt-reduce...
blob
|
commitdiff
|
raw
|
diff to current
2020-01-29
Claire Wolf
Merge pull request #1665 from YosysHQ/clifford/edifkeep
blob
|
commitdiff
|
raw
|
diff to current
2020-01-29
Claire Wolf
Merge pull request #1659 from YosysHQ/clifford/experimental
blob
|
commitdiff
|
raw
|
diff to current
2020-01-28
Claire Wolf
Improve logging use of experimental features
blob
|
commitdiff
|
raw
|
diff to current
2020-01-27
Claire Wolf
Add log_experimental() and experimental() API and ...
blob
|
commitdiff
|
raw
|
diff to current
2019-11-22
Eddie Hung
Merge branch 'master' of github.com:YosysHQ/yosys
blob
|
commitdiff
|
raw
|
diff to current
2019-10-27
Clifford Wolf
Merge pull request #1393 from whitequark/write_verilog...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-21
Pepijn de Vos
Merge branch 'master' of https://github.com/YosysHQ...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-18
Miodrag Milanović
Merge branch 'master' into eddie/pr1352
blob
|
commitdiff
|
raw
|
diff to current
2019-10-04
Miodrag Milanovic
Merge branch 'SergeyDegtyar/efinix' of https://github...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-04
Miodrag Milanovic
Merge branch 'SergeyDegtyar/anlogic' of https://github...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-03
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig_dff
blob
|
commitdiff
|
raw
|
diff to current
2019-10-03
Clifford Wolf
Merge pull request #1419 from YosysHQ/eddie/lazy_derive
blob
|
commitdiff
|
raw
|
diff to current
2019-10-03
Clifford Wolf
Merge pull request #1422 from YosysHQ/eddie/aigmap_select
blob
|
commitdiff
|
raw
|
diff to current
2019-10-03
Clifford Wolf
Merge pull request #1429 from YosysHQ/clifford/checkmapped
blob
|
commitdiff
|
raw
|
diff to current
2019-10-03
David Shah
Merge pull request #1425 from YosysHQ/dave/ecp5_pdp16
blob
|
commitdiff
|
raw
|
diff to current
2019-10-03
Eddie Hung
Merge pull request #1423 from YosysHQ/eddie/techmap_rep...
blob
|
commitdiff
|
raw
|
diff to current
2019-10-03
Eddie Hung
Merge branch 'eddie/fix_sat_init' into eddie/fix1427
blob
|
commitdiff
|
raw
|
diff to current
2019-10-03
Eddie Hung
log_dump() to support State enum
blob
|
commitdiff
|
raw
|
diff to current
2019-09-27
Aman Goel
Merge pull request #7 from YosysHQ/master
blob
|
commitdiff
|
raw
|
diff to current
2019-08-26
Clifford Wolf
Merge tag 'yosys-0.9'
blob
|
commitdiff
|
raw
|
diff to current
2019-08-25
Clifford Wolf
Merge pull request #1112 from acw1251/pyosys_sigsig_issue
blob
|
commitdiff
|
raw
|
diff to current
2019-08-16
Eddie Hung
Merge branch 'eddie/abc9_refactor' into xaig_dff
blob
|
commitdiff
|
raw
|
diff to current
2019-07-24
Jim Lawson
Merge remote-tracking branch 'upstream/master'
blob
|
commitdiff
|
raw
|
diff to current
2019-07-19
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
blob
|
commitdiff
|
raw
|
diff to current
2019-07-18
Eddie Hung
Merge remote-tracking branch 'origin/master' into ice40dsp
blob
|
commitdiff
|
raw
|
diff to current
2019-07-18
Clifford Wolf
Merge pull request #1184 from whitequark/synth-better...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-16
Eddie Hung
Merge pull request #1188 from YosysHQ/eddie/abc9_push_i...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-16
Eddie Hung
Merge pull request #1186 from YosysHQ/eddie/abc9_ice40_fix
blob
|
commitdiff
|
raw
|
diff to current
2019-07-15
Eddie Hung
Merge pull request #1196 from YosysHQ/eddie/fix1178
blob
|
commitdiff
|
raw
|
diff to current
2019-07-15
Eddie Hung
Revert "Add log_checkpoint function and use it in opt_m...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-15
Eddie Hung
Merge branch 'master' into eddie/fix1178
blob
|
commitdiff
|
raw
|
diff to current
2019-07-15
Clifford Wolf
Redesign log_id_cache so that it doesn't keep IdString...
blob
|
commitdiff
|
raw
|
diff to current
2019-07-15
Clifford Wolf
Add log_checkpoint function and use it in opt_muxtree
blob
|
commitdiff
|
raw
|
diff to current
2019-06-26
Eddie Hung
Merge branch 'xc7nocarrymux' of https://github.com...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-14
Bogdan Vukobratovic
Merge remote-tracking branch 'upstream/master'
blob
|
commitdiff
|
raw
|
diff to current
2019-06-13
Serge Bazanski
Merge pull request #829 from abdelrahmanhosny/master
blob
|
commitdiff
|
raw
|
diff to current
2019-06-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
blob
|
commitdiff
|
raw
|
diff to current
2019-06-08
Clifford Wolf
Merge pull request #1078 from YosysHQ/eddie/muxcover_costs
blob
|
commitdiff
|
raw
|
diff to current
2019-06-07
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
blob
|
commitdiff
|
raw
|
diff to current
2019-06-07
Eddie Hung
Merge branch 'master' into eddie/muxpack
blob
|
commitdiff
|
raw
|
diff to current
2019-06-07
Clifford Wolf
Merge pull request #1077 from YosysHQ/clifford/pr983
blob
|
commitdiff
|
raw
|
diff to current
2019-06-07
Clifford Wolf
Fixes and cleanups in AST_TECALL handling
blob
|
commitdiff
|
raw
|
diff to current
2019-06-07
Clifford Wolf
Merge branch 'pr_elab_sys_tasks' of https://github...
blob
|
commitdiff
|
raw
|
diff to current
2019-06-06
David Shah
Merge pull request #1073 from whitequark/ecp5-diamond-iob
blob
|
commitdiff
|
raw
|
diff to current
2019-06-05
Clifford Wolf
Merge pull request #999 from jakobwenzel/setundefInitFix
blob
|
commitdiff
|
raw
|
diff to current
next