Skip to content

Roberto Di Cosmo rdicosmo

Organizations

Aeolus - Mastering the complexity of the Cloud
April 18, 2014
Roberto Di Cosmo
April 16, 2014
rdicosmo edited the ocaml/opam wiki
rdicosmo opened pull request ocaml/opam#1340
Roberto Di Cosmo
Change url for solver preferences to the opam one
1 commit with 1 addition and 1 deletion
rdicosmo created branch update-url at rdicosmo/opam
April 16, 2014
April 16, 2014
Roberto Di Cosmo
April 16, 2014
rdicosmo commented on pull request ocaml/opam#1336
Roberto Di Cosmo

WOW :-) That's great, thanks!!!! 2014-04-16 11:40 GMT+02:00 Louis Gesbert notifications@github.com: ... and with that I can confirm that all tests…

April 16, 2014
rdicosmo commented on pull request ocaml/opam#1336
Roberto Di Cosmo

Cool! Crossing my fingers waiting for your results : I'd love to see all this pass all of opam-rt tests in one go, even if I know that reality may …

April 16, 2014
Roberto Di Cosmo
  • Roberto Di Cosmo 5aef32d
    Added module qualifiers...
April 15, 2014
rdicosmo commented on pull request ocaml/opam#1336
Roberto Di Cosmo

Build #569.1 is irrelevant, as opam is compiled with old opam/cudf/ocamlgraph up to now :-(

April 15, 2014
rdicosmo opened pull request ocaml/opam#1336
Roberto Di Cosmo
Update external dependencies to dose 3.2-rc1 and ocamlgraph 1.8.5
7 commits with 2,036 additions and 1,676 deletions
April 15, 2014
Roberto Di Cosmo
rdicosmo created branch dose-trunk at rdicosmo/opam
April 15, 2014
April 15, 2014
rdicosmo commented on issue ocaml/opam#1334
Roberto Di Cosmo

As I said in a separate answer, I believe the issue is elesewhere, as I get a perfectly legitimate answer from the solver on the reported cudf file, …

April 15, 2014
rdicosmo commented on issue ocaml/opam#1334
Roberto Di Cosmo

Hi Vincent, I cannot reproduce your configuration: aspcud 1.9 returns a perfectly fine solution on your cudf file, using the default opam solver pr…

April 15, 2014
rdicosmo commented on issue ocaml/opam#1316
Roberto Di Cosmo

I wonder if the Debian approach might help in this design issue. An explanation of how pinning works there is here http://wiki.debian.org/AptPrefer…

April 14, 2014
rdicosmo commented on issue ocaml/opam#1327
Roberto Di Cosmo

Thanks Vincent, I can confirm that the request is unsatisfiable, now it will take some time to understand why an unsatisfiable request was generate…

April 14, 2014
rdicosmo commented on issue ocaml/opam#1327
Roberto Di Cosmo

This seems an issue with the metadata generated, not the solver (?? suggests an "unknown version")... May you add the cudf file? (just issue the sa…

April 13, 2014
rdicosmo commented on pull request ocaml/opam#1321
Roberto Di Cosmo

Thanks Louis, for the prototype... I am too underwater to test it right now, (also working on testing opam with dose+cudf upstream in preparation f…

April 12, 2014
rdicosmo opened pull request ocaml/opam-repository#1891
Roberto Di Cosmo
Step up ocamlgraph to 1.8.5
1 commit with 40 additions and 0 deletions
April 12, 2014
Roberto Di Cosmo
  • Roberto Di Cosmo 0e25660
    Step up ocamlgraph to 1.8.5
April 12, 2014
Roberto Di Cosmo
April 12, 2014
April 12, 2014
Roberto Di Cosmo
April 12, 2014
Roberto Di Cosmo
April 12, 2014
Roberto Di Cosmo
April 12, 2014
Roberto Di Cosmo
April 12, 2014
Roberto Di Cosmo
rdicosmo created repository cudf_remote_proxy
April 11, 2014
April 11, 2014
rdicosmo commented on pull request ocaml/opam#1321
Roberto Di Cosmo

On Fri, Apr 11, 2014 at 08:19:12AM -0700, Louis Gesbert wrote: My prototype assumes false as soon as there is recursion :) Ok, but what's the for…

April 11, 2014
rdicosmo commented on issue ocaml/opam#1320
Roberto Di Cosmo

I'll try to do this over the week-end (needs some quiet time :-)) On Fri, Apr 11, 2014 at 02:24:51AM -0700, abate wrote: All patches in the 3.1.2-…

Something went wrong with that request. Please try again.