Jean-Christophe Filliatre : Positions

1201 Commits in mostly OCaml

Analyzed about 5 hours ago. based on code collected about 8 hours ago.

M

The analysis for this contribution has been scheduled.

O

95 Commits in mostly OCaml

Analyzed about 1 hour ago. based on code collected about 4 hours ago.

W

The analysis for this contribution has been scheduled.

B

Affiliated with CNRS

91 Commits in mostly Autoconf

Analyzed about 23 hours ago. based on code collected 1 day ago.

88 Commits in mostly XML

Analyzed about 7 hours ago. based on code collected about 12 hours ago.

Jean-Christophe Filliatre