Skip to content

/ sedasuitedocs

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

PDF generate target and scripts #1

Merged
merged 12 commits into from Oct 27, 2020
+260 −23
Merged

PDF generate target and scripts #1

Changes from 1 commit
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
e590b6b
Docker image and files needed to generate pdf
mmicko Oct 21, 2020
eada5da
add downloading additional repos
mmicko Oct 21, 2020
0f894ea
Use sphinx from pip so we can generate html
mmicko Oct 21, 2020
ecdeedf
replaced aws link with full instructions
mattvenn Oct 21, 2020
4de6618
directly link sby and mcy documentation
mmicko Oct 21, 2020
ffa6dc5
end of line
mmicko Oct 21, 2020
d3d255c
Merge pull request #2 from SymbioticEDA/transfer-aws-instructions
mmicko Oct 21, 2020
8b44e53
Add proper mapping to other documents
mmicko Oct 23, 2020
eb30a09
Add training text
mmicko Oct 23, 2020
8f8908e
Update document name
mmicko Oct 23, 2020
8aade55
Merge branch 'master' into pdf
mmicko Oct 27, 2020
ce12256
Update training.rst
mmicko Oct 27, 2020
File filter...
Filter file types
Clear filters
Jump to…
Jump to file
Failed to load files.

Always

Just for now

Prev

Update training.rst

  • Loading branch information
@mmicko
mmicko committed Oct 27, 2020
Verified
This commit was created on GitHub.com and signed with a verified signature using GitHub’s key.
GPG key ID: 4AEE18F83AFDEB23 Learn about signing commits
commit ce12256433da306358fd4c6518b44c3e88100e59
4 docs/source/training.rst
View file
Open in desktop
@@ -3,8 +3,8 @@ Training

Get in touch with us at `Symbiotic EDA <mailto:matt@symbioticeda.com>`_ to arrange training in any of our tools.

Introduction to Formal Verification Course
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
Introductory Course
~~~~~~~~~~~~~~~~~~~

* 1 day of course material can be split over multiple sessions.
* Suitable for beginners who want to get started using the tools.
ProTip! Use n and p to navigate between commits in a pull request.