Menu ▾ ▴

Tree [c9fc63] master /
 History

HTTPS git://
HTTPS access

File Date Author Commit
 Sketches 2014-01-18 Marek Trtik Marek Trtik [6ecbde] !!! IMPORTANT !!!
 code 2015-01-15 Marek Trtik Marek Trtik [349492] * updates for building with llvm3.5.0.
 data 2014-09-16 Marek Trtik Marek Trtik [f45c6f] * minor bug-fixes
 doc 2014-04-13 Marek Trtik Marek Trtik [d2599f] + documentation of libraries: symtex, cosymtex,...
 .gitignore 2014-07-31 Marek Trtik Marek Trtik [7b90c3] * Updates going towards the CMAKE support in Bu...
 CMakeLists.txt 2015-03-05 Marek Trtik Marek Trtik [c9fc63] * Improvements in CMake script: Paths to SW dep...
 FindANTLR.cmake 2015-01-15 Marek Trtik Marek Trtik [349492] * updates for building with llvm3.5.0.
 README.txt 2013-10-30 Marek Trtik Marek Trtik [4129ff] + readme file
 bugst.sln 2014-04-18 Marek Trtik Marek Trtik [171461] + symtex: depth-first search strategy
 bugst.sln.clear.bat 2013-04-22 Marek Trtik Marek Trtik [a14f91] **** NEW VERSION ****
 expression visualier.txt 2013-11-29 Martin Kucera Martin Kucera [c89b06] + MSVS 2010 custom debug visualizer for bugst::...
 paths.props 2014-01-18 Marek Trtik Marek Trtik [4e4d85] * data for lojza's build
 paths.props.template 2013-12-21 Marek Trtik Marek Trtik [3b6a23] + atomic-C: normalises a given C source file s....

Read Me

BUGST
~~~~~

All informations necessary to build and use Bugst are presented
in project's Wiki:

    http://sourceforge.net/p/bugst/wiki/Home/
MongoDB Logo MongoDB