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