8000 Commits · cchan/xlsynth · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Nov 6, 2024

Merge pull request #1689 from xlsynth:cdleary/2024-11-01-ellipsis-requires-type-context
copybara-github
committed
Merge pull request #1692 from xlsynth:cdleary/2024-11-02-incomplete-txn
copybara-github
committed
Merge pull request #1694 from xlsynth:cdleary/2024-11-03-let-xn
copybara-github
committed
Added a new optimization: select lifting

scampanoni
authored and
copybara-github
committed
Fix a couple of clang-tidy issues.

hzeller
authored and
copybara-github
committed
docs/scheduling: fix formatting typo

proppy
authored and
copybara-github
committed
Re-add included needed include.

hzeller
authored and
copybara-github
committed

Commits on Nov 5, 2024

Always revisit files with clang-tidy issues after compilation db refresh.

hzeller
authored and
copybara-github
committed
Drop superfluous constant.

grebe
authored and
copybara-github
committed
Fix typo index instead of array_index

allight
authored and
copybara-github
committed
Make all the .x files in dslx/tests part of a public file group so they can be referenced from elsewhere.

dplassgit
authored and
copybara-github
committed
Remove some superfluous dependencies, and annotate ones needed.

hzeller
authored and
copybara-github
committed
Don't include *.cc or *.h files in testdata/ directories.

hzeller
authored and
copybara-github
committed
Unconditionally mark a potentially oob index as assumed_in_bounds since its only visible in cases where the index was in bounds

allight
authored and
copybara-github
committed
Add a module-level attribute to select the type inference version.

richmckeever
authored and
copybara-github
committed
[XLS] When using a target clock for guidance, apply the user's relaxation parameter to our estimated "smallest possible" clock period

ericastor
authored and
copybara-github
committed

Commits on Nov 4, 2024

Update the formatter to properly deal with `VerbatimNode`s in `StatementBlock`s:

dplassgit
authored and
copybara-github
committed

Commits on Nov 3, 2024

Commits on Nov 2, 2024

Commits on Nov 1, 2024

Print the mismatching sha256sum values when frozen build rules fail.

meheffernan
authored and
copybara-github
committed
Change known_in_bounds to assumed_in_bounds

allight
authored and
copybara-github
committed
Remove chained update-index when the same element is indexed and both are known to be in bounds.

allight
authored and
copybara-github
committed
Have array-simp make use of and keep track of in-bounds marker

allight
authored and
copybara-github
committed
github_workflows/docs: deploy from workflow

proppy
authored and
copybara-github
committed
mkdocs generated documentation from 0ccf2c0cbdc4cec0890cb52ce1a3406540ca1a7d
xls-github-bot
committed
In tests, use `FormatDisabler` and `AstCloner` to approximate a formatter that can be disabled/enabled, as requested in issue #1320.

dplassgit
authored and
copybara-github
committed
In `FormatDisabler`, remove comments within the `Span` of the `VerbatimNode`, since they don't need to be added by the formatter later.

dplassgit
authored and
copybara-github
committed
github_workflows/doc: remove unused params

proppy
authored and
copybara-github
committed
Support for memory models in proc IR testing.

Sean Purser-Haskell
authored and
copybara-github
committed
github_workflows: automate doc publishing further

proppy
authored and
copybara-github
committed
Use impl constants in `bfloat16`.

erinzmoore
authored and
copybara-github
committed
Fixing code style nit.

dimitriv
authored and
copybara-github
committed
Automated Code Change

XLS Team
authored and
copybara-github
committed

0