projects / jpf-core.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b59acc6) | patch
Revert "Removed docs dir (should be in a different place/branch)"
authorJeanderson Candido <jeandersonbc@gmail.com>
Thu, 21 Jun 2018 12:06:56 +0000 (09:06 -0300)
committerJeanderson Candido <jeandersonbc@gmail.com>
Thu, 21 Jun 2018 12:06:56 +0000 (09:06 -0300)
commitf7c96c940d2d36f2afab716e6a1b52432d572105
tree4efa0bf174db9856c23bb91ff9e68d93c7f77e8dtree | snapshot
parentb59acc6ac631d3e4624b81867296812fcc9ff575commit | diff
Revert "Removed docs dir (should be in a different place/branch)"

This reverts commit b59acc6ac631d3e4624b81867296812fcc9ff575.
30 files changed:
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
Unnamed repository; edit this file 'description' to name the repository.