froglet in-progress - Githubissues

tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods

https://forge-fm.org/

MIT License

67 stars 8 forks source link

Closed bennn closed 3 months ago

bennn commented 1 year ago

[X] context-sensitive join checks: Tim.father is ok, Tim.father.grad is ok, Tim.Tim is not ok, father.grad is not ok

tnelson commented 5 months ago

@bennn Can we close this PR?

bennn commented 5 months ago

unless someone else picked up froglet, we should merge this!

as-is, it's better than current froglet

of course i'd like to first get the tests passing

bennn commented 3 months ago

fixed merge conflicts, commented out lots of failing froglet tests ... let's see if CI passes

bennn commented 3 months ago

Phew CI passes, let's merge.

Next up: uncomment all those froglet tests in error/main.rkt!