Added src/pinsim, changes in ltsmin/configure.ac to add pinsim to make procedure
Changes in configure.ac to add pinsim to make procedure
Final status 20140912_1623
New makefile for language specific binaries
spins model - error: segmentation fault
pinsim.c - PINSim base finally running
Renamed PINSim to PINSsim in all files
Basic state exploration is running
Status 20140925_17_52
PINSIM v0.1: First basic functionlities running
Added optional display of rw dependencies to 'path states' command
Implemented: Detection of reoccurence of states, simple tree printing
Final touches on basic PINSsim functionalities - start on loading .gcf files
First successful experiment with reading and replaying a trace from a gcf file
Added loadTraceGCF(), print2File(), fix for conflict between  colors and windows console, started on saving trace to tct file
stub for reward label
bump scoop
fix segfault in caching layer when using guard-splitting.