19

log

find changesets by author, revision, files, or words in the commit message
less more | rev 96: (0) -60 tip
age author description
7 days ago Jogo Documentation framework done for IMLLdefault tip
7 days ago Jogo Ça ne marche pas
7 days ago Jogo Début de la documentation
2 weeks ago Jogo Redaction terminée du plan qualité, du diaporama et du bilan
3 weeks ago Jogo Version finale du slide
4 weeks ago Jogo Avancement avril
4 weeks ago Jogo plan qualité, encore
4 weeks ago Jogo premier plan qualité avec un tableau au lieu d'une matrice
5 weeks ago Jogo Slide
5 weeks ago Jogo slide
5 weeks ago Jogo Ajout des permutations à IMLL
5 weeks ago Jogo Ajout d'une équivalence de séquents plus stricte
5 weeks ago Jogo critical_pair works
5 weeks ago Jogo WIP - compile pas
5 weeks ago Jogo Ne compile toujours pas - premier jet de critical_pair
5 weeks ago Jogo WIP, ne compile pas
5 weeks ago Jogo Variables identification
6 weeks ago Jogo Ajout des substitutions à find_KF_candidates
6 weeks ago Jogo Rédaction de l'algo de verification d'équivalence
6 weeks ago Jogo test kf_candidates
6 weeks ago Jogo find_KF_candidate tested with canonical proofs
6 weeks ago Jogo merge and sstm update
6 weeks ago Jogo atomisation
6 weeks ago Jogo purification, premier jet
6 weeks ago Jogo sstm update
6 weeks ago Jogo FormPairSet
6 weeks ago Jogo sstm update
6 weeks ago Jogo Compte-rendu du mois de mars
6 weeks ago Jogo merge
6 weeks ago Jogo merge
7 weeks ago Jogo Small debug and renaming
7 weeks ago Jogo Optimisation par equilibrage et ménage
7 weeks ago Jogo Equivalence de séquents
7 weeks ago Jogo Equilibrage et test d'equivalence d'equilibrage (pas terminé)
6 weeks ago Jogo Slide et début de l'algo de sélection des KF-candidates
8 weeks ago Jogo README update
2 months ago Jogo test des algo de vérif
2 months ago Jogo merge et algorithmes de filtrage
2 months ago Jogo WIP - premiers essaie (faux) pour la vérification d'équivalence
2 months ago Jogo WIP
2 months ago Jogo sstm update
2 months ago Jogo Ajout de la partie droite dans la réduction de profondeur
2 months ago Jogo Réorganisation terminée
2 months ago Jogo M02, nouvelle spécification, début
2 months ago Jogo Gestion phase 5
2 months ago Jogo merge et compte-rendu d'activité du mois de février
2 months ago Jogo tests complets de la simplification
2 months ago Jogo F04 - Implémentation de la simplification pour IMLL
2 months ago Jogo Ajout du cas -> I pour l'élimination des coupures
2 months ago Jogo Présentation rapide des différents fichiers
2 months ago Jogo sstm update
2 months ago Jogo Élimination des coupures terminé
2 months ago Jogo WIP - Réduction des coupures
2 months ago Jogo WIP - replace_conj et replace_imp
2 months ago Jogo Version en cours de dev qui ne fonctionne pas - Checkpoint
2 months ago Jogo merge
2 months ago Jogo sstm update
2 months ago Jogo F03 - Début de l'implémentation de l'élimination des coupures
2 months ago Jogo Réduction de profondeur sur un arbre de preuve
2 months ago Jogo sstm update
less more | rev 96: (0) -60 tip