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_dim_drop: properly adjust length of names array
2010-01-31
Sven Verdool
a
e
g
e
isl_
d
im_drop:
pro
p
er
l
y
a
dju
s
t l
e
n
gth
of names
array
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verd
o
olaege
doc: a bit m
o
re on in
t
e
gers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc:
des
c
ribe inp
u
t/outpu
t
formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdool
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
dool
a
ege
add isl_cat test application
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
d
o
olaege
add omega
out
p
u
t
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
Verdoolaege
add isl outpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
i
s
l
_tes
t
:
u
s
e isl_set_r
e
ad_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
a
d
d isl_set_r
e
ad_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
add isl_map_read_fro
m
_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaeg
e
isl_map
_
rea
d
_
from_file: allow unions in isl
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ve
r
dool
a
ege
isl_b
a
sic_map_read
:
read defi
n
iti
o
ns of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ver
d
o
ol
a
ege
privately export isl
_
basic_map_add_div_constraint
s
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
i
s
l
_
basic_map_rea
d
: read affi
n
e
constraint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l_input
.
c: optionally
r
ead parameters from
i
nput
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
tokenizer
:
accept
"
and
"
keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdo
o
laege
e
xpor
t
isl_map_rea
d
_from_
f
ile
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
V
e
rdoo
l
aege
e
x
port
i
sl_basic_map_read
_
f
r
om_st
r
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
drop redu
n
da
n
t inp
u
t
_
forma
t
a
rgument
f
rom reading f
u
nctions
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdool
a
ege
isl_input
.
c
:
merg
e
functions for r
e
ading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolae
g
e
isl_input_om
e
ga
.
c
: acc
e
pt
Po
l
y
Lib
i
n
pu
t
commit
|
commitdiff
|
tree
2010-01-24
S
v
en V
e
rdoolaege
isl_input_omega
.
c: prepare
f
o
r
r
eading parametric
u
nions
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoolaege
isl_input_omega
.
c: fi
n
a
li
z
e
and simplify
r
esulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
e
r
doolaege
isl_in
p
u
t
_omega
.
c: fix check f
o
r
memo
r
y allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
ae
g
e
isl_stream_n
e
xt_
t
oken: skip
c
omment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olae
g
e
isl_tab_basic_map_p
a
rtial_
l
exopt: properly
h
andle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
Verdoolaege
isl_basic_map_set_to_
e
mpty: remove sample (if a
n
y)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add
i
sl_set_f
a
st_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Ve
r
doola
e
g
e
prop
e
rly remove piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sve
n
V
erdoolaege
isl_b
a
sic_map_update_from_tab: re-
g
auss r
e
sulting bmap
commit
|
commitdiff
|
tree
2010-01-01
S
ve
n
Verdoolae
g
e
ax_submodule
.
m4: don't let
--with-
m
o
dul
e
confl
i
ct with
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n
V
erdoolaege
isl
_
basic_set_compare_at: com
p
ute result in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n Verdool
a
e
g
e
isl_tab_pip
.
c
:
add
c
uts for
all non-inte
g
er coor
d
i
n
ates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
ven Verdoolaege
isl_b
a
si
c
_map_
g
ist: don't drop equalities from context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_conve
x
_
h
ull
.
c:
initial
_
f
a
c
e
t
_
constraint: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doo
l
a
eg
e
isl_conv
e
x_hull
.
c:
is_indepen
d
ent_bound
:
normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdo
o
laege
isl_convex_
h
ul
l
.
c
: e
x
tend: ch
e
ck hull argu
m
ent
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoo
l
aeg
e
isl_mat_right_in
v
erse: be more verbo
s
e
o
n
error condit
i
on
commit
|
commitdiff
|
tree
2009-12-18
S
v
en V
e
rdoolaege
isl
_
c
ons
t
rain
t
_
d
up: make sure line
ref
e
rs
t
o
equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoolae
g
e
i
sl_map_intersect
:
add special cas
e
for
add
i
ng
a
s
ingle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n V
e
r
d
oolaege
i
sl_map_
i
s
_
subset:
b
r
e
ak o
f
f
as soon as difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
e
n
Verdoolae
g
e
c
o
mpute set differen
c
e
u
s
ing a backt
r
acking algo
r
i
thm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl
_
ma
p
_sub
t
ract
.
c: extrac
t
fr
o
m isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaeg
e
isl_tab:
keep trac
k
of isl_basic
_
map instead of isl_
b
asic_set
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n Verd
o
o
l
aege
p
r
ivate
l
y export
i
s
l_basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
add isl_b
a
si
c
_map_add_ineq and isl_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab_detect_red
u
ndant: r
e
tur
n
status instead
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
is
l
_tab
:
add is
l
_tab_f
r
eeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_tab_a
d
d_ine
q
and
i
sl_tab_mark_e
m
pty: retur
n
s
tatus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
ad
d
mis
s
ing A
U
T
HORS file
commit
|
commitdiff
|
tree
2009-11-29
S
ven Verdoola
e
g
e
isl_basic_set_swap_v
a
rs: re-ga
u
ss
r
e
sulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sv
e
n Verdoolaege
add isl_
b
asic_m
a
p_first_con
s
traint
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n
V
erdoo
l
a
ege
e
xport isl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en
Verdoolaege
add isl_basic_
s
et_lexma
x
commit
|
commitdiff
|
tree
2009-11-15
Sven Ve
r
doolaeg
e
is
l
_m
a
p_drop_ba
s
ic_map: consistently keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoolaeg
e
isl_tab:
r
ow is only (obvious
l
y) redu
n
d
a
n
t
if it doe
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
rdoola
e
g
e
isl_basi
c
_
map_simplify: make sur
e
to rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Ver
d
oolaege
isl_tab_bas
i
c_ma
p
_
p
art
i
al
_
lexopt: u
s
e con
t
ext
c
onst
r
aints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ver
d
o
olaege
is
l
_tab_p
i
p
.
c: igno
r
e dead colu
m
ns when
c
hecking integralit
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_p
i
p: op
t
ionally
perfo
r
m
s
ome c
h
eck on
t
h
e results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
put options in a
s
eparat
e
isl_opti
o
ns
structure
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
Verdoo
l
aege
ad
d
rudimentary argument parsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl
_
tab_compute_
r
educed_b
a
s
i
s: handle empty table
s
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verd
o
ol
a
ege
isl_ba
s
ic_set
_
solve_ilp: handle obviously emp
t
y sets
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoo
l
aege
isl_basic_set
_
solve_ilp: fix ha
n
dling
o
f s
e
ts with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_se
t
_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
ad
d
i
s
l_basic_set
_
fix
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
e
x
tract isl
_
bas
i
c_
s
e
t
_scan from
p
olytope_
s
can
.
c
commit
|
commitdiff
|
tree
2009-10-21
S
ven
Verdoolaege
isl_basic_map
_
simplify: a
v
o
id remova
l
of div defin
i
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoola
e
ge
isl
_
map
.
c:
d
eclare variabl
e
a
t start of code block
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
isl_basic_s
e
t_project
_
out: handle ratio
n
al
s
ets
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdool
a
ege
ad
d
isl_basic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
isl_ta
b
_p
i
p: keep
c
ache of p
a
rtia
l
s
o
lu
t
ions
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verdoolaege
isl_tab_pi
p
: don't free isl_sol
on error condi
t
ion
commit
|
commitdiff
|
tree
2009-10-16
Sven Ve
r
doolaege
isl_tab: support
gene
r
i
c
undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add isl_m
a
t_is_e
q
ual
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdo
o
laege
isl_
t
ab_
p
ip
.
c: r
e
move
s
ome c
o
d
e d
u
plication be
t
ween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolae
g
e
isl_map_is_subset: add special case for
s
i
ngleton
maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
i
sl_map_compute_d
i
vs: s
k
i
p
computation if di
v
s a
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
e
g
e
isl
_
m
ap_is_su
b
s
e
t: exploit anoth
e
r easy special c
a
s
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
add isl_
m
ap_fast_
i
s
_
universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Ver
d
oolaege
mark some
f
unc
t
ions as requ
i
ring us
e
of return value
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verd
o
olaege
isl_tab: i
m
pr
o
ved error
handling
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n
V
erd
o
olae
g
e
i
sl
_
tab_pip
.
c
:
incrementally build recess
i
on c
o
ne o
f
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab
_
pip
.
c: pro
p
agate some
e
qualities from gbr
c
on
t
ext
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Ve
r
d
oolaege
i
s
l_tab_p
i
p
.
c: detect equa
l
ities i
n
gb
r
c
o
ntext on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdoolaege
a
dd
i
sl_tab_detect_equalitie
s
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdoolaege
add i
s
l_tab_set_initial_basis_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
e
rdoolae
g
e
i
s
l
_
tab_pip
:
use
g
e
ner
a
lized bas
i
s r
e
duction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoolaege
i
sl_tab_pip: a
d
d generalized basis red
u
ctio
n
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n V
e
rdool
a
ege
isl_tab_pi
p
.
c: extract out context h
a
ndling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
tab_pip
.
c: add_div:
use
m
ore reliabl
e
way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
isl_tab_basic_map_partial_lexopt
:
remove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdo
o
lae
g
e
isl_tab
.
c:
extract out
samples ha
n
dling
f
rom isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doo
l
aege
isl_affine_hull
.
c: use
t
_a
f
f
ine_hull_bou
n
ded: use t
a
ble
a
us
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
basi
c
_
m
ap_detec
t
_equa
l
ities:
keep track of s
a
m
p
l
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl
_
basic_ma
p
_detect_equalities:
o
nly compute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_ta
b
_sample:
h
andle unbounded direct
i
o
ns in initial
.
.
.
commit
|
commitdiff
|
tree
next