aboutsummaryrefslogtreecommitdiffstats
path: root/manual
Commit message (Expand)AuthorAgeFilesLines
* update manual to latestMiodrag Milanovic2022-08-031-2/+5
* Update manual and changelogMiodrag Milanovic2022-08-031-0/+3
* Update documentationMiodrag Milanovic2022-08-011-0/+4
* Upadte documentation and changelogMiodrag Milanovic2022-07-041-46/+30
* add hierarchy -smtcheckJacob Lifshay2022-06-221-0/+3
* Update manualMiodrag Milanovic2022-06-101-0/+8
* Update changelog and manualMiodrag Milanovic2022-06-081-91/+160
* Update manualMiodrag Milanovic2022-05-091-0/+44
* Update CHANGELOG and manualMiodrag Milanovic2022-04-041-2/+54
* Update documentationMiodrag Milanovic2022-03-041-1/+96
* Update CHANGELOG and manualMiodrag Milanovic2022-02-071-3/+61
* manual: Fix a custom pass example.Marcelina Kościelnicka2022-01-271-1/+1
* manual: Fix cell-stmt ordergatecat2022-01-031-1/+1
* Update manualMiodrag Milanovic2022-01-031-1/+21
* opt_mem_priority: Fix non-ascii char in help message.Marcelina Kościelnicka2021-12-091-11/+1
* Update manualMiodrag Milanovic2021-12-031-22/+181
* manual: fix pdflatex inputenc undefined char errorGabriel Somlo2021-11-071-1/+1
* Update command referenceMiodrag Milanovic2021-11-051-0/+17
* Update command reference part of manualMiodrag Milanovic2021-10-291-340/+1444
* Add $aldff and $aldffe: flip-flops with async load.Marcelina Kościelnicka2021-10-021-2/+13
* Add v2 memory cells.Marcelina Kościelnicka2021-08-111-27/+99
* memory: Introduce $meminit_v2 cell, with EN input.Marcelina Kościelnicka2021-07-281-5/+6
* Intersynth URLClaire Xenia Wolf2021-06-091-1/+1
* More deadname stuffClaire Xenia Wolf2021-06-099-26/+26
* Use HTTPS for website links, gatecat emailClaire Xenia Wolf2021-06-099-12/+12
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-0810-13/+13
* split CodingReadme into multiple filesN. Engelhardt2021-03-221-5/+6
* bugpoint: add runner optionZachary Snow2021-03-171-0/+3
* verilog: Use proc memory writes in the frontend.Marcelina Kościelnicka2021-03-081-0/+5
* Add support for memory writes in processes.Marcelina Kościelnicka2021-03-081-2/+3
* Update command-reference-manual.texClaire Xen2021-03-041-4/+4
* RTLIL Documentation: switch in process is optionalRobert Baruch2021-02-271-1/+1
* Further juggles the wording of "character".Robert Baruch2020-11-251-1/+1
* Clarifies how character encodings work.Robert Baruch2020-11-251-5/+5
* Clarifies whitespace and eol.Robert Baruch2020-11-251-2/+6
* Cleans up doublequotesRobert Baruch2020-11-251-2/+2
* Clarifies use of integers, and character set.Robert Baruch2020-11-251-4/+12
* Clarifies processes, corrects some attributesRobert Baruch2020-11-251-29/+46
* Refactors for attributes.Robert Baruch2020-11-241-50/+50
* Cleans up some descriptions and syntaxRobert Baruch2020-11-241-25/+43
* Adds missing "end" and eol to module.Robert Baruch2020-11-221-1/+1
* Update to Values #2Robert Baruch2020-11-221-1/+1
* Update to Values sectionRobert Baruch2020-11-221-2/+2
* Adds appendix on RTLIL text formatRobert Baruch2020-11-223-0/+260
* manual: fix typo.whitequark2020-08-271-1/+1
* Replace "ILANG" with "RTLIL" everywhere.whitequark2020-08-263-16/+14
* Add latches to the manual.Marcelina Kościelnicka2020-06-261-42/+165
* Add a few more gate types to the manual.Marcelina Kościelnicka2020-06-261-8/+36
* Add new builtin FF typesMarcelina Kościelnicka2020-06-231-28/+178
* Use C++11 final/override keywords.whitequark2020-06-182-4/+4