Commit Graph

255 Commits

Author SHA1 Message Date
james
efe84a6d93 docs: ql-for-go.rst 2019-10-23 09:16:38 +01:00
Robert Marsh
219fcb7889 Merge pull request #2160 from jf205/review-cpp-docs
docs: editorial suggestions to new C/C++ topics
2019-10-22 10:59:59 -07:00
Shati Patel
50c7816a66 Fix broken link 2019-10-22 15:12:06 +01:00
james
ec15add112 docs: fix headings 2019-10-21 12:03:59 +01:00
James Fletcher
31bd2abd87 Update docs/language/learn-ql/cpp/value-numbering-hash-cons.rst
Co-Authored-By: shati-patel <42641846+shati-patel@users.noreply.github.com>
2019-10-21 11:26:27 +01:00
james
d4e9aa53f3 docs: edits to new cpp topics 2019-10-21 10:34:28 +01:00
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
Shati Patel
54d7bba3dd Docs: Remove unused styling 2019-10-17 11:31:35 +01: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
shati-patel
c8595d1da1 Merge pull request #2111 from jf205/fix-heading
docs: fix heading levels in c/c++ topic
2019-10-11 10:21:08 +01:00
Shati Patel
b6311836a0 Docs: small fixes 2019-10-10 15:50:50 +01: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
Alexander Eyers-Taylor
70caa9b82c Merge pull request #2105 from shati-patel/qldoc-spec
Terminology update
2019-10-09 17:02:35 +01:00
Nick Rolfe
91d3389e58 QL training: fix typos 2019-10-09 15:55:41 +01:00
shati-patel
9bb1b4f68a Terminology update
Method -> member predicate
2019-10-09 15:08:18 +01: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
9c54eef45a QL HB: Update aggregation section 2019-10-02 12:48:16 +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
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
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
Shati Patel
2956cb781b Sphinx: Change to pointer 2019-09-19 15:07:18 +01:00
Shati Patel
0a710f2770 Sphinx: Make clickable section more obvious 2019-09-19 12:00:26 +01:00
Shati Patel
7aefb839a7 Sphinx: Add support for collapsible sections 2019-09-19 10:44:34 +01:00
james
4adda1056f docs: better fix for width on notes 2019-09-19 09:27:28 +01:00
james
8b13e32598 docs: add icons on slides with notes 2019-09-19 08:44:36 +01:00
james
1d0a96f0a1 docs: mention icons on training homepage 2019-09-19 08:44:13 +01:00
james
86069df9ee docs: mention graphviz in readme 2019-09-19 08:44:08 +01:00