saminishtiaq

3 ms·

1. 1.▲
   by saminishtiaq 10y ago

   1. MIT is the standard GitHub.com/Microsoft license. 2. SLAyer is an acronym of Separation Logic Analyzer. And also a reference to Josh's musical taste.
2. 2.▲
   by saminishtiaq 10y ago

   It's a static analysis tool, so it has many TimeOut limitations :-) In practise, many abstract interpretation based tools generalize too much, lose too much information, then get lost and TO instead. The test suite released there give
3. 3.▲
   by saminishtiaq 10y ago

   NSLib was just a small modification (change argument orders, other HO functions for Map, etc)to the OCaml stdlib that SLAyer used. It's not essential or necessary here, should have been cleaned up before release.