MantisBT

Reporter: Monitored By: Assigned To: Category: Severity: Resolution: Profile:
any any any any any any any
Status: Hide Status:       Priority:
any closed (And Above)       any
Show: View Status: Show Sticky Issues: Changed(hrs): Use Date Filters: Relationships:
50 any Yes 6 No any
Platform: OS: OS Version: Tags:
any any any
Note By: any Sort by: Updated Descending  
Match Type: All Conditions  
- Search  Advanced Filters ]

Viewing Issues (1 - 50 / 57)  Print Reports ]  CSV Export ]  Excel Export ] [ First Prev 1 2 Next Last ]
    PID # Attachment count CategorySeverityStatusUpdatedSummary
  00000231   [Pml]
General
minornew2018-12-09Import current "pool", singleton type, etc ... inside subml
  00000551   [Pml2]
editors
minorresolved (raffalli)2017-08-28Compilation from emacs
  00000591   [Pml2]
type checker
minorresolved (raffalli)2017-08-25normalisation can loop in equiv.ml
  00000431   [Pml2]
syntax
minorresolved (raffalli)2017-08-24Ensure the fixpoint are all under lambdas or change the type-checker
  00000375   [Pml2]
syntax
minorresolved (raffalli)2017-08-24use syntaxtic sugar
  0000049    [Pml2]
user interface and printing
minorresolved (rlepigre)2017-08-24Some printing code is not yet shared enough
  00000581   [Pml2]
syntax
minorresolved (rlepigre)2017-08-23let ... such that ... in ...
  0000036    [Pml2]
syntax
minornew2017-08-14Syntaxe revision
  00000511   [Pml2]
pool (i.e. equivalence)
minornew2017-08-14Inequivalence clause are not stored in the pool
  00000501   [Pml2]
pool (i.e. equivalence)
minornew2017-08-14managment of unification variable in equivalence
  0000042    [Pml2]
type checker
minorresolved (raffalli)2017-08-14capture all instances of Contradiction
  0000032    [Pml2]
type checker
minorresolved (rlepigre)2017-08-14Termination checker
  00000561   [Pml2]
type checker
minorresolved (raffalli)2017-08-12Compute and use relation in the induction
  0000057    [Pml2]
type checker
minornew2017-08-03Use unification variables parametrized by ordinals
  0000009    [GlSurf]
General
minorassigned (raffalli)2017-07-31the interface thread is not reactive enough during computing
  0000003 1 [DeCaP+pa_ocaml]
General
minorassigned (raffalli)2017-07-31Last '\n' is ignored
  00000351   [Pml2]
type checker
minornew2017-07-30Automated totality
  00000451   [Pml2]
pool (i.e. equivalence)
minornew2017-03-27Better handling of mu abstraction and stack in equivalence
  00000483   [Pml2]
pool (i.e. equivalence)
minorresolved (raffalli)2017-03-27two FIXME in compare.ml
  00000471   [Pml2]
pool (i.e. equivalence)
minorresolved (raffalli)2017-03-27Some function loose pool modification
  0000038    [Pml2]
syntax
minorresolved (rlepigre)2017-03-27case after semi column
  0000033    [Pml2]
syntax
minorassigned (rlepigre)2017-03-27Position bug
  0000054    [Pml2]
pool (i.e. equivalence)
minornew2017-03-27eq_expr called from leq_ordinal could use the pool oracle
  0000053    [Pml2]
user interface and printing
minornew2017-03-27Printing of epsilons
  0000052    [Pml2]
type checker
minornew2017-03-27checking for singleton type could be more complete
  0000046    [Pml2]
syntax
minornew2017-03-27error managment in Raw module
  0000044    [Pml2]
type checker
minornew2017-03-27Deal with unification variables after type-checking
  0000034    [Pml2]
type checker
minornew2017-03-27Automatic case analysis
  0000039    [Pml2]
type checker
minorresolved (raffalli)2017-03-27goal
  0000040    [Pml2]
pool (i.e. equivalence)
minornew2017-03-27use closure in the pool
  0000041    [Pml2]
pool (i.e. equivalence)
minornew2017-03-27avoid canonical term in equiv.ml
  00000311   [Pml]
General
minornew2017-01-09Generalization problem with sums
  0000025    [Proto subml]
General
minorresolved (raffalli)2016-07-18port all examples in old_lib
  0000030    [Proto subml]
General
minorassigned (raffalli)2016-07-17Error messages
  00000271   [Proto subml]
General
minorresolved (raffalli)2016-07-17Default case in pattern matching
  00000262   [Proto subml]
General
minorresolved (raffalli)2016-07-16Tenter de faire le point fixe en largeur d'abord
  0000029    [Proto subml]
General
minornew2016-07-13Verify the parser
  0000028    [Proto subml]
General
minorassigned (rlepigre)2016-07-13html output for the web page
  0000024    [Proto subml]
General
featureresolved (rlepigre)2016-07-13Add support for type inference
  0000018    [Proto subml]
General
minorresolved (raffalli)2016-07-13Factoriser les définitions dans l'affichage des preuves
  0000019    [Proto subml]
General
minorresolved (rlepigre)2016-07-10Types paramétrés par des ordinaux
  0000022    [Proto subml]
General
minorresolved (raffalli)2016-07-09Add some deep pattern matching
  0000017    [Proto subml]
General
minorresolved (raffalli)2016-07-08Utiliser les noms des ordinaux comme paramètre des fonctions
  0000021    [Proto subml]
General
minorresolved (raffalli)2016-07-07Revoir l'unification des ordinaux
  00000201   [Proto subml]
General
minorresolved (raffalli)2016-07-07Tenter de supprimer lower_kind
  0000011    [GlSurf]
General
minorassigned2016-06-05surface_texture is not finished
  0000014    [GlSurf]
General
minorresolved (raffalli)2016-06-04cleaning of main commands
  00000131   [GlSurf]
General
minorassigned (raffalli)2016-06-04Write a nice tutorial and put it on the web page
  00000081   [GlSurf]
General
minorresolved (raffalli)2016-06-04sometime crash on parse error
  0000007    [GlSurf]
General
minorresolved (raffalli)2016-06-04check documentation against parser
  [ First Prev 1 2 Next Last ]

newfeedbackacknowledgedconfirmedassignedresolvedclosed


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker