google/xls issues and pull requests

#1014 - DSLX interpreter BadStatusOrAccess when using derived expression in parametric function

Issue - State: closed - Opened by proppy over 1 year ago - 1 comment
Labels: bug, dslx

#1012 - [build_rules] Add xls_dslx_multi_test rule

Pull Request - State: closed - Opened by mtdudek over 1 year ago - 6 comments

#1011 - [bazel_rule] New DSLX test rule that allows for multiple `compare` options.

Issue - State: closed - Opened by mtdudek over 1 year ago - 1 comment
Labels: enhancement, build

#1008 - Add simple RLE decoding pipeline

Pull Request - State: closed - Opened by mtdudek over 1 year ago - 3 comments

#1007 - Add simple RLE demuxer

Pull Request - State: closed - Opened by mtdudek over 1 year ago - 5 comments

#1005 - Add simple RLE encoding pipeline

Pull Request - State: closed - Opened by mtdudek over 1 year ago - 4 comments

#1004 - Add simple RLE stream muxer

Pull Request - State: closed - Opened by mtdudek over 1 year ago - 5 comments

#1001 - Delay model generation: add support for specialization HAS_LITERAL_OPERAND

Issue - State: open - Opened by tcal-x over 1 year ago - 1 comment
Labels: delay model

#997 - add RISC-V based simulation for DSLX examples

Issue - State: open - Opened by proppy over 1 year ago - 11 comments
Labels: jit, ☂️ umbrella

#996 - add end-to-end backend flow for DSLX examples

Issue - State: open - Opened by proppy over 1 year ago - 1 comment
Labels: build, delay model, oss-backend, open-pdk, ☂️ umbrella

#995 - add DSLX sample for Dictionary Based Encoding (DBE) encoder/decoder

Issue - State: open - Opened by proppy over 1 year ago - 4 comments
Labels: enhancement, dslx, app, ☂️ umbrella

#992 - DSLX: bug: internal error when using derived parametric

Issue - State: closed - Opened by rdob-ant over 1 year ago - 4 comments
Labels: bug, duplicate, dslx

#991 - DSLX to C++ type conversion should emit C++ structs compatible with JIT

Issue - State: open - Opened by meheff over 1 year ago - 1 comment
Labels: enhancement, dslx, jit

#986 - [DSLX] Improve type handling in parametrics

Pull Request - State: open - Opened by mtdudek over 1 year ago - 5 comments

#978 - [dslx] Allow struct parametrics to be types other than `u32`

Issue - State: open - Opened by cdleary over 1 year ago - 2 comments
Labels: enhancement, dslx

#970 - Consider multi-width ops in IR or automatic strength-reduction in the optimizer

Issue - State: open - Opened by hongted over 1 year ago
Labels: enhancement, dslx, optimizer, delay model

#969 - Add checked add, cast etc to DSLX which assert on overflow

Issue - State: closed - Opened by meheff over 1 year ago - 1 comment
Labels: enhancement, dslx

#964 - xls/build_rules: Add `top` to the list of valid opt_ir flags

Pull Request - State: closed - Opened by rw1nkler over 1 year ago - 7 comments

#963 - `run_benchmarks` is referenced in the documentation and the codebase but is not available

Issue - State: open - Opened by rw1nkler over 1 year ago - 3 comments
Labels: documentation, testing

#960 - Document `lec_main` and provide a Logic Equivalence Check example

Issue - State: open - Opened by rw1nkler over 1 year ago - 1 comment
Labels: documentation, formal

#955 - Support ops that need implicit tokens inside for loops.

Issue - State: closed - Opened by hongted over 1 year ago - 2 comments
Labels: enhancement, dslx

#948 - can call send/recv from helper fn

Issue - State: open - Opened by proppy over 1 year ago - 1 comment

#944 - build error python 3.10

Issue - State: closed - Opened by proppy over 1 year ago - 2 comments
Labels: build, packaging

#935 - examples: add gcd

Pull Request - State: open - Opened by proppy over 1 year ago - 2 comments
Labels: Reviewing Internally, app

#934 - quickcheck should support testing function w/ `fail!` expressions

