parse Alloy expression like Evaluator

ags799 / aldb

The Alloy Debugger

MIT License

0 stars 0 forks source link

parse Alloy expression like Evaluator #11

Closed ags799 closed 9 years ago

ags799 commented 9 years ago

Use 'print' or 'p' command followed by an Alloy expression to get Evaluator-like output.

ags799 commented 9 years ago

I'm going to keep making pull requests to keep you informed. But for the sake of time I won't wait for your approval before merging.

hayesconverse commented 9 years ago

I’m busy with my other project this weekend (because of course all the report due dates are clumped together) but as the week progresses my workload should lessen a bit. On Nov 1, 2014, at 5:41 PM, ags799 notifications@github.com wrote:

Merged #11.

— Reply to this email directly or view it on GitHub.

ags799 commented 9 years ago