repo.or.cz
/
barvinok.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
snapshot (
tar.gz
zip
)
doc: document Omega interface
tree
e89b7fcf2e5abab4aee33821500d97d5814122a2
-rw-r--r--
5379
ChangeLog
blob
|
blame
|
history
|
raw
-rw-r--r--
2088
DomainConstraintSimplify.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3640
Makefile.am
blob
|
blame
|
history
|
raw
-rw-r--r--
654
NTL_5_3_2.patch
blob
|
blame
|
history
|
raw
-rw-r--r--
2190
README
blob
|
blame
|
history
|
raw
-rw-r--r--
119
README.Solaris
blob
|
blame
|
history
|
raw
-rwxr-xr-x
91
autogen.sh
blob
|
blame
|
history
|
raw
-rw-r--r--
116326
barvinok.cc
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
barvinok
tree
|
history
-rw-r--r--
1569
barvinok_count.c
blob
|
blame
|
history
|
raw
-rw-r--r--
3498
barvinok_ehrhart.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2301
barvinok_enumerate.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9658
barvinok_enumerate_e.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1836
barvinok_series.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
2167
barvinok_union.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
1281
collect_nonsimple.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1348
collect_polytopes.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1314
collect_polytopes2.c
blob
|
blame
|
history
|
raw
-rw-r--r--
9578
configure.in
blob
|
blame
|
history
|
raw
-rw-r--r--
2278
conversion.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
407
conversion.h
blob
|
blame
|
history
|
raw
-rw-r--r--
795
count_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
5519
decomposer.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
818
decomposer.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
doc
tree
|
history
-rw-r--r--
2865
ev_size.c
blob
|
blame
|
history
|
raw
-rw-r--r--
82182
evalue.c
blob
|
blame
|
history
|
raw
-rw-r--r--
11242
genfun.cc
blob
|
blame
|
history
|
raw
-rwxr-xr-x
582
latte2polylib.pl
blob
|
blame
|
history
|
raw
-rw-r--r--
13618
lattice_point.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
472
lattice_point.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
m4
tree
|
history
-rw-r--r--
553
mat_util.cc
blob
|
blame
|
history
|
raw
-rw-r--r--
166
mat_util.h
blob
|
blame
|
history
|
raw
-rw-r--r--
184
mpz_divisible_p.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
omega
tree
|
history
-rw-r--r--
1267
piptest.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7611
piputil.c
blob
|
blame
|
history
|
raw
-rw-r--r--
104
piputil.h
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
polymake
tree
|
history
-rw-r--r--
1728
randomtest.c
blob
|
blame
|
history
|
raw
-rw-r--r--
1324
reduce_domain.c
blob
|
blame
|
history
|
raw
-rw-r--r--
252
reduce_domain.h
blob
|
blame
|
history
|
raw
-rw-r--r--
1182
remove_redundant_equalities.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4643
test.c
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
tests
tree
|
history
-rw-r--r--
35030
util.c
blob
|
blame
|
history
|
raw
-rw-r--r--
4284
verif_ehrhart.c
blob
|
blame
|
history
|
raw
-rw-r--r--
590
verif_ehrhart.h
blob
|
blame
|
history
|
raw
-rw-r--r--
6577
verify_lexsmaller.c
blob
|
blame
|
history
|
raw
-rw-r--r--
7567
verify_main.cc
blob
|
blame
|
history
|
raw