summaryrefslogtreecommitdiff
path: root/debugger/eval.ml
Commit message (Expand)AuthorAgeFilesLines
* Avoid duplicated mark_loopsFlorian Angeletti2019-10-171-1/+0
* Refactor environment lookup functionsLeo White2019-08-151-18/+21
* Dynlink support for ocamldebugJacques-Henri Jourdan2019-07-161-2/+3
* Remove positions from pathsLeo White2018-11-211-10/+14
* consistently make temporary local type idents local identsThomas Refis2018-09-211-5/+1
* ident: split Local into Local and ScopedThomas Refis2018-09-211-1/+2
* ident: add an explicit scope fieldThomas Refis2018-09-211-1/+4
* More warnings for debugger/.Alain Frisch2016-03-151-4/+4
* Update headers for the new license.Damien Doligez2016-02-181-12/+15
* Keep location and attributes in type, label and constructor declarations. De...Alain Frisch2013-09-271-3/+3
* fix whitespace and over-long linesDamien Doligez2013-03-221-3/+6
* remove all $Id keywordsDamien Doligez2012-10-151-2/+0
* merge with branch bin-annotFabrice Le Fessant2012-05-301-1/+1
* renaming of Objective Caml to OCaml and cleanup of copyright headersDamien Doligez2011-07-271-2/+2
* clean up spaces and tabsDamien Doligez2010-01-221-1/+1
* merge changes from ocaml3110 to ocaml3111rc0Damien Doligez2009-05-201-8/+8
* Le debugger accede au type manifeste des abbreviations privees pour l'evaluationPierre Weis2007-11-281-2/+2
* It works: compilers and camlp4 are fully bootstrapped. The ast magic number i...Pierre Weis2007-10-091-1/+1
* Revu representation des declarations de type privateXavier Leroy2003-07-021-1/+1
* Using %S format.Pierre Weis2002-06-271-2/+2
* Revu la gestion des records de flottantsXavier Leroy2000-03-211-1/+1
* Revu les impressions du compilateurPierre Weis2000-03-061-29/+33
* Révision de l'impression à l'aide de format: utilisation de printfPierre Weis2000-02-081-19/+14
* Changement de la licenceXavier Leroy1999-11-171-1/+2
* Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ...Xavier Leroy1999-11-081-1/+1
* Lecture des variables d'instanceJérôme Vouillon1999-02-221-2/+4
* Plus besoin d'ajouter 1 aux positions de ce_env.Xavier Leroy1998-08-031-1/+1
* Optimisation de la verification des relations d'egalite, d'instanciationJérôme Vouillon1998-07-031-2/+2
* Reconnaissance des variables d'instanceJérôme Vouillon1997-12-011-1/+10
* Modification des evenements.Jérôme Vouillon1997-06-161-1/+1
* Prise en compte d'un echec possible de Ctype.applyJérôme Vouillon1997-04-011-2/+6
* Commandes start et previous (symetriques de finish et next).Jérôme Vouillon1997-03-301-1/+1
* Les commandes print et break fonctionnent maintenant aussi tout a laJérôme Vouillon1997-03-251-13/+18
* Modification de Ctype.correct_levelsJérôme Vouillon1997-03-241-1/+1
* Module Debugcom.Remote_value pour manipuler les valeurs dans le debugger.Jérôme Vouillon1997-03-221-15/+16
* Ctype.substitute renomme en Ctype.applyJérôme Vouillon1997-03-181-1/+2
* Ctype.correct_level devient Ctype.correct_levelsJérôme Vouillon1997-03-141-2/+1
* L'accumulateur n'est pas disponible lorsque l'on n'est pas en frame 0.Jérôme Vouillon1997-03-131-3/+3
* Revision affichage des types.Jérôme Vouillon1997-03-131-0/+1
* Manipulation correcte des types.Jérôme Vouillon1997-03-131-9/+7
* Ctype.expand_root renomme en Ctype.expand_headJérôme Vouillon1997-03-071-2/+2
* Changement des boi^tes hovPierre Weis1997-02-261-1/+1
* Suite du portage (nombreuses modifs)Xavier Leroy1997-02-191-2/+2
* Modification de Ctype.substitute (un argument en moins) etJérôme Vouillon1997-01-231-1/+1
* Suite du portage: impression des valeurs, etcXavier Leroy1997-01-051-15/+154
* Premier jet du portage OCamlXavier Leroy1996-11-291-0/+48