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_transitive_closure: use more relaxed exactness check on acyclic graphs
2010-02-04
Sven Verdoo
l
ae
g
e
isl_map_tran
s
itive_clo
s
ure: use more r
e
l
axed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
add isl
_
map_power
a
nd isl
_
ma
p
_trans
i
tive_
c
losure
commit
|
commitdiff
|
tree
2010-02-03
S
v
en V
e
rdoo
l
aege
isl_map_s
u
b
t
ract
.
c:
make some i
n
ternal fun
c
tion
s
static
commit
|
commitdiff
|
tree
2010-02-03
S
ve
n
Verdoo
l
aege
a
d
d gene
r
ic
i
s
l_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
d
o
olaege
add isl
_
{
map,
s
et}
_
a
dd
commit
|
commitdiff
|
tree
2010-02-03
S
ven
V
erdoola
e
g
e
rename isl_{map,set}_add to i
s
l_{map,
s
et}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Ve
r
doolaege
i
s
l_set_project_ou
t
: always
u
pdat
e
d
imension, e
v
en
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdool
a
ege
is
l
_dim_
j
o
in: do
n
't r
e
quire names of join
e
d
var
i
a
bles
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
er
d
oolaege
a
d
d
isl_map_f
r
om_
d
omain_and_ran
g
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l_
s
tream:
t
reat "
-
" as ope
r
ator ra
t
h
er tha
n
as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_m
a
p_rea
d
:
accept "strict" inequ
a
lities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l_input
.
c: fix
memory de
a
llocat
i
on p
r
obl
e
m o
n
m
issi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
ge
add
d
ependence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
e
ge
add isl
_
ma
p
_{partial_,}
l
ex
o
pt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
a
dd p
r
i
vate isl_
{
set,map
}
_m
a
ke_
d
i
s
joint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
ge
basis_r
e
d
u
ctio
n
_templ
.
c: fix typo in
c
o
mm
e
n
t
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
is
l
_
t
ab_p
i
p
.
c
: find_solution
s
: break
w
hen context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven
Verdoolaege
i
s
l_dim_
e
qual: don
'
t
requ
i
re names of input an
d
outp
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven V
e
rdoolaege
isl_dim_map: properly duplicate names
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
i
sl_dim_drop:
properl
y
adjust length o
f
na
m
e
s
arra
y
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Verdoolaege
do
c
: a bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdo
o
lae
g
e
doc: describe
inp
u
t
/
output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaeg
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
o
l
a
ege
add isl_cat test a
p
plicati
o
n
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega
out
p
ut
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolae
g
e
add isl
o
ut
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl_test: use isl_set_read_from_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolae
g
e
ad
d
isl_s
e
t_read_fro
m
_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
add isl_map
_
rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
er
d
oolaeg
e
isl_map_read_from_f
i
le:
a
llow unions in is
l
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_ba
s
ic_map_read: re
a
d de
f
initions
of
existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
privately export isl_bas
i
c_map
_
add_div_constrain
t
s
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoola
e
ge
i
sl
_
basic_map_read: read affine co
n
straint a
s
two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
isl_
i
nput
.
c
:
o
p
t
ionally read
parameter
s
f
r
om input
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
tokenizer:
accept "and
"
keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
export i
s
l_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolae
g
e
export isl_basic_map_rea
d
_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
dro
p
red
u
nd
a
nt input_forma
t
argument fr
o
m rea
d
i
n
g functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
isl_input
.
c
:
me
r
ge
f
unctions for r
e
a
d
i
ng PolyLi
b
and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_i
n
put_omega
.
c: a
c
ce
p
t
P
olyLib input
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoolaege
isl_input_omega
.
c:
p
r
e
pare for re
a
ding par
a
metric union
s
commit
|
commitdiff
|
tree
2010-01-24
S
ven Ve
r
dool
a
e
g
e
is
l
_
in
p
ut_omega
.
c: finalize and
simpl
i
fy
resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Ve
r
d
o
olaege
isl_input_omega
.
c
:
f
i
x
check for memory
allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
l
a
e
ge
isl_stream_next_token
:
ski
p
commen
t
lin
e
s
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
Verdoolaege
isl_tab_basic_m
a
p_par
t
i
a
l_lexop
t
: properly handle empt
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
i
s
l_
b
as
i
c
_
map_set_t
o
_
empt
y
:
remo
v
e
sa
m
ple (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdo
o
laege
add
i
s
l
_set_fast_is_emp
t
y
commit
|
commitdiff
|
tree
2010-01-13
Sven Verd
o
ola
e
ge
properly rem
o
ve piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
S
v
en Verdo
o
laege
isl_basic_map_update_fro
m
_tab:
re
-
gauss resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoola
e
ge
ax_
s
ubmo
d
ule
.
m
4
: do
n
't let --with-
m
odul
e
conflic
t
with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdoo
l
ae
g
e
add i
s
l_set
_
f
oll
o
w
s_at
commit
|
commitdiff
|
tree
2009-12-24
Sven Ve
r
d
o
o
laege
isl_
b
asic_set
_
co
m
p
are_at: compute re
s
ult in terms
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n Verdoolae
g
e
isl_tab_pip
.
c: add cu
t
s for al
l
non
-
i
n
t
e
ger c
o
ordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Ver
d
oolae
g
e
isl_basic_map_gist: don't
d
rop eq
u
alit
i
es from c
o
ntext
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoolaeg
e
is
l
_convex_hull
.
c:
i
nitial_facet_constraint: drop al
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoo
l
aege
isl_convex_h
u
ll
.
c:
is_independent_bound: normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
i
s
l
_convex_hul
l
.
c: extend
:
check hull argum
e
nt
commit
|
commitdiff
|
tree
2009-12-18
S
v
e
n Verdoolaeg
e
isl_
m
at_rig
h
t_in
v
e
r
se: be
mor
e
verbose on error condi
t
ion
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoo
l
aege
i
s
l
_
constraint_dup: make s
u
re l
i
ne
refers to equat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
a
dd c
o
pyright statements
commit
|
commitdiff
|
tree
2009-12-16
Sv
e
n
V
e
r
d
oo
l
aege
r
emove
f
un
c
t
i
ons
f
or converting b
e
tween isl
a
nd
P
olyLib
commit
|
commitdiff
|
tree
2009-12-16
S
v
e
n Ve
r
dool
a
ege
isl_
t
ab_solve_l
p
:
invert o
p
tima
l
value ba
c
k wh
e
n co
m
puting
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven
Verdoolaege
isl_map_in
t
e
r
sect: add spe
c
ial
c
a
se for
adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Ve
r
doo
l
aege
is
l
_map_is_subset: break off
as soon as differenc
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
er
d
oo
l
aege
compute
set differenc
e
using a backtrack
i
ng algorithm
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
isl_map_subtract
.
c
:
e
xtract from isl
_
ma
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
oolae
g
e
isl_tab: kee
p
t
rack of isl_basic_map i
n
stead of isl_basic_se
t
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolae
g
e
p
r
i
vately
expo
r
t isl_basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erd
o
olaege
add isl
_
basic_map_add_ineq and
i
s
l
_basic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoo
l
aege
isl_tab_detect_r
e
d
undant: ret
u
r
n status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
olaege
isl_
t
ab: add isl_tab_fre
e
ze_
c
onstr
a
int
commit
|
commitdiff
|
tree
2009-11-29
Sven Ver
d
oolae
g
e
isl_tab_
a
dd_ineq and isl_tab_mark_empt
y
: retur
n
status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
ven Ver
d
oolaege
add
miss
i
ng AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
doolaege
i
sl_b
a
sic_set
_
swap_vars
:
re-gauss resulting bs
e
t
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolaege
add isl
_
basic_map_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdool
a
ege
export isl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoo
l
aege
a
d
d is
l
_basic_s
e
t
_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Ve
r
d
oolaeg
e
i
s
l
_map_drop_basic_map:
consistently keep
basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
is
l
_tab: ro
w
i
s only (obv
i
ous
l
y) red
u
ndant if it
d
oes
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdo
o
laege
isl
_
b
a
si
c
_
m
ap_simp
l
ify: make
s
ur
e
to re
r
un Gau
s
s when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
is
l
_tab_basi
c
_map_
p
artial_lexo
p
t: use context
constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ve
r
doolae
g
e
i
sl_tab_pip
.
c: ig
n
ore dead colu
m
ns when checking integral
i
ty
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
isl_pip
:
opti
o
nally
p
e
rform s
o
me check on t
h
e results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
pu
t
options in a separate isl_options
s
tructure
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
add r
u
dime
n
tary argument parsing
f
ac
i
l
ity
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl_tab_compute_reduced_basis: h
a
ndle empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
i
sl_basic_
s
e
t_solve_ilp: handle obviousl
y
empty sets
commit
|
commitdiff
|
tree
2009-10-21
S
ve
n
V
e
rdoolaege
isl_basic_set_solve_ilp: fix handlin
g
of sets
w
it
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Ver
d
oolaege
add isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
add isl_set
_
fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
add isl_
b
asic
_
se
t
_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
o
l
a
ege
e
x
trac
t
isl_basi
c
_s
e
t_
s
can from polytop
e
_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
i
s
l_b
a
sic_map_simplify: avoid r
e
m
o
val of
div d
e
finitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_
m
a
p
.
c: declare va
r
iable at start of cod
e
block
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
isl_basic_set_project_o
u
t
:
handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
S
ven
Ve
r
doolaege
a
dd isl_basic_set_r
e
m
ov
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
i
s
l_tab_pip: keep cach
e
of
partial
s
olu
t
ions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
i
sl_t
a
b_pip
:
don't fre
e
isl_sol
on erro
r
c
o
nd
i
tion
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoola
e
ge
isl_
t
ab: suppor
t
generic
u
nd
o
records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add
i
sl_mat_is_equal
commit
|
commitdiff
|
tree
next