Issue - State: closed - Opened by proppy over 1 year ago - 2 comments
Labels: bug, dslx

#932 - dslx/stdlib: add iterative_div_mod

Pull Request - State: closed - Opened by proppy over 1 year ago - 6 comments
Labels: Reviewing Internally, app

#931 - Migrate XLS to bzlmod

Issue - State: open - Opened by cdleary over 1 year ago - 2 comments
Labels: build, long-term-enhancement

#929 - Crasher times out in JIT

Issue - State: closed - Opened by grebe over 1 year ago
Labels: fuzz, jit

#902 - bazel build foo_test does not build DSLX code

Issue - State: open - Opened by meheff over 1 year ago - 1 comment
Labels: build, dslx, estimate:M

#869 - Channels should be encapsulated by procs in the IR

Issue - State: open - Opened by grebe over 1 year ago - 9 comments
Labels: enhancement, ir

#851 - Enhance C++ testing ergonomics of DSLX code

Issue - State: open - Opened by meheff over 1 year ago - 1 comment
Labels: enhancement, dslx

#850 - Fuzz DSLX parser

Issue - State: open - Opened by meheff over 1 year ago - 2 comments
Labels: dslx, fuzz

#849 - Build Errors on Mac OS

Issue - State: closed - Opened by rachitnigam over 1 year ago - 12 comments
Labels: build

#846 - Add tool for generating SV structs from DSLX types

Issue - State: open - Opened by meheff over 1 year ago
Labels: enhancement, dslx, codegen

#836 - Simplify DSLX proc syntax

Issue - State: open - Opened by meheff over 1 year ago - 2 comments
Labels: enhancement, dslx

#834 - Confusing error message when forgetting a comma before `..` in struct

Issue - State: open - Opened by meheff over 1 year ago
Labels: bug, dslx

#825 - Bad error message when using bits type in place of struct type

Issue - State: open - Opened by meheff over 1 year ago
Labels: bug, dslx

#824 - DSLX interpreter should have a trace mode for channels

Issue - State: closed - Opened by meheff over 1 year ago - 7 comments
Labels: dslx

#801 - DSLX: Does NumberKind serve a purpose?

Issue - State: open - Opened by RobSpringer almost 2 years ago
Labels: dslx, cleanup

#793 - Gather codegen options into a proto

Issue - State: closed - Opened by meheff almost 2 years ago - 3 comments
Labels: cleanup, codegen

#774 - IR Conversion failure

Issue - State: closed - Opened by vincent-mirian-google almost 2 years ago - 2 comments
Labels: bug, dslx, ir

#773 - how to generate compile_command.json for this project

Issue - State: closed - Opened by KuiWei004 almost 2 years ago - 2 comments
Labels: build

#764 - DSLX: Ambiguous parse leads to bad error message

Issue - State: open - Opened by RobSpringer almost 2 years ago
Labels: bug, dslx

#762 - Remove constant literals in boolean expression in generated Verilog (codegen)

Issue - State: closed - Opened by vincent-mirian-google almost 2 years ago - 2 comments
Labels: optimizer, codegen

#753 - Style Guide for DSLX

Issue - State: open - Opened by vincent-mirian-google almost 2 years ago - 4 comments
Labels: documentation, dslx

#752 - DSLX: Consistentify indentation

Issue - State: closed - Opened by RobSpringer almost 2 years ago - 2 comments
Labels: enhancement, good first issue, dslx

#746 - Support llvm runtime library in JIT interpreter to enable interpretation of operations like __udivti3 (or disable use of these operations).

Issue - State: open - Opened by hongted almost 2 years ago - 3 comments
Labels: jit, optimizer

#730 - DSLX: RET_CHECK on bad ColonRef

Issue - State: open - Opened by RobSpringer about 2 years ago - 1 comment
Labels: bug, dslx

#728 - DSLX: Confusing situation on aliased imports

Issue - State: open - Opened by RobSpringer about 2 years ago - 1 comment
Labels: dslx

#726 - bazelrc: enable llvm toolchain

