Aman Goel

icon indicating a website link https://aman-goel.github.io

icon company Amazon Web Services icon location Seattle, WA icon location Applied Scientist @ AWS

Results 4 issues of Aman Goel

Question on Arrays (with extensionality)

3 comment

What types of domain/range are arrays with extensionality supported by Yices? Does Yices support arrays with extensionality for Array type domain/range? For example, consider a custom sorts as follows: `(define-sort...

enhancement

Suggestions on input format

1 comment

I am thankful to the contributors for the wonderful work they have done. I have found the format useful (and simple) to extend SMT2 format to state transition systems (finite...

[PSym] Receive inside a loop

Hi, P compiler for symbolic backend currently does not correctly compile the symbolic IR when `receive` statement is present inside a loop. For example, ``` event ping0: machine; event ping1:...

BUG: P Compiler
Feature Request

[PEx] Corrections to stateful search, support Java foreign functions

Updates include: [PEx RT] - Revamp a schedule/data `Choice` into separate classes `ScheduleChoice` or `DataChoice`. Only `ScheduleChoice` stores protocol state for stateful backtracking. Stateful backtracking for a `DataChoice` resumes from...