Open Hub
Black Duck Open Hub

 Settings |  Report Duplicate

3
I Use This!
High Activity

Commits : Listings

Analyzed about 2 hours ago. based on code collected about 16 hours ago.
May 08, 2023 — May 08, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Task: simplify and optimize split_theory
Andrei Paskevich
More... 3 months ago
Merge branch 'improve_tdecl_set' into 'master'
Andrei Paskevich
More... 3 months ago
Merge branch '819-fix-shortcuts-of-alt-ergo-2-5-x' into 'master'
MARCHE Claude
More... 3 months ago
Fix various bugs with the lexer of why3doc.
Guillaume Melquiond
More... 3 months ago
Fix various bugs with the lexer of why3doc.
Guillaume Melquiond
More... 3 months ago
Task: store an AC-stable hash within tdecl_set for hashconsing
Andrei Paskevich
More... 3 months ago
restored legacy shortcuts for Alt-Ergo
Claude Marché
as Claude Marche
More... 3 months ago
restored legacy shortcuts for Alt-Ergo
Claude Marché
as Claude Marche
More... 3 months ago
Merge branch 'fix-script-for-ce-bench-stats' into 'master'
MARCHE Claude
More... 3 months ago
Merge branch 'fix/why3doc/lexer-comment' into 'master'
MARCHE Claude
More... 3 months ago
fix python script for statistics on CE bench
Claude Marché
as Claude Marche
More... 3 months ago
Merge branch 'new-example-kadane-variant' into 'master'
Jean-Christophe Filliâtre
More... 3 months ago
examples: variant of Kadane's algorithm
Jean-Christophe Filliatre
More... 3 months ago
Remove CREATE_BREAKAWAY_FROM_JOB flag
Johannes Kanig
More... 3 months ago
Merge branch 'new-example-array-of-list' into 'master'
Jean-Christophe Filliâtre
More... 3 months ago
new example: array_of_list
Jean-Christophe Filliatre
More... 3 months ago
Merge branch 'improved-mex-example' into 'master'
Jean-Christophe Filliâtre
More... 3 months ago
Resolve "Add injectivity for type invariant"
Loïc Correnson
More... 3 months ago
Merge branch '287-add-injectivity-for-type-invariant' into 'master'
MARCHE Claude
More... 3 months ago
improve mex example
Jean-Christophe Filliatre
More... 3 months ago
Merge branch 'remove-unsound-module-Null' into 'master'
Jean-Christophe Filliâtre
More... 3 months ago
null no more in doc
Jean-Christophe Filliatre
More... 3 months ago
remove unsound module null.Null
Jean-Christophe Filliatre
More... 3 months ago
Merge branch 'search-algorithms' into 'master'
Andrei Paskevich
More... 3 months ago
Merge branch 'split-string-example-updated' into 'master'
Andrei Paskevich
More... 3 months ago
Merge branch 'master' into search-algorithms
Jean-Christophe Filliatre
More... 3 months ago
split_string example updated
Jean-Christophe Filliatre
More... 3 months ago
Merge branch 'split-string-example' into 'master'
Jean-Christophe Filliâtre
More... 3 months ago
split_string: extraction to OCaml
Jean-Christophe Filliatre
More... 4 months ago
Merge branch 'master' into split-string-example
Jean-Christophe Filliatre
More... 4 months ago