Pull Request - State: closed - Opened by proppy about 2 years ago - 3 comments
Labels: Reviewing Internally

#725 - Create array shifting op?

Issue - State: open - Opened by RobSpringer about 2 years ago - 3 comments
Labels: enhancement, dslx, ir

#723 - DSLX: Missing error check in proc member assignment

Issue - State: open - Opened by RobSpringer about 2 years ago
Labels: bug, dslx

#711 - DSLX: alias required for `::MAX` attribute on array-style bits types

Issue - State: open - Opened by cdleary about 2 years ago
Labels: enhancement, dslx

#704 - Lower arrays of channels from DSLX into IR

Issue - State: open - Opened by RobSpringer about 2 years ago - 1 comment
Labels: enhancement, dslx, ir

#702 - DSLX: Don't print traces during constexpr eval

Issue - State: open - Opened by RobSpringer about 2 years ago
Labels: bug, dslx

#700 - DSLX: Segfault on malformed code

Issue - State: open - Opened by RobSpringer about 2 years ago
Labels: bug, dslx

#699 - DSLX: Support `spawn` operations inside for loops

Issue - State: open - Opened by RobSpringer about 2 years ago
Labels: enhancement, dslx

#696 - DSLX: Support "default" initialization

Issue - State: closed - Opened by RobSpringer about 2 years ago - 1 comment
Labels: dslx

#684 - DSLX: Expand casting support

Issue - State: closed - Opened by RobSpringer about 2 years ago - 1 comment
Labels: dslx

#683 - DSLX: Add block-style comments

Issue - State: open - Opened by RobSpringer about 2 years ago
Labels: enhancement, dslx, estimate:S

#677 - DSLX: Bad error message on malformed `match` expr

Issue - State: open - Opened by RobSpringer about 2 years ago
Labels: bug, dslx, estimate:XS

#657 - Provide API to run formal verification programmatically.

Issue - State: open - Opened by marcogelmi about 2 years ago
Labels: formal, public-api

#651 - trace_fmt should support printing bitfields with leading zeros

Issue - State: open - Opened by sandwichmaker about 2 years ago - 1 comment
Labels: enhancement, dslx, ir, jit

#638 - Break out proc state from single tuple, give names

Issue - State: open - Opened by spurserh over 2 years ago
Labels: codegen, xlscc

#625 - proc inlining can create cycles

Issue - State: closed - Opened by meheff over 2 years ago - 2 comments
Labels: bug, optimizer

#595 - update for building xls without building bazel for Debian

Pull Request - State: closed - Opened by netskink over 2 years ago - 12 comments
Labels: build

#575 - Allow for user-specified input/output delay

Issue - State: open - Opened by meheff over 2 years ago - 2 comments
Labels: enhancement, scheduler

#574 - Support an input_delay specification when scheduling a pipeline

Issue - State: closed - Opened by hongted over 2 years ago - 2 comments
Labels: good first issue, scheduler

#542 - Add assume/prove/try_prove operation

Issue - State: open - Opened by meheff over 2 years ago - 6 comments
Labels: formal, optimizer

#510 - Specifying naturally recursive definitions without switching to iterative

Issue - State: open - Opened by cdleary almost 3 years ago - 1 comment
Labels: dslx, long-term-enhancement, modules

#507 - DSL AST representation of let expressions can be statement oriented

Issue - State: closed - Opened by cdleary almost 3 years ago - 1 comment
Labels: dslx

#495 - Reduce dynamic_cast<T>() proliferation

Issue - State: closed - Opened by RobSpringer about 3 years ago - 1 comment
Labels: dslx

#492 - Support range() and enumerate() outside `for` loops

Issue - State: open - Opened by RobSpringer about 3 years ago
Labels: bug, dslx

#484 - [public] add ConvertIrToCombinationalVerilog

Pull Request - State: closed - Opened by proppy about 3 years ago - 3 comments
Labels: cla: yes

#483 - [DSLX] Better error when local let binding is used in constexpr context

Issue - State: open - Opened by cdleary about 3 years ago
Labels: bug, dslx, estimate:S

#481 - An `assert_fail` construct

