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_next_token_on_same_line: check if last token read was a newline
2010-01-25
Sven Verdoolaeg
e
t
oke
n
iz
e
r:
a
ccept "a
n
d" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolae
g
e
export isl_map
_
read
_
from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdool
a
ege
export i
s
l_b
a
s
i
c
_ma
p
_r
e
ad_from
_
st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
dro
p
r
edundant input_format
argument from readi
n
g functions
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolae
g
e
isl_input
.
c: merge
funct
i
ons fo
r
readin
g
PolyLib an
d
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_
i
nput_omega
.
c: acce
p
t PolyLib in
p
ut
commit
|
commitdiff
|
tree
2010-01-24
S
ven
V
erdoolaege
isl_input_omega
.
c: prepare for
reading param
e
tric unio
n
s
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoola
e
g
e
isl_in
p
ut_omega
.
c
: finalize and simp
l
ify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
ve
n
Ve
r
doolaege
isl_
i
nput
_
o
m
ega
.
c: f
i
x check for memory al
l
ocatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n
Verdoolaege
isl_strea
m
_next
_
tok
e
n: skip com
m
e
n
t lines
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
isl_tab
_
bas
i
c_map_
p
art
i
a
l_lexopt: pr
o
per
l
y ha
n
dle e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaeg
e
isl_basic
_
map_set_
t
o_empty: r
e
move sam
p
le
(if any)
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
V
er
d
oolaege
add is
l
_set_fast_is_emp
t
y
commit
|
commitdiff
|
tree
2010-01-13
Sve
n
Verdoolaege
properly remove
pipli
b
submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Ve
r
doo
l
aege
i
sl_basic_map_upd
a
te_from_tab: re-gauss res
u
l
ting b
m
a
p
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
ax_submo
d
ule
.
m4: don't l
e
t
-
-with-mod
u
le conflict w
i
th
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sve
n
Verdoo
l
aege
add isl_set_follows
_
at
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
erdoolaege
isl
_
basic_set_compa
r
e
_
at: comput
e
result
in t
e
rms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
v
en Ver
d
oolaege
isl_tab_pip
.
c
: add cuts
f
or all non-integer coordinate
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdoolaege
isl_
b
asic_map_gist:
d
o
n't d
r
op equalities fr
o
m context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl
_
convex_hull
.
c
: initial_facet_constraint: drop al
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
e
r
d
ool
a
ege
isl_convex_
h
ull
.
c:
is_
i
ndependen
t
_bound:
normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
e
n
V
erdoolaege
isl_co
n
vex_hull
.
c:
e
xtend: che
c
k h
u
ll argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_mat_ri
g
h
t_inv
e
rse: be mor
e
verbose on error condi
t
ion
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verd
o
olaege
i
s
l_c
o
nstra
i
nt_dup:
mak
e
sur
e
line refers
t
o equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolae
g
e
add copyright st
a
te
m
ents
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoo
l
aege
r
e
move functions for conv
e
rting
between isl and P
o
lyLib
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolae
g
e
is
l
_t
a
b
_
solve_lp: inver
t
optimal v
a
lue
b
ack whe
n
computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
r
d
oolaege
isl_m
a
p_int
e
r
sect: add
s
pecial cas
e
for adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
e
r
d
o
olaege
i
s
l
_map_is_subset: b
r
e
ak
off as soon as diffe
r
e
n
ce
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdool
a
ege
com
p
ute
s
et d
i
fferenc
e
using a ba
c
k
t
r
acking a
l
gorith
m
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
o
o
laege
isl_map_subtra
c
t
.
c:
extr
a
ct fr
o
m i
s
l_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
l
ae
g
e
isl_tab: k
e
e
p
tr
a
ck
o
f isl_basic_map instead o
f
is
l
_
bas
i
c_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
oolaege
p
r
i
v
a
tely export isl_basic_map_cont
a
ins
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaege
a
d
d isl_basic
_
ma
p
_add_ineq and isl
_
bas
i
c_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
isl_tab
_
d
etect_redundant: return
s
tatus in
s
t
e
ad
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdo
o
laege
isl
_
tab: add isl_
t
ab_freeze_
c
on
s
t
r
aint
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
erdoola
e
ge
i
sl_tab_add_in
e
q and isl_t
a
b_mark_empty:
r
eturn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
v
e
n Verdoo
l
aege
add m
i
ssing
A
U
T
HORS file
commit
|
commitdiff
|
tree
2009-11-29
S
ven Verdoolaege
isl_basic_set_swap_vars:
r
e-gauss
r
esultin
g
bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Ve
r
d
o
olaege
add
isl_bas
i
c_map_
f
irst_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdoolaege
e
x
port isl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
Verdoolaege
add i
s
l_basic_
s
et
_
lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
e
n Verdool
a
ege
isl_map_drop_bas
i
c_map: consi
s
tentl
y
keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
rdoolaege
is
l
_tab: row
is only
(
obviously) redundan
t
if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdool
a
ege
isl_ba
s
ic_map_s
i
m
p
l
i
fy: make
sure to re
r
un Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaeg
e
isl_tab_basic_map_partial_lexopt: use context constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdoolaege
isl_tab_pip
.
c: ignore dead c
o
lumn
s
w
hen checkin
g
integrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl_pi
p
:
opti
o
nally perform so
m
e check on the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
o
laege
put options in a separate is
l
_
o
ptions structure
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
erdoo
l
aege
add rudimenta
r
y
a
r
gu
m
ent par
s
ing facility
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Ver
d
oola
e
ge
isl
_
tab_compute_reduce
d
_basis: hand
l
e empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
i
s
l
_basic_set_solve_i
l
p: handle obvious
l
y emp
t
y
s
e
ts
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
isl_basic_set_solve_ilp: fix hand
l
ing of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
r
doolaeg
e
add is
l
_
set_rem
o
ve
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
ad
d
i
s
l_se
t
_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basic_set_fi
x
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n V
e
rdoo
l
aege
ex
t
r
act isl_basic_set_s
c
an from p
o
lytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_bas
i
c_map_simpl
i
fy: avoi
d
removal of div
definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl
_
map
.
c:
de
c
l
a
re variabl
e
a
t start of code blo
c
k
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
i
s
l_basic
_
set_project_o
u
t:
h
andl
e
rat
i
on
a
l
s
ets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basic_se
t
_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oo
l
aege
isl_tab_pip
:
k
eep cache of partial solutio
n
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
is
l
_t
a
b_pip: don't f
r
ee isl_so
l
on erro
r
condi
t
i
o
n
commit
|
commitdiff
|
tree
2009-10-16
S
ven
Verdoolaege
isl_tab: support g
e
ne
r
i
c
u
ndo record
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add
isl_
m
at_is_
e
q
u
al
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verdoolae
g
e
isl_tab_pip
.
c
:
r
e
move some co
d
e dupli
c
at
i
on between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
o
o
laege
isl_map_is_subset:
add speci
a
l case for
singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoo
l
aege
isl_m
a
p_c
o
mpute_d
i
vs:
s
kip computation if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_map
_
i
s
_subset:
exploit another eas
y
s
p
ecial case
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verd
o
olaege
a
d
d isl_map_fa
s
t_is
_
u
n
ivers
e
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdoolaege
a
dd is
l
_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoola
e
ge
mark some functions as
r
equi
r
ing use of return
v
alue
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoo
l
aege
isl_tab: improv
e
d error handl
i
ng
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
isl_t
a
b_
p
ip
.
c: increm
e
ntally build recession cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verd
o
olaege
isl_tab_pip
.
c: propagate s
o
me equa
l
ities from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven V
e
rdoolaege
isl_
t
ab_
p
ip
.
c:
detect equalities in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
a
dd isl_tab_detect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add
i
s
l
_tab_se
t
_initial_bas
i
s_with_
c
one
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pip: use generali
z
ed basis reduc
t
ion bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ven Verd
o
olaege
i
sl_tab_pip: add generalized
bas
i
s
r
eductio
n
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_pip
.
c: extr
a
c
t
out cont
e
xt
handling
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n V
e
r
d
o
ol
a
e
ge
isl_tab_pip
.
c: add_div
:
use
m
o
r
e
reliab
l
e way to
t
est
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
d
oolaege
i
sl_tab_basic_map_part
i
al_lexopt: remove s
a
m
ples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
is
l
_tab
.
c: extract
out samples handli
n
g f
r
om
i
s
l
_
tab
_
pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl
_
affine
_
hull
.
c
:
uset_affine_h
u
l
l
_bounde
d
:
use
t
ableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
s
l_bas
i
c_
m
ap_de
t
ect_equalities: kee
p
track of sample
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoo
l
a
ege
i
s
l_basic
_
map_detect_equaliti
e
s: only compu
t
e
r
e
cessi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verd
o
olaege
isl_tab_sample: handle
u
n
bou
n
ded directions in ini
t
ial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ver
d
oolaege
i
sl_tab_compu
t
e_r
e
duced
_
basis: handle unbounded di
r
e
c
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
exploit eq
u
alities
in isl_tab_samp
l
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_ta
b
: ke
e
p
(in)eq
u
alitie
s
o
f
bset (if any) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl_tab_sample: be more verbo
s
e about
unbounded directions
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoo
l
aeg
e
s
e
parate out isl_tab
_
sample from
s
ample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
rdoo
l
a
ege
sample_bou
n
ded: reimplem
e
nt to wo
r
k d
i
rectly on
a tabl
e
au
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_compu
t
e_reduced_basis: wor
k
with a
f
fine ba
s
is
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
i
sl_tab
_
compute_reduced_basis: al
l
ow
i
n
c
r
e
mental
computation
commit
|
commitdiff
|
tree
2009-10-09
S
ven V
e
rd
o
olaege
isl_polytope_scan:
u
se isl_tab_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoola
e
ge
separate out is
l
_tab_reduced_basis
from
isl_basic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolae
g
e
b
a
sis_reduction_tab
.
c: us
e
is
l
_tab_prod
u
ct t
o
c
o
ns
t
ruct
.
.
.
commit
|
commitdiff
|
tree
next