Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

feat: Vectorisation - of and vectorised application #47

Merged
merged 31 commits into from
Oct 31, 2024
Merged

feat: Vectorisation - of and vectorised application #47

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
31 commits
Select commit Hold shift + click to select a range
a24d386
[new] Parsing & typechecking of vectorisation via `of`
croyzor Jun 5, 2024
e9a8c6c
[new] Add kernel example of vectorise
croyzor Jun 6, 2024
c99c831
Update example
croyzor Jul 8, 2024
d34fbc0
Add missing tok to lexer
croyzor Jul 8, 2024
c8e95b8
Add vecLayers
croyzor Jun 6, 2024
45fee2b
[new] Generate some BRAT graph in vectorise
croyzor Jun 7, 2024
3e8420a
Complain about existential variables when applying func vectors
croyzor Jun 7, 2024
29affcc
Update golden tests
croyzor Jun 7, 2024
9406128
[tests] Add XFAIL to vectorise compilation
croyzor Jul 8, 2024
b857c32
Add some test cases
croyzor Oct 25, 2024
d27c387
fix: Fishiness in checking Of
croyzor Oct 25, 2024
0a8ef00
Add test cases and improve errors
croyzor Oct 25, 2024
1312eac
Delete nonsense comment
croyzor Oct 25, 2024
592fb2d
fix: Add deepEmb case for Of
croyzor Oct 28, 2024
0140eba
Handle the case where vectorise was too greedy
croyzor Oct 28, 2024
b4d5497
Merge remote-tracking branch 'origin/main' into new/vectorise
croyzor Oct 28, 2024
b7db803
fix: Add missing unelab clauses
croyzor Oct 28, 2024
109ccc9
Cleanup tests
croyzor Oct 28, 2024
ae879bb
Fix replicate emission
croyzor Oct 28, 2024
05746ff
Make hugr's Replicate op take a type arg
croyzor Oct 30, 2024
f4bb914
refactor: Replace partition with splitAt
croyzor Oct 30, 2024
e0c01a8
cleanup: Delete commented code
croyzor Oct 30, 2024
2fc3ddf
test: Add another test of greediness
croyzor Oct 30, 2024
72c39f1
Merge remote-tracking branch 'origin/main' into new/vectorise
croyzor Oct 30, 2024
cf1d682
fix: Update Replicate's `type_args` impl
croyzor Oct 30, 2024
a15c264
cleanup: Remove reference to deleted tests
croyzor Oct 30, 2024
10e64b3
tests: Update golden values
croyzor Oct 30, 2024
a94e6d8
Revert "refactor: Replace partition with splitAt"
croyzor Oct 30, 2024
7b68630
fix: Incorrect assertion
croyzor Oct 30, 2024
49a9b42
Revert "Revert "refactor: Replace partition with splitAt""
croyzor Oct 30, 2024
d03e565
Merge branch 'main' into new/vectorise
croyzor Oct 31, 2024
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
Prev Previous commit
Next Next commit
Cleanup tests
  • Loading branch information
@croyzor
croyzor committed Oct 28, 2024
commit 109ccc90d38d81329b26b3913522f4909137f42d
3 changes: 3 additions & 0 deletions brat/examples/vectorise.brat
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -48,3 +48,6 @@ g(xs) = (42 of 3), xs

constLenNoun :: Vec(Nat, 2)
constLenNoun = 2 of 42

juxt :: Vec(Nat, 42), Vec(Bool, 42)
juxt = 42 of 1, 42 of true
2 changes: 0 additions & 2 deletions brat/test/golden/error/vectorise-too-greedy.brat
View file
Open in desktop

This file was deleted.

2 changes: 0 additions & 2 deletions brat/test/golden/error/vectorise2.brat
View file
Open in desktop

This file was deleted.