projects
/
oota-llvm.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Taints the non-acquire RMW's store address with the load part
[oota-llvm.git]
/
test
/
Bindings
/
Ocaml
/ analysis.ml
2014-10-31
Peter Zotov
[OCaml] Ensure consistent naming.
commit
|
commitdiff
2014-10-30
Peter Zotov
[OCaml] Enable backtraces in tests.
commit
|
commitdiff
2014-10-30
Peter Zotov
[OCaml] [autoconf] Migrate to ocamlfind.
commit
|
commitdiff
2014-10-28
Peter Zotov
[OCaml] Fix whitespace.
commit
|
commitdiff
2014-10-28
Peter Zotov
[OCaml] PR9719, PR14727: Make tests run without ocamlopt.
commit
|
commitdiff
2013-08-23
Daniel Dunbar
[PR11606] ocaml bindings tests produce binaries in...
commit
|
commitdiff
2010-09-09
Daniel Dunbar
tests: XFAIL a handful of tests on the vg_leak builder...
commit
|
commitdiff
2010-08-20
Erick Tryzelaar
Fix the running of ocaml tests.
commit
|
commitdiff
2010-08-20
Bob Wilson
Fix some Ocaml tests: the %t substitution now returns...
commit
|
commitdiff
2009-09-03
Erick Tryzelaar
Replace ocamlc tests with ocamlopt tests since they...
commit
|
commitdiff
2009-08-19
Erick Tryzelaar
Convert the rest of the ocaml types and functions to...
commit
|
commitdiff
2009-08-19
Erick Tryzelaar
Allow passing around LLVMContext in ocaml.
commit
|
commitdiff
2008-10-22
Gordon Henriksen
[PR2886] Ignore stderr from ocamlc since it prints...
commit
|
commitdiff
2007-12-22
Gordon Henriksen
Fix a partial application typo.
commit
|
commitdiff
2007-12-01
Gordon Henriksen
Fix a typo noticed by Alain Frisch.
commit
|
commitdiff
2007-10-06
Gordon Henriksen
Bindings for the verifier.
commit
|
commitdiff