ziqingluo

ziqingluo's Stars

• zelinsky/c-decision-tree

  Decision tree algorithm, written in C, to be verified with CIVL

  Language:C1

• rgrig/treebuffers

  experiments with a data structure that generalizes linear buffers

  Language:Python3

• sosy-lab/sv-benchmarks

  Collection of Verification Tasks (MOVED, please follow the link)

  184169