Pinned Repositories
knotical
Knotical: An Inference System of Trace Refinement Relations
aws-c-common
Core c99 package for AWS SDK for C. Includes cross-platform primitives, configuration, data structures, and error handling.
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
cil
C Intermediate Language
cinstr
dynamite
A dynamic analyzer for proving program termination and non-termination.
llvm-kaleidoscope
An implementation of LLVM Kaleidoscope tutorial with Bazel Build, visitors, Google tests and many more.
M3
sling
SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
solidity-riddles
My solutions of RareSkills' solidity-riddles puzzles.
letonchanh's Repositories
letonchanh/pysmt
pySMT: A library for SMT formulae manipulation and solving
letonchanh/SAVER_public
letonchanh/ReCoeus
Relational Verification using Reinforcement Learning (Learning Source Code)
letonchanh/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
letonchanh/incubator-singa
Mirror of Apache Singa (Incubating)
letonchanh/knotical
Knotical: An Inference System of Trace Refinement Relations
letonchanh/test-semmle
letonchanh/unpuzzle
Gradle plugin for mavenizing OSGi artifacts
letonchanh/ultimate
letonchanh/grasshopper
An automated deductive program verifier.
letonchanh/wuff
Gradle plugin for automating assembly of OSGi/Eclipse bundles and applications
letonchanh/s4ds
Scala for data science
letonchanh/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
letonchanh/z3
The Z3 Theorem Prover
letonchanh/spacemacs-config
letonchanh/smtcomp14-sl
Benchmark and tools for the theory of Separation Logic (QF_S) at SMTCOMP 2014
letonchanh/DAT210x
Programming with Python for Data Science Microsoft
letonchanh/learning-examples
Code examples for the book Learning Concurrent Programming in Scala
letonchanh/the-omega-project
Tools from Pugh et al.'s "Omega Project" for constraint-based compiler tools: The "Omega Library" for constraint manipulation; The "Omega Calculator" (text interface); the "Omega Test" for depedence analysis; the "Uniform Library" for code transformation; and the "Code generation" library for generating the transformed code. I am experimenting with tracking bugs with Lighthouse, but am not yet sure I've got it configure right --- see http://davew_haverford.lighthouseapp.com/projects/13658-the-omega-project/overview (if you can; if you can't, email davew@cs.haverford.edu).
letonchanh/z3overlay
An overlay for the OCaml Z3 binding.