projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Merge pull request #38 from mdeters/uf-kinds
[cvc5.git]
/
config
/
readline.m4
2014-01-08
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
2014-01-08
Morgan Deters
Switch license default back to BSD, and add --best...
blob
|
commitdiff
|
raw
2013-12-17
Tianyi Liang
Merge branch 'master' of https://github.com/CVC4/CVC4
blob
|
commitdiff
|
raw
|
diff to current
2013-12-17
Morgan Deters
Merge branch '1.3.x'
blob
|
commitdiff
|
raw
|
diff to current
2013-12-17
Morgan Deters
some config changes: new --bsd option, readline gives...
blob
|
commitdiff
|
raw
|
diff to current
2012-11-27
Morgan Deters
more mac fixes
blob
|
commitdiff
|
raw
|
diff to current
2012-11-27
Morgan Deters
fix for some Mac builds
blob
|
commitdiff
|
raw
|
diff to current
2012-10-24
Morgan Deters
Includes many fixes to build system for Solaris (thanks...
blob
|
commitdiff
|
raw
|
diff to current
2012-10-06
Morgan Deters
* Clean up some options documentation
blob
|
commitdiff
|
raw
|
diff to current
2012-09-21
Morgan Deters
SMT-LIBv2 compliance updates:
blob
|
commitdiff
|
raw
|
diff to current
2012-03-30
Dejan Jovanović
fixing some build systme warnings
blob
|
commitdiff
|
raw
|
diff to current
2012-02-22
Morgan Deters
make sure to clear out READLINE_LIBS if readline causes...
blob
|
commitdiff
|
raw
|
diff to current
2012-02-20
Morgan Deters
readline links in -ltermcap -ltinfo too (fixes breakage...
blob
|
commitdiff
|
raw
|
diff to current
2011-10-19
Morgan Deters
fix bug #264: competition / other static library builds...
blob
|
commitdiff
|
raw
|
diff to current
2011-05-02
Morgan Deters
fix for configure
blob
|
commitdiff
|
raw
|
diff to current
2011-05-02
Morgan Deters
more minor fixes related to last few commits
blob
|
commitdiff
|
raw
|
diff to current
2011-05-01
Morgan Deters
minor fixes, plus experimental readline support in...
blob
|
commitdiff
|
raw
|
diff to current