| Commit message (Collapse) | Author | Files | Lines |
|
|
|
|
|
|
|
|
|
|
|
translation
|
|
|
|
|
|
function call and symbolic fresh value
|
|
|
|
backward functions
|
|
|
|
|
|
|
|
unit and the abstractions don't contain loans
|
|
|
|
|
|
|
|
|
|
declarations
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Option and Vec
|
|
|
|
|
|
|
|
|
|
|
|
|
|
functions
|
|
|
|
functions which return instantiated signatures for the assumed functions
|
|
|
|
|
|
|
|
|
|
symbolic AST
|
|
|
|
|
|
|
|
|
|
|
|
|
|
abstractions (as input or given back values)
|