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
james
4a8e8fa0de
docs: semmle logo
2019-10-04 09:28:45 +01: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
Felicity Chapman
56ed2f618d
Add alias for easier user-searching
2019-10-02 09:05:31 +01:00
Shati Patel
427325b04a
QL etudes: Update with Robert's suggestions
2019-10-01 11:23:41 +01:00
james
ff78feeeea
docs: version number and small css tweaks
2019-09-30 12:15:26 +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
Felicity Chapman
61b372b062
Add Go to supported languages topic and update release number
2019-09-23 17:52:02 +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
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
james
9242507487
docs: removed unused extension from conf.py
2019-09-19 08:44:01 +01:00
james
b07e1fa08d
docs: slightly adjust width of lists in notes
2019-09-19 08:43:48 +01:00
Tom Hvitved
cf4db48eb1
Merge branch 'rc/1.22' into master
2019-09-18 16:53:55 +02:00
Felicity Chapman
8a27af2016
Update remaining links to blog
2019-09-17 09:30:15 +01:00
Shati Patel
9187db585c
QL lexer: Require whitespace character after annotation
2019-09-13 16:13:13 +01: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