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_stream: parse NaN
2010-01-31
S
ven Verdoo
l
aeg
e
is
l
_
d
im
_
equal: d
o
n't require names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
isl_dim
_
map: properly
d
uplicat
e
na
m
e
s
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
isl
_
dim_drop: pr
o
p
e
r
ly adjus
t
length of names
array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaeg
e
doc:
a
bit more on in
t
e
g
e
r
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
do
c
: desc
r
ibe input/output
formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ver
d
oola
e
g
e
add isl_cat
t
e
st application
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega o
u
tput
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verd
o
olaege
isl_test: use isl_set_read_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add
isl_
s
et_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
add isl_map_read
_
fr
o
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
isl_map_read_from_file: all
o
w
unions in isl
f
ormat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaeg
e
isl_
b
asic_map_
r
ead: read definitions
o
f existen
t
ial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
privately export
i
sl_bas
i
c_map_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
i
s
l_ba
s
ic_ma
p
_read: rea
d
affi
n
e
c
onstraint as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
isl_inpu
t
.
c: optionally read
parameters fro
m
input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
to
k
eni
z
er:
a
c
cept "and" k
e
y
w
ord
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaeg
e
export isl_map_read_from_
f
i
le
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
erdoolaege
export isl_basic
_
map_read_fr
o
m
_
s
t
r
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verd
o
olaeg
e
drop redu
n
dant i
n
put_
f
ormat argu
m
ent from
r
eading func
t
ion
s
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
isl_input
.
c: merge functions for reading
P
olyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input_omega
.
c: accep
t
PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
S
ven V
e
rd
o
olaege
is
l
_inp
u
t_omega
.
c: prepare for readi
n
g
pa
r
ametri
c
uni
o
ns
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Ve
r
doolaeg
e
isl_input_omega
.
c
:
fi
n
alize and simpl
i
fy resultin
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input_omega
.
c: f
i
x check
for mem
o
ry a
l
location
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
is
l
_
s
tream_next_token: skip comme
n
t
lines
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
isl_tab_basi
c
_
m
ap
_
p
artial_le
x
opt: properly handl
e
e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
i
sl_
b
asic
_
map
_
set_to_em
p
ty: remove sample (if
a
n
y)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add isl_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sv
e
n Ve
r
doolaege
properly re
m
ov
e
piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdoolaege
isl_basic_
m
ap_update_from
_
tab:
re-gauss resulting b
m
ap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoola
e
ge
ax_submodule
.
m4: don't let -
-
with-module conflict with
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
v
en Verdoo
l
a
e
ge
isl_bas
i
c_set_compare_at: com
p
ute result in
t
erms
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven
Ve
r
doolae
g
e
isl_tab_pip
.
c: add cuts fo
r
all non-
i
nteg
e
r
coord
i
n
ates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven
Verdoola
e
g
e
i
sl_basic_map_gist: d
o
n't d
r
o
p
equali
t
ies from context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
sl_co
n
vex_hul
l
.
c
:
ini
t
ial_f
a
ce
t
_con
s
traint: drop
a
ll
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_h
u
ll
.
c: i
s
_indepen
d
ent_bound: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoolae
g
e
isl_convex_hu
l
l
.
c:
e
xtend: check hul
l
argumen
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Verd
o
ola
e
ge
isl_m
a
t_
r
ight_inv
e
rse:
b
e more ver
b
os
e
on error condi
t
ion
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rdoolaege
i
sl
_
c
o
nstr
a
int_
d
up:
m
a
k
e sure
l
in
e
re
f
ers t
o
equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
er
d
o
o
laege
isl_map_intersect: add
s
pecial c
a
se for adding a
single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdo
o
l
ae
g
e
i
sl_map_is_sub
s
et: b
r
eak off as soon as difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
compute set diff
e
rence usi
n
g a back
t
racking algorit
h
m
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_map_sub
t
ract
.
c
:
extract f
r
o
m
is
l
_ma
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_t
a
b
:
kee
p
track of isl_b
a
sic
_
map instead of isl
_
basic
_
set
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n
Ve
r
doolaege
p
rivately expor
t
isl_basic_map_con
t
ains
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
V
erdoola
e
ge
ad
d
isl_
b
as
i
c_map_a
d
d_ine
q
and isl_b
a
si
c
_m
a
p
_
a
d
d_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaege
isl_tab_detect_
r
ed
u
ndant: return status i
n
stead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_tab: add isl_
t
a
b_f
r
eeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
S
v
en Ve
r
doolae
g
e
i
s
l_
t
a
b_ad
d
_ineq and is
l
_ta
b
_mark_empty: return s
t
at
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sve
n
Verdoolaege
add missing
A
U
THO
R
S
file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdo
o
la
e
g
e
isl
_
basic_set
_
swap_v
a
rs: re
-
gauss result
i
n
g bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolae
g
e
add isl_basic
_
m
ap_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
export isl_basic_map
_
lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Ver
d
oolaege
add isl_basic_set_
l
e
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
isl_map_drop_ba
s
ic_
m
ap: consistently
keep basic
m
ap
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Verdoolaeg
e
i
s
l_tab: r
o
w is only (obviousl
y
) redundant
if
it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_b
a
sic_m
a
p_simp
l
i
f
y: m
a
ke sure to rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_
t
ab_ba
s
ic_map_p
a
rtial_lexopt: use c
o
n
t
e
x
t
cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n V
e
r
d
oolaege
isl
_
tab_p
i
p
.
c: igno
r
e
d
ead
colum
n
s
when ch
e
c
kin
g
i
ntegrality
commit
|
commitdiff
|
tree
2009-10-21
Sven
Ver
d
oo
l
aege
is
l
_p
i
p: optiona
l
ly perform some check on the resul
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ve
r
doolae
g
e
put opt
i
ons in a separ
a
te isl_opti
o
ns structur
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add r
u
dim
e
nta
r
y argument parsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoo
l
aege
isl_t
a
b_compute_red
u
ced_ba
s
i
s: hand
l
e
e
m
p
ty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
d
o
olaege
isl_b
a
si
c
_
s
e
t_solve_ilp
:
handle obviously empty
s
ets
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
isl_b
a
sic_set_solv
e
_ilp: fix handling of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
Ver
d
oolaege
add
isl_se
t
_
remove
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
Verdoolaege
add
i
sl_
s
et_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoo
l
aege
add
i
s
l
_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoola
e
ge
extract i
s
l_basic_set_
s
c
a
n from po
l
ytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
erdoola
e
ge
is
l
_basic_map
_
simpl
i
fy: avoid r
e
moval
o
f div defi
n
ition
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
i
s
l_ma
p
.
c: declar
e
v
a
riabl
e
at start
o
f co
d
e block
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
isl
_
bas
i
c_set_project_out: handle ratio
n
al sets
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
Verdoolaeg
e
a
d
d isl_
b
asic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
isl_t
a
b_pip: ke
e
p
cache of partia
l
solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdoolaege
is
l
_
tab
_
p
ip
:
don't free i
s
l_sol on er
r
or condition
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdoolaege
i
sl_tab: supp
o
rt generic undo records
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
Verdoolaege
add is
l
_
mat_is
_
equal
commit
|
commitdiff
|
tree
2009-10-16
S
ven Verdoolaege
isl_
t
ab_pip
.
c:
r
emove so
m
e code dupli
c
ati
o
n betw
e
en
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl
_
m
ap_is_s
u
bset: ad
d
s
p
e
cia
l
c
ase for
s
ing
l
eton ma
p
s
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laege
is
l
_ma
p
_compute_divs: skip comput
a
t
ion if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
isl_map_
i
s_subset: exploit another e
a
s
y
s
p
e
c
ial case
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
add
isl
_
m
a
p_
f
ast_is_u
n
i
v
e
rse
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoolaege
add i
s
l_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
m
a
r
k some functions as requiring use of return v
a
lue
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolaege
isl
_
tab: improved
error ha
n
dling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
l
a
ege
isl
_
tab_pip
.
c: incremen
t
ally
b
uild
recession con
e
of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
ve
n
Verdoolaege
isl_tab_pip
.
c: prop
a
gate some equalities from gbr c
o
ntext
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven V
e
r
d
o
o
laege
isl
_
tab_pip
.
c: det
e
c
t equ
a
lities in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven V
e
rdoolaege
add isl_
t
a
b
_detect_equali
t
ies
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdo
o
la
e
ge
add isl_
t
ab_set_
i
nitial_basis_with_c
o
ne
commit
|
commitdiff
|
tree
2009-10-10
S
ven Ve
r
doolaeg
e
is
l
_tab_pip:
u
s
e
gene
r
ali
z
ed
b
asis reduct
i
on based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_
t
ab_pip: a
d
d generaliz
e
d
basis reducti
o
n
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl_t
a
b_pip
.
c: extract out conte
x
t
h
a
n
dling
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl_tab
_
pip
.
c: add_div: u
s
e more rel
i
able way to tes
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
is
l
_tab_basic_m
a
p_
p
artial_lexopt: r
e
m
o
ve samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n Verdoolaege
isl_ta
b
.
c: extract
out samples h
a
ndling from
i
sl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ve
r
d
o
olae
g
e
is
l
_aff
i
n
e
_hull
.
c: uset_affine_hull_
b
ounded:
u
s
e tabl
e
au
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
e
g
e
i
s
l_
b
a
sic
_
map
_
d
etect_
e
qualities: ke
e
p tra
c
k of
sa
m
ple
commit
|
commitdiff
|
tree
next