projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5f01a7) | patch
Removed docs dir (should be in a different place/branch)
authorJeanderson Candido <jeandersonbc@gmail.com>
Wed, 20 Jun 2018 03:32:36 +0000 (00:32 -0300)
committerJeanderson Candido <jeandersonbc@gmail.com>
Wed, 20 Jun 2018 03:32:36 +0000 (00:32 -0300)
commitb59acc6ac631d3e4624b81867296812fcc9ff575
tree9607cac1ac327ad6bc32742bf1c9f05655ac488ftree | snapshot
parentc5f01a7f03725f6a8e7faad7b386ff0e1abdf8a2commit | diff
Removed docs dir (should be in a different place/branch)
30 files changed:
docs/graphics/DFSListener.svg [deleted file] blob | history
docs/graphics/app-types.svg [deleted file] blob | history
docs/graphics/attributes.svg [deleted file] blob | history
docs/graphics/bc-factory.svg [deleted file] blob | history
docs/graphics/cg-impl.svg [deleted file] blob | history
docs/graphics/cg-motivation.svg [deleted file] blob | history
docs/graphics/cg-ontology.svg [deleted file] blob | history
docs/graphics/cg-sequence.svg [deleted file] blob | history
docs/graphics/choicegen-example.svg [deleted file] blob | history
docs/graphics/genpeer.svg [deleted file] blob | history
docs/graphics/interleavings.svg [deleted file] blob | history
docs/graphics/jpf-abstractions.svg [deleted file] blob | history
docs/graphics/jpf-basic.svg [deleted file] blob | history
docs/graphics/jpf-intro-new.svg [deleted file] blob | history
docs/graphics/jpf-layers.svg [deleted file] blob | history
docs/graphics/jpf-project.svg [deleted file] blob | history
docs/graphics/listener-overview.svg [deleted file] blob | history
docs/graphics/listeners.svg [deleted file] blob | history
docs/graphics/mji-call.svg [deleted file] blob | history
docs/graphics/mji-functions.svg [deleted file] blob | history
docs/graphics/mji-mangling.svg [deleted file] blob | history
docs/graphics/new-testing.svg [deleted file] blob | history
docs/graphics/por-mark.svg [deleted file] blob | history
docs/graphics/por-scheduling-relevance.svg [deleted file] blob | history
docs/graphics/properties.svg [deleted file] blob | history
docs/graphics/report.svg [deleted file] blob | history
docs/graphics/states-mc.svg [deleted file] blob | history
docs/graphics/states-testing.svg [deleted file] blob | history
docs/graphics/sw-model-checking-2.svg [deleted file] blob | history
docs/graphics/sw-model-checking.svg [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.