Skip to content

Commit

Permalink
Deploying to gh-pages from @ 1992fb3 🚀
Browse files Browse the repository at this point in the history
  • Loading branch information
@gares
gares committed Jan 13, 2025
1 parent 069225b commit e65aec7
Show file tree
Hide file tree
Showing 15 changed files with 2,136 additions and 2,099 deletions.
72 changes: 36 additions & 36 deletions _sources/playground.rst.txt
View file
Original file line number Diff line number Diff line change
Expand Up @@ -241,7 +241,7 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.002
Typechecking time: 0.001
Success:
Expand Down Expand Up @@ -308,7 +308,7 @@ Test Bed
Success:
Time: 0.001
Time: 0.000
Constraints:
{c0} : term c0 bool ?- term (X12 c0) nat /* suspended on X12 */
Expand Down Expand Up @@ -1401,7 +1401,7 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.001
Typechecking time: 0.002
Success:
Expand Down Expand Up @@ -1507,7 +1507,7 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.001
Typechecking time: 0.002
Success:
Expand All @@ -1533,7 +1533,7 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.001
Typechecking time: 0.002
Success:
Expand Down Expand Up @@ -1647,7 +1647,7 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.001
Typechecking time: 0.002
Success:
Expand Down Expand Up @@ -1792,7 +1792,7 @@ Test Bed
Success:
Time: 1.792
Time: 1.837
Constraints:
Expand Down Expand Up @@ -1896,7 +1896,7 @@ Test Bed
Success:
Time: 0.331
Time: 0.317
Constraints:
Expand Down Expand Up @@ -2223,7 +2223,7 @@ Test Bed

.. code-block:: console
1.303534 + 0.058142 + 0.914749
1.292555 + 0.058189 + 0.939908
.. code-block:: console
Expand All @@ -2237,7 +2237,7 @@ Test Bed
Success:
Time: 2.497
Time: 2.514
Constraints:
Expand All @@ -2254,7 +2254,7 @@ Test Bed

.. code-block:: console
6.401275 + 2.926368 + 0.387892
6.643814 + 3.134301 + 0.330023
.. code-block:: console
Expand All @@ -2268,7 +2268,7 @@ Test Bed
Success:
Time: 9.722
Time: 10.115
Constraints:
Expand All @@ -2285,21 +2285,21 @@ Test Bed

.. code-block:: console
5.701716 + 2.697709 + 0.228060
5.898713 + 2.858977 + 0.237309
.. code-block:: console
Parsing time: 0.000
Parsing time: 0.001
Compilation time: 0.001
Compilation time: 0.000
Typechecking time: 0.002
Success:
Time: 8.633
Time: 9.001
Constraints:
Expand Down Expand Up @@ -2661,7 +2661,7 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.001
Typechecking time: 0.002
Success:
Expand All @@ -2687,7 +2687,7 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.001
Typechecking time: 0.002
Success:
Expand Down Expand Up @@ -2739,7 +2739,7 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.001
Typechecking time: 0.002
Success:
Expand All @@ -2763,7 +2763,7 @@ Test Bed
Parsing time: 0.000
Compilation time: 0.000
Compilation time: 0.001
Typechecking time: 0.002
Expand Down Expand Up @@ -2941,7 +2941,7 @@ Test Bed
Success:
Time: 1.617
Time: 1.639
Constraints:
Expand Down Expand Up @@ -3028,7 +3028,7 @@ Test Bed
Success:
Time: 0.265
Time: 0.259
Constraints:
Expand Down Expand Up @@ -3067,7 +3067,7 @@ Test Bed
Success:
Time: 1.714
Time: 1.485
Constraints:
Expand Down Expand Up @@ -3241,11 +3241,11 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.001
Typechecking time: 0.002
Success:
Time: 0.145
Time: 0.146
Constraints:
Expand Down Expand Up @@ -3319,7 +3319,7 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.001
Typechecking time: 0.002
Success:
Expand All @@ -3340,7 +3340,7 @@ Test Bed

