.gitignore: fixup VIM swapfile ignore
README: convert to Markdown format Now we can easily generate an HTML version, while retaining readability as a simple text file.
Makefile / git: cleanup generated .dot and .pdf files
Makefile: build dependencies in .*.o.d files My previous attempts at fixing dependency generation actually cause full recompilation every time a file is changed. Apparently, it'll work best if each target object has its own dependency file. i.e., target 'model.o' has a corresponding '.model.o.d' which holds its dependency information.
.gitignore: ignore 'benchmarks' folder Now, you can clone the benchmarks repository under the name 'benchmarks' and have it compile-ready (but ignored by this repository) with: git clone <URI/model-checker-benchmarks.git> benchmarks cd benchmarks make Future updates can be pulled in via a 'git pull' from that directory: cd benchmarks git pull
docs: move to subdirectory
.gitignore: ignore .dot graph files
Makefile: rewrite header dependencies We shouldn't need to add new files in 3 different places. Automatically generate most of this using GCC's '-MM' option.
.gitignore: don't ignore /model anymore We don't produce an executable named 'model' anymore.
.gitignore: ignore other vim swap file type
.gitignore: ignore docs directory
.gitignore: fixup bad merge step (You don't need both the *~ and *.*~ rules)
merging stuff...made need to clean up some stuff...but need to push it somewhere else for now Merge branch 'subramanian' Conflicts: .gitignore Makefile action.h userprog.c
Defining the interfaces to add various regions to snapshot
.gitignore: add *~ files
.gitignore: add *.so
rename binary: libthreads -> model
add "make tags" (using `ctags`)
add .gitignore