Programming Languages Research Group: Git

author	Vaibhav Sharma <vaibhav@umn.edu>
	Tue, 16 Jan 2018 20:33:21 +0000 (14:33 -0600)
committer	Vaibhav Sharma <vaibhav@umn.edu>
	Tue, 16 Jan 2018 20:33:21 +0000 (14:33 -0600)
commit	617c4bf5004a1a258bd32a212f52252b90800d97
tree	85a81a925068fa219afddf8eac64432a1c879b64	tree \| snapshot
parent	a02f1a3ffa7409c7a2c636ec672cff55acb1048b	commit \| diff

Renaming /doc to /docs for use with GitHub Pages

178 files changed:

doc/devel/attributes.md	[deleted file]	blob \| history
doc/devel/bytecode_factory.md	[deleted file]	blob \| history
doc/devel/choicegenerator.md	[deleted file]	blob \| history
doc/devel/coding_conventions.md	[deleted file]	blob \| history
doc/devel/create_project.md	[deleted file]	blob \| history
doc/devel/design.md	[deleted file]	blob \| history
doc/devel/eclipse_plugin_update.md	[deleted file]	blob \| history
doc/devel/embedded.md	[deleted file]	blob \| history
doc/devel/index.md	[deleted file]	blob \| history
doc/devel/jpf_tests.md	[deleted file]	blob \| history
doc/devel/listener.md	[deleted file]	blob \| history
doc/devel/logging.md	[deleted file]	blob \| history
doc/devel/mercurial.md	[deleted file]	blob \| history
doc/devel/mji.md	[deleted file]	blob \| history
doc/devel/mji/mangling.md	[deleted file]	blob \| history
doc/devel/modules.md	[deleted file]	blob \| history
doc/devel/partial_order_reduction.md	[deleted file]	blob \| history
doc/devel/report.md	[deleted file]	blob \| history
doc/graphics/DFSListener.svg	[deleted file]	blob \| history
doc/graphics/app-types.svg	[deleted file]	blob \| history
doc/graphics/attributes.svg	[deleted file]	blob \| history
doc/graphics/bc-factory.svg	[deleted file]	blob \| history
doc/graphics/cg-impl.svg	[deleted file]	blob \| history
doc/graphics/cg-motivation.svg	[deleted file]	blob \| history
doc/graphics/cg-ontology.svg	[deleted file]	blob \| history
doc/graphics/cg-sequence.svg	[deleted file]	blob \| history
doc/graphics/choicegen-example.svg	[deleted file]	blob \| history
doc/graphics/genpeer.svg	[deleted file]	blob \| history
doc/graphics/interleavings.svg	[deleted file]	blob \| history
doc/graphics/jpf-abstractions.svg	[deleted file]	blob \| history
doc/graphics/jpf-basic.svg	[deleted file]	blob \| history
doc/graphics/jpf-intro-new.svg	[deleted file]	blob \| history
doc/graphics/jpf-layers.svg	[deleted file]	blob \| history
doc/graphics/jpf-project.svg	[deleted file]	blob \| history
doc/graphics/listener-overview.svg	[deleted file]	blob \| history
doc/graphics/listeners.svg	[deleted file]	blob \| history
doc/graphics/mji-call.svg	[deleted file]	blob \| history
doc/graphics/mji-functions.svg	[deleted file]	blob \| history
doc/graphics/mji-mangling.svg	[deleted file]	blob \| history
doc/graphics/new-testing.svg	[deleted file]	blob \| history
doc/graphics/por-mark.svg	[deleted file]	blob \| history
doc/graphics/por-scheduling-relevance.svg	[deleted file]	blob \| history
doc/graphics/properties.svg	[deleted file]	blob \| history
doc/graphics/report.svg	[deleted file]	blob \| history
doc/graphics/states-mc.svg	[deleted file]	blob \| history
doc/graphics/states-testing.svg	[deleted file]	blob \| history
doc/graphics/sw-model-checking-2.svg	[deleted file]	blob \| history
doc/graphics/sw-model-checking.svg	[deleted file]	blob \| history
doc/index.md	[deleted file]	blob \| history
doc/install/build.md	[deleted file]	blob \| history
doc/install/eclipse-jpf.md	[deleted file]	blob \| history
doc/install/eclipse-plugin.md	[deleted file]	blob \| history
doc/install/eclipse-plugin/update.md	[deleted file]	blob \| history
doc/install/eclipse-plugin/update/features.md	[deleted file]	blob \| history
doc/install/eclipse-plugin/update/plugins.md	[deleted file]	blob \| history
doc/install/index.md	[deleted file]	blob \| history
doc/install/netbeans-jpf.md	[deleted file]	blob \| history
doc/install/netbeans-plugin.md	[deleted file]	blob \| history
doc/install/repo_shell.md	[deleted file]	blob \| history
doc/install/repositories.md	[deleted file]	blob \| history
doc/install/requirements.md	[deleted file]	blob \| history
doc/install/site-properties.md	[deleted file]	blob \| history
doc/install/snapshot.md	[deleted file]	blob \| history
doc/intro/classification.md	[deleted file]	blob \| history
doc/intro/index.md	[deleted file]	blob \| history
doc/intro/race_example.md	[deleted file]	blob \| history
doc/intro/random_example.md	[deleted file]	blob \| history
doc/intro/testing_vs_model_checking.md	[deleted file]	blob \| history
doc/intro/what_is_jpf.md	[deleted file]	blob \| history
doc/jpf-core/AssertionProperty.md	[deleted file]	blob \| history
doc/jpf-core/ErrorTraceGenerator.md	[deleted file]	blob \| history
doc/jpf-core/ExceptionInjector.md	[deleted file]	blob \| history
doc/jpf-core/IdleFilter.md	[deleted file]	blob \| history
doc/jpf-core/index.md	[deleted file]	blob \| history
doc/papers/chicago-author-date.csl	[deleted file]	blob \| history
doc/papers/index.md	[deleted file]	blob \| history
doc/papers/references.bib	[deleted file]	blob \| history
doc/user/api.md	[deleted file]	blob \| history
doc/user/application_types.md	[deleted file]	blob \| history
doc/user/components.md	[deleted file]	blob \| history
doc/user/config.md	[deleted file]	blob \| history
doc/user/config/random.md	[deleted file]	blob \| history
doc/user/index.md	[deleted file]	blob \| history
doc/user/output.md	[deleted file]	blob \| history
doc/user/run.md	[deleted file]	blob \| history
doc/user/run_eclipse.md	[deleted file]	blob \| history
doc/user/run_eclipse_plugin.md	[deleted file]	blob \| history
doc/user/run_nb.md	[deleted file]	blob \| history
doc/user/run_nb_plugin.md	[deleted file]	blob \| history
docs/devel/attributes.md	[new file with mode: 0644]	blob
docs/devel/bytecode_factory.md	[new file with mode: 0644]	blob
docs/devel/choicegenerator.md	[new file with mode: 0644]	blob
docs/devel/coding_conventions.md	[new file with mode: 0644]	blob
docs/devel/create_project.md	[new file with mode: 0644]	blob
docs/devel/design.md	[new file with mode: 0644]	blob
docs/devel/eclipse_plugin_update.md	[new file with mode: 0644]	blob
docs/devel/embedded.md	[new file with mode: 0644]	blob
docs/devel/index.md	[new file with mode: 0644]	blob
docs/devel/jpf_tests.md	[new file with mode: 0644]	blob
docs/devel/listener.md	[new file with mode: 0644]	blob
docs/devel/logging.md	[new file with mode: 0644]	blob
docs/devel/mercurial.md	[new file with mode: 0644]	blob
docs/devel/mji.md	[new file with mode: 0644]	blob
docs/devel/mji/mangling.md	[new file with mode: 0644]	blob
docs/devel/modules.md	[new file with mode: 0644]	blob
docs/devel/partial_order_reduction.md	[new file with mode: 0644]	blob
docs/devel/report.md	[new file with mode: 0644]	blob
docs/graphics/DFSListener.svg	[new file with mode: 0644]	blob
docs/graphics/app-types.svg	[new file with mode: 0644]	blob
docs/graphics/attributes.svg	[new file with mode: 0644]	blob
docs/graphics/bc-factory.svg	[new file with mode: 0644]	blob
docs/graphics/cg-impl.svg	[new file with mode: 0644]	blob
docs/graphics/cg-motivation.svg	[new file with mode: 0644]	blob
docs/graphics/cg-ontology.svg	[new file with mode: 0644]	blob
docs/graphics/cg-sequence.svg	[new file with mode: 0644]	blob
docs/graphics/choicegen-example.svg	[new file with mode: 0644]	blob
docs/graphics/genpeer.svg	[new file with mode: 0644]	blob
docs/graphics/interleavings.svg	[new file with mode: 0644]	blob
docs/graphics/jpf-abstractions.svg	[new file with mode: 0644]	blob
docs/graphics/jpf-basic.svg	[new file with mode: 0644]	blob
docs/graphics/jpf-intro-new.svg	[new file with mode: 0644]	blob
docs/graphics/jpf-layers.svg	[new file with mode: 0644]	blob
docs/graphics/jpf-project.svg	[new file with mode: 0644]	blob
docs/graphics/listener-overview.svg	[new file with mode: 0644]	blob
docs/graphics/listeners.svg	[new file with mode: 0644]	blob
docs/graphics/mji-call.svg	[new file with mode: 0644]	blob
docs/graphics/mji-functions.svg	[new file with mode: 0644]	blob
docs/graphics/mji-mangling.svg	[new file with mode: 0644]	blob
docs/graphics/new-testing.svg	[new file with mode: 0644]	blob
docs/graphics/por-mark.svg	[new file with mode: 0644]	blob
docs/graphics/por-scheduling-relevance.svg	[new file with mode: 0644]	blob
docs/graphics/properties.svg	[new file with mode: 0644]	blob
docs/graphics/report.svg	[new file with mode: 0644]	blob
docs/graphics/states-mc.svg	[new file with mode: 0644]	blob
docs/graphics/states-testing.svg	[new file with mode: 0644]	blob
docs/graphics/sw-model-checking-2.svg	[new file with mode: 0644]	blob
docs/graphics/sw-model-checking.svg	[new file with mode: 0644]	blob
docs/index.md	[new file with mode: 0644]	blob
docs/install/build.md	[new file with mode: 0644]	blob
docs/install/eclipse-jpf.md	[new file with mode: 0644]	blob
docs/install/eclipse-plugin.md	[new file with mode: 0644]	blob
docs/install/eclipse-plugin/update.md	[new file with mode: 0644]	blob
docs/install/eclipse-plugin/update/features.md	[new file with mode: 0644]	blob
docs/install/eclipse-plugin/update/plugins.md	[new file with mode: 0644]	blob
docs/install/index.md	[new file with mode: 0644]	blob
docs/install/netbeans-jpf.md	[new file with mode: 0644]	blob
docs/install/netbeans-plugin.md	[new file with mode: 0644]	blob
docs/install/repo_shell.md	[new file with mode: 0644]	blob
docs/install/repositories.md	[new file with mode: 0644]	blob
docs/install/requirements.md	[new file with mode: 0644]	blob
docs/install/site-properties.md	[new file with mode: 0644]	blob
docs/install/snapshot.md	[new file with mode: 0644]	blob
docs/intro/classification.md	[new file with mode: 0644]	blob
docs/intro/index.md	[new file with mode: 0644]	blob
docs/intro/race_example.md	[new file with mode: 0644]	blob
docs/intro/random_example.md	[new file with mode: 0644]	blob
docs/intro/testing_vs_model_checking.md	[new file with mode: 0644]	blob
docs/intro/what_is_jpf.md	[new file with mode: 0644]	blob
docs/jpf-core/AssertionProperty.md	[new file with mode: 0644]	blob
docs/jpf-core/ErrorTraceGenerator.md	[new file with mode: 0644]	blob
docs/jpf-core/ExceptionInjector.md	[new file with mode: 0644]	blob
docs/jpf-core/IdleFilter.md	[new file with mode: 0644]	blob
docs/jpf-core/index.md	[new file with mode: 0644]	blob
docs/papers/chicago-author-date.csl	[new file with mode: 0644]	blob
docs/papers/index.md	[new file with mode: 0644]	blob
docs/papers/references.bib	[new file with mode: 0644]	blob
docs/user/api.md	[new file with mode: 0644]	blob
docs/user/application_types.md	[new file with mode: 0644]	blob
docs/user/components.md	[new file with mode: 0644]	blob
docs/user/config.md	[new file with mode: 0644]	blob
docs/user/config/random.md	[new file with mode: 0644]	blob
docs/user/index.md	[new file with mode: 0644]	blob
docs/user/output.md	[new file with mode: 0644]	blob
docs/user/run.md	[new file with mode: 0644]	blob
docs/user/run_eclipse.md	[new file with mode: 0644]	blob
docs/user/run_eclipse_plugin.md	[new file with mode: 0644]	blob
docs/user/run_nb.md	[new file with mode: 0644]	blob
docs/user/run_nb_plugin.md	[new file with mode: 0644]	blob

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom