Chalice
1 program
Added 2026-02-07T13:32:31Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit c6cf50bd10 · authored 2026-02-07T14:32:58+01:00 · agent claude-code · model sonnet
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
LLM-contributed programs
Cell with Permissions
Provenance: commit c6cf50bd10 · authored 2026-02-07T14:32:58+01:00 · agent claude-code · model sonnet · WebSearch disabled
class Cell {
var x: int
method init(v: int)
requires acc(x)
ensures acc(x) && x == v
{
x := v
}
method set(v: int)
requires acc(x)
ensures acc(x) && x == v
{
x := v
}
method get() returns (v: int)
requires acc(x)
ensures acc(x) && v == x
{
v := x
}
}