<commit_before># SliceAndMerge

SliceAndMerge is a plug-in on the Rodin platform for the formal method Event-B. This plug-in supports slicing and merging of refinement steps, which help refactoring of the refinement structure of Event-B models.

# Web Site
See http://research.nii.ac.jp/slicenmerge/

# History
0.9.1 (May 20 2017)
- The table view shows the status of each element
- "Select Dependencies" is extended into "Auto Select" that selects not only elements that the selected ones depend on but also those that depend only on the selected ones

0.9.0
Initial Release

# Publications

<NAME>, <NAME>, <NAME>, Refactoring Refinement Structures of Event-B Machines, The 21st International Symposium on Formal Methods (FM 2016), pp.444-459, November 2016
<NAME>, <NAME>, <NAME>, <NAME>, SliceAndMerge: A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines, The 6th Rodin User and Developer Workshop at ABZ 2016, pp.13-14, May 2016

# Development

You should first check how to configure your Eclipse to allow for plug-in development of the Rodin platform.
http://wiki.event-b.org/index.php/Rodin_Developer_Support<commit_msg>Update README.md with 0.9.2 info<commit_after># SliceAndMerge

SliceAndMerge is a plug-in on the Rodin platform for the formal method Event-B. This plug-in supports slicing and merging of refinement steps, which help refactoring of the refinement structure of Event-B models.

# Web Site
See http://research.nii.ac.jp/slicenmerge/

# History
0.9.2 (May 24 2017)
- Improvements and Fixes

0.9.1 (May 20 2017)
- The table view shows the status of each element
- "Select Dependencies" is extended into "Auto Select" that selects not only elements that the selected ones depend on but also those that depend only on the selected ones

0.9.0
Initial Release

# Publications

<NAME>, <NAME>, <NAME>, Refactoring Refinement Structures of Event-B Machines, The 21st International Symposium on Formal Methods (FM 2016), pp.444-459, November 2016
<NAME>, <NAME>, <NAME>, <NAME>, SliceAndMerge: A Rodin Plug-in for Refactoring Refinement Structure of Event-B Machines, The 6th Rodin User and Developer Workshop at ABZ 2016, pp.13-14, May 2016

# Development

You should first check how to configure your Eclipse to allow for plug-in development of the Rodin platform.
http://wiki.event-b.org/index.php/Rodin_Developer_Support
{'fraction_non_alphanumeric': 0.07363520947947524, 'fraction_numerical': 0.03977994075327973, 'mean_word_length': 4.5754716981132075, 'pattern_counts': {'":': 0, '<': 17, '<?xml version=': 0, '>': 17, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 6, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '2382705', 'n_tokens_mistral': 773, 'n_tokens_neox': 664, 'n_words': 316}