projects / yosys.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add $divfloor support to write_smt2
2022-05-23 Miodrag MilanovićMerge pull request #3332 from YosysHQ/verific_f
 commit | commitdiff | tree
2022-05-23 Miodrag MilanovićMerge pull request #3331 from YosysHQ/git_rev_fix
 commit | commitdiff | tree
2022-05-17 Miodrag MilanovićMerge pull request #3310 from robinsonb5-PRs/master
 commit | commitdiff | tree
2022-05-09 Miodrag MilanovićMerge pull request #3299 from YosysHQ/mmicko/sim_memory
 commit | commitdiff | tree
2022-05-06 Miodrag MilanovićMerge pull request #3300 from imhcyx/master
 commit | commitdiff | tree
2022-04-29 Miodrag MilanovićMerge pull request #3294 from YosysHQ/micko/verific_merge_pa...
commit | commitdiff | tree
2022-04-25 Miodrag MilanovićMerge pull request #3290 from mpasternacki/bugfix/freebsd...
commit | commitdiff | tree
2022-04-25 Miodrag MilanovićMerge pull request #3289 from YosysHQ/micko/sim_improve
 commit | commitdiff | tree
2022-04-18 Miodrag MilanovićMerge pull request #3280 from YosysHQ/micko/fix_readaiw
 commit | commitdiff | tree
2022-04-18 Miodrag MilanovićMerge pull request #3282 from nakengelhardt/verific_loop_rams
 commit | commitdiff | tree
2022-04-08 Miodrag MilanovićMerge pull request #3275 from YosysHQ/micko/clk2fflogic_fix
 commit | commitdiff | tree
2022-04-08 Miodrag MilanovićMerge pull request #3273 from modwizcode/fix-build
 commit | commitdiff | tree
2022-04-04 Miodrag MilanovićMerge pull request #3265 from YosysHQ/micko/sim_improvements
 commit | commitdiff | tree
2022-04-01 Miodrag MilanovićMerge pull request #3263 from YosysHQ/micko/clk2ff_init
 commit | commitdiff | tree
2022-04-01 Miodrag MilanovićMerge pull request #3262 from YosysHQ/micko/verific_hiernet
 commit | commitdiff | tree
2022-03-31 Miodrag MilanovićMerge pull request #3256 from YosysHQ/micko/aiw_multiclock
 commit | commitdiff | tree
2022-03-30 Miodrag MilanovićMerge pull request #3259 from YosysHQ/micko/verific_valgrind
 commit | commitdiff | tree
2022-03-30 Miodrag MilanovićMerge pull request #3260 from YosysHQ/micko/proper_scopename
 commit | commitdiff | tree
2022-03-30 Miodrag MilanovićMerge pull request #3250 from YosysHQ/micko/verific_consistent
 commit | commitdiff | tree
2022-03-29 Miodrag MilanovićMerge pull request #3258 from jix/fix-no-assertions
 commit | commitdiff | tree
2022-03-28 Miodrag MilanovićUpdate URL to zlib
 commit | commitdiff | tree
2022-03-25 Miodrag MilanovićMerge pull request #3249 from YosysHQ/micko/no_startoffset
 commit | commitdiff | tree
2022-03-24 Miodrag MilanovićMerge pull request #3243 from nakengelhardt/fix_aiw_comment
 commit | commitdiff | tree
2022-03-17 Miodrag MilanovićMerge pull request #3236 from YosysHQ/micko/tb_initial
 commit | commitdiff | tree
2022-03-14 Miodrag MilanovićMerge pull request #3232 from YosysHQ/micko/fst2tb
 commit | commitdiff | tree
2022-03-11 Miodrag MilanovićMerge pull request #3229 from YosysHQ/micko/sim_date
 commit | commitdiff | tree
2022-03-11 Miodrag MilanovićMerge pull request #3222 from zachjs/prune-linux-ci
 commit | commitdiff | tree
2022-03-11 Miodrag MilanovićMerge pull request #3228 from YosysHQ/micko/disable_tests
 commit | commitdiff | tree
2022-03-11 Miodrag MilanovićMerge pull request #3226 from YosysHQ/micko/btor2witness
 commit | commitdiff | tree
2022-03-07 Miodrag MilanovićMerge pull request #3210 from rqou/json-signed
 commit | commitdiff | tree
2022-03-04 Miodrag MilanovićMerge pull request #3186 from nakengelhardt/smtbmc_sby_print_id
 commit | commitdiff | tree
2022-03-04 Miodrag MilanovićMerge pull request #3206 from YosysHQ/micko/quote_remove
 commit | commitdiff | tree
