3276908917 / Master

Thesis
1 stars 1 forks source link

Create new repo with tiny program just for accessing a pre-built CLE. #17

Open lbfinkbeiner opened 9 months ago

lbfinkbeiner commented 9 months ago

This will be the code that we describe in the paper. It should look like excerpts from ui and te, but should be as small as possible.

It should also contain some separate code, or at least code that we haven't yet implemented in CassL. For example, it should automatically link the massless and massive emulators under the hood.