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
add isl_map_{partial_,}lexopt
2010-01-31
Sven Verdoolaege
a
d
d isl_map_{partial_,}lexo
p
t
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoo
l
a
ege
add private i
s
l_{set,map}_
m
ake_dis
j
oint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
basis_
r
e
duc
t
i
on_templ
.
c: fix ty
p
o in co
m
ment
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaeg
e
i
s
l_tab_
p
ip
.
c
:
f
i
nd_s
o
lutio
n
s: b
r
eak when context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
isl
_
dim_equal: don't require nam
e
s
of input and ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
isl_dim_ma
p
: properl
y
duplica
t
e
na
m
es
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n V
e
rdoolaege
isl_
d
im_drop:
p
r
o
pe
r
ly adjust length of n
a
mes array
commit
|
commitdiff
|
tree
2010-01-26
S
v
en V
e
rdoolaege
doc: a bit more on inte
g
ers
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verdoolaege
doc:
d
escribe in
p
ut/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
ad
d
is
l
_
c
at t
e
s
t application
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdool
a
ege
add omega
output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl_test: use isl_set_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
add isl_set_read_f
r
om_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdo
o
laeg
e
add isl_m
a
p_r
e
a
d
_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
o
o
laege
isl_map_r
e
ad_from_fil
e
: a
l
l
ow unions i
n
isl form
a
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
e
g
e
isl_basic_map_rea
d
:
read de
f
inition
s
o
f
e
x
i
s
t
e
n
t
ial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
priv
a
tely export isl
_
basic
_
map_add_div_constr
a
ints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl
_
basic_map_read: re
a
d af
f
ine constraint as two
a
f
f
ine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
er
d
o
o
laege
isl_input
.
c:
opt
i
onally read parameters
f
rom
i
npu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
t
o
kenizer
:
accept "and"
ke
y
word
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
V
e
r
d
o
olaege
exp
o
rt
isl_map_read_
f
rom_fi
l
e
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oola
e
ge
export isl_basi
c
_
map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
drop redundant input_forma
t
argument
from re
a
ding f
u
nc
t
ions
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verd
o
olaege
is
l
_in
p
u
t
.
c: merge functio
n
s for reading Po
l
yLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input_omeg
a
.
c
:
accept PolyLib inpu
t
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Ve
r
d
oola
e
g
e
isl_input_omega
.
c
: prep
a
r
e
f
or reading parametric un
i
on
s
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
is
l
_inp
u
t_ome
g
a
.
c:
f
inalize and simpli
f
y resul
t
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoolaege
i
s
l_input_om
e
ga
.
c: fix check fo
r
mem
o
ry all
o
cati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_strea
m
_next_to
k
en: skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
doolaege
isl_tab_
b
asic_map_part
i
al
_
lexop
t
: pro
p
erly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n Ve
r
doolaege
isl_basic_map_set_
t
o_
e
mpty: remove sample
(if a
n
y)
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Ve
r
doolaege
add isl_set_f
a
st_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven
V
e
rdoolaege
properly re
m
o
v
e
piplib
submodu
l
e
commit
|
commitdiff
|
tree
2010-01-08
Sven V
e
r
doolaege
isl
_
basic_map_update_from_tab
:
r
e-gauss
r
e
s
ulting bm
a
p
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoola
e
ge
ax_submodule
.
m
4
:
d
o
n't
let --with-mo
d
u
le conflic
t
wit
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
v
e
n
V
erdo
o
l
a
ege
i
sl_bas
i
c_set_co
m
pare_at: compute re
s
ult in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Ver
d
o
olaege
isl_tab_pip
.
c:
a
dd cuts for all non-integer coordina
t
es
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sv
e
n
Verdoola
e
ge
isl_bas
i
c_map_gist:
don't drop eq
u
alit
i
es
fro
m
c
o
ntext
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_con
v
ex_hu
l
l
.
c: initial_face
t
_co
n
straint: d
r
op all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolaege
isl_convex_hull
.
c: is_independ
e
nt_bound:
n
o
rmalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verdo
o
la
e
ge
isl_c
o
nvex_h
u
ll
.
c
:
extend: c
h
eck h
u
ll arg
u
ment
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_mat
_
righ
t
_inver
s
e: b
e
more
verbose on
error c
o
n
d
ition
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoola
e
g
e
i
s
l_constra
i
nt_dup: mak
e
sure line refer
s
to equa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolae
g
e
isl
_
map_inte
r
sect: add spe
c
ial case for a
d
d
ing a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ve
r
doo
l
aege
isl_map_is_s
u
bset
:
break off as soon as differ
e
nce
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verd
o
ol
a
ege
c
ompute se
t
difference usi
n
g a backtra
c
king
a
lgorithm
commit
|
commitdiff
|
tree
2009-12-07
S
ven Ver
d
o
olaeg
e
isl_map
_
subtract
.
c:
e
xtract from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab: keep tra
c
k
o
f isl
_
basic_m
a
p
i
nstead o
f
isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n V
e
rdoolaege
privately
ex
p
ort isl_basic_map_con
t
ains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoo
l
aege
add isl_bas
i
c_map_add_i
n
e
q
a
nd
isl_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_ta
b
_d
e
t
e
c
t_redundant
:
ret
u
r
n
status instead
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl
_
tab: add isl_tab_freez
e
_constra
i
nt
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n
V
erdoolaege
i
s
l_tab_add_i
n
eq
an
d
isl_ta
b
_
m
a
rk_emp
t
y: r
e
turn statu
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
ven Verdo
o
laege
add miss
i
ng AUTHORS f
i
le
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n
V
erdoolaege
isl_ba
s
ic_set_sw
a
p_vars: re-gauss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoo
l
a
ege
a
dd i
s
l_basic
_
map_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
export i
s
l_basi
c
_m
a
p_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdoolaege
add isl_bas
i
c_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en
V
erdoolaege
isl_
m
ap_dr
o
p
_
bas
i
c_map: consistently keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdoolae
g
e
i
s
l_tab:
r
ow is only (obvious
l
y) redundant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ver
d
oola
e
ge
isl
_
bas
i
c_
m
ap_simplify
:
make
sure
t
o reru
n
Gaus
s
whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verd
o
olaege
isl_tab_b
a
sic_ma
p
_part
i
al_lexopt:
use c
o
ntext constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdo
o
laege
i
s
l_tab
_
pip
.
c: ignore dead col
u
m
ns
when
c
hecking
integra
l
ity
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
r
doolaeg
e
i
sl
_
pip: optionall
y
p
e
rform s
o
me ch
e
ck on the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
put options in
a
se
p
arate isl_optio
n
s structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
l
a
ege
add
r
udimentary argument parsing facil
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab_compu
t
e_reduced_basis: hand
l
e empty
tables
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
isl_basi
c
_set_s
o
lve_ilp: handle obviously empty
s
e
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
isl_basic_
s
et_solve_ilp: fix handling of sets w
i
th
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
erdo
o
lae
g
e
ad
d
is
l
_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
l
a
ege
a
d
d isl_s
e
t_fi
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
g
e
add isl_
b
asic_s
e
t
_f
i
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
extract isl_basic_set_scan
f
rom polytope_sc
a
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl
_
basic
_
m
a
p_simplify: avoid r
e
moval of
d
iv def
i
n
iti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n
V
erdoo
l
aeg
e
isl_map
.
c: declare vari
a
ble at start of c
o
de
block
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
is
l
_ba
s
i
c
_set_proj
e
ct_ou
t
: handle
r
a
tio
n
al set
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
add isl_basic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
isl_
t
ab_pip:
keep cache
of partial
s
oluti
o
ns
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdool
a
ege
is
l
_tab_pip: d
o
n't fre
e
isl_sol on
e
rror
c
ond
i
tion
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
olaege
isl_t
a
b: support gener
i
c un
d
o
records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Ve
r
doolaege
isl_
t
ab_p
i
p
.
c: remove some code dupli
c
ation between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_map_is_s
u
bset: add
s
p
ecial ca
s
e for singl
e
t
o
n maps
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n
Ve
r
d
oolaege
isl_map
_
compute_
d
ivs: sk
i
p computation if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdo
o
laege
isl_map_is_subset: exploit
another easy special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaeg
e
add isl_ma
p
_fas
t
_is_u
n
iverse
commit
|
commitdiff
|
tree
2009-10-12
Sven
Ver
d
oolaege
add isl_se
t
_
s
ize
commit
|
commitdiff
|
tree
2009-10-12
S
v
en V
e
rd
o
olaege
mark some functions as r
e
quiring use of return value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab: improved error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab_pi
p
.
c: incrementally build recession cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoolaege
i
sl_tab_pip
.
c: propagate
s
o
m
e equal
i
t
ies
from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoolaege
is
l
_
t
ab_pip
.
c: detect e
q
ualities in gbr con
t
ext on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ven Verdoolaege
add isl_tab_d
e
tect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoo
l
ae
g
e
add isl_
t
ab
_
set_initial_basis_wit
h
_con
e
commit
|
commitdiff
|
tree
2009-10-10
Sven
Verdoolaege
i
s
l_tab_pip: use generali
z
ed ba
s
is reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolae
g
e
i
sl_tab_pip: add
g
eneralized ba
s
i
s
r
e
duction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n Verdoolae
g
e
isl_tab_pip
.
c: extract out contex
t
ha
n
d
l
i
ng
commit
|
commitdiff
|
tree
2009-10-09
S
v
en V
e
rdoolaege
isl_tab
_
pip
.
c:
add_
d
iv: use mor
e
reli
a
ble way
to test
.
.
.
commit
|
commitdiff
|
tree
next