aboutsummaryrefslogtreecommitdiffstats
path: root/kernel
Commit message (Expand)AuthorAgeFilesLines
* sat: Add -set-def-formal option to force defined $any* outputsJannis Harder2022-11-282-4/+24
* Add TCL interactive shell modeMiodrag Milanovic2022-11-252-8/+34
* Rst docs conversion (#3496)KrystalDelusion2022-11-151-0/+109
* Add missing memory width assert preventing division by zero (#3546)Emil J2022-11-091-0/+1
* fstdata: Update past_data before end_time callbackJannis Harder2022-11-071-0/+1
* fstdata: Handle square/angle bracket replacemnt, change memory handlingJannis Harder2022-11-071-8/+19
* Add missing log_dump_val_worker forward declarationsClaire Xenia Wolf2022-10-301-0/+5
* Consistent $mux undef handlingJannis Harder2022-10-243-10/+36
* Add missing log_dump handler for std::vector<>Claire Xenia Wolf2022-10-201-0/+12
* Add YOSYS_ABORT_ON_LOG_ERROR environment variable for debugging.Jannis Harder2022-10-071-0/+3
* Fix mingw buildMiodrag Milanovic2022-08-291-0/+3
* kernel: hashlib: cleaned up message about table size in cases where `sizeof(i...Aki Van Ness2022-08-251-1/+1
* use inttypes format specifiersN. Engelhardt2022-08-251-3/+3
* dump runtime information for passes to jsonN. Engelhardt2022-08-251-1/+28
* formalff: Set new replaced_by_gclk attribute on removed dff's clksJannis Harder2022-08-161-0/+1
* Add the $anyinit cell and the formalff passJannis Harder2022-08-166-6/+48
* Encode filename unprintable charsMiodrag Milanovic2022-08-081-0/+15
* Assorted microoptimization speedups in core data structures.Marcelina Kościelnicka2022-07-276-193/+117
* Make all compile under OpenBSD (#3423)Miodrag Milanović2022-07-272-0/+42
* Merge pull request #3392 from rockybulwinkle/rockybulwinkle-patch-1Miodrag Milanović2022-07-111-0/+4
|\
| * Remove empty linesMarcelina Kościelnicka2022-07-111-2/+0
| * Update tcl doc, yosys does not return data to tclrockybulwinkle2022-06-231-0/+6
* | using more portable formattingMiodrag Milanovic2022-07-061-1/+1
|/
* Add a check for packed memory MEMID uniquenessMarcelina Kościelnicka2022-06-131-0/+10
* Use compiler-generated default constructor for RTLIL::Const::ConstHenner Zeller2022-06-092-11/+3
* smt2: Add smtlib2_comb_expr attribute to allow user-selected smtlib2 expressionsJacob Lifshay2022-06-021-0/+2
* memory_dff: Add support for no_rw_check attribute.Marcelina Kościelnicka2022-06-021-0/+1
* Merge pull request #3333 from mohamed/feature/tmpdirMiodrag Milanović2022-05-273-27/+44
|\
| * Cleanup, and fix windowsMiodrag Milanovic2022-05-271-37/+24
| * Observe $TMPDIR variable when creating tmp filesMohamed A. Bamakhrama2022-05-273-4/+34
* | Remove set but unused variableMiodrag Milanovic2022-05-271-4/+0
|/
* Add memory_libmap pass.Marcelina Kościelnicka2022-05-181-0/+12
* Merge pull request #3310 from robinsonb5-PRs/masterMiodrag Milanović2022-05-171-0/+2
|\
| * Use log_warning when Tcl_Init fails, report error with Tcl_ErrnoMsg.Alastair M. Robinson2022-05-161-1/+1
| * Now calls Tcl_Init after creating the interp, fixes clock format.Alastair M. Robinson2022-05-101-0/+2
* | Add opt_ffinv pass.Marcelina Kościelnicka2022-05-132-3/+12
* | Add proc_rom pass.Marcelina Kościelnicka2022-05-131-1/+1
|/
* Handle possible non-memory indexed dataMiodrag Milanovic2022-05-061-8/+10
* map memory location to wire value, if memory is converted to FFsMiodrag Milanovic2022-05-041-0/+4
* Start restoring memory state from VCD/FSTMiodrag Milanovic2022-05-042-1/+33
* Ignore change on last edgeMiodrag Milanovic2022-04-221-4/+5
* Proper scope naming from FSTMiodrag Milanovic2022-03-302-9/+4
* kernel/mem: Only use FF init in read-first emu for mem with initMarcelina Kościelnicka2022-03-281-1/+4
* Add some more reserve calls to RTLIL::ConstNotAFile2022-03-251-0/+5
* More verbose warningsMiodrag Milanovic2022-03-181-1/+2
* Recognize registers and set initial state for them in tbMiodrag Milanovic2022-03-162-0/+2
* VCD reader support by using external toolMiodrag Milanovic2022-02-282-0/+20
* Fix for last clock edge dataMiodrag Milanovic2022-02-251-0/+1
* Changed error messageMiodrag Milanovic2022-02-181-1/+1
* Add support for various ff/latch cells simulationMiodrag Milanovic2022-02-162-109/+54