SROA read chains

Closes #16

See merge request !122

Parse name of lift-dc-math path

See merge request !123

Lift math on dynamic constants in IR to dynamic constant math

See merge request !121

Show basic blocks in Xdot

See merge request !120

Scheduler

Closes #5

See merge request !116

Read chains

Closes #16

See merge request !119

Fix writes in RT backend

See merge request !118

Lower reads and writes in Rust backend

See merge request !117

Avoid some spills of forwarding reads

See merge request !114

Make concat test rely on DC normalization

See merge request !113

Fixes for dynamic constant substitution in typechecking, interprocedural SROA, and fix inlining

See merge request !112

Normalize dynamic constants during typechecking

See merge request !111

Generate LLVM undef on CPU

See merge request !110

Simple Store Load Forwarding

See merge request !109

Min and max operators for DCs

See merge request !108

Cava Harness

See merge request !107

Checked CCP

See merge request !106

Re-write Predication to use FunctionEditor

See merge request !105

Add CUDA support to HerculesBox

See merge request !104

Create temporary LLVM IR files in a fresh temporary directory.

See merge request !102