index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
www
/
KQuery.html
Age
Commit message (
Expand
)
Author
2013-07-25
remove www from master branch
Dominic Chen
2013-07-25
Revert "move website to separate repo"
Dominic Chen
2013-07-25
move website to separate repo
Dominic Chen
2013-05-07
Patch by Dan Liew: "Added examples of using updates in KQuery documentation."
Cristian Cadar
2013-05-07
Patch by Dan Liew: 'Improved clarity of KQuery documentation by changing "ver...
Cristian Cadar
2013-05-07
Patch by Dan Liew: "EBNF for constant array initialisation in KQuery document...
Cristian Cadar
2013-05-07
Patch by Dan Liew that fixes an incorrect example in the KQuery documention.
Cristian Cadar
2010-06-25
Clarify that expression labels are globally scoped.
Daniel Dunbar
2009-07-11
Update documentation for Not, and normalize some formatting.
Daniel Dunbar
2009-06-20
KQuery documentation: division and shift operations.
Cristian Cadar
2009-06-07
Implement array declarations.
Daniel Dunbar
2009-06-07
Eliminate anonymous versions.
Daniel Dunbar
2009-06-06
Document the KQuery language.
Daniel Dunbar
