aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
* Remove ALL currently unused flags (some to be reintroduced later and passed t...TaoBi222022-11-171-82/+3
* Add synth_fabulous ScriptPassTaoBi222022-11-178-0/+1282
* Bump versiongithub-actions[bot]2022-11-171-1/+1
* Slowing down clock to have same metadataMiodrag Milanovic2022-11-161-2/+2
* Bump versiongithub-actions[bot]2022-11-161-1/+1
* faketime to make PDFs uniqueMiodrag Milanovic2022-11-151-2/+2
* Rst docs conversion (#3496)KrystalDelusion2022-11-1557-2/+7792
* Merge pull request #3547 from YosysHQ/update_abcMiodrag Milanović2022-11-141-1/+1
|\
| * Update ABCMiodrag Milanovic2022-11-091-1/+1
* | Bump versiongithub-actions[bot]2022-11-101-1/+1
* | Add missing memory width assert preventing division by zero (#3546)Emil J2022-11-091-0/+1
|/
* Bump versiongithub-actions[bot]2022-11-091-1/+1
* Next dev cycleMiodrag Milanovic2022-11-082-2/+5
* Release version 0.23Miodrag Milanovic2022-11-082-3/+3
* Update manualMiodrag Milanovic2022-11-081-0/+47
* Bump versiongithub-actions[bot]2022-11-081-1/+1
* Merge pull request #3544 from jix/cosim-ffinitJannis Harder2022-11-071-12/+11
|\
| * sim: Run a comb-only update step to set past values during FST cosimJannis Harder2022-11-071-12/+11
|/
* Update CHANGELOGMiodrag Milanovic2022-11-071-1/+5
* Merge pull request #3536 from YosysHQ/claire/vcdendMiodrag Milanović2022-11-071-0/+1
|\
| * Add extra time at the end of a sat VCD traceClaire Xenia Wolf2022-11-011-0/+1
* | Merge pull request #3543 from jix/fstdata-fixesMiodrag Milanović2022-11-071-8/+20
|\ \
| * | 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
|/ /
* | Update CHANGELOGMiodrag Milanovic2022-11-071-0/+11
* | Bump versiongithub-actions[bot]2022-11-051-1/+1
* | Separate deprecated compilers on CIMiodrag Milanovic2022-11-042-14/+21
|/
* Bump versiongithub-actions[bot]2022-11-011-1/+1
* Merge pull request #3533 from YosysHQ/micko/libertyMiodrag Milanović2022-10-312-1/+84
|\
| * Add additional help infoMiodrag Milanovic2022-10-311-0/+2
| * Enable importing blackbox modules onlyMiodrag Milanovic2022-10-311-1/+33
| * Support for reading liberty files using verificMiodrag Milanovic2022-10-312-1/+50
* | Merge pull request #3534 from mmicko/win32_pluginsMiodrag Milanović2022-10-313-6/+942
|\ \ | |/ |/|
| * Windows plugin build supportMiodrag Milanovic2022-10-311-6/+28
| * Add dlfcn library for win32Miodrag Milanovic2022-10-282-0/+914
* | Bump versiongithub-actions[bot]2022-10-311-1/+1
* | Add missing log_dump_val_worker forward declarationsClaire Xenia Wolf2022-10-301-0/+5
* | Bump versiongithub-actions[bot]2022-10-301-1/+1
* | Merge pull request #3530 from jix/simlib-mux-fixJannis Harder2022-10-291-4/+2
|\ \ | |/ |/|
| * simlib: Simplify recently changed $mux modelJannis Harder2022-10-281-4/+2
|/
* Bump versiongithub-actions[bot]2022-10-251-1/+1
* Merge pull request #3528 from YosysHQ/claire/crossbitsClaire Xen2022-10-251-4/+32
|\
| * Add miter -cross optionClaire Xenia Wolf2022-10-241-4/+32
|/
* Merge pull request #3526 from jix/mux-simlib-evalJannis Harder2022-10-245-15/+38
|\
| * Consistent $mux undef handlingJannis Harder2022-10-245-15/+38
* | Merge pull request #3518 from jix/smtmapJannis Harder2022-10-242-0/+29
|\ \
| * | Add smtmap.v describing the smt2 backend's behavior for undef bitsJannis Harder2022-10-202-0/+29
* | | Merge pull request #3517 from jix/smtbmc-witness-no-assume-skippedJannis Harder2022-10-241-3/+0
|\ \ \
| * | | smtbmc: Do not assume skipped assertions when loading a witness traceJannis Harder2022-10-201-3/+0
* | | | Merge pull request #3523 from lparkes/basenameMiodrag Milanović2022-10-241-1/+1
|\ \ \ \
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-04 17:11:15 +0000