Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

feat: add comb dialect #949

Open
wants to merge 31 commits into
base: main
Choose a base branch
from
Open
Changes from 11 commits
Commits
Show all changes
31 commits
Select commit Hold shift + click to select a range
e5aaacd
feat: add comb operators
luisacicolini Jan 7, 2025
2747409
chore: dialect denotation
luisacicolini Jan 7, 2025
8e2b643
chore: denotation of operations. need to reason about bitvec sizes
luisacicolini Jan 7, 2025
dab17fb
feat: skeleton of dialect is complete
luisacicolini Jan 7, 2025
79adb07
feat: fix sorrys in dialectDenote
luisacicolini Jan 7, 2025
a1266b6
chore: fix op defs
luisacicolini Jan 7, 2025
6b66f0a
chore: types are a mess
luisacicolini Jan 7, 2025
451908e
chore: fix returns
luisacicolini Jan 7, 2025
ce450a7
chore: mixing lean types and mkTy is a bad, bad, terrible idea
luisacicolini Jan 8, 2025
8a81aac
chore: cheating does not feel too bad
luisacicolini Jan 8, 2025
a602408
feat: fix all definitions (at least so that lean does not complain an…
luisacicolini Jan 8, 2025
1149b34
feat: start implementation of variadic inputs
luisacicolini Jan 20, 2025
f9fbed0
chore: update variadic ops
luisacicolini Jan 21, 2025
0fc71e0
feat: fixed variadic input except concat
luisacicolini Jan 21, 2025
fc9e756
chore: more semantics
luisacicolini Jan 31, 2025
cee4975
chore: more semantics
luisacicolini Jan 31, 2025
01b9dd3
chore: update comb dialect
luisacicolini Feb 7, 2025
c5114e9
chore: comments
luisacicolini Feb 7, 2025
c1a00ef
chore: comments
luisacicolini Feb 7, 2025
4ffef32
Merge branch 'main' into comb-dialect
luisacicolini Feb 7, 2025
644babf
chore: docstrings
luisacicolini Feb 24, 2025
8852438
chore: nits
luisacicolini Feb 24, 2025
49873da
chore: simpler concat
luisacicolini Feb 24, 2025
5dc6cd0
chore: retrieve prev version
luisacicolini Feb 24, 2025
8627456
chore: fix enum
luisacicolini Feb 24, 2025
3f70652
chore: fix comb and start adding example but i will now switch to the…
luisacicolini Feb 24, 2025
af1d162
chore: comb dialect
luisacicolini Feb 24, 2025
1f132e6
chore: functioning version
luisacicolini Feb 24, 2025
e26528e
comb: exmaples
luisacicolini Feb 25, 2025
3e701ed
chore: remove useless file
luisacicolini Feb 25, 2025
26cb734
chore: try to highlight the type problem
luisacicolini Feb 28, 2025
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading
Loading