Gus Smith

diff-friendly formatting?

1

I use fmt all the time, and it rocks -- perhaps the only thing that bugs me is that the diffs after formatting can be huge, even after I change...

Installing to non-standard directory gives errors

1

If I install STP to a non-default location (this may even happen with the default location; I'm not sure), I see the following issues: First, when I try to execute...

Get models in SMTLIB2 format without printing `ASSERT`s (Mac specific issue?)

10

Hi all. We're trying to add support for STP to [Rosette](https://github.com/emina/rosette). One of the main blockers are the `ASSERT` statements that get printed out when the `-p` switch is enabled:...

`raco distribute` errors due to suspiciously long destination filename

4

Thanks for all the work you all do! **What version of Racket are you using?** 8.11 [cs] **What program did you run?** ``` # Commands run: mkdir -p lakeroad/deps/lakeroad/ raco...

*DO NOT MERGE* This PR tracks changes from the PLDI push. The contents of this PR should eventually be - merged in smaller PRs, or - re-implemented in a different...

OOPSLA 2023 push

1

Tracking PR for OOPSLA work

For 3la work, it seems like it'd be useful to be able to represent fused operators in Glenside. Something like ``` (compute add (pair (compute dot product (cartprod ?a ?b))...

ATL is a language developed by Gilbert Bernstein and Amanda Liu at MIT. It is a scheduling-level tensor language. It would be very interesting to compile to ATL from Glenside,...

The Rosettafold model (which is implemented in PyTorch, I think) could be a good test example for reducing data transpositions using Glenside. https://github.com/RosettaCommons/RoseTTAFold/tree/main/network