Skip to content

The unbounded fractional camera

Robbert Krebbers requested to merge robbert/ufrac_just_ufrac into master

This contains just the ufrac part of !187 (merged), which @jung and I both believed to be useful after discussing it in person.

@jung and I had some desire to generalize ufrac_auth. I will look into that later by adapting !187 (merged).

Merge request reports