Search Results for "dinkumware c library"

...On top of the library, there's a CLI tool that takes advantage of the full library (see screenshots) It's also meant to be compatible with ARM, and 32-bit Windows, with C++11 support. The library also has separate MIT and GPL compliant code, allowing for licensing flexibility among proprietary and open-source projects.

Libinstrument is a complete and easy way to do custom function instrumentation for C/C++. The project comes ready with classic applications of instrumentation, such as AOP (Aspect Oriented Programming), Concern and Side Effect injection, stack tracing, exception tracing, basic time profiling, callgraph profiling and other. A GC (Garbage Collector) module is also under development. Libinstrument is highly portable and decoupled. The project comes with a CMake build system, integration with...

* Model-checking/simulation-checking library for real-time system with dense-time models in C with CRD (Clock-Restriction Diagrams) technology. * Parametric analysis library for linear-hybrid systems in C with HRD (Hybrid-Restriction Diagram) technol

vMotion Detector is an application suite designed for Oracle OEM, Oracle Grid or Nagios that allows a Windows or Linux Guest VM detect when it has its Session ID modified due to an underlying DRS or HA clustered environment change.

Vassert is a new feature from VMware Workstation. It is promising for developers to enhance code reliablity with less run-time cost. This project is a library to enable vassert usage under Linux guest os.

The VI Toolkit for .NET is a .NET library designed to bring object-oriented design to the VI API by transforming managed object references into first class objects, as well as providing helpful method, property, and class abstractions.