.. code-block:: console
1.094963 + 0.052925 + 0.764467
1.101004 + 0.054062 + 0.778327
.. code-block:: console
Expand All @@ -3354,7 +3354,7 @@ Test Bed
Success:
Time: 2.003
Time: 2.030
Constraints:
Expand Down Expand Up @@ -3428,7 +3428,7 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.001
Typechecking time: 0.002
**../../tests/sources/shorten_aux2.elpi
:**
Expand Down Expand Up @@ -3590,7 +3590,7 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.001
Typechecking time: 0.002
Success:
Expand Down Expand Up @@ -3730,7 +3730,7 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.001
Typechecking time: 0.002
Success:
Expand All @@ -3756,7 +3756,7 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.001
Typechecking time: 0.002
Success:
Expand All @@ -3782,7 +3782,7 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.001
Typechecking time: 0.002
Success:
Expand All @@ -3808,7 +3808,7 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.001
Typechecking time: 0.002
Success:
Expand Down Expand Up @@ -3970,7 +3970,7 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.001
Typechecking time: 0.002
Success:
Expand Down Expand Up @@ -4143,7 +4143,7 @@ Test Bed
Compilation time: 0.000
Typechecking time: 0.001
Typechecking time: 0.002
Success:
Expand Down
36 changes: 18 additions & 18 deletions _static/pygments.css
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,9 +6,9 @@ span.linenos.special { color: #000000; background-color: #ffffc0; padding-left:
.highlight .hll { background-color: #ffffcc }
.highlight { background: #f8f8f8; }
.highlight .c { color: #3D7B7B; font-style: italic } /* Comment */
.highlight .err { border: 1px solid #F00 } /* Error */
.highlight .err { border: 1px solid #FF0000 } /* Error */
.highlight .k { color: #008000; font-weight: bold } /* Keyword */
.highlight .o { color: #666 } /* Operator */
.highlight .o { color: #666666 } /* Operator */
.highlight .ch { color: #3D7B7B; font-style: italic } /* Comment.Hashbang */
.highlight .cm { color: #3D7B7B; font-style: italic } /* Comment.Multiline */
.highlight .cp { color: #9C6500 } /* Comment.Preproc */
Expand All @@ -25,34 +25,34 @@ span.linenos.special { color: #000000; background-color: #ffffc0; padding-left:
.highlight .gp { color: #000080; font-weight: bold } /* Generic.Prompt */
.highlight .gs { font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #800080; font-weight: bold } /* Generic.Subheading */
.highlight .gt { color: #04D } /* Generic.Traceback */
.highlight .gt { color: #0044DD } /* Generic.Traceback */
.highlight .kc { color: #008000; font-weight: bold } /* Keyword.Constant */
.highlight .kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
.highlight .kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
.highlight .kp { color: #008000 } /* Keyword.Pseudo */
.highlight .kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
.highlight .kt { color: #B00040 } /* Keyword.Type */
.highlight .m { color: #666 } /* Literal.Number */
.highlight .m { color: #666666 } /* Literal.Number */
.highlight .s { color: #BA2121 } /* Literal.String */
.highlight .na { color: #687822 } /* Name.Attribute */
.highlight .nb { color: #008000 } /* Name.Builtin */
.highlight .nc { color: #00F; font-weight: bold } /* Name.Class */
.highlight .no { color: #800 } /* Name.Constant */
.highlight .nd { color: #A2F } /* Name.Decorator */
.highlight .nc { color: #0000FF; font-weight: bold } /* Name.Class */
.highlight .no { color: #880000 } /* Name.Constant */
.highlight .nd { color: #AA22FF } /* Name.Decorator */
.highlight .ni { color: #717171; font-weight: bold } /* Name.Entity */
.highlight .ne { color: #CB3F38; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #00F } /* Name.Function */
.highlight .nf { color: #0000FF } /* Name.Function */
.highlight .nl { color: #767600 } /* Name.Label */
.highlight .nn { color: #00F; font-weight: bold } /* Name.Namespace */
.highlight .nn { color: #0000FF; font-weight: bold } /* Name.Namespace */
.highlight .nt { color: #008000; font-weight: bold } /* Name.Tag */
.highlight .nv { color: #19177C } /* Name.Variable */
.highlight .ow { color: #A2F; font-weight: bold } /* Operator.Word */
.highlight .w { color: #BBB } /* Text.Whitespace */
.highlight .mb { color: #666 } /* Literal.Number.Bin */
.highlight .mf { color: #666 } /* Literal.Number.Float */
.highlight .mh { color: #666 } /* Literal.Number.Hex */
.highlight .mi { color: #666 } /* Literal.Number.Integer */
.highlight .mo { color: #666 } /* Literal.Number.Oct */
.highlight .ow { color: #AA22FF; font-weight: bold } /* Operator.Word */
.highlight .w { color: #bbbbbb } /* Text.Whitespace */
.highlight .mb { color: #666666 } /* Literal.Number.Bin */
.highlight .mf { color: #666666 } /* Literal.Number.Float */
.highlight .mh { color: #666666 } /* Literal.Number.Hex */
.highlight .mi { color: #666666 } /* Literal.Number.Integer */
.highlight .mo { color: #666666 } /* Literal.Number.Oct */
.highlight .sa { color: #BA2121 } /* Literal.String.Affix */
.highlight .sb { color: #BA2121 } /* Literal.String.Backtick */
.highlight .sc { color: #BA2121 } /* Literal.String.Char */
Expand All @@ -67,9 +67,9 @@ span.linenos.special { color: #000000; background-color: #ffffc0; padding-left:
.highlight .s1 { color: #BA2121 } /* Literal.String.Single */
.highlight .ss { color: #19177C } /* Literal.String.Symbol */
.highlight .bp { color: #008000 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #00F } /* Name.Function.Magic */
.highlight .fm { color: #0000FF } /* Name.Function.Magic */
.highlight .vc { color: #19177C } /* Name.Variable.Class */
.highlight .vg { color: #19177C } /* Name.Variable.Global */
.highlight .vi { color: #19177C } /* Name.Variable.Instance */
.highlight .vm { color: #19177C } /* Name.Variable.Magic */
.highlight .il { color: #666 } /* Literal.Number.Integer.Long */
.highlight .il { color: #666666 } /* Literal.Number.Integer.Long */
2 changes: 1 addition & 1 deletion about.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@

<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>About &mdash; Elpi documentation</title>
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=b86133f3" />
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=80d5e7a1" />
<link rel="stylesheet" type="text/css" href="_static/css/theme.css?v=e59714d7" />


Expand Down
Loading

0 comments on commit e65aec7

Please sign in to comment.