Issue with compiler

I have attached samples which show the bugs. 1) Asymmetry in the multiple payload types in a single state. Call and transition in a state not allowed. 2) This pointer inside a foreign function. ...

Id #3 | Release: None | Updated: Oct 31, 2013 at 6:39 PM by ankushd | Created: Oct 31, 2013 at 6:39 PM by ankushd

Issue with NonDet in Real Machines

Type checking in P has some bug. NonDet are allowed in real machines. I have attached 2 examples which should fail. Also, I don't completely understand the reason/need of allowing non-det to gh...

Id #2 | Release: None | Updated: Oct 8, 2013 at 6:31 PM by ankushd | Created: Oct 8, 2013 at 6:30 PM by ankushd

  • 1-2 of 2 Work Items
    • Previous
    • 1
    • Next
    • Showing
    • All
    • Work Items