Skip to content

Commit

Permalink
delete history
Browse files Browse the repository at this point in the history
  • Loading branch information
Documenter.jl committed Jun 28, 2024
0 parents commit 6cccb49
Show file tree
Hide file tree
Showing 139 changed files with 28,581 additions and 0 deletions.
1 change: 1 addition & 0 deletions dev/.documenter-siteinfo.json
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
{"documenter":{"julia_version":"1.10.4","generation_timestamp":"2024-06-28T06:10:20","documenter_version":"1.5.0"}}
4 changes: 4 additions & 0 deletions dev/about/index.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
<!DOCTYPE html>
<html lang="en"><head><meta charset="UTF-8"/><meta name="viewport" content="width=device-width, initial-scale=1.0"/><title>About · SpaceExParser.jl</title><meta name="title" content="About · SpaceExParser.jl"/><meta property="og:title" content="About · SpaceExParser.jl"/><meta property="twitter:title" content="About · SpaceExParser.jl"/><meta name="description" content="Documentation for SpaceExParser.jl."/><meta property="og:description" content="Documentation for SpaceExParser.jl."/><meta property="twitter:description" content="Documentation for SpaceExParser.jl."/><script data-outdated-warner src="../assets/warner.js"></script><link href="https://cdnjs.cloudflare.com/ajax/libs/lato-font/3.0.0/css/lato-font.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/juliamono/0.050/juliamono.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.4.2/css/fontawesome.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.4.2/css/solid.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.4.2/css/brands.min.css" rel="stylesheet" type="text/css"/><link href="https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.16.8/katex.min.css" rel="stylesheet" type="text/css"/><script>documenterBaseURL=".."</script><script src="https://cdnjs.cloudflare.com/ajax/libs/require.js/2.3.6/require.min.js" data-main="../assets/documenter.js"></script><script src="../search_index.js"></script><script src="../siteinfo.js"></script><script src="../../versions.js"></script><link class="docs-theme-link" rel="stylesheet" type="text/css" href="../assets/themes/catppuccin-mocha.css" data-theme-name="catppuccin-mocha"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="../assets/themes/catppuccin-macchiato.css" data-theme-name="catppuccin-macchiato"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="../assets/themes/catppuccin-frappe.css" data-theme-name="catppuccin-frappe"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="../assets/themes/catppuccin-latte.css" data-theme-name="catppuccin-latte"/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="../assets/themes/documenter-dark.css" data-theme-name="documenter-dark" data-theme-primary-dark/><link class="docs-theme-link" rel="stylesheet" type="text/css" href="../assets/themes/documenter-light.css" data-theme-name="documenter-light" data-theme-primary/><script src="../assets/themeswap.js"></script><link href="../assets/aligned.css" rel="stylesheet" type="text/css"/></head><body><div id="documenter"><nav class="docs-sidebar"><a class="docs-logo" href="../"><img src="../assets/logo.png" alt="SpaceExParser.jl logo"/></a><div class="docs-package-name"><span class="docs-autofit"><a href="../">SpaceExParser.jl</a></span></div><button class="docs-search-query input is-rounded is-small is-clickable my-2 mx-auto py-1 px-2" id="documenter-search-query">Search docs (Ctrl + /)</button><ul class="docs-menu"><li><a class="tocitem" href="../">Home</a></li><li><span class="tocitem">Examples</span><ul><li><a class="tocitem" href="../examples/examples/">Introduction</a></li><li><a class="tocitem" href="../examples/bball/">Bouncing ball</a></li></ul></li><li><span class="tocitem">Library</span><ul><li><a class="tocitem" href="../lib/types/">Types</a></li><li><a class="tocitem" href="../lib/methods/">Methods</a></li></ul></li><li class="is-active"><a class="tocitem" href>About</a><ul class="internal"><li><a class="tocitem" href="#Contributing"><span>Contributing</span></a></li><li><a class="tocitem" href="#Credits"><span>Credits</span></a></li></ul></li></ul><div class="docs-version-selector field has-addons"><div class="control"><span class="docs-label button is-static is-size-7">Version</span></div><div class="docs-selector control is-expanded"><div class="select is-fullwidth is-size-7"><select id="documenter-version-selector"></select></div></div></div></nav><div class="docs-main"><header class="docs-navbar"><a class="docs-sidebar-button docs-navbar-link fa-solid fa-bars is-hidden-desktop" id="documenter-sidebar-button" href="#"></a><nav class="breadcrumb"><ul class="is-hidden-mobile"><li class="is-active"><a href>About</a></li></ul><ul class="is-hidden-tablet"><li class="is-active"><a href>About</a></li></ul></nav><div class="docs-right"><a class="docs-navbar-link" href="https://github.com/JuliaReach/SpaceExParser.jl" title="View the repository on GitHub"><span class="docs-icon fa-brands"></span><span class="docs-label is-hidden-touch">GitHub</span></a><a class="docs-navbar-link" href="https://github.com/JuliaReach/SpaceExParser.jl/blob/master/docs/src/about.md" title="Edit source on GitHub"><span class="docs-icon fa-solid"></span></a><a class="docs-settings-button docs-navbar-link fa-solid fa-gear" id="documenter-settings-button" href="#" title="Settings"></a><a class="docs-article-toggle-button fa-solid fa-chevron-up" id="documenter-article-toggle-button" href="javascript:;" title="Collapse all docstrings"></a></div></header><article class="content" id="documenter-page"><h1 id="About"><a class="docs-heading-anchor" href="#About">About</a><a id="About-1"></a><a class="docs-heading-anchor-permalink" href="#About" title="Permalink"></a></h1><p>This page contains some general information about this project, and recommendations about contributing.</p><ul><li><a href="#About">About</a></li><li class="no-marker"><ul><li><a href="#Contributing">Contributing</a></li><li><a href="#Credits">Credits</a></li></ul></li></ul><h2 id="Contributing"><a class="docs-heading-anchor" href="#Contributing">Contributing</a><a id="Contributing-1"></a><a class="docs-heading-anchor-permalink" href="#Contributing" title="Permalink"></a></h2><p>If you like this package, consider contributing!</p><p><a href="https://help.github.com/en/articles/creating-an-issue">Creating an issue</a> in the <a href="https://github.com/JuliaReach/SpaceExParser.jl/issues">GitHub issue tracker</a> to report a bug, open a discussion about existing functionality, or suggesting new functionality is appreciated.</p><p>If you have written code and would like it to be peer reviewed and added to the library, you can <a href="https://help.github.com/en/articles/fork-a-repo">fork</a> the repository and send a pull request (see below). Typical contributions include fixing a bug, adding a new feature or improving the documentation (either in source code or the <a href="https://juliareach.github.io/SpaceExParser.jl/latest/man/getting_started/">online manual</a>).</p><p>Below we detail some general comments about contributing to this package. The <a href="https://juliareach.github.io/JuliaReachDevDocs/latest/">JuliaReach Developer&#39;s Documentation</a> describes coding guidelines; take a look when in doubt about the coding style that is expected for the code that is finally merged into the library.</p><h3 id="Branches"><a class="docs-heading-anchor" href="#Branches">Branches</a><a id="Branches-1"></a><a class="docs-heading-anchor-permalink" href="#Branches" title="Permalink"></a></h3><p>Each pull request (PR) should be pushed in a new branch with the name of the author followed by a descriptive name, e.g. <code>mforets/my_feature</code>. If the branch is associated to a previous discussion in one issue, we use the name of the issue for easier lookup, e.g. <code>mforets/7</code>.</p><h3 id="Unit-testing-and-continuous-integration-(CI)"><a class="docs-heading-anchor" href="#Unit-testing-and-continuous-integration-(CI)">Unit testing and continuous integration (CI)</a><a id="Unit-testing-and-continuous-integration-(CI)-1"></a><a class="docs-heading-anchor-permalink" href="#Unit-testing-and-continuous-integration-(CI)" title="Permalink"></a></h3><p>This project is synchronized with GitHub Actions such that each PR gets tested before merging (and the build is automatically triggered after each new commit). For the maintainability of this project, it is important to make all unit tests pass.</p><p>To run the unit tests locally, you can do:</p><pre><code class="language-julia hljs">julia&gt; using Pkg

