repo.or.cz
/
sppoc.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
sort generating system before printing
2006-05-04
Pier
r
e Boul
e
t
versio
n
a
daptée
p
a
r
Jul
i
e
n Muc
h
emble
d
commit
|
commitdiff
|
tree
2006-05-04
Pierre Boulet
versio
n
adap
t
ée p
a
r Julien Muchemble
d
commit
|
commitdiff
|
tree
2005-02-07
P
i
erre
B
oule
t
*** em
p
ty log message ***
commit
|
commitdiff
|
tree
2003-11-19
Pierr
e
Boulet
vers
i
on 1
.
2
.
1 mise su
r
le
w
e
b
commit
|
commitdiff
|
tree
2003-10-28
Pierre Boulet
ada
p
ta
t
i
o
n
à gcc 3
.
3
.
1
commit
|
commitdiff
|
tree
2001-12-14
Pierre
B
oulet
v 1
.
2 du 1
4
déc
e
mbre 200
1
commit
|
commitdiff
|
tree
2001-12-14
Pierre
Bo
u
let
n
umér
o
s de
p
ages définit
i
fs
commit
|
commitdiff
|
tree
2001-12-14
Pierre
B
oulet
or
-> o
r
r
e
t autres modifs pour compil
e
r
a
v
e
c
g++ 2
.
96
commit
|
commitdiff
|
tree
2001-12-14
Pie
r
re Boulet
changement
de nom pour
o
caml 3
.
04 (utilisati
o
n de camlp4
.
.
.
commit
|
commitdiff
|
tree
2001-12-14
P
i
erre Bou
l
et
mkcamlp4 -
>
$
(
MKC
A
ML
P
4)
commit
|
commitdiff
|
tree
2001-12-14
P
i
erre
Boulet
mkc
a
ml
p
4 -> $(MKCAML
P
4)
commit
|
commitdiff
|
tree
2001-05-14
P
ierr
e
Boulet
utilis
a
tion
de
System
.
u
n
iverse à la place de System
.
.
.
commit
|
commitdiff
|
tree
2001-05-14
Pierre Boulet
s
uppression de la règle de multiplication implicite
.
.
.
commit
|
commitdiff
|
tree
2001-05-14
Pier
r
e Bou
l
e
t
ve
r
sion 1
.
1
commit
|
commitdiff
|
tree
2001-05-11
Pierre Bou
l
et
version
1
.
1
commit
|
commitdiff
|
tree
2001-05-11
Pierre Boulet
*** empty log me
s
sage
***
commit
|
commitdiff
|
tree
2001-05-11
P
i
erre
Boulet
aj
o
ut règle pour multiplic
a
tion implic
i
te
commit
|
commitdiff
|
tree
2001-02-16
P
ierre B
o
ulet
o
rthographe
commit
|
commitdiff
|
tree
2001-02-16
Pier
r
e Boulet
Dernières modificat
i
ons pour p
u
blication
.
Attention
.
.
.
commit
|
commitdiff
|
tree
2001-01-19
Pi
e
r
r
e Bo
u
let
d
e
rnière
s
modif
i
c
ati
o
ns po
u
r la version 3
.
commit
|
commitdiff
|
tree
2001-01-19
Pierre Boulet
vers
i
o
n
finale
commit
|
commitdiff
|
tree
2001-01-19
Pierre Boulet
- traitement div/mod avec diviseur négatif
commit
|
commitdiff
|
tree
2001-01-19
Pierre
Boulet
- pretty-print p
e
r
i
odic à la mai
n
commit
|
commitdiff
|
tree
2001-01-19
Pierre Boulet
*** e
m
pty log me
s
sage ***
commit
|
commitdiff
|
tree
2001-01-18
Pierre Boule
t
début de gestio
n
des priori
t
é
s
dans
le
prett
y
-printer
commit
|
commitdiff
|
tree
2001-01-18
Pierre Boulet
modi
f
s
p
our versi
o
n
finale
.
Reste Omega
,
conclu
s
i
on
.
.
.
commit
|
commitdiff
|
tree
2000-11-02
Pierre Boulet
s
a
ns impressions
commit
|
commitdiff
|
tree
2000-10-25
Pierre Bou
l
et
e
ssai
d'
u
n gros exemple
v
enant d
e
F
rançoi
s
I
r
igoin
commit
|
commitdiff
|
tree
2000-10-03
Pierre
Bo
u
let
orthogra
p
he
commit
|
commitdiff
|
tree
2000-10-03
Pierre B
o
ulet
version 1
.
01
commit
|
commitdiff
|
tree
2000-10-03
Pierre Bou
l
et
correctio
n
s de bugs div
e
r
s
r
a
pportés
par
V
incen
t
L
oe
c
hne
r
commit
|
commitdiff
|
tree
2000-10-02
P
ierre
Boulet
suppression de l'étape make de
p
e
nd
commit
|
commitdiff
|
tree
2000-10-02
Pierre Boulet
net
t
oyage de t
o
u
t
es les dépendances
non
re
l
atives
.
.
.
commit
|
commitdiff
|
tree
2000-10-02
Pierre
B
oulet
Inclusion
des fichiers de dépen
d
ances de compilation
.
.
.
commit
|
commitdiff
|
tree
2000-10-02
Pier
r
e Boulet
ver
s
ion 1
.
0
commit
|
commitdiff
|
tree
2000-10-02
Pierre Boulet
activation automatique des quotations (
n
é
c
essaire po
u
r
.
.
.
commit
|
commitdiff
|
tree
2000-09-21
P
i
er
r
e Boulet
ajout de la fonction SPPoC
.
Polyhedron
.
pri
n
t_exp
r
_qu
a
st
.
.
.
commit
|
commitdiff
|
tree
2000-09-21
Pier
r
e B
o
ulet
on
peut maintenant a
p
p
eler "sppo
c
<fichier
.
ml>" pour
.
.
.
commit
|
commitdiff
|
tree
2000-09-21
Pierre Boulet
nouv
e
l
l
e procédure de test utilisan
t
les fichie
r
s
.
.
.
commit
|
commitdiff
|
tree
2000-09-20
P
ierre B
o
ulet
make install m
a
rche corr
e
c
t
emen
t
commit
|
commitdiff
|
tree
2000-09-19
Pier
r
e
Boulet
préparat
i
on
d
e la procédure d'
i
nstal
l
ation automatique
.
.
.
commit
|
commitdiff
|
tree
2000-09-18
Pie
r
re Boulet
mo
d
ifs
d
e clean dû
e
s
à
l'
i
ntégr
a
ti
o
n d'Omega
commit
|
commitdiff
|
tree
2000-09-13
Pi
e
rre
B
oul
e
t
change
m
ent c
o
smétique
de l'affichage d
'
un p
r
oblè
m
e
PIP
commit
|
commitdiff
|
tree
2000-09-13
Pi
e
r
re Bo
u
le
t
*
**
empty log message ***
commit
|
commitdiff
|
tree
2000-08-01
Pierr
e
Boulet
Version envoyée pour
la 2e soumi
s
si
o
n
.
M
o
dificat
i
ons
.
.
.
commit
|
commitdiff
|
tree
2000-08-01
Pi
e
r
r
e Boulet
***
em
p
ty log me
s
sage ***
commit
|
commitdiff
|
tree
2000-07-13
Pierre Boulet
a
jout de références sur l'uti
l
isat
i
on du
m
odèles poly
é
d
r
iq
u
e
commit
|
commitdiff
|
tree
2000-07-13
Pierre B
o
ulet
a
m
é
l
iorati
o
n
d
u résumé
commit
|
commitdiff
|
tree
2000-07-11
P
ie
r
re Boulet
v
ersion initiale pour la
2e soumission
commit
|
commitdiff
|
tree
2000-07-11
Pierre B
o
ule
t
amélio
r
ation d
e
l
'im
p
rimeur
pour l
e
s prédicat
s
commit
|
commitdiff
|
tree
2000-07-11
Pi
e
rre
B
oulet
*** empty log
message ***
commit
|
commitdiff
|
tree
2000-07-11
P
i
erre Boulet
modifs cosméti
q
ue
s
de l
'
im
p
r
i
meur d'un polyèdre
e
t
.
.
.
commit
|
commitdiff
|
tree
2000-07-11
Pierre Boulet
amélior
a
tion de l'imprime
u
r de
s
inéquations et d
e
s
.
.
.
commit
|
commitdiff
|
tree
2000-07-11
Pierre
B
oulet
a
mélioration de l
'
imprime
u
r an cas d'abse
n
ce de
p
aramètres
.
.
.
commit
|
commitdiff
|
tree
2000-07-11
Pierre Boulet
modific
a
tions
p
ou
r
répondre
a
ux
r
apporteurs,
i
l
reste
.
.
.
commit
|
commitdiff
|
tree
2000-07-11
Pier
r
e Bo
u
let
***
empt
y
log mess
a
ge ***
commit
|
commitdiff
|
tree
2000-07-05
P
ierre Boulet
Mo
d
ification
s
de
mis
e
en page pour co
n
f
o
rm
a
nce avec
.
.
.
commit
|
commitdiff
|
tree
2000-05-11
Pierre
B
oul
e
t
L'exception Expr
.
N
on_linear
r
e
tourne m
a
intenan
t
u
ne
.
.
.
commit
|
commitdiff
|
tree
2000-05-10
Pierre Boulet
+ a
m
élioration de la factori
s
ation (vo
i
r
le ré
s
ulta
t
.
.
.
commit
|
commitdiff
|
tree
2000-05-10
Pierre Boulet
.
simplification a
u
tomatique
d
e
s
variables ajoutées
.
.
.
commit
|
commitdiff
|
tree
2000-05-09
Pie
r
re Boulet
.
compatibilité avec Ocaml 3
.
00
commit
|
commitdiff
|
tree
2000-05-09
Pierre Boulet
.
c
o
m
p
atib
i
lité
a
vec Ocaml 3
.
00
commit
|
commitdiff
|
tree
2000-05-09
Pierre Boulet
.
r
e
nommage de Formel
e
n S
P
PoC
commit
|
commitdiff
|
tree
2000-02-18
Pierre Boulet
ces fichiers ne font
pas p
a
rti
e
d
e SPPoC
commit
|
commitdiff
|
tree
1999-12-03
Pi
e
rre B
o
ulet
Version 1
.
0 envoyée à TSI
.
commit
|
commitdiff
|
tree
1999-12-03
Pierre B
o
ulet
*** empty log
me
s
s
a
g
e ***
commit
|
commitdiff
|
tree
1999-12-03
Pierre
Boulet
e
sthétique
commit
|
commitdiff
|
tree
1999-12-03
Pierre Boulet
passage du correcteur
ortho
g
raphique
commit
|
commitdiff
|
tree
1999-12-03
P
ierr
e
Boulet
bugs LaTeX
commit
|
commitdiff
|
tree
1999-12-02
Pierre
Boule
t
- orthogra
p
he
commit
|
commitdiff
|
tree
1999-12-02
Pierre Boulet
- orth
o
graphe
commit
|
commitdiff
|
tree
1999-12-02
Pierre Boulet
- modélisation exemple codeg
e
n
commit
|
commitdiff
|
tree
1999-12-02
Pier
r
e Boulet
-
a
jout calculs de QUAS
T
commit
|
commitdiff
|
tree
1999-12-01
P
i
err
e
Boulet
- fin de l'expli
c
ation
des si
m
plifications
symboliques
commit
|
commitdiff
|
tree
1999-12-01
Pi
e
rre B
o
ulet
*** empty log messa
g
e
*
*
*
commit
|
commitdiff
|
tree
1999-11-30
P
i
erre Boulet
papier T
S
I
:
commit
|
commitdiff
|
tree
1999-11-26
P
ier
r
e
Boulet
*
*
* emp
t
y log messag
e
***
commit
|
commitdiff
|
tree
1999-11-25
P
ierre B
o
u
l
et
chapi
t
r
es sur PIP + inte
r
face
utilisate
u
r
commit
|
commitdiff
|
tree
1999-11-25
Pierre Boulet
première structuratio
n
de
l
'article et début
du travail sur
commit
|
commitdiff
|
tree
1999-11-24
Pierre Boulet
*
**
e
mpty log me
s
sage ***
commit
|
commitdiff
|
tree
1999-11-24
Pierre Boulet
pr
e
v
e
r
sion av
e
c formel
.
mli
commit
|
commitdiff
|
tree
1999-11-19
Pierre Bo
u
l
et
squelette
commit
|
commitdiff
|
tree
1999-11-19
P
i
erre Bo
u
let
*** empty log message ***
commit
|
commitdiff
|
tree
1999-10-28
P
i
erre Bo
u
let
factori
s
ation + mise à
plat des a
r
b
r
es d
e
multi
p
lication
.
.
.
commit
|
commitdiff
|
tree
1999-10-28
Pierre Boulet
p
our l
'
impre
s
sion
en
4
par page
commit
|
commitdiff
|
tree
1999-10-28
Pierre Boulet
ve
r
sion
s
ans mac
r
os
commit
|
commitdiff
|
tree
1999-10-25
P
i
erre
Boulet
co
r
re
c
tion
d
ependances
commit
|
commitdiff
|
tree
1999-10-25
Pierre Boulet
aj
o
u
t transpar
e
nts Workshop
commit
|
commitdiff
|
tree
1999-10-25
Pierre Boulet
ajout
t
r
a
n
sp
a
rents p
r
ésentation Works
h
o
p
oct
.
9
9
commit
|
commitdiff
|
tree
1999-10-25
Pie
r
re
Boulet
suppression open
i
nuti
l
e
commit
|
commitdiff
|
tree
1999-10-25
Pie
r
re
B
oulet
+
c
h
ange
m
ent de nom : SPPoC
commit
|
commitdiff
|
tree
1999-10-25
Pierr
e
Boulet
*** em
p
ty log
m
e
s
sag
e
*
**
commit
|
commitdiff
|
tree
1999-10-22
Pierre Boulet
tentative de factorisat
i
on
(ne fonctionne pas
.
.
.
)
commit
|
commitdiff
|
tree
1999-10-22
Pierre Boul
e
t
ajout
d
e
la fo
n
ction
l
eq_forme
commit
|
commitdiff
|
tree
1999-10-22
Pierre Boulet
ajo
u
t de la fonction Lists
.
generic_remove_f
i
rst qui
.
.
.
commit
|
commitdiff
|
tree
1999-10-15
Pierre Boulet
+ bu
g
aff
i
c
h
a
ge rationnels
commit
|
commitdiff
|
tree
1999-10-15
Pierre Boule
t
correcti
o
n bug
du prin
t
er
commit
|
commitdiff
|
tree
1999-10-15
P
ierre Bou
l
et
*
** empty log
m
essage ***
commit
|
commitdiff
|
tree
1999-10-15
Pi
e
rre Boulet
suppre
s
sion de
l
a
c
réation
i
nutile de
v
ariables
dans
.
.
.
commit
|
commitdiff
|
tree
1999-10-15
P
ierre
B
oulet
p
r
emier t
e
st de superposi
t
ion
commit
|
commitdiff
|
tree
next