Skip to content

Conversation

@reuk
Copy link
Contributor

@reuk reuk commented Jun 22, 2017

Moves to markdown to improve readability. Also fixes a few typos. Implements the changes in #1049.

Copy link
Contributor

@thk123 thk123 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

So much more readable!

- Separate basic words by `_`
- Avoid abbreviations (e.g. prefer `symbol_table` to `st`).
- User defined type identifiers have to be terminated by `t`. Moreover, before
`t` may not be `t`.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should be:

Moreover, before t may not be _

source_file2.cpp \
# Empty last line
```
- This ensures the Makefiles can be easily merged.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't think this should be a bullet point

@reuk
Copy link
Contributor Author

reuk commented Jun 23, 2017

Fixed

@kroening kroening merged commit 71e973c into diffblue:master Jul 15, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants