Search Results for "debugger"

Rift is an free IDE Independent software to Compile, Debug, and Analyse Time Complexity for Multilanguage programs. Rift currently supports C/C++ ,Python and Ruby languages.Rift features Powerfull Compilers & interpreters and gives you the freedom to work with IDE of your choice. Rift is also supplemented with a powerful testing feature for very large input/output Files and lets you analyse the time complexity of your code. It tests the correctness of the code in accordance with the input...

An XSL tool for testing XSDs conform to your own configurable style guidelines (e.g. tests element names conform to a regEx template); and a debugger, to convert the XML output report into HTML page to highlight problems & aid resolution.

...We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. This project has been developed during a University project called PSE ("Praxis der Softwareentwicklung" / "practical experience in software developement") at the Karlsruhe Institute of Technology (KIT) by Andreas Eberle, Nicolas Loza, Olga Plisovskaya, Andreas Waidler and Michael Zangl. ...