julia&gt; Pkg.test(&quot;ReachabilityBase&quot;)</code></pre><p>We also advise adding new unit tests when adding new features to ensure long-term support of your contributions.</p><h3 id="Contributing-to-the-documentation"><a class="docs-heading-anchor" href="#Contributing-to-the-documentation">Contributing to the documentation</a><a id="Contributing-to-the-documentation-1"></a><a class="docs-heading-anchor-permalink" href="#Contributing-to-the-documentation" title="Permalink"></a></h3><p>This documentation is written in Markdown, and it relies on <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> to produce the HTML layout. To build the docs, run <code>make.jl</code>:</p><pre><code class="language-bash hljs">$ julia --color=yes docs/make.jl</code></pre><h2 id="Credits"><a class="docs-heading-anchor" href="#Credits">Credits</a><a id="Credits-1"></a><a class="docs-heading-anchor-permalink" href="#Credits" title="Permalink"></a></h2><p>These persons have contributed to <code>SpaceExParser.jl</code> (in alphabetic order):</p><ul><li><a href="http://mforets.github.io">Marcelo Forets</a></li><li>Nikos Kekatos</li><li><a href="https://www.christianschilling.net/">Christian Schilling</a></li></ul></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../lib/methods/">« Methods</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.5.0 on <span class="colophon-date" title="Friday 28 June 2024 06:10">Friday 28 June 2024</span>. Using Julia version 1.10.4.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
3 changes: 3 additions & 0 deletions dev/assets/aligned.css
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
p {
text-align: justify
}
Binary file added dev/assets/bball.png
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Loading

0 comments on commit 6cccb49

Please sign in to comment.