ssm-lang / Scoria

This is an embedding of the Sparse Synchronous Model, in Haskell!
BSD 3-Clause "New" or "Revised" License
4 stars 0 forks source link

Upstream ssm #85

Open j-hui opened 2 years ago

j-hui commented 2 years ago

Landed a few extra commits on https://github.com/sedwards-lab/ssm/pull/5 ; adding those changes back here.

The main change is that the platform-independent behavior for crashing is to just hang with for (;;), instead of relying on exit(); the rest of the changes are just changes to documentation.