chad-fast - [no description]

	Commit message (Collapse)	Author	Age
*	Compile: Fix EError	Tom Smeding	2025-03-04
\|
*	Fix ppParen in pretty of EWith	Tom Smeding	2025-03-04
\|
*	Compile: maximum1i and minimum1i	Tom Smeding	2025-03-04
\|
*	Compile: Fix right-precedence of (*)	Tom Smeding	2025-03-04
\|
*	Compile: replicate1i	Tom Smeding	2025-03-03
\|
*	WIP replicate1i	Tom Smeding	2025-03-03
\|
*	Run test primals with Compile (not all succeed yet)	Tom Smeding	2025-03-03
\|
*	Compile: sum1inner, unit, idx0	Tom Smeding	2025-03-03
\|
*	Compile: Support EShape and EBuild	Tom Smeding	2025-03-02
\|
*	Compile.Exec: Show number of loaded kernels in debug prints	Tom Smeding	2025-03-02
\|
*	Compile: index into arrays	Tom Smeding	2025-03-02
\|
*	compile: Compile constant array literals	Tom Smeding	2025-03-02
\|
*	compile: WIP reference-counted arrays	Tom Smeding	2025-03-02
\|
*	Compile: More precise monads in genStructs	Tom Smeding	2025-03-01
\|
*	simplify: Halfway beta-reduce product projections in effectful context	Tom Smeding	2025-03-01
\|
*	Fix some pretty-printing	Tom Smeding	2025-03-01
\|
*	test: Simplify and make it a bit faster	Tom Smeding	2025-02-28
\|
*	Compile: some cleanup	Tom Smeding	2025-02-28
\|
*	Remove stupid old nonworking cuda stub	Tom Smeding	2025-02-28
\|
*	Compile to C and load using dlopen	Tom Smeding	2025-02-28
\|
*	Comment unhandled cases instead of getting 1e6 warnings	Tom Smeding	2025-02-25
\|
*	UnMonoid: Properly recurse	Tom Smeding	2025-02-25
\|
*	Pretty: Allow colouring exts (currently not)	Tom Smeding	2025-02-25
\|
*	Compile: Emit structs in proper order	Tom Smeding	2025-02-25
\|
*	Purge Example.Format	Tom Smeding	2025-01-28
\|
*	Pretty-printer that supports extension fields	Tom Smeding	2025-01-28
\|
*	Complete identity analysis	Tom Smeding	2025-01-27
\|
*	Add ext field to remaining AST constructors	Tom Smeding	2025-01-27
\|
*	WIP identity analysis	Tom Smeding	2025-01-20
\|
*	Improve Compile a little (still only scalars)	Tom Smeding	2024-12-12
\|
*	Somewhat working Compile	Tom Smeding	2024-12-12
\|
*	Start WIP compile-to-C	Tom Smeding	2024-12-06
\|
*	Rename Compile -> CompileCu	Tom Smeding	2024-12-06
\|
*	UnMonoid	Tom Smeding	2024-12-06
\|
*	Simplify: Reduce plus of literals	Tom Smeding	2024-12-06
\|
*	Simplify: Some forgotten 'acted'	Tom Smeding	2024-12-06
\|
*	WIP UnMonoid (to be used for compiling to C)	Tom Smeding	2024-12-06
\|
*	Fix indentation	Tom Smeding	2024-12-06
\|
*	Working argument accum mode (...)	Tom Smeding	2024-11-26
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	The derivative of 'neural' in full accum mode is pretty atrocious now; I think this is because when you have code like this: \(a :: Arr 1 R) -> let b = a in let c = b in sum d then because the argument, as well as both let bindings, bind a value of array type, each will introduce an accumulator, hence resulting in three (!) nested `with` clauses that each just contribute their result back to their parent. This is pointless, and we should fix this.
*	WIP accum top-level args	Tom Smeding	2024-11-26
\|
*	Prepare for introducing top-level args in accum mod	Tom Smeding	2024-11-23
\|
*	Use accum storage for Case too	Tom Smeding	2024-11-23
\|
*	drevScoped returns a data type, not CPS	Tom Smeding	2024-11-23
\|
*	Factor let storage-dependent scoping logic into separate function	Tom Smeding	2024-11-22
\|
*	Configuration for CHAD	Tom Smeding	2024-11-14
\|
*	Benchmark GMM	Tom Smeding	2024-11-14
\|
*	Remove warnings	Tom Smeding	2024-11-13
\|
*	Make EBuild derivative aware of zero cotangent arrays	Tom Smeding	2024-11-11
\|
*	Test gmm	Tom Smeding	2024-11-10
\|
*	Fix forward derivative of 'exp'	Tom Smeding	2024-11-10
\|