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_set_wrap_facet: make sure set is marked rational
2010-01-25
Sv
e
n Verd
o
olaege
export
i
sl_ma
p
_
r
ead_from
_
f
i
le
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
expo
r
t
isl_basic_map_read_f
r
o
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoola
e
ge
d
rop redu
n
dant
input
_
forma
t
argument from readin
g
fu
n
ct
i
ons
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
isl_input
.
c: me
r
ge
f
un
c
tion
s
for reading
P
oly
L
ib a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
er
d
oolaege
isl_input_o
m
ega
.
c: accept Po
l
yLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolae
g
e
isl_input_omega
.
c:
p
r
epare for re
a
ding para
m
etric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
s
l_
i
np
u
t
_o
m
e
ga
.
c: finalize a
n
d
s
im
p
lify resu
l
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoo
l
aeg
e
isl_input_ome
g
a
.
c: fix check for memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Ver
d
oolaege
i
sl_stream_ne
x
t_toke
n
: skip comment
l
ine
s
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdool
a
ege
isl_tab_basic_map_partial
_
lex
o
pt: properly
handle
e
m
p
ty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
o
olaege
isl_
b
a
sic_map_set_to_empty: rem
o
ve
s
amp
l
e
(
if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add isl_set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven V
e
r
doolaege
properly
remove piplib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sv
e
n
Ve
r
d
o
olaege
isl
_
bas
i
c_map_update_f
r
om_tab: re-
g
auss resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
S
ven
Verdoola
e
g
e
ax_submodule
.
m4
:
do
n
't let --with-module conflic
t
with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sven Verdool
a
ege
add isl_set_follow
s
_at
commit
|
commitdiff
|
tree
2009-12-24
Sv
e
n
V
erdoolaege
isl_basi
c
_se
t
_compare_
a
t: c
o
mpute
result i
n
terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
ven
V
e
r
doo
l
ae
g
e
i
s
l_t
a
b_pip
.
c
: add cuts
f
or all non-integ
e
r
c
oordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sv
e
n Verdoolaege
isl_basic_ma
p
_gist: don't drop
eq
u
alities from context
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdo
o
l
a
ege
isl_convex
_
hull
.
c: initial
_
fac
e
t_const
r
aint:
dro
p
a
l
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_hull
.
c: is_ind
e
p
e
n
de
n
t_bound: normaliz
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
oolaege
i
sl_conve
x
_hull
.
c: extend: ch
e
ck hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoolaeg
e
isl_mat_right_
i
n
v
erse:
b
e more v
e
rbose on erro
r
conditi
o
n
commit
|
commitdiff
|
tree
2009-12-18
Sven Verd
o
olaege
isl
_
constr
a
int_
d
up: make sure line refers to equatio
n
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sve
n
Verdoolae
g
e
add copyright statements
commit
|
commitdiff
|
tree
2009-12-16
Sven
V
erdoolaege
remove
f
unctions for conve
r
ting bet
w
ee
n
isl an
d
Po
l
y
L
ib
commit
|
commitdiff
|
tree
2009-12-16
S
ven Verdoolaege
isl
_
tab_solve_lp:
i
nvert opti
m
al value back when
computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven Verdoolaege
is
l
_
m
a
p_in
t
ersect: add spec
i
al case for adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
en Verdoolaege
isl_
m
ap_is_subs
e
t: break off
a
s soon as di
f
f
erence
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Ver
d
oolaege
compute
set
d
ifferenc
e
using
a backtracking
a
lgorithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolae
g
e
isl_map_s
u
btr
a
ct
.
c:
e
xtract f
r
o
m
isl
_
map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
e
r
d
o
olaege
isl_t
a
b: keep track of isl_basic_ma
p
ins
t
ead of
isl_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
privately
e
xp
o
rt
isl_basic_map_contain
s
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
add isl_b
a
si
c
_m
a
p_ad
d
_ineq
an
d
isl_
b
asic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaege
isl_
t
ab_detect_r
e
d
undant: retu
r
n st
a
tus in
s
tead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdool
a
ege
isl_tab: add isl_tab_freeze_c
o
nstraint
commit
|
commitdiff
|
tree
2009-11-29
S
v
en Verd
o
olae
g
e
isl_tab_
a
dd
_
ineq and isl_tab_mark_empty:
re
t
ur
n
statu
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
ven Ve
r
doolaege
a
dd missing AUTHORS
f
i
le
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_bas
i
c
_se
t
_sw
a
p_vars:
r
e-ga
u
ss
r
e
sulti
n
g
bs
e
t
commit
|
commitdiff
|
tree
2009-11-16
S
ven Verdoolaege
add
isl_basic_m
a
p
_
f
irst_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolae
g
e
ex
p
ort isl_basi
c
_m
a
p
_
lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdoolaege
a
d
d
i
s
l_basic_
s
et_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaeg
e
isl
_
m
a
p_
d
rop_basi
c
_map
:
con
s
ist
e
ntly
keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
rdoolaege
i
s
l_tab: row is only (obvi
o
usly) redunda
n
t if
i
t does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
e
rdoo
l
aege
isl_basi
c
_map_
s
impl
i
fy: make
s
ur
e
t
o
rerun
G
a
u
ss
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n Verdoo
l
aege
isl_tab_basic_map_partial_lexopt: u
s
e cont
e
xt constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdool
a
e
ge
isl_tab_pip
.
c
:
i
gnore dead
co
l
umns when ch
e
cking
i
nt
e
grali
t
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_pi
p
: optional
l
y pe
r
f
o
rm some check on
the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
put opt
i
ons in a separate
i
sl_options stru
c
t
u
re
commit
|
commitdiff
|
tree
2009-10-21
S
ven Ver
d
oolaege
add rudimentary a
r
gument parsing fac
i
lity
commit
|
commitdiff
|
tree
2009-10-21
S
ven
V
e
rdoolaege
is
l
_ta
b
_compute_
r
ed
u
ced_basis: han
d
le empty tables
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
isl_basic_set_solv
e
_ilp
:
handle o
b
v
iously e
m
pty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl
_
basic_set_solve_ilp
:
fix
h
andling o
f
sets wi
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
e
r
d
oolaege
ad
d
isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
V
erdoolae
g
e
ad
d
isl_set
_
f
ix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
add isl_
b
as
i
c_se
t
_fix
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
extract
isl_basic_se
t
_
s
c
a
n fro
m
p
olyt
o
pe_
s
c
an
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_
b
asic_map_simplif
y
: avoid removal of div defini
t
ion
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
isl_map
.
c
:
d
e
c
l
are v
a
riab
l
e at start of
c
ode bl
o
ck
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n
Verdoo
l
ae
g
e
isl_b
a
sic_set_project_out: handl
e
r
ational s
e
ts
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
a
d
d isl_ba
s
ic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
isl
_
tab_pip:
k
eep cache
o
f partia
l
solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab_p
i
p: don't f
r
ee isl_sol on erro
r
condition
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verdoolae
g
e
isl_tab:
s
upport g
e
neric undo record
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add isl_mat_i
s
_equ
a
l
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
oo
l
aege
isl_ta
b
_pip
.
c
:
remove some co
d
e dupl
i
cation between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoo
l
aege
isl_map_is
_
subset: add special case for sin
g
le
t
on maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
i
s
l_map_comp
u
t
e
_
divs: skip com
p
u
tation if div
s
are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
l
a
ege
isl
_
map
_
is_subset
:
expl
o
it another easy special case
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoolaege
add isl_ma
p
_fast_is_uni
v
erse
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oo
l
aege
a
d
d isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
mark some functions as requ
i
ring use of
retu
r
n v
a
lue
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
i
s
l
_
tab: improved error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
l
aege
isl_tab_pip
.
c: i
n
c
r
ementall
y
build
recession cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n
Verdool
a
e
g
e
isl_tab_pip
.
c:
propagate so
m
e
equali
t
ies from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
e
n V
e
rdoolaege
i
s
l
_
t
ab_pip
.
c
:
detect eq
u
aliti
e
s in
g
b
r context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erd
o
olaege
add i
s
l_tab_detect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven
Ver
d
oolaege
add isl_t
a
b_
s
et_ini
t
ial_basi
s
_w
i
th_cone
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
V
e
rdoolaege
i
s
l_tab_pi
p
: use gene
r
alized
ba
s
is reduction base
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oolae
g
e
i
s
l_tab_
p
ip:
a
dd general
i
ze
d
basi
s
reduction
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoo
l
aege
isl_tab_p
i
p
.
c: extract out
c
o
n
t
ext ha
n
dling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
s
l_tab_pip
.
c
: ad
d
_di
v
: use mor
e
reliable way to t
e
st
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
tab_ba
s
i
c_ma
p
_parti
a
l_l
e
x
o
pt: remove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdoolaege
i
s
l
_t
a
b
.
c:
e
x
t
ract out samples
h
a
n
dling from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoola
e
g
e
isl_a
f
fine_hull
.
c: uset_a
f
fine_hull
_
bounded: use t
a
bleaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl
_
bas
i
c_map_detect_equalities: kee
p
track of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoola
e
ge
isl_
b
asic_map_dete
c
t_
e
q
u
a
l
i
t
ies: only
c
omp
u
te recessio
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_tab_s
a
mple: handle
u
nbounded directions
in
i
niti
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_compute_reduc
e
d_ba
s
is: handle
unboun
d
ed direct
i
on
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
d
oolaege
expl
o
it equalities in isl_tab_sa
m
pl
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl_
t
ab: keep
(
i
n)equalit
i
es o
f
bset (if
a
ny) i
n
sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_ta
b
_sample: be
m
ore verbose about unbounded dire
c
tions
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
sep
a
r
a
te ou
t
i
s
l_tab_s
a
mple from sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
samp
l
e_bounded:
r
e
implement to work
d
irect
l
y on
a
tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolae
g
e
i
sl_tab_co
m
pute_redu
c
ed_basis:
w
o
rk with affine
basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
isl_t
a
b_com
p
ute
_
reduce
d
_ba
s
is: allow incre
m
ental computation
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl_polytope_
s
c
an:
use is
l
_
t
ab_from_basic_se
t
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Ve
r
doolaege
separ
a
te
o
u
t
i
sl_tab
_
redu
c
ed
_
basis from isl_basi
c
_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaeg
e
b
asis_reduction_tab
.
c
:
u
se
is
l
_tab_pro
d
uct to
c
onstruct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
a
dd isl_tab_produ
c
t
commit
|
commitdiff
|
tree
next