aboutsummaryrefslogtreecommitdiffstats
path: root/tests
Commit message (Expand)AuthorAgeFilesLines
* simplemap: Map `$xnor` to `$_XNOR_` cellsJannis Harder2022-11-292-5/+4
* Merge branch 'zachjs-master'Jannis Harder2022-11-211-0/+45
|\
| * verilog: Support module-scoped task/function callsZachary Snow2022-10-291-0/+45
* | fabulous: Allow adding extra custom prims and map rulesgatecat2022-11-173-0/+21
* | fabulous: improvements to the passgatecat2022-11-177-0/+141
|/
* Replace GNU specific invocation of basename(1) with the equivalentLloyd Parkes2022-10-231-1/+1
* smt2/smtbmc: Fix FF witness data for fine grained or multi chunk FFsJannis Harder2022-10-121-7/+7
* Merge pull request #3502 from jix/equiv_opt_fixesJannis Harder2022-10-1125-82/+95
|\
| * Reenable existing equiv_opt testsJannis Harder2022-10-0713-54/+52
| * Fix tests for check in equiv_optJannis Harder2022-10-0713-15/+31
| * Re-enable opt_dff_sr equiv_opt checksClaire Xenia Wolf2022-10-071-13/+12
* | Merge pull request #3452 from ALGCDG/masterMiodrag Milanović2022-10-101-0/+9
|\ \ | |/ |/|
| * Adding check for BLIF names command input plane size.Archie2022-08-211-0/+9
* | Test fixes for latest iverilogMiodrag Milanovic2022-09-211-2/+12
* | Add test for bug 3462Miodrag Milanovic2022-08-292-0/+15
|/
* write_aiger: Fix non-$_FF_ FFsJannis Harder2022-08-181-0/+7
* smtbmc: Add native json based witness format + smt2 backend supportJannis Harder2022-08-161-0/+8
* Merge pull request #3277 from YosysHQ/lofty/rename-scramble_nameN. Engelhardt2022-08-111-0/+31
|\
| * rename: add -scramble-name option to randomly rename selectionsLofty2022-08-081-0/+31
* | support file locations containing spacesMiodrag Milanovic2022-08-083-9/+10
|/
* gatemate: Add test for LUT tree mappinggatecat2022-06-273-0/+813
* Adding expected error message.Archie2022-06-221-0/+1
* Adding testcase for issue 3374Archie2022-06-221-0/+3
* smt2: emit smtlib2_comb_expr outputs after all inputsJannis Harder2022-06-072-6/+6
* don't use sed -i because it won't work on macosJacob Lifshay2022-06-032-2/+3
* smtlib2_module: try to fix test on macosJacob Lifshay2022-06-021-1/+1
* smt2: Add smtlib2_comb_expr attribute to allow user-selected smtlib2 expressionsJacob Lifshay2022-06-024-0/+127
* verilog: fix width/sign detection for functionsZachary Snow2022-05-302-0/+46
* verilog: fix size and signedness of array querying functionsJannis Harder2022-05-301-0/+52
* verilog: fix $past's signednessJannis Harder2022-05-251-0/+35
* verilog: fix signedness when removing unreachable casesJannis Harder2022-05-241-0/+33
* Add memory_bmux2rom pass.Marcelina Kościelnicka2022-05-181-0/+27
* Add memory_libmap tests.Marcelina Kościelnicka2022-05-1821-0/+1499
* efinix: Use `memory_libmap` pass.Marcelina Kościelnicka2022-05-181-12/+1
* ice40: Use `memory_libmap` pass.Marcelina Kościelnicka2022-05-181-56/+0
* xilinx: Use `memory_libmap` pass.Marcelina Kościelnicka2022-05-183-46/+15
* nexus: Use `memory_libmap` pass.Marcelina Kościelnicka2022-05-181-2/+2
* ecp5: Use `memory_libmap` pass.Marcelina Kościelnicka2022-05-181-135/+18
* proc_rom: Add special handling of const-0 address bits.Marcelina Kościelnicka2022-05-181-0/+146
* Merge pull request #3314 from jix/sva_value_change_logic_wideJannis Harder2022-05-162-2/+43
|\
| * verific: Use new value change logic also for $stable of wide signals.Jannis Harder2022-05-112-2/+43
* | Add proc_rom pass.Marcelina Kościelnicka2022-05-131-0/+43
|/
* Merge pull request #3305 from jix/sva_value_change_logicJannis Harder2022-05-097-1/+96
|\
| * verific: Improve logic generated for SVA value change expressionsJannis Harder2022-05-097-1/+96
* | Merge pull request #3297 from jix/sva_nested_clk_elseJannis Harder2022-05-091-0/+11
|\ \ | |/ |/|
| * verific: Fix conditions of SVAs with explicit clocks within proceduresJannis Harder2022-05-031-0/+11
* | Fix running sva testsMiodrag Milanovic2022-05-091-4/+3
* | opt_mem: Remove constant-value bit lanes.Marcelina Kościelnicka2022-05-072-15/+2
|/
* sv: fix always_comb auto nosync for nested and function blocksZachary Snow2022-04-052-0/+30
* opt_merge: Add `-keepdc` option required for formal verificationJannis Harder2022-04-011-0/+50
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-13 18:57:27 +0000