Search Results for "next player for windows"

Stochastic Performance Logic (SPL) serves for capturing performance assumptions. With SPL, it is possible to annotate Java functions with assumptions stating, for example, that the annotated function is at most three times slower than array copying. The assumption is then checked at build time in a similar way as standard unit testing. In other words, SPL is about introducing performance assert(). The advantage of SPL in comparison with other similar solutions includes following. SPL...

...This branch from the principal project, is for transform his visual interface to the new Firemonkey framework, know too as FMX. Current version is only for the old VCL framework. When project finish, it shall work for run unit test in Windows and Mac OS X. And of course for Android and IOS too. Did you need this approach? You can support us saying you like this project and leaving a message, please. You can get the current state of the project with the next URL repository: https://svn.code.sf.net/p/dunitfmx/code/trunk We are going to appreciate all the support!

Rocket science it is not: PunyKit, a puny WebKit-based browser. PunyKit is a browser I created in about an hour or so, maybe less. It is a QtWebKit centred application that displays the page in a "mobile browser similar" manner, and keeps that oh-so-useful WebInspector open in a separate window next to it. What I'm aiming for is something that is as close to the iPhone simulator as possible, but with a web-inspector and (Yay!) works on machines which weren't made by the Apple...

XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques: 1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools. 2. Extended Static Checking (ESC). Using ESC/Java2. 3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)

A log player for "The Fourth Coming" ("T4C", http://www.the4thcoming.com). Given a log-file, this tool will replay a T4C game you've played before. It will have built-in functionnalities like : merging log files together, searching and cleaning