repo.or.cz
/
ws10smt.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
test
2010-06-22
Adam Lopez
test
commit
|
commitdiff
|
tree
2009-12-05
Adam
L
o
pez
Update b
u
ild instr
u
cti
o
ns
commit
|
commitdiff
|
tree
2009-12-05
Ad
a
m
L
opez
Hacked configure
t
o av
o
id gtest dependence on li
b
to
o
l
commit
|
commitdiff
|
tree
2009-12-04
A
dam Lopez
git i
g
n
o
res vario
u
s auto-generated files
commit
|
commitdiff
|
tree
2009-12-04
Ad
a
m
Lopez
Should be able
to install with
autoreconf -
i
;
configure
.
.
.
commit
|
commitdiff
|
tree