ucsd-cse131-f19 / ucsd-cse131-f19.github.io
Course web site for CSE131 F19
☆11Updated 5 years ago
Alternatives and similar repositories for ucsd-cse131-f19.github.io:
Users that are interested in ucsd-cse131-f19.github.io are comparing it to the libraries listed below
- ☆16Updated 10 months ago
- Generation of mutant programs☆21Updated 6 years ago
- Repository for the course Logical Verification 2019–2020 at VU Amsterdam☆13Updated 5 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 4 years ago
- ☆10Updated 4 years ago
- Code experiments to exercise ideas while reading "Engineering a Compiler".☆27Updated 6 years ago
- Ocamlgraph overlay for llvm☆21Updated 10 years ago
- OpenCL SAT solver☆16Updated 13 years ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Updated 2 years ago
- Fuzz testing for Dafny☆13Updated 2 years ago
- ☆12Updated 7 months ago
- Java-like Language with Static Information Flow Types☆11Updated 3 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆12Updated 4 years ago
- ☆19Updated 10 years ago
- LLVM DSA fork for SeaHorn☆21Updated 5 years ago
- Abstract interpreter for real-world application programs☆32Updated 11 years ago
- ☆12Updated 10 months ago
- implement a full compiler based on c++ 11☆22Updated 7 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- Formal semantics of LLVM IR in K☆46Updated 6 years ago
- Open-source case studies for Frama-C (mainly EVA/Value Analysis plug-in)☆28Updated 4 years ago
- ☆16Updated 7 years ago
- Some unstructured notes concerning the Broad tutorial to take place in March 2020☆31Updated 3 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated last year
- "CF3" is a C compiler test suite targeting arithmetic optimization.☆37Updated 7 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆14Updated 11 months ago
- Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail call…☆18Updated last week
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2021☆18Updated 3 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Updated 7 years ago