Pinned Repositories
bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
car-demo
clip
jacodb
fast and effective way to access and analyze java bytecode
lablqt
My thouths about which qt bindings for ocaml should be
load-balancing
Testint load balancing algoruthms
rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
spacer
z3
The Z3 Theorem Prover
dvvrd's Repositories
dvvrd/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
dvvrd/spacer
dvvrd/z3
The Z3 Theorem Prover
dvvrd/bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
dvvrd/car-demo
dvvrd/clip
dvvrd/jacodb
fast and effective way to access and analyze java bytecode
dvvrd/lablqt
My thouths about which qt bindings for ocaml should be
dvvrd/load-balancing
Testint load balancing algoruthms
dvvrd/mirror
A tool that reproduces user actions by log
dvvrd/mmscene
dvvrd/openmw
OpenMW is an unofficial open source engine reimplementation of the game Morrowind.
dvvrd/phasar
A LLVM-based static analysis framework.
dvvrd/pop-regex-cs
Simple regular expression matching engine from the "Practice of Programming Book"
dvvrd/qreal
CASE and metaCASE system
dvvrd/qt-5.3.0-unexpected-touch-events
Minimal example reproducing bug with unexpected left button events sent with touch events in Qt 5.3.0
dvvrd/qt_bug_qfontcache_with_plugins
Demonstrates some strange effect when instantiating QWidget with non-default font from Qt plugin
dvvrd/resharper-devguide
Developer guide for the ReSharper Platform
dvvrd/spacer-benchmarks
dvvrd/testQmlWithQGraphicsScene
dvvrd/trikRuntime
Runtime for TRIK controller
dvvrd/twitte-for-lada
dvvrd/UTBotJava
Tool that generates unit test for Java, trying to reach all branches and maximize code coverage
dvvrd/VSharp
dvvrd/win8-touch-drag
Demonstrates touch drag problem on win8 under qt 5.1.1
dvvrd/Z3-fixedpoint-test
Demonstrates some weird behaviour of Z3 FP solver