Issue - State: open - Opened by dkillebrew-g about 3 years ago
Labels: enhancement, dslx

#471 - Signed literal construction should respect bit width constraints

Issue - State: open - Opened by sandwichmaker about 3 years ago - 3 comments
Labels: dslx

#461 - Bits::ToRawDigits for decimal conversion with larger than 64-bit numbers

Issue - State: closed - Opened by cdleary about 3 years ago
Labels: bug, ir

#458 - Narrow array constants

Issue - State: closed - Opened by meheff about 3 years ago
Labels: good first issue, optimizer

#457 - Allow importing symbols into current module namespace

Issue - State: open - Opened by sandwichmaker about 3 years ago
Labels: enhancement, dslx

#451 - tuple should support spread syntax for construction

Issue - State: open - Opened by proppy over 3 years ago
Labels: enhancement, dslx

#445 - Support parameterized types in the DSLX-to-C++ transpiler

Issue - State: open - Opened by RobSpringer over 3 years ago - 2 comments
Labels: dslx, long-term-enhancement, blocker

#438 - The span of DSL numbers doesn't include the leading type indicator

Issue - State: closed - Opened by cdleary over 3 years ago
Labels: bug, dslx, cleanup, estimate:S

#432 - Added KinnectFusion bilateral filter (edge-preserving, noise reduction filter).

Pull Request - State: closed - Opened by jbaileyhandle over 3 years ago - 5 comments
Labels: cla: yes

#401 - DSLX: for loop striding [was: Question: for loop in DSLX]

Issue - State: open - Opened by pavel532 over 3 years ago - 4 comments
Labels: enhancement, dslx, long-term-enhancement

#381 - Error message on accessing non-public function is ghastly

Issue - State: open - Opened by RobSpringer over 3 years ago
Labels: bug, dslx, estimate:XS

#368 - Continuous integration builds are timing out on GitHub

Issue - State: closed - Opened by jbaileyhandle over 3 years ago - 4 comments
Labels: build

#352 - Rustic module import syntax

Issue - State: open - Opened by cg31 over 3 years ago - 6 comments
Labels: enhancement, dslx

#327 - Unify out-of-bounds behavior across DSLX interperter, IR interpreter, and JIT

Issue - State: open - Opened by meheff over 3 years ago
Labels: dslx, ir

#290 - Add fail_unless! and fail_when! to DSLX

Issue - State: closed - Opened by meheff over 3 years ago - 2 comments
Labels: enhancement, good first issue, dslx

#255 - Add ability to stall feed forward pipeline

Issue - State: open - Opened by meheff over 3 years ago
Labels: enhancement, codegen

#249 - DSLX: Array constructor "has_ellipsis" argument could be more useful

Issue - State: open - Opened by RobSpringer over 3 years ago
Labels: good first issue, dslx, cleanup

#247 - DSLX: Explicit struct params not validated

Issue - State: closed - Opened by RobSpringer over 3 years ago - 3 comments
Labels: dslx

#247 - DSLX: Explicit struct params not validated

Issue - State: closed - Opened by RobSpringer over 3 years ago - 3 comments
Labels: dslx

#241 - Add ASAN bazel config

Issue - State: closed - Opened by meheff almost 4 years ago
Labels: build

#239 - patches to get XLS compiling with latest arch (2020.12)

Pull Request - State: closed - Opened by renau almost 4 years ago - 8 comments
Labels: build, cla: yes

#220 - [DSLX] Better error message when for-loop results are unused

Issue - State: open - Opened by cdleary almost 4 years ago
Labels: enhancement, dslx

#220 - [DSLX] Better error message when for-loop results are unused

Issue - State: open - Opened by cdleary almost 4 years ago
Labels: enhancement, dslx

#218 - DSLX: add an `unimplemented` expression that always typechecks

Issue - State: open - Opened by dkillebrew-g almost 4 years ago - 2 comments
Labels: dslx, long-term-enhancement

#217 - Warn/error on top level symbols that are unused

Issue - State: open - Opened by dkillebrew-g almost 4 years ago
Labels: enhancement, dslx

GitHub / google/xls issues and pull requests