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
doc: describe input/output formats
2010-01-26
Sven Verdoola
e
ge
do
c
:
d
escribe input/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdo
o
l
a
e
ge
add isl_cat
t
est application
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
a
dd om
e
ga
outpu
t
commit
|
commitdiff
|
tree
2010-01-25
S
v
en V
e
rdool
a
ege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoo
l
aeg
e
isl_tes
t
: use isl_
s
et_r
e
a
d
_from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
add
i
sl_se
t
_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ad
d
i
s
l_m
a
p_read
_
from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Ve
r
dool
a
ege
i
s
l_map_read_
f
rom_file:
allow unions in isl forma
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
s
l_basic_map_read: r
e
ad definitions of ex
i
stenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
erdoolaege
privately ex
p
o
rt isl_basic_map_add_div_constraint
s
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
isl
_
basic_ma
p
_read: read
affin
e
c
o
ns
t
raint as
t
w
o
affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaeg
e
isl_input
.
c:
opt
i
o
nally read
parameters from
inpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
tokenizer: acc
e
pt "
a
nd" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoola
e
ge
expo
r
t i
s
l_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
expor
t
isl_
b
as
i
c_map_read_from_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
drop re
d
u
n
dan
t
inp
u
t
_
format a
r
gument from
r
e
ading functions
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ve
r
doolaege
is
l
_inpu
t
.
c: me
r
g
e
functions for re
a
d
i
ng PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input_om
e
ga
.
c
:
acc
e
pt
P
olyLib
input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
o
l
aeg
e
is
l
_
input
_
omega
.
c: p
r
e
pare for reading parametri
c
u
n
ions
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
Ver
d
o
o
l
aege
isl_input_omega
.
c: fi
n
alize and s
i
mplify resulti
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_in
p
u
t
_omega
.
c: fix chec
k
fo
r
memory al
l
ocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_stream_next_token:
s
kip co
m
ment
lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdool
a
ege
i
s
l_tab_basic_map_partial_l
e
xopt: properly h
a
ndl
e
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_basic_map
_
set_to_empty: remove sample
(if any
)
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdoolaege
add isl_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdool
a
ege
properly
remove piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sv
e
n V
e
rdoo
l
a
ege
is
l
_basic_ma
p
_upda
t
e_from_tab: re-gauss resul
t
ing bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Ve
r
doolaege
ax_
s
ubmodu
l
e
.
m4: don't
l
et --with
-
module conflict
w
ith
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_basic_set_compare_at: com
p
ute result in te
r
ms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
e
rdoolaege
isl_
t
ab_pip
.
c:
add
c
uts for all non-integer
coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven V
e
rdoolaeg
e
i
s
l_basic_map
_
gist: don't drop equalities from context
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoolaege
isl_con
v
ex_hull
.
c: initia
l
_facet_constra
i
nt: drop
a
ll
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
s
l
_conve
x
_hull
.
c: is_
i
ndep
e
nden
t
_boun
d
: n
o
rmalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verd
o
olaege
isl_convex_hull
.
c:
e
x
t
en
d
: check hull
a
rgumen
t
commit
|
commitdiff
|
tree
2009-12-18
S
v
en
V
er
d
oola
e
g
e
isl_mat_right
_
inverse: be
m
ore
v
erbose o
n
err
o
r condition
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoolaege
i
s
l
_c
o
n
strai
n
t_dup:
make sure line refers
t
o equa
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
erdoolaege
isl_m
a
p
_
intersect: add
s
pe
c
ial case f
o
r adding
a
si
n
gle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_map_
i
s_sub
s
et: break off
a
s soon
a
s
differe
n
ce
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ver
d
oolaege
compute set d
i
fference us
i
ng a backtr
a
cking algori
t
hm
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoolaege
isl
_
map_
s
ubtract
.
c
:
e
x
tract from isl
_
m
a
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
ege
isl_t
a
b: keep t
r
ack of is
l
_
basic_
m
a
p inste
a
d of isl_b
a
sic_set
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Ver
d
o
o
la
e
ge
privately export is
l
_
basic_
m
ap_contai
n
s
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n V
e
rdoola
e
ge
add isl_
b
a
s
ic_map_add_ineq and isl_basic_map_a
d
d_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaeg
e
isl_tab_det
e
ct_r
e
dunda
n
t:
retur
n
s
tat
u
s i
n
stead
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
dool
a
ege
isl
_
tab
:
a
d
d isl_tab_freeze_constra
i
nt
commit
|
commitdiff
|
tree
2009-11-29
Sven
Verdo
o
laege
is
l
_tab_add_ineq and isl_tab
_
ma
r
k_
e
mpty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sv
e
n
V
erdoolaege
add missin
g
AUTHORS f
i
l
e
commit
|
commitdiff
|
tree
2009-11-29
S
v
en Ve
r
do
o
l
a
e
ge
isl_bas
i
c
_
set_swa
p
_vars: re-g
a
uss resulti
n
g
b
s
e
t
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdo
o
la
e
ge
add i
s
l_ba
s
ic_map_first_const
r
aint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdool
a
ege
expor
t
isl_basic_
m
ap_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoo
l
aege
a
d
d isl_bas
i
c_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdo
o
laege
isl_map_d
r
op_ba
s
ic_map: consistently keep basic m
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdoola
e
ge
i
s
l
_
tab:
r
ow is only (obviously) redu
n
dant
if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verd
o
o
l
aege
isl_basic_map_si
m
p
l
i
f
y: ma
k
e sure to rerun
G
auss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ve
r
d
oo
l
aege
isl_tab_basic
_
map_partia
l
_
l
exopt: u
s
e
c
ontext con
s
trai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ver
d
oolaege
i
s
l_tab_p
i
p
.
c: ignore de
a
d columns when checking i
n
tegra
l
i
ty
commit
|
commitdiff
|
tree
2009-10-21
S
ve
n
Verdoolaege
isl_pip: optionally p
e
rform some check on
the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaeg
e
put options i
n
a
separate isl_options s
t
r
uc
t
ure
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
add
r
udimenta
r
y argumen
t
pa
r
sing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven
Ve
r
doo
l
a
e
g
e
i
s
l_tab_co
m
put
e
_redu
c
ed_basis: handle empty tab
l
es
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_set
_
s
ol
v
e_i
l
p: ha
n
d
l
e o
b
vio
u
sly emp
t
y s
e
ts
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
isl_basic_set_solve_ilp: f
i
x
handli
n
g of s
e
ts
w
ith
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Ve
r
doolaege
add
isl_set_re
m
ove
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
dool
a
ege
add
i
sl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
ad
d
isl_b
a
sic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
extract isl_b
a
sic
_
set_sc
a
n from polytope_s
c
an
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_map_simp
l
ify: avoid removal of div definition
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
er
d
oolaege
isl_map
.
c
:
decl
a
re variable at start of code block
commit
|
commitdiff
|
tree
2009-10-21
S
v
en V
e
r
d
o
o
l
a
ege
isl_basic_se
t
_project_ou
t
: handle ratio
n
al sets
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n
Verdoola
e
ge
a
dd isl_basic_s
e
t
_
remove
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
r
do
o
laege
isl_t
a
b_pip: keep c
a
che
o
f parti
a
l s
o
lut
i
o
ns
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdool
a
ege
isl_ta
b
_p
i
p: don't free
i
sl_sol on error
c
onditio
n
commit
|
commitdiff
|
tree
2009-10-16
S
v
en
Verdoola
e
ge
isl_tab: suppo
r
t g
e
neric
u
n
d
o record
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
o
l
aege
add isl_mat_is_
e
qual
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab_pi
p
.
c: re
m
ove some code du
p
lic
a
t
io
n
between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdo
o
laege
isl_map_is_subset: add special ca
s
e fo
r
singleton map
s
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
e
rdoolaege
isl
_
map_compute_divs: s
k
ip comp
u
tati
o
n if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
eg
e
isl
_
map_is_subset: ex
p
loit another easy
special case
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoolaege
add isl_map_f
a
st_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Ver
d
o
olaege
add
isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
V
erdoolaege
mark
som
e
f
un
c
tions as r
e
quirin
g
use of return value
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoola
e
ge
isl_ta
b
: impr
o
ve
d
err
o
r handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab_pip
.
c
:
incrementally build reces
s
i
on cone
of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdoolaege
isl_tab_pi
p
.
c: propagate
some
e
qual
i
ties
f
rom
g
b
r
context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ve
r
doolaege
is
l
_tab_pi
p
.
c: dete
c
t
equaliti
e
s
in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
a
d
d
isl_tab_detect_
e
qualities
commit
|
commitdiff
|
tree
2009-10-10
S
v
en
Verdo
o
la
e
ge
add
isl_tab_set
_
ini
t
ial_basis_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl
_
t
a
b
_
pip: u
s
e
g
enerali
z
ed basis red
u
c
tion based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Ve
r
do
o
l
aege
isl_tab_pip
:
add general
i
zed basis reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
is
l
_t
a
b_
p
ip
.
c: extract out context handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
dool
a
e
g
e
isl_tab_pip
.
c: add_div
:
use more reliable way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdo
o
laege
isl_tab_basi
c
_map_partial_l
e
xopt: remove sample
s
that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdool
a
eg
e
isl_tab
.
c: extract
o
u
t
s
a
m
ple
s
handling
fr
o
m isl_tab
_
pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
er
d
o
ol
a
ege
isl_a
f
f
i
ne_h
u
ll
.
c:
us
e
t_affine_hull_
b
ounded: use tab
l
eaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoo
l
aege
isl_
b
asic_ma
p
_dete
c
t_equalities: keep track of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
i
s
l_
b
asic_
m
ap_detect_equalities: only compute r
e
ces
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Ve
r
doo
l
aege
is
l
_tab_sampl
e
: handle unbounded directio
n
s
in
i
nitial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_compute_reduced
_
basis: ha
n
dle unbound
e
d dir
e
ctions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdoo
l
a
e
ge
e
xpl
o
it e
q
uali
t
i
e
s in isl_tab_sample
commit
|
commitdiff
|
tree
next