bugBRILLANT - Bugs: Browse Items

 
 
Show feedback again
Browse with the query form and selection.
Open/Closed: Status: Assigned to: Category: 

Additional constraint :
    since

Show: items at once ; items with a spam score lower than .

Click a column heading to sort results (up or down), or sort by priority or reset sort. You can also activate multicolumn sort. Currently, results are sorted by Item ID.

        30 matching items - Items 1 to 30        


Item ID Summary Status Assigned to Submitted on
 #22075 Wrong LaTeX macro for \notin B symbol Confirmed None Fri May 23 11:06:55 2014
 #20355 Typing of enumerated sets not implemented ? None None Thu Dec 6 15:29:45 2012
 #20354 Scoping error : Fatal error: exception Modules.Error("unbound value v2") None dpetit Thu Dec 6 13:39:18 2012
 #20339 Syntax error: ',' or ')' expected after [constr:operconstr level 200] (in [constr:operconstr]) None scolin Fri Nov 30 14:51:09 2012
 #17674 LaTeX compact rendering None None Tue Feb 8 10:40:11 2011
 #17668 B' : VAR ... IN ... END prooving or typing None None Mon Feb 7 20:57:03 2011
 #17664 The term "In INT" has type "Z ⇒ Prop" Confirmed scolin Mon Feb 7 08:11:54 2011
 #17657 == - 1 .. 9999 In Progress scolin Sun Feb 6 10:11:50 2011
 #17645 bbool decompilation Confirmed scolin Fri Feb 4 11:43:27 2011
 #17630 A bicoax-coqtop Need Info scolin Wed Feb 2 10:04:00 2011
 #17629 logo link at https://gna.org/projects/brillant/ is broken None None Wed Feb 2 08:51:19 2011
 #13534 Bgop and support of LOCAL_OPERATIONS None None Tue May 19 11:40:02 2009
 #13533 BiCoax / Adding Sequence support None scolin Tue May 19 11:36:25 2009
 #13485 has type "Z ⇒ Prop" while it is expected to have type "Z" Postponed scolin Tue May 5 14:06:36 2009
 #12538 Constraints and Predicates Need Info None Fri Oct 31 12:03:47 2008
 #12528 Bgop fails on unneeded components Confirmed scolin Wed Oct 29 13:39:39 2008
 #12425 The "doted" notation not correctly supported None scolin Thu Oct 9 10:09:56 2008
 #12194 Typing Error: Can not use expression $sub of type num -> num -> num None rocheteau Mon Aug 18 11:07:54 2008
 #11330 RanSubstract typer and bphox bug None None Thu Mar 20 11:39:16 2008
 #11093 Bmethod.bib is not aware of AFADL'2006 In Progress gmariano Mon Feb 18 16:16:29 2008
 #10932 Syntax Error: Waiting for ), but got <+. None rocheteau Thu Jan 31 10:58:19 2008
 #10855 (make all) x 2 Need Info None Wed Jan 23 14:33:16 2008
 #8738 Not yet implemented : RanSubstract None None Thu Mar 15 14:34:42 2007
 #1834 Incoherence entre DTD et fichier XML None gmariano Fri Nov 5 21:59:39 2004
 #1816 bxml2tex et bxml2b Wont Fix gmariano Wed Nov 3 10:29:04 2004
 #1815 boulinette None gmariano Wed Nov 3 10:25:36 2004
 #880 XSL style sheet are not "Typed B" aware In Progress None Mon Oct 11 14:17:02 2004
 #839 Blocage de license None None Sun Oct 3 19:12:26 2004
 #834 ocal2b / génération des chaines de caracteres None None Fri Oct 1 14:53:53 2004
 #334 About the Debian Policy Remind gmariano Wed Apr 14 13:36:12 2004

        30 matching items - Items 1 to 30        

Open Items Priority Colors:
     1   2   3   4   5   6   7   8   9 
Closed Items Priority Colors:
     1   2   3   4   5   6   7   8   9 

Show feedback again

Back to the top


Powered by Savane 3.1-cleanup