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

        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