Commit Graph

286 Commits

Author SHA1 Message Date
James Fletcher
82ca45f0b5 Merge pull request #2131 from shati-patel/spec-links
Docs: Update links to avoid redirects within help.semmle.com
2019-10-21 10:02:34 +01:00
Jonas Jensen
c0fdcf3089 Merge pull request #2094 from rdmarsh2/rdmarsh/docs/cpp/advanced-library-guide
C++/Docs: Add guides to advanced AST libraries
2019-10-21 10:40:53 +02:00
Robert Marsh
fc7dbeb0a9 Docs: quotes around "then" block and "else" block 2019-10-18 13:00:02 -07:00
Robert Marsh
30e501e110 C++/Docs: reword "divide" to "partition"
Co-Authored-By: Jonas Jensen <jbj@knef.dk>
2019-10-17 12:22:37 -07:00
Robert Marsh
3c127fb829 C++/Docs: expand on VN/HC and add wikipedia links 2019-10-16 13:09:36 -07:00
Robert Marsh
0cc0977a09 C++/Docs: more examples and rewording for guards 2019-10-16 12:45:59 -07:00
Robert Marsh
9aea2eda9b Apply suggestions from code review
Co-Authored-By: James Fletcher <42464962+jf205@users.noreply.github.com>
2019-10-15 14:11:45 -07:00
Shati Patel
a2162ba6f3 Docs: Update some more links 2019-10-15 16:19:18 +01:00
Shati Patel
1a319b03cd Docs: Update links to language specification 2019-10-15 16:02:45 +01:00
Robert Marsh
47668f275f C++/Docs: move controls predicate to top of file 2019-10-14 11:54:55 -07:00
james
09cd86c005 docs: heading levels 2019-10-10 14:38:14 +01:00
Robert Marsh
62c73a5f70 C++/Docs: more work on guards.rst
Added some examples and reworded portions of guards.rst. There's still
more to do - examples for ensures and compares predicates, and possibly
rewording the description of the compares predicates
2019-10-09 16:13:53 -07:00
Robert Marsh
500a81ad1e C++/Docs: remove reference to IR GVN 2019-10-09 10:45:39 -07:00
Robert Marsh
07e7d061cd C++/Docs: expand on gvn and hashcons design 2019-10-08 13:41:26 -07:00
Robert Marsh
aee87ebaaa C++/Docs: respond to simple PR comments 2019-10-08 10:53:54 -07:00
Robert Marsh
a90e8684e4 C++: Apply suggestions from code review
Co-Authored-By: Jonas Jensen <jbj@knef.dk>
2019-10-08 10:40:08 -07:00
Robert Marsh
d8f539d78b C++/Docs: Add guides to advanced AST libraries 2019-10-07 16:14:10 -07:00
semmle-qlci
a019c456e9 Merge pull request #1985 from shati-patel/ql-etudes
Approved by jf205
2019-10-03 09:16:22 +01:00
Shati Patel
3dd2a6c325 QL etudes: Add further explanation + link 2019-10-02 12:21:23 +01:00
Shati Patel
427325b04a QL etudes: Update with Robert's suggestions 2019-10-01 11:23:41 +01:00
james
3a4cef646d docs: fix some formatting issues 2019-09-26 16:04:01 +01:00
Rasmus Wriedt Larsen
94d876e8a3 Learn QL: Fix query link in Python Points-to tutorial
(cherry picked from commit c6c565bc37)
2019-09-26 10:44:29 +01:00
Rasmus Wriedt Larsen
9511465f04 Learn QL: Minor formatting fix in python/statements-expressions
(cherry picked from commit c47a4e0c44)
2019-09-26 10:44:29 +01:00
Rasmus Wriedt Larsen
c47a4e0c44 Learn QL: Minor formatting fix in python/statements-expressions 2019-09-26 11:16:24 +02:00
Rasmus Wriedt Larsen
c6c565bc37 Learn QL: Fix query link in Python Points-to tutorial 2019-09-25 18:20:48 +02:00
Shati Patel
886b258385 QL etudes: Update linked queries 2019-09-25 14:35:25 +01:00
Shati Patel
0b0f69fe2d QL etudes: Tidy up alternative solns 2019-09-25 12:50:05 +01:00
Shati Patel
3441696100 Apply suggestions from code review 2019-09-24 17:28:14 +01:00
Shati Patel
c156d6a555 Autoformat QL 2019-09-23 17:34:08 +01:00
Shati Patel
f88f7962e7 QL etudes: Update predicate 2019-09-23 10:19:49 +01:00
Shati Patel
f94b01cb40 QL etudes: Address comments + fix sphinx warning 2019-09-23 09:52:43 +01:00
Shati Patel
56bc8cb035 QL etudes: Add river crossing puzzle
WIP
2019-09-20 14:23:47 +01:00
james
06b391ef9b docs: fix links 2019-09-20 11:14:16 +01:00
Max Schaefer
4fe74c0b2a Merge pull request #1960 from Semmle/rc/1.22
Merge rc/1.22 into master
2019-09-20 09:08:40 +01:00
james
1d0a96f0a1 docs: mention icons on training homepage 2019-09-19 08:44:13 +01:00
Tom Hvitved
cf4db48eb1 Merge branch 'rc/1.22' into master 2019-09-18 16:53:55 +02:00
Max Schaefer
fa4db5a841 JavaScript: Fix link to restify in library tutorial.
(cherry picked from commit af24d125388ed89dcd364697d955026a1f46fd33)
2019-09-13 15:28:21 +01:00
Max Schaefer
f1588b2622 JavaScript: Fix description of call graphs.
(cherry picked from commit 2817cf060f6a506ee51a0296b3745e7406fc7cfc)
2019-09-13 15:28:21 +01:00
james
ffa370a8ad docs: fix broken links in js topics
(cherry picked from commit e8f867204d)
2019-09-13 15:28:20 +01:00
james
f2baf43f74 docs: fix broken Expr links
(cherry picked from commit 9437c2d007)
2019-09-10 16:04:34 +01:00
jf205
20df58f400 Update docs/language/learn-ql/ql-training.rst
Co-Authored-By: shati-semmle <42641846+shati-semmle@users.noreply.github.com>
(cherry picked from commit 1f67d71f5f)
2019-09-10 16:03:06 +01:00
jf205
1c0db5dce8 Update docs/language/learn-ql/ql-training.rst
Co-Authored-By: shati-semmle <42641846+shati-semmle@users.noreply.github.com>
(cherry picked from commit 4ec828a719)
2019-09-10 16:03:06 +01:00
james
fcba260393 docs: fix a couple of links
(cherry picked from commit 16aaa95566)
2019-09-10 16:03:05 +01:00
james
7e7b9e5578 docs: remove VA section from writing-queries.rst
(cherry picked from commit 6f9d4c8562)
2019-09-10 16:03:04 +01:00
james
8efcabf237 docs: rework ql-training.rst
(cherry picked from commit 49955c56be)
2019-09-10 16:03:04 +01:00
james
b56b28e228 docs: reorganize and add some ref bookmarks to learn-ql index
(cherry picked from commit 593818b71a)
2019-09-10 16:03:04 +01:00
james
d1d19bf744 docs: add ql-training page to learn-ql project
(cherry picked from commit c8dd5e620c)
2019-09-10 16:03:02 +01:00
Mark Shannon
541706ed53 Python docs: Fix typos and rst formatting issue.
(cherry picked from commit d096644773)
2019-09-10 15:57:52 +01:00
Mark Shannon
63a391a654 Python docs: remove confusing reference to SSA as 'dataflow' and add a reference to the taint-tracking library from the library overview page.
(cherry picked from commit dafed6b93e)
2019-09-10 15:57:51 +01:00
Mark Shannon
1fe5d0cb97 Python docs: Remove all references to ClassExpr and FunctionExpr; we want to remove them eventually.
(cherry picked from commit 562f4ef604)
2019-09-10 15:57:51 +01:00