Skip to content
Avatar
110 followers · 10 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx2
BetaSend feedback

Organizations

@Samsung
Block or Report

Block or report renatahodovan

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories

  1. grammarinator Public

    ANTLR v4 grammar-based test generator

    Python 258 55

  2. fuzzinator Public

    Fuzzinator Random Testing Framework

    Python 184 42

  3. picireny Public

    Hierarchical Delta Debugging Framework

    Python 42 4

  4. picire Public

    Parallel Delta Debugging Framework

    Python 41 7

  5. fuzzinator-configs Public

    Configurations written for Fuzzinator

    ANTLR 9 4

  6. antlerinator Public

    ANTLeRinator

    Python 4 3

112 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

November 2022

Created 17 commits in 7 repositories
Created 1 repository

Created a pull request in renatahodovan/grammarinator that received 6 comments

Improve tree/node copying

The patch removes the superfluous copy/deepcopy methods from tree nodes, since they only called the default implementation. On the other hand, it d…

+19 −13 • 6 comments
Opened 18 other pull requests in 7 repositories
renatahodovan/grammarinator 1 open 6 merged
renatahodovan/fuzzinator 1 open 3 merged
renatahodovan/xson 2 merged
renatahodovan/inators 2 merged
renatahodovan/picireny 1 merged
renatahodovan/picire 1 merged
renatahodovan/antlerinator 1 merged
Reviewed 5 pull requests in 2 repositories

Seeing something unexpected? Take a look at the GitHub profile guide.