Add RangeMap functionality to Pyk

runtimeverification / k

K Framework Tools 7.0

BSD 3-Clause "New" or "Revised" License

444 stars 147 forks source link

Closed Scott-Guest closed 3 months ago

Scott-Guest commented 3 months ago

Depends on runtimeverification/llvm-backend#1096

Adds RangeMap functionality to Pyk analogous to all the existing built-in collections