Skip to content
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
915 commits
Select commit Hold shift + click to select a range
1944a8a
Fixed an issue with fusing subsequent descending loops? Pending answer.
BlueFlameMSc Jul 26, 2025
4f51b82
Fixed an issue where returning a GVal caused the in-place updated GVa…
BlueFlameMSc Jul 26, 2025
3dd3842
Better explaining comment + actual warning trigger
BlueFlameMSc Jul 26, 2025
3a67a8f
Added `memory-counter` flag to enable and disable the memory counter.…
BlueFlameMSc Jul 27, 2025
7663692
Fix combining two loop directions
ivogabe Jul 28, 2025
0a2aed4
Merge branch 'new-pipeline' of https://github.com/ivogabe/accelerate …
ivogabe Jul 28, 2025
e29d09f
Also detect invariant variables in the loop by comparing with initial…
ivogabe Jul 29, 2025
10e1504
Switch from using `TupF t a` to `TupR (Const a) t`
BlueFlameMSc Jul 29, 2025
d2fc9cd
Use a proper proof of a body not being a function.
BlueFlameMSc Jul 29, 2025
7a54b6c
Rename `foldTupR` to `foldConstsR`. This is more in-line with other n…
BlueFlameMSc Jul 29, 2025
8be21b8
Redefined implementations of instance Eq and Ord for Label. Now they …
BlueFlameMSc Jul 29, 2025
a2a50be
Changed implementation of `labelIds` to not depend on label implement…
BlueFlameMSc Jul 29, 2025
f0938a9
Updated terminology, i.e. Labels are now Nodes.
BlueFlameMSc Jul 30, 2025
e2500db
Removed redundant imports
BlueFlameMSc Jul 30, 2025
82fa4f1
Remove reduntant extension and refine imports
BlueFlameMSc Jul 30, 2025
a6a5633
Existential quantification of the return type of mkFusionGraphF allow…
BlueFlameMSc Jul 30, 2025
bad0bcc
Switched to branchless values (although I will switch back to branchf…
BlueFlameMSc Jul 30, 2025
59e22cf
Switch back to multiple nodes for branches
BlueFlameMSc Jul 31, 2025
d025bbf
Solved some issues with while-loops.
BlueFlameMSc Jul 31, 2025
b98276b
Added a comment regarding the 'Val' type being
BlueFlameMSc Jul 31, 2025
bf726a9
Recent changes seem to have made `producesBuffers` obsolete, likely b…
BlueFlameMSc Jul 31, 2025
87ed1c2
add scalarTypeWord64
Koenvisser Sep 1, 2025
466dc93
Changed graph to follow the old structure (no edges between subgraphs).
BlueFlameMSc Sep 2, 2025
7b05a6f
Edges made at parent nodes are now actually infusible instead of stri…
BlueFlameMSc Sep 2, 2025
35e5c57
Prepared cost functions for benchmarking
BlueFlameMSc Sep 2, 2025
5bb74f2
Fix various warnings, remove internalErrors
ivogabe Sep 3, 2025
42e0a95
Merge remote-tracking branch 'upstream/new-pipeline' into new-pipeline
Koenvisser Sep 4, 2025
981ad3e
Merge pull request #10 from Koenvisser/new-pipeline
ivogabe Sep 4, 2025
dfe5f49
Merge branch 'new-pipeline' of github.com:ivogabe/accelerate into inp…
BlueFlameMSc Sep 15, 2025
31e0f39
Remove some old code, change error message
ivogabe Oct 12, 2025
d7a2ccc
Remove outdated text
ivogabe Oct 16, 2025
38381fa
Change warning into an error
ivogabe Oct 16, 2025
345ba03
Remove TODO and old code
ivogabe Oct 16, 2025
3c36c00
Merge pull request #11 from BlueFlame-SM/inplace-updates
ivogabe Oct 16, 2025
b35db13
Re-implement compute to prevent fusion
ivogabe Oct 16, 2025
fc861cf
Remove outdated comment
ivogabe Oct 16, 2025
c7f7e0f
Move dirToInt from backends to common code, remove unused export
ivogabe Oct 17, 2025
dd2663d
bounds checking optimization
VLNohai Oct 19, 2025
b325b1e
completed bounds checking
VLNohai Oct 27, 2025
2f0265c
merged bounds checking
VLNohai Oct 27, 2025
1903b92
Let 'expand' fuse better, and use strict && and ||
ivogabe Nov 1, 2025
542bb9e
Comments and cleanup
VLNohai Nov 3, 2025
2100708
fixed cond bug
VLNohai Nov 4, 2025
8fa1696
allowed expression level pi assignments to constrain array level indices
VLNohai Nov 5, 2025
c226c42
captured collective assertions inside mappings
VLNohai Nov 7, 2025
994f6c6
Added Aassert and checked array combinators have input size > 0 befor…
VLNohai Nov 10, 2025
51a30d6
reverted from using index between map input array and map argument as…
VLNohai Nov 10, 2025
0fe4d42
fixed rnf of Aassert
VLNohai Nov 11, 2025
e549c4a
minor change, leftover from debug
VLNohai Nov 12, 2025
8ae3919
Remove outdated comments
ivogabe Nov 13, 2025
d7dce85
Revert accidental change
ivogabe Nov 13, 2025
1e54413
Move Aassert out of Alet, tune pretty printer of Aassert, add/edit co…
ivogabe Nov 13, 2025
44a6b2d
Implement assertions in fusion, fix if-then-else in fusion, remove un…
ivogabe Nov 14, 2025
1b66613
Val should contain a single Node instead of a set of Nodes
ivogabe Nov 14, 2025
0e34785
Implement Aassert in remainder of pipeline
ivogabe Nov 14, 2025
8fc786d
fixed bug in SCEV for multidimensional arrays
VLNohai Nov 14, 2025
94b7b07
Merge branch 'bounds-checking' of https://github.com/VLNohai/accelera…
ivogabe Nov 15, 2025
318fd10
Remove IdxSet from Aassert to simplify semantics, use bounds analysis…
ivogabe Nov 15, 2025
174ba35
Add assertions via links between Node Comp, instead of as a dummy Nod…
ivogabe Nov 15, 2025
0b89157
Fix condition of awhile (not only analyzed for initial state), transf…
ivogabe Nov 19, 2025
72ae0f3
Add array-level assumptions everywhere, add array-level assertions to…
ivogabe Nov 20, 2025
e8f330a
Merge branch 'new-pipeline' into bounds-checking
ivogabe Nov 20, 2025
1ce1f2b
Optimize comparison of identical arguments
ivogabe Nov 20, 2025
4090ce2
Don't add bounds checks during desugaring (aka lowering); we now add …
ivogabe Nov 20, 2025
bb94139
Check non-negative size in fromList, add assumptions on size during d…
ivogabe Nov 20, 2025
36f7e73
Change let rotation of expressions, move assertions out of Compute in…
ivogabe Nov 26, 2025
32e99d8
Do not propagate info from one subexpression to a sibling subexpression
ivogabe Nov 26, 2025
0351c9e
Explain new-pipeline in readme
ivogabe Nov 28, 2025
02ca403
Merge branch 'new-pipeline' into bounds-checking
ivogabe Nov 28, 2025
6c62452
Add fine-grained dependency tracking of assertions with Fence
ivogabe Nov 30, 2025
11acd25
Eliminate copy of undef array for permute in different way
ivogabe Dec 14, 2025
80a1434
Change assertions to functions to simplify ordering guarantees
ivogabe Dec 20, 2025
7d70330
Handle all constructions in Exp match, better handle assert, assume a…
ivogabe Dec 21, 2025
5edc24a
Group comparison functions together in one constructor
ivogabe Dec 22, 2025
e0c99eb
Remove Gt and LtEq
ivogabe Dec 22, 2025
9a277db
Remove IndexSlice and IndexFull constructors
ivogabe Dec 23, 2025
9575039
Remove PrimConst
ivogabe Dec 24, 2025
ae90e39
Add new simplified WIP bounds analysis
ivogabe Jan 11, 2026
4417b02
Add type class for backend-specific part of bounds analysis, rename t…
ivogabe Jan 26, 2026
994f93d
Clarify documentation of undef
ivogabe Jan 26, 2026
7d65b96
Remove duplicate assertions, fix codegen to UniformSchedule of assert…
ivogabe Jan 28, 2026
3db877c
Remove first (old) bounds analysis
ivogabe Jan 28, 2026
7a75328
Add folds and scans to bounds analysis, handle casts, several fixes
ivogabe Jan 29, 2026
c303c33
Put bounds checks behind a flag
ivogabe Jan 29, 2026
67dbc84
Fixes after initial review
ivogabe Jan 29, 2026
d8bb7d0
Remove unused functions and newlines
ivogabe Jan 29, 2026
53d4f12
Merge pull request #12 from ivogabe/bounds-checking
ivogabe Jan 29, 2026
ef61608
Rename desugaring to lowering
ivogabe Jan 29, 2026
1281e9e
Small fixes
ivogabe Jan 29, 2026
c630792
use _aligned_malloc on windows instead of parlaylib
Doppie23 Feb 7, 2026
49d44fc
Add checked variants for (i)zip(With) functions
ivogabe Feb 9, 2026
8de270a
add comment explaining _aligned_malloc / free use on windows
Doppie23 Feb 10, 2026
3ab844d
Start with text on assert
MikevanHuizen2912 Feb 11, 2026
3ff4972
Fix ordering issue caused by edges across Acond in fusion
ivogabe Feb 11, 2026
223dcb1
Also re-enable last parent check
ivogabe Feb 11, 2026
b7c8562
Merge pull request #13 from Doppie23/new-pipeline-windows-support
ivogabe Feb 12, 2026
c057c81
Merge branch 'new-pipeline' of https://github.com/ivogabe/accelerate …
ivogabe Feb 12, 2026
5764af4
Remove 'if null' in Prelude as it hinders fusion
ivogabe Feb 12, 2026
c897834
Merge branch 'master' of https://github.com/AccelerateHS/accelerate i…
ivogabe Feb 12, 2026
1a2e652
Show the assert message with inspectCompiler
MikevanHuizen2912 Feb 14, 2026
620abc6
Small fixes
MikevanHuizen2912 Feb 14, 2026
f1c2a45
Start with text on assert
MikevanHuizen2912 Feb 11, 2026
af41cfe
Show the assert message with inspectCompiler
MikevanHuizen2912 Feb 14, 2026
358e37d
Small fixes
MikevanHuizen2912 Feb 14, 2026
db6b3cc
Merge branch 'assert-text' of https://github.com/Doppie23/accelerate …
MikevanHuizen2912 Feb 14, 2026
36d486f
Formatting changes
MikevanHuizen2912 Feb 14, 2026
0ce4913
Hash the message
MikevanHuizen2912 Feb 16, 2026
13a148f
Replaced isJust with isNothing
MikevanHuizen2912 Feb 16, 2026
35b1257
Fixed assertShape
Doppie23 Feb 17, 2026
062daf4
Pretty print assert messages
MikevanHuizen2912 Feb 17, 2026
9da4e75
Fixed SAsr assert message
MikevanHuizen2912 Feb 17, 2026
a108ad7
Made the lowering function for the atrace
MikevanHuizen2912 Feb 18, 2026
8ff2a8e
Made the atrace function
MikevanHuizen2912 Feb 18, 2026
6aa339a
Add callstack to assertions and add variant of assert with message
ivogabe Feb 18, 2026
3e744b7
Small fixes for assertions, and change error format of failing assert…
ivogabe Feb 18, 2026
858f6e8
Merge branch 'new-pipeline' of https://github.com/ivogabe/accelerate …
MikevanHuizen2912 Feb 19, 2026
3e26036
Add new Atrace constructor to Operation IR, and implement Atrace in l…
ivogabe Feb 19, 2026
4a7736c
Merge branch 'new-pipeline' of https://github.com/ivogabe/accelerate …
MikevanHuizen2912 Feb 19, 2026
c5c37d3
removed my old type of Atrace
MikevanHuizen2912 Feb 19, 2026
4081848
select function
Doppie23 Feb 18, 2026
f7a4b19
add simple heuristic that checks if we can lower a cond into a select
Doppie23 Feb 18, 2026
ffe0916
simplify select to logical or/and
Doppie23 Feb 18, 2026
2da06ae
better isCheap heuristic
Doppie23 Feb 19, 2026
908cc7b
add symmetric forms using LNot to select simplification
Doppie23 Feb 19, 2026
ffc3252
differentiate between different PrimApp's
Doppie23 Feb 19, 2026
1882e6d
simplify `(not p) ? t : e => p ? e : t` for cond and select
Doppie23 Feb 19, 2026
0d99df1
Finished the operations for atrace
MikevanHuizen2912 Feb 21, 2026
f686899
Implemented trace in simplify
MikevanHuizen2912 Feb 21, 2026
a1743f9
Adjusted the tupe of atrace otherwise it would be optimized out
MikevanHuizen2912 Feb 21, 2026
9bd5b8a
Implemented trace in substitution
MikevanHuizen2912 Feb 21, 2026
d30d4bf
Printing with inspectcompiler for operation
MikevanHuizen2912 Feb 21, 2026
38ce7c9
Used more of the TupR functions to make the code more clean
MikevanHuizen2912 Feb 24, 2026
70de6e1
Made the bounds check for atrace
MikevanHuizen2912 Feb 24, 2026
e101cfc
dont assume true/false in select
Doppie23 Feb 24, 2026
65cc5ab
uses of prettyTupR
MikevanHuizen2912 Feb 24, 2026
9f26292
use some of the predefined functions for the simplifyArrayDescriptor
MikevanHuizen2912 Feb 25, 2026
262ec74
implement trace in the LiveVars
MikevanHuizen2912 Feb 25, 2026
aa64775
move select optimization from Simplify to Bounds
Doppie23 Feb 25, 2026
a47ef89
factor out primCost function
Doppie23 Feb 25, 2026
b07d60d
eliminate same branches on select as on cond
Doppie23 Feb 25, 2026
7e87aa9
move the cond to select simplification
Doppie23 Feb 25, 2026
9c23321
fix isBoolBounds for constants
Doppie23 Feb 25, 2026
86d5302
add some reindex to export
MikevanHuizen2912 Feb 25, 2026
bb14d02
Made a new trace data type
MikevanHuizen2912 Feb 25, 2026
da5de1f
Add trace to the ILP
MikevanHuizen2912 Feb 25, 2026
49f387a
small refactor
Doppie23 Feb 26, 2026
54179be
will make idxset into a monoid
MikevanHuizen2912 Feb 26, 2026
781abf5
move the arrayDescriptor to idxset and made a new type for arrayDescr…
MikevanHuizen2912 Feb 26, 2026
adfd181
adjust the code to work with the new place and implementation of the …
MikevanHuizen2912 Feb 26, 2026
07b4dbb
Continued working on the Partial
MikevanHuizen2912 Feb 26, 2026
2dd239f
correct some small changes and rewrote a function
MikevanHuizen2912 Feb 26, 2026
a59c62a
Change all the TupR (ArrayDescriptor env) t to ArrayDescriptors env t
MikevanHuizen2912 Feb 26, 2026
52be505
remove unused language extention
MikevanHuizen2912 Feb 26, 2026
12970fa
remove some small accidental changes
MikevanHuizen2912 Feb 26, 2026
1a829af
actually use the available
MikevanHuizen2912 Feb 26, 2026
72d63c2
Define `null` via the same predicate as used in assertions
ivogabe Feb 26, 2026
8709641
Remove parentheses
ivogabe Feb 27, 2026
7ff7915
Remove accidentally committed file
ivogabe Feb 27, 2026
13d3971
remove todo comments
Doppie23 Feb 27, 2026
636d080
make a case for atrace in analyseSyncEnv'
MikevanHuizen2912 Feb 27, 2026
a110c74
remove the not needed exp type of trace
MikevanHuizen2912 Feb 27, 2026
a8258d1
remove a small mistake which caused atrace to dissapear
MikevanHuizen2912 Feb 27, 2026
f4ae999
remove reindexTupR and work with the new type arrayDescriptors
MikevanHuizen2912 Mar 1, 2026
ef4e83b
add a case for atrace
MikevanHuizen2912 Mar 1, 2026
e547ab8
use the new function I made
MikevanHuizen2912 Mar 1, 2026
184ed10
make it possible to weaken the trace function
MikevanHuizen2912 Mar 3, 2026
87f7fe9
Added trace to liveVars for partitioned
MikevanHuizen2912 Mar 3, 2026
cf32026
add the pretty print for atrace
MikevanHuizen2912 Mar 3, 2026
4b37b4c
set trivial on true for atrace
MikevanHuizen2912 Mar 3, 2026
1c4214a
add comment
MikevanHuizen2912 Mar 3, 2026
cf2d3af
Update error message in assertions
ivogabe Mar 4, 2026
8cd30e3
Merge branch 'select' of https://github.com/Doppie23/accelerate into …
ivogabe Mar 4, 2026
97014c7
Small tuning for cond-select transformation & split select over pairs…
ivogabe Mar 4, 2026
b039c7f
Compute size per ScalarType instead of per TypeR
ivogabe Mar 4, 2026
20eeeb9
add the functions that are called from accelerate-llvm
MikevanHuizen2912 Mar 4, 2026
daeb5aa
make the prettyprint prettier
MikevanHuizen2912 Mar 4, 2026
a38fff1
remove resolved TODOs
MikevanHuizen2912 Mar 5, 2026
8bbb1c5
Merge branch 'new-pipeline' of https://github.com/ivogabe/accelerate …
MikevanHuizen2912 Mar 8, 2026
cee1770
Additional functions needed for scans in PTX backend
ivogabe Mar 17, 2026
7755076
track memory allocations
Doppie23 Mar 7, 2026
f8df0eb
put tracy memory tracking under tracy flag
Doppie23 Mar 11, 2026
542fe7c
export ACCELERATE_TRACY flag
Doppie23 Mar 12, 2026
1b0e459
fix bug where Atrace function would be stuck
MikevanHuizen2912 Mar 18, 2026
acfabe4
Merge branch 'new-pipeline' of https://github.com/Doppie23/accelerate…
MikevanHuizen2912 Mar 18, 2026
62b9d3e
Do not perform in-place updates on the input of awhile or returned va…
ivogabe Mar 18, 2026
95d722e
rewrite all uses of permute/permuteUnique in prelude to premute'/perm…
Doppie23 Mar 22, 2026
10e0d99
use zip instead of index
Doppie23 Mar 25, 2026
b687b1b
Merge pull request #17 from Doppie23/new-pipeline-tracy
ivogabe Mar 25, 2026
86bdca4
Simplify select over undef
ivogabe Mar 31, 2026
16aada3
remove fill
Doppie23 Apr 1, 2026
cacf65b
change formatting
Doppie23 Apr 1, 2026
17eefe0
resolve bug where program signals are resolved to early
MikevanHuizen2912 Apr 2, 2026
15142af
remove added space
MikevanHuizen2912 Apr 2, 2026
71716e3
Merge branch 'new-pipeline' of https://github.com/ivogabe/accelerate …
MikevanHuizen2912 Apr 2, 2026
8ce4850
Small Exp optimizations for case-of, boolean comparisons and Assume
ivogabe Apr 6, 2026
951ddae
Merge branch 'trace' of https://github.com/Doppie23/accelerate into n…
ivogabe Apr 6, 2026
6d61967
Small fixes and changes for atrace
ivogabe Apr 6, 2026
17d520c
Merge branch 'permute' of https://github.com/Doppie23/accelerate into…
ivogabe Apr 7, 2026
c530bf6
Remove redundant 'take'
ivogabe Apr 10, 2026
5b7c80a
Unify Skip and Skip' via pattern synonym
ivogabe Apr 10, 2026
831955d
Internally represent Skip as an integer, similar to Idx
ivogabe Apr 10, 2026
26777b3
Add Keep data type, represented as an integer
ivogabe Apr 21, 2026
da09c84
Defunctionalize weakenings (env :> env')
ivogabe Apr 21, 2026
225c73e
Merge branch 'master' of https://github.com/AccelerateHS/accelerate i…
ivogabe Jun 20, 2026
1fcf9b5
Fix after merge
ivogabe Jun 20, 2026
cbe4f65
add encoding and open up signatures to built comparison in test project
Tammo0987 Aug 23, 2026
5099a87
update Constraint naming
Tammo0987 Aug 24, 2026
14ee46d
migrated strict acyclic constraints
Tammo0987 Aug 24, 2026
b58ef82
Add missing extra-source-files
TravisCardwell Aug 21, 2026
970ff19
Annotate hashQ uses
TravisCardwell Aug 24, 2026
ff0e8a7
migrated infusible constraints
Tammo0987 Aug 25, 2026
17e00f8
Simplify ILP constraint representation
Tammo0987 Sep 1, 2026
b39a64e
Add modern manifest fusion constraints
Tammo0987 Sep 1, 2026
aa079d9
Add fusible order constraints to modern encoding
Tammo0987 Sep 1, 2026
c2e983e
Add fusion direction constraints to modern ILP encoding
Tammo0987 Sep 1, 2026
02c1593
Move modern cluster-count constraints into the constraint language
Tammo0987 Sep 1, 2026
10679e7
Unify legacy and modern ILP constraints
Tammo0987 Sep 1, 2026
5b13bab
Enforce manifesting for in-place paths in ILP constraints
Tammo0987 Sep 1, 2026
80a2292
Constrain in-place paths to matching directions
Tammo0987 Sep 1, 2026
ab94585
Add ILP constraints for in-place clusters
Tammo0987 Sep 1, 2026
7bbb862
Constrain in-place buffers to share clusters
Tammo0987 Sep 1, 2026
c41c466
Enforce single in-place reader and writer constraints
Tammo0987 Sep 1, 2026
8545185
Add read liveness constraints for in-place updates
Tammo0987 Sep 1, 2026
63b1162
Move horizontal read cost lowering into constraints
Tammo0987 Sep 1, 2026
e232c18
initial removal of encoding switch
Tammo0987 Sep 1, 2026
8932809
Separate in-place constraints from fusion constraints
Tammo0987 Sep 1, 2026
ef6c581
add posibility to add a presolver
Tammo0987 Sep 1, 2026
9890015
Simplify the ILP lowering environment
Tammo0987 Sep 1, 2026
a2a85f1
Use MaxCluster for cluster count constraints
Tammo0987 Sep 1, 2026
2347a3d
Refactor ILP constraint lowering interface
Tammo0987 Sep 3, 2026
03012e9
Refactor ILP constraint lowering into a separate module
Tammo0987 Sep 4, 2026
9457bab
Extract ILP constraints into LinearConstraint module
Tammo0987 Sep 7, 2026
4942cb7
Remove unnecessary ILP operation parameters and BackendVar
Tammo0987 Sep 7, 2026
2dad1dd
refactored out test infrastructure
Tammo0987 Sep 8, 2026
3376ebc
Rename ILP Solve module to Encoding
Tammo0987 Sep 8, 2026
25ae513
Extract ILP variables into dedicated module
Tammo0987 Sep 9, 2026
b96c277
Merge branch 'ilp-constraint-language' of https://github.com/Tammo098…
ivogabe Sep 11, 2026
5c9af20
Small fixes and style changes after github.com/ivogabe/accelerate/pul…
ivogabe Sep 11, 2026
2d4b50b
Fix warnings
TravisCardwell Sep 8, 2026
3880945
Audit LANGUAGE pragmas
TravisCardwell Sep 8, 2026
2a86077
Refactor to be compatible with GHC2021
TravisCardwell Sep 14, 2026
0647d2e
Refactor to be compatible with OverloadedStrings
TravisCardwell Sep 14, 2026
25083d4
Use GHC2021 and default extensions
TravisCardwell Sep 14, 2026
903bf8a
Remove CI jobs for GHC 8.10 and 9.0
TravisCardwell Sep 14, 2026
f79b357
Annotate more kinds
TravisCardwell Sep 15, 2026
0d2fa14
Various fixes of warnings
ivogabe Sep 16, 2026
70ab715
Remove unused variable
ivogabe Sep 16, 2026
57862fa
Stack: pin hashtables-1.4.2
TravisCardwell Sep 24, 2026
638a205
Remove use of -Wno-incomplete-patterns
TravisCardwell Sep 25, 2026
c724e6f
Audit GHC warning pragmas
TravisCardwell Sep 25, 2026
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
6 changes: 0 additions & 6 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -42,18 +42,12 @@ jobs:
- '9.6'
- '9.4'
- '9.2'
- '9.0'
- '8.10'
mode:
- 'debug'
- 'release'
exclude:
- os: 'windows-latest'
mode: 'debug'
- os: 'macOS-latest' # GHC < 9.2 is broken on ARM64 macs
ghc: '8.10'
- os: 'macOS-latest'
ghc: '9.0'

steps:
- uses: actions/checkout@v3
Expand Down
2 changes: 2 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -16,3 +16,5 @@
/docs/_build
*.hi
*.o
/gurobi.log
/.vscode
5 changes: 5 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -30,6 +30,11 @@ Chapter 6 of Simon Marlow's book [Parallel and Concurrent Programming in Haskell

[Trevor's PhD thesis][Trevor-thesis] details the design and implementation of frontend optimisations and CUDA backend.

**New pipeline**

This branch contains a new, work-in-progress, version of the Accelerate compiler. The Native backend is near completion and the PTX backend is in active development.

To use this new version, use the latest commit from this branch (new-pipeline) of accelerate and [accelerate-llvm](https://github.com/ivogabe/accelerate-llvm/tree/new-pipeline). Either add them as a git dependency to your cabal or stack configuration, or clone them manually and add them as a local dependency. Install `clang` and `cbc` and add them to your PATH. Accelerate uses clang and cbc via the command line (instead of linking with them). The new version of Accelerate should then be working. Note that some functionality is not implemented yet (including the FFI and the trace functions).

**Table of Contents**

Expand Down
12 changes: 7 additions & 5 deletions Setup.hs
Original file line number Diff line number Diff line change
@@ -1,18 +1,21 @@
{-# LANGUAGE CPP #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE MultiWayIf #-}
{-# LANGUAGE CPP #-}
{-# OPTIONS -Wall #-}
module Main where

import Distribution.Extra.Doctest
import Distribution.PackageDescription hiding (Flag)
import Distribution.Simple
import Distribution.Simple.LocalBuildInfo
import Distribution.Simple.Setup
import Distribution.Simple.Utils
import Distribution.System
import Distribution.Verbosity

#if MIN_VERSION_Cabal(3,4,0)
import Distribution.PackageDescription
#else
import Distribution.PackageDescription hiding (Flag)
#endif

#if MIN_VERSION_Cabal(3,14,0)
-- Note [Cabal 3.14]
--
Expand Down Expand Up @@ -120,7 +123,6 @@ tracyMode config_flags =
fromMaybe False $
lookupFlagAssignment (mkFlagName "tracy") (configConfigurationsFlags config_flags)


rawSystemExit' :: Verbosity -> FilePath -> [String] -> IO ()

#if MIN_VERSION_Cabal(3,14,0)
Expand Down
Loading