You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Alloy is a formidable tool but its syntax is hard to learn. It may be interesting to have a PHP API more understandable for a human.
This API could produce an Alloy file or even produce a proof to be run by innmind/black-box. Having a proof would allow to constantly run it in a CO to try to find a invalid scenario (as far as I know Alloy doesn't allow to be run in a CI).
reacted with thumbs up emoji reacted with thumbs down emoji reacted with laugh emoji reacted with hooray emoji reacted with confused emoji reacted with heart emoji reacted with rocket emoji reacted with eyes emoji
-
Alloy is a formidable tool but its syntax is hard to learn. It may be interesting to have a PHP API more understandable for a human.
This API could produce an Alloy file or even produce a proof to be run by
innmind/black-box
. Having a proof would allow to constantly run it in a CO to try to find a invalid scenario (as far as I know Alloy doesn't allow to be run in a CI).Beta Was this translation helpful? Give feedback.
All reactions