Add support for memory writes in processes.
authorMarcelina Kościelnicka <mwk@0x04.net>
Mon, 22 Feb 2021 23:21:46 +0000 (00:21 +0100)
committerMarcelina Kościelnicka <mwk@0x04.net>
Mon, 8 Mar 2021 19:16:29 +0000 (20:16 +0100)
commit4e03865d5bf3fafe0bd3735c88431675d53d2663
tree7ef637bd0526b498d32386bc1c79c671a02af7f0
parentc00a29296c8d3446c7cfe253080c7e33358219b0
Add support for memory writes in processes.
16 files changed:
backends/rtlil/rtlil_backend.cc
frontends/rtlil/rtlil_lexer.l
frontends/rtlil/rtlil_parser.y
kernel/rtlil.cc
kernel/rtlil.h
manual/CHAPTER_Overview.tex
passes/cmds/bugpoint.cc
passes/cmds/check.cc
passes/cmds/show.cc
passes/proc/Makefile.inc
passes/proc/proc.cc
passes/proc/proc_arst.cc
passes/proc/proc_clean.cc
passes/proc/proc_dlatch.cc
passes/proc/proc_init.cc
passes/proc/proc_memwr.cc [new file with mode: 0644]