Activity Not Available
3
I Use This!

Commits : Listings

Analyzed 2 months ago. based on code collected 2 months ago.
Jul 20, 2015 — Jul 20, 2016
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
koda-ruskey: proof of count_forest in progress 2a4f99ff7d91dcfde6114b2379ac52a3?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 2 months ago
Fix memory leaks in server code. A9d60ec1fcb5985ff729bea8030d7e81?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32
Claude Marché
as Claude Marche
More... 3 months ago
examples/in_progress/2wp_gen: cont'd Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
Updated .mailmap Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
Merge branch 'origin/master' 00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 3 months ago
Compile the .c files with a modicum of optimization. 00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 3 months ago
Remove duplicate rule. 00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 3 months ago
Merge branch 'bugfix/v0.87' 00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 3 months ago
Add a .mailmap file. 00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 3 months ago
examples/in_progress/2wp_gen(wip): cont'd Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
Move most build dependencies to "all" rather than "opt byte". 00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 3 months ago
Add a configure option for disabling the compilation of why3.elc. 00ac4a847b5ca74eb3103200edc45db0?&s=32&rating=pg&d=http%3a%2f%2fopenhub.net%2fanon32 More... 3 months ago
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/why3/why3 Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
examples/in_progress/2wp_gen(wip): cont'd Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
Merge branch 'master' of git+ssh://scm.gforge.inria.fr/gitroot/why3/why3 Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
Updating of the documentation of the why3 server protocol Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/why3/why3 Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
inline_trivial: terms containing epsilons are non-trivial Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
inline_trivial: terms containing epsilons are non-trivial Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago
Forgot to commit windows server file in last commit Anon32 d162f11b5a8d7c07fc6367be1e4b74a3bd74913fd4bf523b196f2996d02a1cc0 More... 3 months ago