peoplePeople at Gna!: Georges Mariano Profile

Site Wide
 
 
Show feedback again

Follows the Profile of Georges Mariano <gmariano>.

Open Items submitted by Georges Mariano
BRILLANT:
bugs Typing of enumerated sets not implemented ? (bug #20355, None)
bugs Scoping error : Fatal error: exception Modules.Error("unbound value v2") (bug #20354, None)
bugs Syntax error: ',' or ')' expected after [constr:operconstr level 200] (in [constr:operconstr]) (bug #20339, None)
bugs LaTeX compact rendering (bug #17674, None)
bugs B' : VAR ... IN ... END prooving or typing (bug #17668, None)
bugs The term "In INT" has type "Z ⇒ Prop" (bug #17664, Confirmed)
bugs == - 1 .. 9999 (bug #17657, In Progress)
bugs bbool decompilation  (bug #17645, Confirmed)
bugs A bicoax-coqtop  (bug #17630, Need Info)
bugs Bgop and support of LOCAL_OPERATIONS (bug #13534, None)
bugs BiCoax / Adding Sequence support  (bug #13533, None)
bugs has type "Z ⇒ Prop" while it is expected to have type "Z" (bug #13485, Postponed)
bugs Constraints and Predicates (bug #12538, Need Info)
bugs Bgop fails on unneeded components (bug #12528, Confirmed)
bugs The "doted" notation not correctly supported (bug #12425, None)
bugs Typing Error: Can not use expression $sub of type num -> num -> num (bug #12194, None)
bugs RanSubstract typer and bphox bug (bug #11330, None)
bugs Syntax Error: Waiting for ), but got <+. (bug #10932, None)
bugs (make all) x 2 (bug #10855, Need Info)
bugs Not yet implemented : RanSubstract (bug #8738, None)
bugs XSL style sheet are not "Typed B" aware (bug #880, In Progress)
bugs ocal2b / génération des chaines de caracteres (bug #834, None)
GeOCaml:
bugs Renommer le module Couleurs (RFC) (bug #2347, None)
bugs Dépendance language naturel gdk (bug #2321, None)
bugs répère "mobile" / repère non orthonormé (bug #2299, None)
bugs déplacement des labels (bug #2298, None)
bugs Relecture de fr.po (bug #2268, None)
bugs compilation, distribution effective (bug #2163, None)
bugs exportation en eps (bug #2162, None)
bugs syntaxe "resp." (bug #2134, None)
bugs snap. (bug #2133, None)
bugs déclaration implicite des segments (bug #2132, None)
bugs Soit un repère avec grille (caché). (bug #2131, None)
bugs labels d'information (bug #2130, None)
bugs Label "étendu" (bug #2114, None)
bugs dernies fichiers ouverts (bug #2113, Fixed)
bugs état modifié avant de quitter (bug #2112, Ready For Test)
bugs Déclaration de triangle (bug #2094, None)
bugs notation médiatrice (bug #2093, None)
bugs espace de nommage des objets (bug #2092, None)
bugs test des exemples .geo avec geocaml (bug #397, Fixed)

Open Items assigned to Georges Mariano
None found
General Information

Real Name: Georges Mariano
Login Name: gmariano
Id: #643
Email Address: Send him/her a mail
Site Member Since: Sat 06 Mar 2004 10:36:25 AM UTC
This user did not enable his/her Resume & Skills.

Project/Group Information
  • BRILLANT
    Member since Sat 06 Mar 2004 10:56:31 AM UTC
  • GeOCaml
    Member since Mon 26 Apr 2004 09:43:06 AM UTC
  • Libre en Nord
    Member since Tue 29 Sep 2009 08:32:16 PM UTC
  • SandBox OCaml
    Member since Wed 19 May 2004 01:23:04 PM UTC

 

You Could Send a Message if you were logged in.

Back to the top


Copyright (C) 2004-2006, the Gna! people. Posted items are owned by whoever posted them.
Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.

Powered by Savane 3.1-cleanup