GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
A library for communication with a BiDiB (www.bidib.org) system using a serial connection.
A client-server command line interface for the SWTbahn.
Contains the DSIsrc front-end component and its DSIcore algorithm implementation
Contains the front-end component DSIbin, its DSIcore algorithm implementation, and the DSIref type-refinement component
Contains the logging functionality for the DSIsrc and DSIbin project
A binary instrumentation Pin tool used for DSIbin