2021-03-14 |
whitequark | Merge pull request #2658 from zachjs/parameters-across... |
commit | commitdiff | tree |
2021-03-12 |
Zachary Snow | sv: allow globals in one file to depend on globals... |
commit | commitdiff | tree |
2021-03-12 |
whitequark | Merge pull request #2653 from zachjs/global-parameter |
commit | commitdiff | tree |
2021-03-11 |
whitequark | Merge pull request #2642 from whitequark/cxxrtl-noproc... |
commit | commitdiff | tree |
2021-03-11 |
Zachary Snow | verilog: disallow overriding global parameters |
commit | commitdiff | tree |
2021-03-11 |
Miodrag Milanovic | Add _pm.h files to GENLIST, fixes vcxsrc target |
commit | commitdiff | tree |
2021-03-10 |
Dan Ravensloft | Replace assert in xaiger with more useful error message |
commit | commitdiff | tree |
2021-03-09 |
whitequark | Merge pull request #2643 from zachjs/fix-param-no-defau... |
commit | commitdiff | tree |
2021-03-08 |
Marcelina Kościelnicka | Bump version |
commit | commitdiff | tree |
2021-03-08 |
Marcelina Kościelnicka | memory_dff: Remove now-useless write port handling. working-ls180 |
commit | commitdiff | tree |
2021-03-08 |
Marcelina Kościelnicka | verilog: Use proc memory writes in the frontend. |
commit | commitdiff | tree |
2021-03-08 |
Marcelina Kościelnicka | Add support for memory writes in processes. |
commit | commitdiff | tree |
2021-03-08 |
Marcelina Kościelnicka | sim: Avoid a crash on empty cell connection. |
commit | commitdiff | tree |
2021-03-08 |
Marcelina Kościelnicka | proc_dff: Fix emitted FF when a register is not assigne... |
commit | commitdiff | tree |
2021-03-08 |
Marcelina Kościelnicka | memory_dff: Remove code looking for $mux cells. |
commit | commitdiff | tree |
2021-03-08 |
Marcelina Kościelnicka | tests/bram: Do not generate write address collisions. |
commit | commitdiff | tree |
2021-03-07 |
Zachary Snow | Fix param without default log line |
commit | commitdiff | tree |
2021-03-07 |
Dan Ravensloft | Replace assert in abc9_ops with more useful error message |
commit | commitdiff | tree |
2021-03-07 |
whitequark | cxxrtl: don't assert on edge sync rules tied to a constant. |
commit | commitdiff | tree |
2021-03-07 |
whitequark | cxxrtl: allow `always` sync rules in debug_eval. |
commit | commitdiff | tree |
2021-03-07 |
whitequark | Merge pull request #2626 from zachjs/param-no-default |
commit | commitdiff | tree |
2021-03-07 |
whitequark | Merge pull request #2632 from zachjs/width-limit |
commit | commitdiff | tree |
2021-03-06 |
Zachary Snow | sv: fix some edge cases for unbased unsized literals |
commit | commitdiff | tree |
2021-03-06 |
Marcelina Kościelnicka | proc_clean: Fix empty case removal conditions. |
commit | commitdiff | tree |
2021-03-06 |
Marcelina Kościelnicka | Remove a few functions that, in fact, did not exist... |
commit | commitdiff | tree |
2021-03-05 |
Dan Ravensloft | Replace assert in addModule with more useful error... |
commit | commitdiff | tree |
2021-03-05 |
whitequark | Merge pull request #2635 from whitequark/cxxrtl-memrd... |
commit | commitdiff | tree |
2021-03-05 |
whitequark | Merge pull request #2634 from whitequark/cxxrtl-debug... |
commit | commitdiff | tree |
2021-03-05 |
whitequark | Merge pull request #2633 from whitequark/cxxrtl-no-top |
commit | commitdiff | tree |
2021-03-05 |
whitequark | cxxrtl: follow aliases to outlines when emitting $memrd... |
commit | commitdiff | tree |
2021-03-05 |
whitequark | cxxrtl: add pass debug flag to show assigned wire types. |
commit | commitdiff | tree |
2021-03-05 |
whitequark | cxxrtl: don't crash on empty designs. |
commit | commitdiff | tree |
2021-03-04 |
Zachary Snow | verilog: impose limit on maximum expression width |
commit | commitdiff | tree |
2021-03-04 |
Claire Xen | Update command-reference-manual.tex |
commit | commitdiff | tree |
2021-03-04 |
Claire Xen | Update README |
commit | commitdiff | tree |
2021-03-02 |
Zachary Snow | sv: support for parameters without default values |
commit | commitdiff | tree |
2021-03-02 |
whitequark | Merge pull request #2620 from zachjs/port-int-types |
commit | commitdiff | tree |
2021-03-01 |
Zachary Snow | verilog: fix sizing of ports with int types in module... |
commit | commitdiff | tree |
2021-03-01 |
Marcelina Kościelnicka | Bump version |
commit | commitdiff | tree |
2021-03-01 |
Zachary Snow | verilog: fix handling of nested ifdef directives |
commit | commitdiff | tree |
2021-03-01 |
Zachary Snow | Set aside extraneous tests in simple_abc9 test suite |
commit | commitdiff | tree |
2021-03-01 |
Claire Xen | Merge pull request #2523 from tomverbeure/define_synthesis |
commit | commitdiff | tree |
2021-03-01 |
Claire Xen | Merge pull request #2524 from bkbncn/patch-1 |
commit | commitdiff | tree |
2021-03-01 |
whitequark | Merge pull request #2617 from RobertBaruch/doc |
commit | commitdiff | tree |
2021-03-01 |
whitequark | Merge pull request #2615 from zachjs/genrtlil-conflict |
commit | commitdiff | tree |
2021-03-01 |
whitequark | Merge pull request #2618 from zachjs/int-types |
commit | commitdiff | tree |
2021-02-28 |
Zachary Snow | sv: extended support for integer types |
commit | commitdiff | tree |
2021-02-27 |
Robert Baruch | RTLIL Documentation: switch in process is optional |
commit | commitdiff | tree |
2021-02-27 |
Claire Xen | Update issue_template.md |
commit | commitdiff | tree |
2021-02-26 |
Zachary Snow | genrtlil: improve name conflict error messaging |
commit | commitdiff | tree |
2021-02-26 |
Michael Singer | Add tests for $countbits |
commit | commitdiff | tree |
2021-02-26 |
Michael Singer | Implement $countones, $isunknown and $onehot{,0} |
commit | commitdiff | tree |
2021-02-26 |
Michael Singer | Implement $countbits function |
commit | commitdiff | tree |
2021-02-26 |
Zachary Snow | Extend simplify() recursion warning |
commit | commitdiff | tree |
2021-02-25 |
Marcelina Kościelnicka | Bump version |
commit | commitdiff | tree |
2021-02-25 |
whitequark | Merge pull request #2554 from hzeller/master |
commit | commitdiff | tree |
2021-02-25 |
Marcelina Kościelnicka | btor, smt2, smv: Add a hint on how to deal with funny... |
commit | commitdiff | tree |
2021-02-25 |
Marcelina Kościelnicka | Fix handling of unique/unique0/priority cases in the... |
commit | commitdiff | tree |
2021-02-24 |
TimRudy | Extend "delay" expressions to handle pair and triplet... |
commit | commitdiff | tree |
2021-02-24 |
whitequark | Merge pull request #2607 from zachjs/logger-error-atexit |
commit | commitdiff | tree |
2021-02-24 |
Zachary Snow | Fix double-free on unmatched logger error pattern |
commit | commitdiff | tree |
2021-02-24 |
Marcelina Kościelnicka | Add tests for some common techmap files. |
commit | commitdiff | tree |
2021-02-24 |
Marcelina Kościelnicka | Fix syntax error in adff2dff.v |
commit | commitdiff | tree |
2021-02-23 |
Marcelina Kościelnicka | frontend: Make helper functions for printing locations. |
commit | commitdiff | tree |
2021-02-23 |
whitequark | Merge pull request #2594 from zachjs/func-arg-width |
commit | commitdiff | tree |
2021-02-23 |
Robert Baruch | int -> bool |
commit | commitdiff | tree |
2021-02-23 |
Robert Baruch | Adds is_wire to SigBit and SigChunk |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Switch to LUT4 sim model which propagates... |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Update tribuf test to reflect active-low OE. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Add experimental status to help. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Add DCCA and DCMA blackbox primitives. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Fix reversed interpretation of REG_SD config... |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Tristate is active-low. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Fix typos in FACADE_FF sim model. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Fix naming of TRELLIS_IO ports to match PIO... |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Improve help_mode output in synth_machxo2. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Use attrmvcp pass to move LOC and src attribut... |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Add missing OSCH oscillator primitive. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Add believed-to-be-correct tribuf test. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Add passing fsm, mux, and shifter tests. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Add add_sub test. Fix tests to include FACADE_... |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Add -noiopad option to synth_machxo2. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Use correct INITVAL for LUT1 in FACADE_SLICE. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Fix cells_sim typo where OFX1 was multiply... |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: synth_machxo2 now maps ports to FACADE_IO. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Add initial value for Q in FACADE_FF. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Add FACADE_IO simulation model. More comments... |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Add FACADE_SLICE simulation model. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Improve FACADE_FF simulation model. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Improve LUT4 techmap. Use same output port... |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Add dffe test. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Add dff.ys test, fix another cells_map.v typo. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Fix more oversights in machxo2 models. logic... |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Add test/arch/machxo2 directory (test does... |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Fix typos. test/arch/run-test.sh passes. |
commit | commitdiff | tree |
2021-02-23 |
William D.... | machxo2: Create basic techlibs and synth_machxo2 pass. |
commit | commitdiff | tree |
2021-02-22 |
Karol Gugala | frontend: json: parse negative values |
commit | commitdiff | tree |
2021-02-22 |
Marcelina Kościelnicka | assertpmux: Fix crash on unused $pmux output. |
commit | commitdiff | tree |
2021-02-21 |
whitequark | Merge pull request #2586 from zachjs/tern-recurse |
commit | commitdiff | tree |
2021-02-21 |
whitequark | Merge pull request #2591 from zachjs/verilog-preproc... |
commit | commitdiff | tree |
next |