Projects

Buildbot

The BuildBot is a system to automate the compile/test cycle required by most software projects to validate code changes. By automatically rebuilding and testing the tree each time something has changed, build problems are pinpointed quickly, before other developers are inconvenienced by the failure. ... [More] The guilty developer can be identified and harassed without human intervention. By running the builds on a variety of platforms, developers who do not have the facilities to test their changes everywhere before checkin will at least know shortly afterwards whether they have broken the build or not. Warning counts, lint checks, image size, compile time, and other build parameters can be tracked over time, are more visible, and are therefore easier to improve. [Less]

Tailor

Tailor is a tool to migrate changesets between ArX, Bazaar, Bazaar-NG, CVS, Codeville, Darcs, Git, Mercurial, Monotone, Perforce, Subversion and Tla repositories.

vcs-load-dirs

vcs-load-dirs is a tool to automate and simplify the loading of software into version control systems. It is designed primarily for importing from a non-version-controlled upstream, such as processing release tarballs. While a bit of scripting can help some version control systems achieve a basic ... [More] version of this, vcs-load-dirs often does better than that, especially concerning renames. vcs-load-dirs supports baz (bazaar), darcs, git, mercurial (hg), svk, and tla (arch). [Less]

Distributed Version Control for Emacs

DVC is a common Emacs front-end for a number of distributed version control systems. It currently supports GNU Arch, Bazaar, git, Mercurial, and Monotone.

liasas

LIASAS is a small research project aimed at creating a tool capable of describing indexed automata strengtened by action semantics, and applying algorithms on them. For instance, this tool should be able to determine whether two ASIA are compatible, combine them if it is the case, and output TLA+ code.

tlaengine

This is the code repository for the TLA Game Engine. All code is available for download by clicking the Source tab at the top. Our Google Group Code Analysis

eTLA

Integration of TLA Tools in Eclipse IDE

tla-gluck

tp tla

tpetla

Analizador sintactico para TLA(Teoria de lenguajes y automatas)