Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Next dev cycle | Miodrag Milanovic | 2023-04-14 | 1 | -0/+3 |
| | |||||
* | Release version 0.28 | Miodrag Milanovic | 2023-04-14 | 1 | -1/+12 |
| | |||||
* | Next dev cycle | Miodrag Milanovic | 2023-03-06 | 1 | -0/+3 |
| | |||||
* | Release version 0.27 | Miodrag Milanovic | 2023-03-06 | 1 | -1/+12 |
| | |||||
* | Next dev cycle | Miodrag Milanovic | 2023-02-08 | 1 | -0/+3 |
| | |||||
* | Release version 0.26 | Miodrag Milanovic | 2023-02-08 | 1 | -2/+2 |
| | |||||
* | Updated changelog | Miodrag Milanovic | 2023-02-08 | 1 | -0/+18 |
| | |||||
* | Add deprecation info to changelog | Miodrag Milanovic | 2023-01-11 | 1 | -0/+2 |
| | |||||
* | Next dev cycle | Miodrag Milanovic | 2023-01-03 | 1 | -0/+3 |
| | |||||
* | Release version 0.25 | Miodrag Milanovic | 2023-01-03 | 1 | -1/+6 |
| | |||||
* | Next dev cycle | Miodrag Milanovic | 2022-12-05 | 1 | -0/+3 |
| | |||||
* | Release version 0.24 | Miodrag Milanovic | 2022-12-05 | 1 | -1/+14 |
| | |||||
* | Merge branch 'zachjs-master' | Jannis Harder | 2022-11-21 | 1 | -0/+3 |
|\ | |||||
| * | verilog: Support module-scoped task/function calls | Zachary Snow | 2022-10-29 | 1 | -0/+3 |
| | | | | | | | | | | | | | | | | This is primarily intended to enable the standard-permitted use of module-scoped identifiers to refer to tasks and non-constant functions. As a side-effect, this also adds support for the non-standard use of module-scoped identifiers referring to constant functions, a feature that is supported in some other tools, including Iverilog. | ||||
* | | Next dev cycle | Miodrag Milanovic | 2022-11-08 | 1 | -0/+3 |
| | | |||||
* | | Release version 0.23 | Miodrag Milanovic | 2022-11-08 | 1 | -1/+1 |
| | | |||||
* | | Update CHANGELOG | Miodrag Milanovic | 2022-11-07 | 1 | -1/+5 |
| | | |||||
* | | Update CHANGELOG | Miodrag Milanovic | 2022-11-07 | 1 | -0/+11 |
|/ | |||||
* | Add YOSYS_ABORT_ON_LOG_ERROR environment variable for debugging. | Jannis Harder | 2022-10-07 | 1 | -0/+4 |
| | |||||
* | Next dev cycle | Miodrag Milanovic | 2022-10-05 | 1 | -0/+3 |
| | |||||
* | Release version 0.22 | Miodrag Milanovic | 2022-10-05 | 1 | -1/+1 |
| | |||||
* | Update CHANGELOG | Miodrag Milanovic | 2022-10-05 | 1 | -0/+8 |
| | |||||
* | Next dev cycle | Miodrag Milanovic | 2022-09-06 | 1 | -0/+3 |
| | |||||
* | Release version 0.21 | Miodrag Milanovic | 2022-09-06 | 1 | -1/+1 |
| | |||||
* | Update Changelog | Miodrag Milanovic | 2022-09-06 | 1 | -0/+13 |
| | |||||
* | sim: -hdlname option to preserve flattened hierarchy in sim output | Jannis Harder | 2022-08-16 | 1 | -0/+2 |
| | |||||
* | rename: Add -witness mode | Jannis Harder | 2022-08-16 | 1 | -0/+2 |
| | |||||
* | aiger: Add yosys-witness support | Jannis Harder | 2022-08-16 | 1 | -0/+3 |
| | | | | | Adds a new json based aiger map file and yosys-witness converters to us this to convert between native and AIGER witness files. | ||||
* | smtbmc: Add native json based witness format + smt2 backend support | Jannis Harder | 2022-08-16 | 1 | -0/+4 |
| | | | | | | | | | | | | | | | | | | | | This adds a native json based witness trace format. By having a common format that includes everything we support, and providing a conversion utility (yosys-witness) we no longer need to implement every format for every tool that deals with witness traces, avoiding a quadratic opportunity to introduce subtle bugs. Included: * smt2: New yosys-smt2-witness info lines containing full hierarchical paths without lossy escaping. * yosys-smtbmc --dump-yw trace.yw: Dump results in the new format. * yosys-smtbmc --yw trace.yw: Read new format as constraints. * yosys-witness: New tool to convert witness formats. Currently this can only display traces in a human-readable-only format and do a passthrough read/write of the new format. * ywio.py: Small python lib for reading and writing the new format. Used by yosys-smtbmc and yosys-witness to avoid duplication. | ||||
* | memory_map: Add -formal option | Jannis Harder | 2022-08-16 | 1 | -0/+1 |
| | | | | | | This maps memories for a global clock based formal verification flow. This implies -keepdc, uses $ff cells for ROMs and sets hdlname attributes. | ||||
* | Add the $anyinit cell and the formalff pass | Jannis Harder | 2022-08-16 | 1 | -0/+6 |
| | | | | | | | These can be used to protect undefined flip-flop initialization values from optimizations that are not sound for formal verification and can help mapping all solver-provided values in witness traces for flows that use different backends simultaneously. | ||||
* | Next dev cycle | Miodrag Milanovic | 2022-08-03 | 1 | -0/+3 |
| | |||||
* | Release version 0.20 | Miodrag Milanovic | 2022-08-03 | 1 | -1/+1 |
| | |||||
* | Update Changelog | Miodrag Milanovic | 2022-08-03 | 1 | -0/+7 |
| | |||||
* | Update manual and changelog | Miodrag Milanovic | 2022-08-03 | 1 | -0/+6 |
| | |||||
* | Next dev cycle | Miodrag Milanovic | 2022-07-04 | 1 | -0/+3 |
| | |||||
* | Release version 0.19 | Miodrag Milanovic | 2022-07-04 | 1 | -1/+1 |
| | |||||
* | Mention smtlib2_module in README.md and CHANGELOG | Jannis Harder | 2022-07-04 | 1 | -3/+4 |
| | |||||
* | Upadte documentation and changelog | Miodrag Milanovic | 2022-07-04 | 1 | -0/+15 |
| | |||||
* | Next dev cycle | Miodrag Milanovic | 2022-06-10 | 1 | -0/+3 |
| | |||||
* | Release version 0.18 | Miodrag Milanovic | 2022-06-10 | 1 | -1/+1 |
| | |||||
* | Updated CHANGELOG | Miodrag Milanovic | 2022-06-10 | 1 | -0/+3 |
| | |||||
* | verific: Added "-vlog-libext" option to specify search extension for libraries | Miodrag Milanovic | 2022-06-09 | 1 | -0/+1 |
| | |||||
* | More updates on CHANGELOG | Miodrag Milanovic | 2022-06-08 | 1 | -5/+9 |
| | |||||
* | Update changelog and manual | Miodrag Milanovic | 2022-06-08 | 1 | -0/+10 |
| | |||||
* | verilog: fix width/sign detection for functions | Zachary Snow | 2022-05-30 | 1 | -0/+2 |
| | |||||
* | verilog: fix size and signedness of array querying functions | Jannis Harder | 2022-05-30 | 1 | -0/+2 |
| | | | | | | | | | | genrtlil.cc and simplify.cc had inconsistent and slightly broken handling of signedness for array querying functions. These functions are defined to return a signed result. Simplify always produced an unsigned and genrtlil always a signed 32-bit result ignoring the context. Includes tests for the the relvant edge cases for context dependent conversions. | ||||
* | verilog: fix $past's signedness | Jannis Harder | 2022-05-25 | 1 | -0/+3 |
| | |||||
* | verilog: fix signedness when removing unreachable cases | Jannis Harder | 2022-05-24 | 1 | -0/+5 |
| | |||||
* | Next dev cycle | Miodrag Milanovic | 2022-05-09 | 1 | -0/+3 |
| |