Noah Van Es
Noah Van Es
It seems that the SDK can not handle the Travel (Credit) Card. That is, a 'CardDebit' field is expected in the JSON response, whereas for the Travel Card the field...
Primitive values in the abstract interpreter are currently just implemented as Scala `objects`s (cf. `scalaam.language.scheme.primitives.SchemeLatticePrimitives`). As a result, the same primitive will get a different hash code on different runs...
Similar to the new representation of cons-cells, the representation of vectors in Scheme should be modified. Currently, in `ModularSchemeLattice.scala`, a vector and all its elements are represented as a single...
The soundness tests can be improved by checking the entire store of the analysis against the store of the concrete interpreter, similar to what we already do for the precision...