repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl_map_read: accept chains of comparisons
2009-11-29
Sven Verd
o
olaege
isl_ta
b
_add_i
n
eq an
d
isl_
t
ab_mark
_
emp
t
y: return
status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
add miss
i
ng
AU
T
HO
R
S file
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
d
oolaege
isl_basic_set_
s
wap_vars: re-gauss result
i
ng bset
commit
|
commitdiff
|
tree
2009-11-16
Sve
n
Verdo
o
laeg
e
add isl_basic_map_first_
c
on
s
t
rai
n
t
commit
|
commitdiff
|
tree
2009-11-15
S
ven Verdoolaege
e
x
port isl_basic_map_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoola
e
g
e
add isl_basic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Ve
r
doolaege
isl_ma
p
_
d
rop_basic_map
:
c
on
s
i
ste
n
t
l
y
kee
p
basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n
Ve
r
d
oolaege
isl
_
tab:
r
ow is
o
nly (obviously) red
u
ndant if i
t
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_basic_map_s
i
mplif
y
: make sure to rerun Gauss
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
V
e
r
d
oolaege
isl_tab_basic_ma
p
_parti
a
l_lexopt:
u
s
e
c
o
n
tex
t
constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ve
r
doolaege
isl_tab_pip
.
c: ignore
d
e
a
d
columns when checking
integrali
t
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_pip:
o
p
tion
a
l
l
y
p
erf
o
rm some check
on the results
commit
|
commitdiff
|
tree
2009-10-21
S
ven
V
erdoolaege
pu
t
options in a sepa
r
ate isl_
o
ptions
s
tructur
e
commit
|
commitdiff
|
tree
2009-10-21
Sven
Ver
d
oola
e
ge
ad
d
ru
d
im
e
ntary argument parsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
isl_
t
ab_compute
_
r
e
duced_b
a
sis: h
a
ndle empt
y
tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basi
c
_set_solve_il
p
:
handle ob
v
ious
l
y empty se
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aeg
e
isl_bas
i
c_set
_
solve
_
i
l
p
: fix handling of s
e
t
s
with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolae
g
e
add is
l
_set_rem
o
ve
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaeg
e
ad
d
i
s
l
_
set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
a
ege
extract is
l
_basi
c
_set_sca
n
from
p
olytope_s
c
a
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
isl_bas
i
c_map_si
m
pl
i
fy:
a
vo
i
d removal o
f
div defini
t
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
isl_
m
a
p
.
c: declare variable at start of code block
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Ve
r
doolaege
isl
_
basic_set_pr
o
ject_out:
ha
n
d
le
r
ational sets
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoola
e
g
e
add
i
s
l_basic_set_remo
v
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
isl
_
tab_pip: keep cache of
part
i
a
l
s
o
lu
t
ions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdool
a
ege
isl_tab_pip: don't
free isl_sol on error con
d
ition
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
oolaege
isl_
t
ab: support generic undo re
c
ords
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
olaege
a
d
d isl_
m
at_
i
s_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdo
o
laege
isl
_
t
ab_pip
.
c: remove som
e
code dupl
i
cat
i
on between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl
_
map_is_subs
e
t: add spe
c
i
al
c
ase for
s
ingleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doola
e
ge
isl
_
map_co
m
pute
_
divs: s
k
ip computation if div
s
are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verd
o
olaege
is
l
_map_is_subset:
e
xp
l
oit another ea
s
y special case
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaege
add isl
_
map_fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolaege
add isl_set_
s
ize
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
mar
k
s
ome functions as r
e
quiring use
o
f
return valu
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab: improved error
h
a
n
d
l
ing
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
is
l
_t
a
b
_pip
.
c: incrementa
l
ly
b
u
i
ld r
e
c
e
ssion co
n
e of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
isl_
t
ab_pip
.
c:
p
ropagat
e
som
e
equaliti
e
s from gbr
context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdoola
e
g
e
is
l
_
ta
b
_p
i
p
.
c: det
e
ct equalities in
g
b
r contex
t
on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaeg
e
add i
s
l_tab_detect
_
equa
l
ities
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n
Ve
r
doolaege
add isl_tab_set_initial_basis_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Ve
r
doolae
g
e
isl_ta
b
_pip: use generalized bas
i
s re
d
uction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ven Verdoolaege
isl_tab_
p
ip: a
d
d ge
n
eralized basis re
d
uction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
isl_tab_pip
.
c: extract ou
t
context handling
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaeg
e
isl_tab_pip
.
c: add_div: use mo
r
e reliable way
to tes
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoo
l
ae
g
e
i
s
l_tab
_
basic
_
map_parti
a
l_lexopt:
re
m
ove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab
.
c:
extract out
sample
s
handlin
g
fro
m
is
l
_
t
ab_pi
p
.
c
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdoolaege
i
s
l
_
af
f
ine_hull
.
c: use
t
_affine_hu
l
l_bou
n
d
e
d: use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
sl_basic_map_detect_eq
u
alit
i
e
s:
k
eep track of samp
l
e
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolae
g
e
isl_b
a
sic_map_de
t
ect
_
equalities: only c
o
mpute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
r
d
o
olaege
is
l
_tab_s
a
mple: h
a
nd
l
e unbou
n
d
e
d dire
c
tions
i
n init
i
al
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
i
s
l
_tab_
c
omput
e
_reduc
e
d_basis: handle unboun
d
ed
direction
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
exploit equalities
in
isl_tab_s
a
mp
l
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab: kee
p
(in)equalities
of bset (if any) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
isl_tab_sa
m
ple: be mor
e
verbose about unbound
e
d directions
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separate
o
u
t
isl_
t
ab_
s
ample from sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
s
ample_b
o
unded: re
i
m
p
l
ement to w
o
r
k
directly on a tableau
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_tab_compute_redu
c
ed_
b
asis: w
o
rk
w
ith affine
b
asis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoo
l
aege
isl_ta
b
_compute_red
u
ced_basis: allow i
n
cremental compu
t
ation
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl_
p
olyt
o
p
e
_scan: u
s
e isl_tab_from
_
b
asic_set
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
s
eparate out isl_tab_reduced_basis from isl_basic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolae
g
e
ba
s
is_red
u
ction_tab
.
c: use
i
sl_tab
_
product
t
o co
n
str
u
c
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
add
i
sl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
ol
a
ege
isl_basic_set
_
reduced_basis:
f
ix value in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
o
l
a
ege
i
s
l
_basic
_
s
e
t_reduced
_
basis: fix up
documentation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoo
l
ae
g
e
basis_reducti
o
n
_
tab
.
c: kee
p
track
o
f con_offset i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoolaege
add i
s
l
_tab_add
_
eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_add_valid_e
q
: add
s
p
e
cial treatmen
t
for manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
isl_tab
_
extend_cons:
ch
e
ck tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdool
a
ege
re
n
ame isl_tab_detect_equalities
t
o isl_tab_detect_implici
t
_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_from_rec
e
ssion_cone: take ba
s
ic set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en
Ve
r
doolaege
isl_il
p
.
c: separate out
s
o
l
ve_i
l
p_se
a
rch
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_sample
.
c
:
basic_set_s
a
mple: remember bou
n
de
d
ness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
oolaege
a
dd isl_po
l
yhedron_d
e
t
e
ct_equalities test applicatio
n
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rd
o
olaege
add is
l
_
b
asic_set_dete
c
t_e
q
ualities
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
olaege
i
sl_ta
b
_a
l
locate_con: a
d
d extra assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laege
isl_sample
.
c
:
basic_set_reduced: fix typo prev
e
nting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_ba
s
ic_
m
ap_p
a
rt
i
al_le
x
o
p
t: si
m
plify
r
esult
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolae
g
e
privately e
x
port isl_basic_se
t
_add
_
{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laege
privately export
i
sl_basic_set_sam
p
le_
w
ith_
c
one
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
o
o
laege
a
d
d is
l
_bas
i
c_set_un
d
erlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
isl_tab
.
c
: close_row: push undo record
f
or setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
a
dd isl_mat_v
e
c
_
inverse_pro
d
uct
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_mat_conca
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
la
e
g
e
a
d
d isl_int_divexact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verd
o
olaege
add isl_set
_
dim_residue_class
commit
|
commitdiff
|
tree
2009-10-03
Sven Verdoolaege
fix long standing bug in isl_ma
t
_
i
nv
e
rse_product
commit
|
commitdiff
|
tree
2009-10-02
S
ven Ver
d
o
o
la
e
ge
add isl_bas
i
c_map_foreach_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdool
a
ege
add
i
sl_set_project_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_detect_equali
t
ies
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
aege
add isl_set_foreach_basi
c
_set
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Verdoolae
g
e
add isl_set_lift
i
ng
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoo
l
aege
i
sl_dim_
s
ize: c
h
eck argument
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Ve
r
doola
e
g
e
export isl_mat heade
r
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
add
i
sl_basic_map
_
lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
olaege
add
isl_map_foreac
h
_
b
a
s
ic
_
map
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolaeg
e
c
o
n
f
igure
.
ac: fix c
u
t-an
d
-pa
s
t
e
error in original commit
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoola
e
g
e
add i
s
l_i
n
t_get_
s
i
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Verdo
o
laege
export isl_set_
s
ample
commit
|
commitdiff
|
tree
next