Le Tue, 23 Apr 2013 13:10:46 +0200
Bzzz a écrit:
> Ça vaut largement sinon son rapport de bug, du moins une bonne
> question aux devs.
Les arguments développés dans le fil par Erwan David et Sylvain sont corrects,
rien n'est spécifié dans la doc et le cahier des charges est respecté donc ça
n'es
On Tue, 23 Apr 2013 08:42:05 +0200
François Boisson wrote:
> fait que ce bug ne se manifeste pas. Quel est l'intérêt important
> d'utiliser toute la plage mémoire? Est la possibilité de pouvoir
> étendre sans souci un bloc alloué? Mais dans ce cas pour faire la
> séquence d'attribution 1 bloc en
Le Wed, 3 Oct 2012 11:44:11 +0200
François Boisson a écrit:
>
> > Si tu as la possibilité de poster le code sur github en indiquant le
> > problème, il pourra rapidement faire de petits...
>
> Bon, j'ai déposer les sources à ce jour ici avec une description du problème.
>
> https://github.com/
Vincent Danjean a écrit :
Le 02/10/2012 09:41, BERTRAND Joël a écrit :
Et comment t'assures-tu que le prochain mmap() va pouvoir
se faire exactement là où tu veux (juste après le mmap()
précédent) ? Le seul truc que je vois de viable, c'est la liste
chaînée ou l'arbre si l'on peut vouloir a
Le 02/10/2012 09:41, BERTRAND Joël a écrit :
> Et comment t'assures-tu que le prochain mmap() va pouvoir
> se faire exactement là où tu veux (juste après le mmap()
> précédent) ? Le seul truc que je vois de viable, c'est la liste
> chaînée ou l'arbre si l'on peut vouloir accéder à un objet
> pr
Le 02/10/2012 15:57, François Boisson a écrit :
> Le script ci dessous remplit parfaitement son office pour le passage de
> camllight à ocaml dans les cas simple, par contre je n'ai pas vu
> d'incompatibilité surtout dans les épreuves des concours (la dernière épreuve
> de Centrale proposait même d
> Si tu as la possibilité de poster le code sur github en indiquant le
> problème, il pourra rapidement faire de petits...
Bon, j'ai déposer les sources à ce jour ici avec une description du problème.
https://github.com/FBoisson/Camllight
François Boisson
--
Lisez la FAQ de la liste avant de
On 02/10/2012 22:50, François Boisson wrote:
> Le Tue, 2 Oct 2012 14:23:27 + (UTC)
> Tanguy Ortolo a écrit:
>
>
>> Si la nouvelle licence est libre, et si vous êtes prêt à faire un paquet
>> propre, vous pourriez envisager de mettre réellement Camllight dans
>> Debian. Il serait ainsi autom
Le Tue, 2 Oct 2012 14:23:27 + (UTC)
Tanguy Ortolo a écrit:
> Si la nouvelle licence est libre, et si vous êtes prêt à faire un paquet
> propre, vous pourriez envisager de mettre réellement Camllight dans
> Debian. Il serait ainsi automatiquement disponible pour toutes les
> architectures pris
Le Tue, 2 Oct 2012 14:23:27 + (UTC)
Tanguy Ortolo a écrit:
> Sinon, je ne sais pas qui décide de cela, mais il serait vraiment
> judicieux d'envisager de passer de Camllight à OCaml pour la prépa.
> Camllight est mort, par rapport à OCaml, en tout cas c'est l'impression
> que ça donne, ne ser
On Tue, Oct 02, 2012 at 04:23:27PM CEST, Tanguy Ortolo
said:
> Sinon, je ne sais pas qui décide de cela, mais il serait vraiment
> judicieux d'envisager de passer de Camllight à OCaml pour la prépa.
> Camllight est mort, par rapport à OCaml, en tout cas c'est l'impression
> que ça donne, ne sera
François Boisson, 2012-10-01 19:13+0200:
> 3) Fait un paquet source (particulièrement crade mais bon, ça marche)
>
> 4) Demandé aux développeurs (INRIA) de modifier la licence (c'est fait depuis
> la version 0.81)
>
> 5) Obtenu un accès cvs en R/W sur les sources Caml.
Si la nouvelle licence est
Le Tue, 02 Oct 2012 00:50:29 +0200
Vincent Danjean a écrit:
> Ben non en fait. J'ai écrit des corrections de plusieurs problèmes
> de concours. Je devais les tester avec CamlLight et pas OCaml car
> il y a quelques petites incompatibilités. On passe très facilement
> d'un code CamlLight à un code
Vincent Danjean a écrit :
Le 29/09/2012 18:23, François Boisson a écrit :
Le Sat, 29 Sep 2012 17:51:46 +0200
"Sylvain L. Sauvage" a écrit:
À mon avis, c’est un gros bogue de camllight de se reposer sur
un comportement non spécifié et dépendant d’une mise en œuvre
particulière.
3. une f
Le 29/09/2012 18:23, François Boisson a écrit :
> Le Sat, 29 Sep 2012 17:51:46 +0200
> "Sylvain L. Sauvage" a écrit:
>
>> À mon avis, c’est un gros bogue de camllight de se reposer sur
>> un comportement non spécifié et dépendant d’une mise en œuvre
>> particulière.
>
>
>> 3. une fonction i
Le 01/10/2012 19:13, François Boisson a écrit :
> Le Mon, 1 Oct 2012 15:55:14 + (UTC)
> Tanguy Ortolo a écrit:
>
>> François Boisson, 2012-09-29 15:11+0200:
>>> Il est utilisé en CPGE donc il faut le
>>> maintenir à flot
>>
>> Bof, ce qui est fait en prépa en Caml Light doit bien tourner ave
Le Mon, 1 Oct 2012 15:55:14 + (UTC)
Tanguy Ortolo a écrit:
> François Boisson, 2012-09-29 15:11+0200:
> > J'ai bien conscience du HS de ce message masi il y a sur cette liste des
> > programmeurs avertis.
> > Je maintiens le paquet de camllight
>
> Quel paquet de camllight ? Je ne vois rien
François Boisson, 2012-09-29 15:11+0200:
> J'ai bien conscience du HS de ce message masi il y a sur cette liste des
> programmeurs avertis.
> Je maintiens le paquet de camllight
Quel paquet de camllight ? Je ne vois rien de tel dans Debian,
malheureusement.
> Il est utilisé en CPGE donc il faut l
Le Sat, 29 Sep 2012 17:51:46 +0200
"Sylvain L. Sauvage" a écrit:
> Quand on se fait un tas, les objets que l’on met
> dedans doivent être placés _relativement_ au début du tas, en
> clair, on les place par des offset relatifs à heap_start,
> laquelle valeur doit être dans une _variable_ qui
Le Sat, 29 Sep 2012 17:51:46 +0200
"Sylvain L. Sauvage" a écrit:
> À mon avis, c’est un gros bogue de camllight de se reposer sur
> un comportement non spécifié et dépendant d’une mise en œuvre
> particulière.
> 3. une fonction intermédiaire « à sommet constant » ne ferait
> qu’encourager
On Sat, 29 Sep 2012 17:47:24 +0200
François Boisson wrote:
> lieu de malloc, mais c'est clair que c'est non satisfaisant. Il y
> a donc comme solutions
> * réecrire tout le bazar: avec ocaml, c'est peut être idiot
> * se contenter de ma rustine... bof.
> * essayer de voir si il y a moyen d'assure
Le samedi 29 septembre 2012 à 15:57:49, François Boisson a écrit
:
> Le Sat, 29 Sep 2012 15:22:34 +0200
>
> Erwan David a écrit:
> > les résultats successifs de malloc n'ont aucune raison
> > d'être contigus. Pour agrandir une zone on le fait plutôt
> > avec realloc, mais ça peut aussi déplacer
Le Sat, 29 Sep 2012 17:01:30 +0200
Bzzz a écrit:
> Qu'est-ce que tu entends par "par le haut", une pile est une pile;
> après suivant qu'elle soit LIFO ou FIFO c'est la logique du niveau
> juste au-dessus de ton morceau de code qui détermine ça - et que les
> adresses de ses éléments soient crois
On Sat, 29 Sep 2012 15:57:49 +0200
François Boisson wrote:
> clair sur la doc), mais le problème est que visiblement ça fait
> une extension «par le haut» ce qui est ennuyeux, visiblement dans
> le source de camllight, «heap_start» est une constante à ne pas
> toucher. Il y a une fonction étenda
Le Sat, 29 Sep 2012 15:22:34 +0200
Erwan David a écrit:
> les résultats successifs de malloc n'ont aucune raison d'être contigus.
> Pour agrandir une zone on le fait plutôt avec realloc, mais ça peut
> aussi déplacer complètement la zone.
J'étais en train de me pencher sur ça et me doutais d'un
On 29/09/12 15:11, François Boisson wrote:
> Bonjour,
>
> J'ai bien conscience du HS de ce message masi il y a sur cette liste des
> programmeurs avertis.
> Je maintiens le paquet de camllight et le debug au fur et à mesure (il n'était
> pas libre lors de la version 0.74). Il est utilisé en CPGE d
26 matches
Mail list logo
