Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 6, 2025

• [XLS] Map next-state elements to next_value nodes

  Show description for cb4cf1f
  

  ericastor

  authored and

  copybara-github

  committed
  cb4cf1f

• [XLS] Ignore the costs of any node that only affects asserts/covers/traces

  Show description for 67bf106
  

  ericastor

  authored and

  copybara-github

  committed
  67bf106

• [XLS] Optionally infer additional predicates to add to StateRead nodes

  Show description for 4e147e6
  

  ericastor

  authored and

  copybara-github

  committed
  4e147e6

• Fix bug when reflowing comments that are exactly one character longer than the maximum line length.

  Show description for 1efca05
  

  dplassgit

  authored and

  copybara-github

  committed
  1efca05

Commits on Jan 3, 2025

• [XLS] Enable internal FIFO materialization for several examples

  Show description for 9dfd0b4
  

  ericastor

  authored and

  copybara-github

  committed
  9dfd0b4

• Update LLVM version

  Show description for 5b55c5d
  

  jpienaar

  authored and

  copybara-github

  committed
  5b55c5d

• [codegen] Add option to shuffle Verilog output order

  Show description for a68247a
  

  ericastor

  authored and

  copybara-github

  committed
  a68247a

• Support inference of parametrics from function arguments in type_system_v2.

  Show description for 809279c
  

  richmckeever

  authored and

  copybara-github

  committed
  809279c

• [XLS] Clean up & improve performance of TransitiveClosure

  Show description for 6794913
  

  ericastor

  authored and

  copybara-github

  committed
  6794913

Commits on Jan 2, 2025

• Merge pull request google#1818 from xlsynth:cdleary/2024-12-30-negative-size-slice

  Show description for be6d8f4
  copybara-github

  committed
  be6d8f4

• Merge pull request google#1822 from xlsynth:cdleary/2025-01-01-fix-crasher

  Show description for 4364059
  copybara-github

  committed
  4364059

• Merge pull request google#1823 from xlsynth:cdleary/2025-01-01-type-inference-to-feature

  Show description for fb07a91
  copybara-github

  committed
  fb07a91

• Merge pull request google#1820 from xlsynth:cdleary/2024-12-31-cleanup-name-parametric-builtin

  Show description for 5c1f2d7
  copybara-github

  committed
  5c1f2d7

• XLScc: Switch to using next-value nodes rather than next-state elements

  Show description for 928c0b6
  

  ericastor

  authored and

  copybara-github

  committed
  928c0b6

• Update XLS[cc] examples.

  Show description for 3894293
  

  Sean Purser-Haskell

  authored and

  copybara-github

  committed
  3894293

• [XLS] Allow conditional specialization to see through NAND/NOR

  Show description for 96d6645
  

  ericastor

  authored and

  copybara-github

  committed
  96d6645

• [DSLX:FE] Switch type inference attribute to use #![feature()]

  cdleary

  committed
  6fc21b8

• [DSLX:TS] Don't crash on "member[0] of array is a type".

  cdleary

  committed
  4e91023

Commits on Dec 31, 2024

• [DSLX] Clean up uses of IsNameParametricBuiltin, stringy comparisons are more dangerous than node-based ones.

  cdleary

  committed
  3150ae7

• [DSLX:BC] Remove logic from bytecode emitter, consolidate on type information.

  Show description for 5f9d7a8
  cdleary

  committed
  5f9d7a8

Commits on Dec 30, 2024

• [XLS] Allow conditional specialization to recognize basic implications

  Show description for d41fd86
  

  ericastor

  authored and

  copybara-github

  committed
  d41fd86

• Merge pull request google#1816 from xlsynth:cdleary/2024-12-30-use-feature-flag

  Show description for 47bdc59
  copybara-github

  committed
  47bdc59

• [DSLX:FE] Add feature flag to gate use syntax.

  cdleary

  committed
  c61964a

• [XLS] Remove conditional specialization for operands of Boolean operations

  Show description for 4651f2e
  

  ericastor

  authored and

  copybara-github

  committed
  4651f2e

• [XLS] Add OP_NEXT_VALUE to the expected ops found by the fuzzer.

  Show description for 7da9772
  

  ericastor

  authored and

  copybara-github

  committed
  7da9772

• Add a utility to "solve for" the parametrics in a type annotation.

  Show description for 4698f2c
  

  richmckeever

  authored and

  copybara-github

  committed
  4698f2c

• Add a utility to "zip" 2 AST subtrees.

  Show description for 8548ffd
  

  richmckeever

  authored and

  copybara-github

  committed
  8548ffd

Commits on Dec 29, 2024

• Fix to allow XLScc to handle asm declarations on ARM.

  Show description for 3253d04
  

  JoshVarga

  authored and

  copybara-github

  committed
  3253d04

Commits on Dec 27, 2024

• [DSLX] Convert next-state instructions to next-value nodes

  Show description for 7769c85
  

  ericastor

  authored and

  copybara-github

  committed
  7769c85

• Make Nary*IfNeeded variants keep the original order of the operands when uniquifying.

  Show description for 1e83aa1
  

  grebe

  authored and

  copybara-github

  committed
  1e83aa1

Commits on Dec 26, 2024

• Make block stitching insert FIFO instantiations for depth=0 FIFOs.

  Show description for 4b262b0
  

  grebe

  authored and

  copybara-github

  committed
  4b262b0

• [XLS] Canonicalize optionally-predicated nodes with known predicates

  Show description for 0db8ac4
  

  ericastor

  authored and

  copybara-github

  committed
  0db8ac4

• [XLS] Respect state-read predicates during block conversion.

  Show description for d493559
  

  ericastor

  authored and

  copybara-github

  committed
  d493559

Commits on Dec 24, 2024

• Enable references to global constants in parametric defaults.

  Show description for dbffe11
  

  richmckeever

  authored and

  copybara-github

  committed
  dbffe11

• [XLS] Support StateRead predicates in state legalization

  Show description for b959a4e
  

  ericastor

  authored and

  copybara-github

  committed
  b959a4e

Pagination

Previous

Next