aboutsummaryrefslogtreecommitdiff
path: root/scripts
AgeCommit message (Collapse)Author
2019-10-22Add a "COCCI" macro that we tell coccinelle is always defined.Nick Mathewson
This will let us give specific in-file equivalents to given macros or preprocessor directives, to make things parse.
2019-10-22tor-coccinelle.h: handle NS and NS_DECL.Nick Mathewson
2019-10-22tor-coccinelle: handle SIMPLEQ and TAILQ better.Nick Mathewson
2019-10-22tor-coccinelle.h: Add {EN,DIS}ABLE_GCC_WARNING.Nick Mathewson
2019-10-22tor-coccinelle: expect parentheses after HT_INITIALIZERNick Mathewson
2019-10-22try_parse.sh: add a verbose mode and a meaningful exit code.Nick Mathewson
2019-10-22document test-operator-cleanupNick Mathewson
2019-10-09Document tor-coccinelle.hNick Mathewson
2019-09-11Add some more of our trickier macros to tor-coccinelle.hNick Mathewson
Note that this header file behaves a bit strangely. It is used by coccinelle just for the purpose of knowing how to parse difficult-to-parse stuff. It doesn't need to produce good C -- just grammatical C.
2019-09-11Add a script to tell whether a file can be perfectly parsed by spatchNick Mathewson
spatch can let us know whether a file has parsed "perfectly" or not. The more perfect it parses, the likelier any semantic patches are to apply. I've used this script to identify problem areas in our code.
2019-09-11Add a script to run spatch with appropriate argumentsNick Mathewson
It's a bit tricky to remember the right incantation to get the proper include paths and incantations for coccinelle, but without it, coccinelle is less effective at parsing our C.
2019-09-11Merge branch 'ticket31578' into ticket31578_mergedNick Mathewson
2019-09-09Merge branch 'tor-github/pr/1264'David Goulet
2019-09-09Merge branch 'ticket30924_042_04_squashed' into ↵Nick Mathewson
ticket30924_042_04_squashed_merged
2019-09-09practracker: Make you happy funny scriptDavid Goulet
Signed-off-by: David Goulet <dgoulet@torproject.org>
2019-09-05New practracker exceptions for dependency violations in headersNick Mathewson
I've done this manually, since I don't want to override the existing exceptions in this branch.
2019-09-05Fix a bug in practracker's handling of .may_include in headersNick Mathewson
I was expecting our filter code to work in a way it didn't. I thought that saying that DependencyViolation applied to "*" would hit all of the files -- but actually, "*" wasn't implemented. I had to say "*.c" and "*.h"
2019-09-05shellcheck: Add shellcheck to the pre-commit hookteor
* Move the shellcheck script from the Makefile to its own script file * Reformat the shellcheck script so it's easier to read and modify * Call the shellcheck script from the pre-commit hook Fixes bug 30967; not in any released version of Tor.
2019-09-04Merge branch 'tor-github/pr/1246'David Goulet
2019-09-02practracker: handle empty files.Nick Mathewson
Previously practracker would fail on a file with no lines.
2019-09-02practracker: Fix indentation in util.pyNick Mathewson
This commit only changes whitespace and removes a temporary comment.
2019-09-02Practracker: only consider files under "src/"Nick Mathewson
2019-08-29practracker: make filename terminology uniformNick Mathewson
Previously we often referred to "C files" and "H files", which is more ambiguous than ".c files" and ".h files".
2019-08-29scripts/git: fix shellcheck issues in git-push-all.shteor
Part of 31314.
2019-08-29scripts/git: fix an env var typo in git-merge-forward.shteor
Part of 31314.
2019-08-29scripts/git: Quote shell arguments where possibleteor
Most shell arguments should be quoted to avoid mistakes. But since all branch names are hard-coded, or supplied by the script user, we don't need to be too concerned about command injection. Quoting all shell arguments would take a major refactor. (Probably using arrays.) Part of 31314.
2019-08-29scripts/git: Improve usage documentation for merge-forward and push-allteor
Part of 31314.
2019-08-29scripts/git: Let git-push-all.sh skip unchanged test branchesteor
Skip test branches that are the same as remote maint/release/master branches. Add a TOR_PUSH_SAME and -s argument to git-push-all.sh to change this default. Part of 31314.
2019-08-29scripts/git: Make the git push command and args configurableteor
TOR_GIT_PUSH provides the git push command and default arguments. Also fix handling of git-push-all.sh script arguments and arguments that are passed through to $TOR_GIT_PUSH, using a "--" argument as a separator. Fix on 29879.
2019-08-29scripts/git: Allow git-merge-forward.sh to re-use existing test branchesteor
Add a -u argument to git-merge-forward.sh, so that the script can re-use existing test branches after a merge failure and fix. Part of 31314.
2019-08-29scripts/git: Add test branch support to the git scriptsteor
Add a -t <test-branch-prefix> argument to git-merge-forward.sh and git-push-all.sh, which makes these scripts create, merge forward, and push test branches. Add a -r <remote-name> argument to git-push-all.sh, so the script can push test branches to a personal remote. Closes ticket 31314.
2019-08-29scripts/git: Cleanup and fix minor git scripts issuesteor
Fix typos, clean up formatting, rewrite some comments, add headings. Preparation for 31314.
2019-08-26Add integration tests for new practracker featuresNick Mathewson
These tests check our .may_include checking, and our header file checking. They do not pass yet: we have a bug in our filtering code.
2019-08-26Merge branch 'tor-github/pr/1263'George Kadianakis
2019-08-26Merge remote-tracking branch 'tor-github/pr/1241'Nick Mathewson
2019-08-26Fix/suppress shellcheck warnings in git-push-all.shNick Mathewson
(I've chosen to suppress some instances rather than 'fix' them, since the fix would require arrays or major refactoring.) Fixes bug 31519; bug not in any released Tor.
2019-08-26Merge branch 'tor-github/pr/1254'David Goulet
2019-08-24Merge remote-tracking branch 'tor-github/pr/1215'Nick Mathewson
2019-08-22Merge branch 'ticket30935' into ticket30935_mergedNick Mathewson
2019-08-22Merge branch 'tor-github/pr/1244'David Goulet
2019-08-21Document new practracker violation types, and add a practracker readmeNick Mathewson
Closes ticket 31476.
2019-08-21Merge branch 'ticket31176' into ticket31176_mergedNick Mathewson
2019-08-20Merge branch 'ticket30914' into ticket30914_mergedNick Mathewson
2019-08-20scripts/git: Remove a duplicate practracker call from the pre-push hookteor
The pre-push hook already calls the pre-commit hook, which calls practracker. Also update the script comments to avoid similar issues in future. Fixes bug 31462; bugfix on 0.4.1.1-alpha.
2019-08-19Merge remote-tracking branch 'tor-github/pr/1224'Nick Mathewson
2019-08-19Merge remote-tracking branch 'tor-github/pr/1235'Nick Mathewson
2019-08-19Merge branch 'tor-github/pr/1220'George Kadianakis
2019-08-19Merge remote-tracking branch 'mike/bug31356+logs-rebased2' into bug31356_finalGeorge Kadianakis
2019-08-19practracker: Make exceptions.txt happyDavid Goulet
Signed-off-by: David Goulet <dgoulet@torproject.org>
2019-08-12PractrackerMike Perry
7apu2bq3rhoylwmucxizk54afw5jyda7pho4j5zdcqpwkufke7zdzwad.onion