2022-03-04 Miodrag MilanovićMerge pull request #3207 from nakengelhardt/json_escape_quotes
 commit | commitdiff | tree
2022-03-04 Miodrag MilanovićMerge pull request #3219 from YosysHQ/micko/quick_vcd
 commit | commitdiff | tree
2022-03-04 Miodrag MilanovićMerge pull request #3220 from YosysHQ/claire/simstuff
 commit | commitdiff | tree
2022-02-28 Miodrag MilanovićMerge pull request #3216 from YosysHQ/claire/simstuff
 commit | commitdiff | tree
2022-02-21 Miodrag MilanovićMerge pull request #3203 from YosysHQ/micko/sim_ff
 commit | commitdiff | tree
2022-02-15 Miodrag MilanovićMerge pull request #3204 from YosysHQ/claire/update-abc
 commit | commitdiff | tree
2022-02-11 Miodrag MilanovićMerge pull request #3164 from zachjs/fix-ast-warn
 commit | commitdiff | tree
2022-02-09 Miodrag MilanovićMerge pull request #3193 from YosysHQ/micko/verific_f
 commit | commitdiff | tree
2022-02-07 Miodrag MilanovićMerge pull request #3185 from YosysHQ/micko/co_sim
 commit | commitdiff | tree
2022-02-02 Miodrag MilanovićMerge pull request #3183 from YosysHQ/micko/nto1mux
 commit | commitdiff | tree
2022-02-02 Miodrag MilanovićMerge pull request #3182 from yrabbit/wip-doc2
 commit | commitdiff | tree
2022-01-31 Miodrag MilanovićMerge pull request #3176 from higuoxing/fix-ref-manual
 commit | commitdiff | tree
2022-01-26 Miodrag Milanovićchange to windows-2019
 commit | commitdiff | tree
2022-01-19 Miodrag MilanovićMerge pull request #3120 from Icenowy/anlogic-bram
 commit | commitdiff | tree
2022-01-17 Miodrag MilanovićMerge pull request #3162 from YosysHQ/mmicko/windows_guidelines
 commit | commitdiff | tree
2022-01-17 Miodrag MilanovićUpdate guidelines/Windows
 commit | commitdiff | tree
2022-01-17 Miodrag MilanovićAdd info about VS build
 commit | commitdiff | tree
2021-12-10 Miodrag MilanovićMerge pull request #3102 from YosysHQ/claire/enumxz
 commit | commitdiff | tree
2021-12-10 Miodrag MilanovićMerge pull request #3097 from YosysHQ/modport
 commit | commitdiff | tree
2021-11-17 Miodrag MilanovićMerge pull request #3080 from YosysHQ/micko/init_wire
 commit | commitdiff | tree
2021-11-08 Miodrag MilanovićUpdate CODEOWNERS
 commit | commitdiff | tree
2021-11-08 Miodrag MilanovićLimit macOS GH actions
 commit | commitdiff | tree
2021-11-05 Miodrag MilanovićMerge pull request #3067 from YosysHQ/aki/ci_update
 commit | commitdiff | tree
2021-10-27 Miodrag MilanovićMerge pull request #3063 from YosysHQ/micko/verific_aldff
 commit | commitdiff | tree
2021-10-19 Miodrag MilanovićMerge pull request #3045 from galibert/master
 commit | commitdiff | tree
2021-09-28 Miodrag MilanovićMerge pull request #3017 from YosysHQ/claire/short_rtlil_x_const
 commit | commitdiff | tree
2021-09-18 Miodrag MilanovićMerge pull request #3010 from the6p4c/master
 commit | commitdiff | tree
2021-09-13 Miodrag MilanovićUpdates for CHANGELOG (#2997)
 commit | commitdiff | tree
2021-09-10 Miodrag MilanovićMerge pull request #3001 from YosysHQ/claire/sigcheck
 commit | commitdiff | tree
2021-08-20 Miodrag MilanovićMerge pull request #2973 from YosysHQ/micko/optional_extensions
 commit | commitdiff | tree
2021-08-13 Miodrag MilanovićMerge pull request #2932 from YosysHQ/mwk/logger-check...
commit | commitdiff | tree
2021-07-30 Miodrag MilanovićUpdate version.yml
 commit | commitdiff | tree
2021-06-18 Miodrag MilanovićMerge pull request #2836 from YosysHQ/gatecat/pyosys...
commit | commitdiff | tree
2021-05-24 Miodrag MilanovićMerge pull request #2779 from YosysHQ/mwk/nuke-travis
 commit | commitdiff | tree
2021-05-20 Miodrag MilanovićRun VS build on PRs and each push
 commit | commitdiff | tree
2021-04-27 Miodrag MilanovićMerge pull request #2738 from mdko/xilinx-blif
 commit | commitdiff | tree
2021-03-19 Miodrag MilanovićMerge pull request #2681 from msinger/fix-issue2606
 commit | commitdiff | tree
2021-01-21 Miodrag MilanovićMerge pull request #2553 from zachjs/rand-const-modifiers
 commit | commitdiff | tree
2021-01-20 Miodrag MilanovićMerge pull request #2536 from TobiasFaller/master
 commit | commitdiff | tree
2021-01-20 Miodrag MilanovićMerge pull request #2551 from zachjs/wire-logic
 commit | commitdiff | tree
2020-12-26 Miodrag MilanovićMerge pull request #2506 from zachjs/const-arg-redeclare
 commit | commitdiff | tree
2020-12-09 Miodrag MilanovićMerge pull request #2483 from YosysHQ/pmgen_nice_error
 commit | commitdiff | tree
2020-12-01 Miodrag MilanovićMerge pull request #2460 from pepijndevos/simple-gowin
 commit | commitdiff | tree
2020-11-25 Miodrag MilanovićMerge pull request #2453 from YosysHQ/mmicko/verilog_assignments
 commit | commitdiff | tree
2020-11-24 Miodrag MilanovićMerge pull request #2448 from nitz/tcl-script-documentation...
commit | commitdiff | tree
2020-11-24 Miodrag MilanovićMerge pull request #2295 from epfl-vlsc/firrtl_blackbox_gene...
commit | commitdiff | tree
2020-11-20 Miodrag MilanovićMerge pull request #2443 from YosysHQ/dave/nexus-mult...
commit | commitdiff | tree
2020-11-18 Miodrag MilanovićMerge pull request #2441 from YosysHQ/dave/nexus_dsp_sim
 commit | commitdiff | tree
2020-11-16 Miodrag MilanovićMerge pull request #2438 from kbeckmann/gowin_rpll
 commit | commitdiff | tree
2020-11-10 Miodrag MilanovićMerge pull request #2433 from YosysHQ/paths_as_globals
 commit | commitdiff | tree
2020-11-07 Miodrag MilanovićMerge pull request #2432 from Xiretza/nexus-tests
 commit | commitdiff | tree
2020-10-19 Miodrag MilanovićMerge pull request #2397 from daveshah1/nexus
 commit | commitdiff | tree
2020-10-05 Miodrag MilanovićUpdate required Verific version
 commit | commitdiff | tree
2020-09-28 Miodrag MilanovićMerge pull request #2386 from btut/fix/pyinstallpath
 commit | commitdiff | tree
2020-09-23 Miodrag MilanovićMerge pull request #2384 from nakengelhardt/fix_2383
 commit | commitdiff | tree
2020-09-10 Miodrag MilanovićMerge pull request #2369 from Xiretza/gitignores
 commit | commitdiff | tree
2020-08-27 Miodrag MilanovićMerge pull request #2364 from whitequark/manual-typo
 commit | commitdiff | tree
2020-08-26 Miodrag MilanovićMerge pull request #2355 from YosysHQ/verific_improvements
 commit | commitdiff | tree
2020-07-29 Miodrag MilanovićMerge pull request #2314 from YosysHQ/verifix_errorfix
 commit | commitdiff | tree
2020-07-17 Miodrag MilanovićMerge pull request #2275 from YosysHQ/mwk/sf2-clkint-fix
 commit | commitdiff | tree
2020-07-17 Miodrag MilanovićMerge pull request #2274 from YosysHQ/mwk/anlogic-ff-fix
 commit | commitdiff | tree
2020-07-16 Miodrag MilanovićMerge pull request #2238 from YosysHQ/mwk/dfflegalize...
commit | commitdiff | tree
2020-07-16 Miodrag MilanovićMerge pull request #2226 from YosysHQ/mwk/nuke-efinix...
commit | commitdiff | tree
2020-06-29 Miodrag MilanovićMerge pull request #2200 from YosysHQ/mmicko/fix_expose
 commit | commitdiff | tree
2020-06-18 Miodrag MilanovićMerge pull request #2164 from madebr/msvc
 commit | commitdiff | tree
2020-05-21 Miodrag MilanovićMerge pull request #2059 from boqwxp/logger-vector...
commit | commitdiff | tree
2020-04-15 Miodrag MilanovićMerge pull request #1894 from YosysHQ/mingw_fix
 commit | commitdiff | tree
2020-04-10 Miodrag MilanovićMerge pull request #1893 from mmicko/program_prefix
 commit | commitdiff | tree
next