Search Results for "libtogl.so.2"

The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.

Not working yet. To deal with the Halting Problem, computing and data are navigated using debugger ops: linearForward and treeForward, which navigate an astronomically large bit string where 1 is ( and 0 is ). All pairs are derived from (). For example, true is represented as ((()())()), and false is (()(()())). It appears related to the church encoding of lambda where T chooses first parameter and F chooses second, of a pair. Continuations are nearly finished code and are represented as a...

Version 1.1.5 - Added: Added the ability to edit the EMV panel - You can change which tags show, and what order they are in - Added: Tag 9F10 (Issuer Application Data) to which also includes CVR (a subtag of 9F10) - Added: Menu link to the homepage (sourceforge) - Fixed: 9F07/AUC had the wrong tag details - Fixed: File>Close now saves notes and config updates before exiting - Fixed: Tag 95/TVR title had a spelling mistake - Fixed: Homepage wasn't populating EMV page names -...

Jssltrace is a java-based tool, which enables it's user to intercept ssl based communication between two programs. Jssltrace works essentiallly in the same manner as tcptrace (http://www.pocketsoap.com/tcptrace), which is the main inspiration for it.

Xun Bug is an application for debug and profiling javascript code. It is a powerful tool supports most of mobile browser such as iPhone,Android,BlackBerry,Windows Mobile and Symbian. There is no need to install plugins in your browser. With the debug tool of Xun bug,you can set breakpoint,watch call stacks,step and resume,watch expressions and so on. With the profile tool of Xun bug, you can get the javascript function call tree and every call's time ,you can also get the statistic of...

This Project is intented to build a software to trace the behavior of specific Java code segments using JDI and then analize the data extracted from the trace.

Java development tool for root cause analysis of software events, useful for software acceptance testing in early development.

An ant task that applies -g debug labels to classes that don't have them. The line number attributes are synchronized to a decompiled asm source view of the classes. The tool generates both the modified 'src' and classes.

A suite of source and binary programs to test the capabilities of code analysis tools. A reference implementation of x86 binary analysis in C# is also included.

The m6800 Simulator is a teaching tool to introduce students to microprocessors. It is based on a cut-down version of the M6800 chip, and a reduced instruction set. The simulator assembles and simulates execution of the users code on a GUI

This project is a java web application developer toolbox. It is among other, a simple and powerful framework which does not require dealing with XML files. It also provides a lot of other features, such as a DB abstraction layer, a nice javadoc doclet, a

ASGMemProf is an exact, bytecode instrumenting memory profiler for Java EE, relying on a novel scheme - memory accounts.

inspectorJ is a cross platform java profiler with a graphical client that allows for profiling remote jvms. inspectorj is pre-alpha and is currently under development.

BugTraking is a Bugzilla like project. Written in Java.

This project is used to compare two archive files & generate a report as an html file. The report contains the missing files, the different and the identical files. Admin section is used to specify the report folder and restricted files while comparing.

The project tries to extend the basic Hotswap support in the current JVM and allows developers to add/remove instance fields and methods and replace the new class in a running JVM, thus saving huge time incurred in restarting the JVM for every change.

AIXmem is a tool to detect memory leaks in a IBM AIX C-development environment. AIX 'User Defined Malloc Replacement' is used to trace the memory allocation and freeing. --> Unfortunately i don't have time to make something useful out of this. :( <--

Jdptool is a debug and profiler tool which based on JPDA; It provide both swing based and browser based GUI. It has sophisticated debugger without user interfere. It also provide profiler to memory usage and threads with numerous new feature

NetTool is a developer tool for monitoring and manipulating application-level network messages, particularly useful for debugging web applications and web services. There are two components to NetTool: the HTTP Client, and the TCP Tunnel.

A plug-in for Eclipse that allows users to debug programs using UML models in order to detect regions of divergence between the model and the program.

JPDA-based integrated debugger for mixed-language applications. Contact: grisha@alum.mit.edu.

Utilities for diagnosing problems with JDBC connections

Distributed logging service for JADE agent framework, utilizing features of Log4j and Chainsaw projects.

NetworkTools has 2 components: A protocol analyzer which plays a TCP client or server or pipeline, which sits between a client and server and shows how they communicate. A port scanner can scan a range of IP addresses and ports. See screenshots.

Jassda is a framework that extracts a sequence of method-invokations from a Java application during runtime using the Java Debug Interface (JDI). Jassda provides two modules that operate on the sequence: a logger and a trace-checker