about summary refs log tree commit diff homepage
path: root/www/KQuery.html
AgeCommit message (Collapse)Author
2013-07-25remove www from master branchDominic Chen
2013-07-25Revert "move website to separate repo"Dominic Chen
This reverts commit 6ae711b1d900bffbca407fe97d5e5ce97745dff1.
2013-07-25move website to separate repoDominic Chen
2013-05-07Patch by Dan Liew: "Added examples of using updates in KQuery documentation."Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181310 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-07Patch by Dan Liew: 'Improved clarity of KQuery documentation by changing ↵Cristian Cadar
"version-specifier" to "version"' git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181309 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-07Patch by Dan Liew: "EBNF for constant array initialisation in KQuery ↵Cristian Cadar
documentation improvement." git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181308 91177308-0d34-0410-b5e6-96231b3b80d8
2013-05-07Patch by Dan Liew that fixes an incorrect example in the KQuery documention. Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@181307 91177308-0d34-0410-b5e6-96231b3b80d8
2010-06-25Clarify that expression labels are globally scoped.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@106817 91177308-0d34-0410-b5e6-96231b3b80d8
2009-07-11Update documentation for Not, and normalize some formatting.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@75373 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-20KQuery documentation: division and shift operations.Cristian Cadar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73814 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-07Implement array declarations.Daniel Dunbar
- Printing current prints all declarations, and we allow redefinition, since the printer doesn't know what has already been printed. - Names don't print right yet, since the Array* object doesn't have the name. - Various things are unsupported. o Array domain/range must be w32/w8. o Concrete initializers for arrays are unsupported. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73026 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-07Eliminate anonymous versions.Daniel Dunbar
- For now, this means the isRooted flag for arrays isn't propogated to the kquery language. We should figure out how to do this, but allow anonymous versions isn't the right way. Also, improved the error on invalid writes a bit. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73018 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-06Document the KQuery language.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72997 91177308-0d34-0410-b5e6-96231b3b80d8
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-22 11:58:04 +0000