Pinned Repositories
PSL
sail
Sail architecture definition language
guest_lecture_charles_university
Slides and exercise problems for my guest lecture at Charles University in Prague.
PSL
robosuslik
Synthesis with Read-Only Borrows
suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
yutakang's Repositories
yutakang/guest_lecture_charles_university
Slides and exercise problems for my guest lecture at Charles University in Prague.
yutakang/PSL
yutakang/robosuslik
Synthesis with Read-Only Borrows
yutakang/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic