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