aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat
Commit message (Expand)AuthorAgeFilesLines
...
| | * error when no signal foundMiodrag Milanovic2022-01-311-0/+2
| | * CleanupMiodrag Milanovic2022-01-311-1/+1
| | * Compare bits when not all are definedMiodrag Milanovic2022-01-311-3/+17
| | * CleanupMiodrag Milanovic2022-01-311-2/+2
| | * message updateMiodrag Milanovic2022-01-311-1/+1
| | * Display simulation time dataMiodrag Milanovic2022-01-311-1/+4
| | * Use edges when explicitMiodrag Milanovic2022-01-311-1/+5
| | * Updating initial state and checksMiodrag Milanovic2022-01-311-15/+28
| | * Fix scopeMiodrag Milanovic2022-01-311-1/+1
| | * check if stop before startMiodrag Milanovic2022-01-281-0/+3
| | * set initial state, only flip-flopsMiodrag Milanovic2022-01-281-1/+28
| | * ignore not found private signalsMiodrag Milanovic2022-01-281-0/+3
| | * recursive checkMiodrag Milanovic2022-01-281-26/+34
| | * Do actual compareMiodrag Milanovic2022-01-281-5/+16
| | * Add more options and time handlingMiodrag Milanovic2022-01-281-2/+103
| | * Display values of outputsMiodrag Milanovic2022-01-261-12/+10
| | * Check if stimulatedMiodrag Milanovic2022-01-261-0/+14
| | * Read fst and use data to set inputsMiodrag Milanovic2022-01-261-10/+92
| | * Add ability to write to FST fileMiodrag Milanovic2022-01-261-11/+109
| * | Add $bmux and $demux cells.Marcelina Kościelnicka2022-01-281-0/+6
| |/
| * FfData: some refactoring.Marcelina Kościelnicka2021-10-072-26/+22
| * kernel/ff: Refactor FfData to enable FFs with async load.Marcelina Kościelnicka2021-10-022-31/+64
| * memory: Introduce $meminit_v2 cell, with EN input.Marcelina Kościelnicka2021-07-281-0/+1
| * Use HTTPS for website links, gatecat emailClaire Xenia Wolf2021-06-091-1/+1
| * Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-0814-15/+15
| * sim: Add wide port support.Marcelina Kościelnicka2021-05-251-3/+3
| * kernel/rtlil: Extract some helpers for checking memory cell types.Marcelina Kościelnicka2021-05-221-1/+1
| * sim: Avoid a crash on empty cell connection.Marcelina Kościelnicka2021-03-081-1/+1
* | clk2fflogic: nice names for autogenerated signalsNoah Moroze2021-03-021-9/+19
|/
* assertpmux: Fix crash on unused $pmux output.Marcelina Kościelnicka2021-02-221-1/+1
* Add #include needed to build with gcc-11Gabriel Somlo2020-11-261-0/+1
* Add rewrite_filename for sim -vcd argument.Chris Dailey2020-11-241-1/+3
* Merge pull request #2403 from nakengelhardt/sim_timescaleN. Engelhardt2020-10-221-0/+21
|\
| * use strftime instead of put_time for gcc 4.8 compatibilityN. Engelhardt2020-10-211-4/+5
| * wild guessing at the problem because it builds fine on my machinesN. Engelhardt2020-10-161-0/+3
| * sim -vcd: add date, version, and option for timescaleN. Engelhardt2020-10-161-0/+17
* | sim: Use Mem helper.Marcelina Kościelnicka2020-10-211-103/+90
* | clk2fflogic: Use Mem helper.Marcelina Kościelnicka2020-10-211-68/+45
|/
* use the new isPublic() in a few placesN. Engelhardt2020-09-142-4/+4
* async2sync: Support all FF types.Marcelina Kościelnicka2020-07-302-145/+162
* async2sync: Refactor to use FfInitVals.Marcelina Kościelnicka2020-07-241-53/+11
* clk2fflogic: Support all FF types.Marcelina Kościelnicka2020-07-241-200/+122
* qbfsat: Add `-solver-option` option.Alberto Gonzalez2020-07-202-1/+15
* clk2fflogic: Consistently treat async control signals as negative hold.Marcelina Kościelnicka2020-07-091-57/+51
* Merge pull request #2208 from boqwxp/qbfsat-cleanupclairexen2020-07-022-255/+273
|\
| * qbfsat: Remove useless comment and #ifndef guards.Alberto Gonzalez2020-07-011-5/+0
| * qbfsat: Specify default values for some options in the help message.Alberto Gonzalez2020-07-011-0/+2
| * qbfsat: Clean up external executable command lines and update temporary direc...Alberto Gonzalez2020-07-011-3/+7
| * qbfsat: Clean up and refactor data structures into `qbfsat.h`.Alberto Gonzalez2020-07-012-248/+265
* | Merge pull request #2211 from YosysHQ/mwk/fix-fmcombine-ffclairexen2020-07-021-2/+1
|\ \ | |/ |/|
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-05 19:21:09 +0000