Public FMT Git Repositories

To clone one of these trees, install git, and run:

git clone http://fmt.cs.utwente.nl/tools/scm/ + project path.
For convenience, the clone URL is available as the "git" link below, or on the status page of any repository.

For more information about git, see an overview.

Project Description Owner Last Change
bait.git BAiT: Behavior Adaptation... [Formal Methods... 10 years ago
buddy.git BuDDy - A Binary Decision... [Formal Methods... 6 years ago
dftcalc.git DFTcalc [Formal Methods... 4 years ago
divine2.git Mirror of DiVinE 2 from http... Michael Weber 12 months ago
drop.git Unnamed repository; edit this... [Formal Methods... 6 years ago
grabats.git Grabats: VM experiments [Formal Methods... 10 years ago
imca.git Unnamed repository; edit this... [Formal Methods... 5 years ago
javabridge.git Unnamed repository; edit this... [Formal Methods... 6 years ago
jemalloc.git Unnamed repository; edit this... [Formal Methods... 7 years ago
jenktest.git Unnamed repository; edit this... [Formal Methods... 7 years ago
jtorx.git JTorX Axel Belinfante 5 years ago
lace.git Lace: a fine-grained task... [Formal Methods... 4 years ago
ltl2ba.git Mirror of ltl2ba from http... [Formal Methods... 6 years ago
ltsmin.git ltsmin - Minimization and... Michael Weber 5 years ago
memtime.git memtime - track memory and... [Formal Methods... 6 years ago
puptol.git Unnamed repository; edit this... [Formal Methods... 4 years ago
spinja.git Mirror of SpinJa from http... [Formal Methods... 4 years ago
spins.git Mirror of SpinJa from http... [Formal Methods... 4 years ago
sylvan.git BDD package [Formal Methods... 4 years ago
torxtwo/examples.git TorX-Two Examples Axel Belinfante 10 years ago