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
2002-01-25
X
avier Redon
*** empty log
m
e
ssag
e
***
commit
|
commitdiff
|
tree
2001-11-20
Xavier Redon
*** em
p
ty log m
e
ssage ***
commit
|
commitdiff
|
tree
2001-10-03
Xavier Redon
*** em
p
ty lo
g
m
essage ***
commit
|
commitdiff
|
tree
2001-09-26
Xavi
e
r Re
d
o
n
***
e
mpty log message ***
commit
|
commitdiff
|
tree
2001-09-13
X
avie
r
Redon
*
*
* empty log mes
s
age *
*
*
commit
|
commitdiff
|
tree
2001-09-10
Xavie
r
R
e
d
on
*** empty log messa
g
e ***
commit
|
commitdiff
|
tree
2001-09-08
Xavier Re
d
o
n
*** empty l
o
g message *
*
*
commit
|
commitdiff
|
tree
2001-09-05
X
a
vier Redon
*** e
m
pty
l
og message ***
commit
|
commitdiff
|
tree
2001-07-05
Xav
i
er R
e
d
o
n
*** empty log message *
*
*
commit
|
commitdiff
|
tree
2001-07-03
Xavier
R
edon
*** empty log message ***
commit
|
commitdiff
|
tree
2001-07-02
Xavier Re
d
o
n
*
*
*
e
mpty log
m
essa
g
e
***
commit
|
commitdiff
|
tree
2001-07-02
Xavier Redon
*** empty log message ***
commit
|
commitdiff
|
tree
2001-07-02
Xavier Redon
E
q
uival with automatic
l
atex re
p
ort
commit
|
commitdiff
|
tree
2001-06-30
X
a
v
ier Redo
n
**
*
empty log message *
*
*
commit
|
commitdiff
|
tree
2001-06-29
Xavier Red
o
n
Version bet
a
d'equival (equivalen
c
e
de SAREs)
commit
|
commitdiff
|
tree
2001-06-28
X
av
i
er
Redon
*** emp
t
y
log message ***
commit
|
commitdiff
|
tree
2001-06-28
Xavier
Re
d
on
*
** empty log messag
e
*
*
*
commit
|
commitdiff
|
tree
2001-06-27
Xavi
e
r Re
d
o
n
***
empty log messag
e
***
commit
|
commitdiff
|
tree
2001-06-27
X
a
vier Redon
***
emp
t
y log mes
s
ag
e
*
*
*
commit
|
commitdiff
|
tree
2001-06-25
Xavier R
e
don
*** empty
log message
***
commit
|
commitdiff
|
tree
2001-06-25
Xavier Redon
*** empty log message
*
**
commit
|
commitdiff
|
tree
2001-06-25
X
a
vie
r
Redon
Graphics graph in
t
erface
f
or equ
i
val
commit
|
commitdiff
|
tree
2001-06-25
Xavier Redon
*** empty log message ***
commit
|
commitdiff
|
tree
2001-06-25
X
avier Redon
*** emp
t
y log mess
a
ge ***
commit
|
commitdiff
|
tree
2001-06-01
Xav
i
er Redon
*** em
p
ty log message ***
commit
|
commitdiff
|
tree
2001-05-31
Xavier Redon
**
*
emp
t
y log message
*
**
commit
|
commitdiff
|
tree
2001-05-31
Xavier Redo
n
*** empt
y
log m
e
ss
a
ge ***
commit
|
commitdiff
|
tree
2001-05-31
Xavier Redon
exampl
e
s
pou
r
e
q
uival
commit
|
commitdiff
|
tree
2001-05-31
X
a
vier Redon
E
q
uival premiere release
commit
|
commitdiff
|
tree
2001-05-30
Xavi
e
r Re
d
on
Premiere versio
n
fonctionnel
l
e d'equi
v
al
commit
|
commitdiff
|
tree
2001-05-29
Xa
v
ier Redon
E
quival
commit
|
commitdiff
|
tree
2001-05-28
Xav
i
er Redon
*** empt
y
log mes
s
age *
*
*
commit
|
commitdiff
|
tree
2001-05-28
Xavier Redo
n
eq
u
ival
commit
|
commitdiff
|
tree
2001-05-27
Xav
i
er Redon
equ
i
val
commit
|
commitdiff
|
tree
2001-05-24
Xavier Redon
equival
commit
|
commitdiff
|
tree
2001-05-23
X
a
vier Redon
equival
commit
|
commitdiff
|
tree
2001-05-22
Xavi
e
r Redon
equival
commit
|
commitdiff
|
tree
2001-05-20
Xavier Re
d
on
*** empty log
m
e
s
sage **
*
commit
|
commitdiff
|
tree
2001-05-18
Xavier Re
d
o
n
equival
commit
|
commitdiff
|
tree
2001-05-17
Xavi
e
r Redon
equiva
l
commit
|
commitdiff
|
tree
2001-05-17
Xa
v
ier
Redon
equi
v
al
commit
|
commitdiff
|
tree
2001-05-16
X
avier R
e
don
Equival
commit
|
commitdiff
|
tree
2001-05-14
Xavier Redon
***
em
p
ty log message ***
commit
|
commitdiff
|
tree
2001-05-14
Xavier Redon
Equi
v
a
l
en panne
.
.
.
commit
|
commitdiff
|
tree
2001-05-14
Xavier Redon
Est
h
etiq
u
e
.
commit
|
commitdiff
|
tree
2001-05-11
X
avier Redon
The BUG de l'interfa
c
age CAML/C
e
st
trouv
e
!!
commit
|
commitdiff
|
tree
2001-05-04
Xavier Red
o
n
E
q
uivalence de SARE
c
orr
e
ct
i
ons
commit
|
commitdiff
|
tree
2001-05-03
Xavier Redon
maj equival
commit
|
commitdiff
|
tree
2001-05-03
Xavier Redon
m
aj equival
commit
|
commitdiff
|
tree
2001-05-03
Xavier
R
edon
maj equival
commit
|
commitdiff
|
tree
2001-05-03
Xa
v
ier Redon
Equival
e
nce de
S
ARE
m
aj
commit
|
commitdiff
|
tree
2001-05-01
Xavi
e
r
R
edon
Equivalence d
e
SARE
.
commit
|
commitdiff
|
tree
2001-04-30
Xa
v
i
e
r Redon
Mise a jour maje
u
re
d
u paquet
a
ge Presburger (c
'
es
t
.
.
.
commit
|
commitdiff
|
tree
2001-04-10
X
a
vie
r
Redo
n
*** empty
l
og message ***
commit
|
commitdiff
|
tree
2001-03-22
Xavier Redon
R
efonte d'omega dans sppoc
commit
|
commitdiff
|
tree
2001-03-19
Xavier R
e
d
on
*** empty log
m
essag
e
***
commit
|
commitdiff
|
tree
2001-03-19
Xavier
Redon
***
empty
log mes
s
age ***
commit
|
commitdiff
|
tree
2001-03-19
Xavie
r
Redon
**
*
empty log messa
g
e
***
commit
|
commitdiff
|
tree
2001-03-18
Xav
i
er Redo
n
Equi
v
a
lence
de programmes alpha
commit
|
commitdiff
|
tree
2001-03-18
Xa
v
i
e
r Redon
Ajout
d
e l
a
fonction de com
p
osition d'Om
e
g
a
commit
|
commitdiff
|
tree
2001-03-17
X
avier
Redon
*
*
* e
m
pty log message ***
commit
|
commitdiff
|
tree
2001-03-16
Xavier Redon
*** empty log message ***
commit
|
commitdiff
|
tree
2001-03-16
Xavier R
e
d
on
*** empty
log message
*
**
commit
|
commitdiff
|
tree
2001-03-16
Xavie
r
Redon
*** emp
t
y l
o
g
mes
s
age ***
commit
|
commitdiff
|
tree
2001-03-16
Xa
v
ier Redon
Test d'equivalence de program
m
es (al
p
h
a)
commit
|
commitdiff
|
tree
2001-03-15
Xavier Redon
*** empty log me
s
sage
*
*
*
commit
|
commitdiff
|
tree
2001-03-13
Xavier Redon
*** empty lo
g
message ***
commit
|
commitdiff
|
tree
2001-03-13
Xa
v
i
er Redon
E
q
uiva
l
commit
|
commitdiff
|
tree
2001-03-12
Xavier
R
edon
Equivalence d'algorithmes en construction
commit
|
commitdiff
|
tree
2001-03-12
Xavier Re
d
on
*** empty log me
s
sage **
*
commit
|
commitdiff
|
tree
2001-03-12
Xavier
R
e
d
o
n
*** em
p
ty log messa
g
e
***
commit
|
commitdiff
|
tree
2001-03-12
Xavie
r
Redon
Remove
depend
f
i
les
commit
|
commitdiff
|
tree
2001-03-12
Xavier Redon
*
*
* empty log message
*
**
commit
|
commitdiff
|
tree
2001-03-12
Xavier Redon
*
** empty log message ***
commit
|
commitdiff
|
tree
2001-03-12
Xavier Redon
F
in du melan
g
e Calcom / Equival
commit
|
commitdiff
|
tree
2001-03-12
Xavier Redo
n
C
o
rrection erreu
r
Calcom / Equival
commit
|
commitdiff
|
tree
2001-03-12
Xavier
R
edon
*** emp
t
y
l
og message ***
commit
|
commitdiff
|
tree
2001-03-12
X
avier Redon
Parser
commit
|
commitdiff
|
tree
2001-02-16
Xavier Redon
fi
g
d
ev fixed
commit
|
commitdiff
|
tree
2001-01-19
Xavier Redon
*** empty log message ***
commit
|
commitdiff
|
tree
2001-01-19
Xav
i
er Redon
***
e
mpty log message *
*
*
commit
|
commitdiff
|
tree
2001-01-19
Xavi
e
r Redon
*** em
p
ty log mes
s
age ***
commit
|
commitdiff
|
tree
2001-01-19
Xavier
R
edon
*** empty l
o
g messag
e
*
**
commit
|
commitdiff
|
tree
2001-01-19
Xavier
R
e
don
Corrections terminees
commit
|
commitdiff
|
tree
2001-01-19
Xavier Redon
A
j
out du dom
a
ine d'app
l
ication de sppoc dans la conclusion
commit
|
commitdiff
|
tree
2001-01-19
Xavier Red
o
n
Nou
v
elle lettre
aux relecteurs
commit
|
commitdiff
|
tree
2000-08-12
X
a
vier
Redon
Cor
r
ection de bog
u
es (voir BU
G
S)
commit
|
commitdiff
|
tree
2000-07-13
X
a
v
i
er Redon
Encore
ehrhart
commit
|
commitdiff
|
tree
2000-07-13
Xavier Re
d
on
M
o
d
i
fication pour Ehrhart
.
commit
|
commitdiff
|
tree
2000-07-13
Xa
v
ier Redon
Presqu
e
derniere
s
retouches a TSI
commit
|
commitdiff
|
tree
2000-07-13
Xavier
Redon
P
o
ints de details dans la
d
o
c
.
commit
|
commitdiff
|
tree
2000-07-13
X
av
i
er
Redon
*** empty l
o
g message ***
commit
|
commitdiff
|
tree
2000-07-13
Xavier Redon
modif mi
n
eur dans foncti
o
ns
.
tex
commit
|
commitdiff
|
tree
2000-07-13
Xavie
r
Redon
M
o
d
i
f
.
d
a
ns l'in
t
ro
.
commit
|
commitdiff
|
tree
2000-07-13
Xav
i
e
r
R
e
don
Section su
r
om
e
ga termin
e
e, qu
e
lqu
e
s
b
u
gs enl
e
ves
commit
|
commitdiff
|
tree
2000-07-12
Xavi
e
r
Redon
Un bout
d
e d
o
c
s
u
r omega
commit
|
commitdiff
|
tree
2000-07-12
Xavier Re
d
o
n
Fichier d'exemple d'o
m
ega
commit
|
commitdiff
|
tree
2000-07-12
Xavi
e
r Redon
Debu
t
d'un
e
s
ection sur omega
commit
|
commitdiff
|
tree
2000-07-12
Xavier Redon
Om
e
ga OK (pour un debut)
.
commit
|
commitdiff
|
tree
2000-07-12
Xavier Redon
L'interface avec ome
g
a
e
st fonctionnelle
commit
|
commitdiff
|
tree
next