Merge pull request #14 from ariady-putra/main

v5.180.202403
aiken-extra · Mar 29, 2024 · 4a4624e · 4a4624e
2 parents b58ff94 + bbe24d6
commit 4a4624e
Show file tree

Hide file tree

Showing 24 changed files with 167 additions and 2,193 deletions.
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
@@ -13,8 +13,8 @@ jobs:
 
       - uses: aiken-lang/setup-aiken@v0.1.0
         with:
-          version: v1.0.21-alpha
+          version: v1.0.26-alpha
 
       - run: aiken fmt --check
-      - run: aiken check -D
-      - run: aiken build
+      - run: aiken c -D
+      - run: aiken b
diff --git a/README.md b/README.md
@@ -2,7 +2,7 @@
 
 A utility library to help comparing time intervals.
 
-| ℹ️  | Package info    | aiken-extra/time_util v5.170.202312                                                                 | 🪲  |
+| ℹ️  | Package info    | aiken-extra/time_util v5.180.202403                                                                 | 🪲  |
 | --- | --------------- | --------------------------------------------------------------------------------------------------- | --- |
-| 🟢  | **Depends on**  | **aiken-lang/stdlib v1.7.0**                                                                        | ✔️  |
-| 🟢  | **Tested with** | **[07122aaa88](https://github.com/aiken-lang/aiken/tree/07122aaa88925c1a9d9db0bc30517e4b2b3c55af)** | ✔️  |
+| 🟢  | **Depends on**  | **aiken-lang/stdlib v1.8.0**                                                                        | ✔️  |
+| 🟢  | **Tested with** | **[21b1e29f09](https://github.com/aiken-lang/aiken/tree/21b1e29f0951db3574ffe714c06f3fcc5cd28d51)** | ✔️  |
diff --git a/aiken.lock b/aiken.lock
@@ -3,12 +3,12 @@
 
 [[requirements]]
 name = "aiken-lang/stdlib"
-version = "1.7.0"
+version = "1.8.0"
 source = "github"
 
 [[packages]]
 name = "aiken-lang/stdlib"
-version = "1.7.0"
+version = "1.8.0"
 requirements = []
 source = "github"
 

diff --git a/aiken.sh b/aiken.sh
@@ -6,12 +6,12 @@ RESET='\033[0m'
 
 # aiken check
 echo -e "${MAGENTA}Running${RESET} ${WHITE}aiken check${RESET}:"
-cargo-aiken check 2>&1 | tee ${PROJECT}.tests
+cargo-aiken c 2>&1 | tee ${PROJECT}.tests
 echo "" # new line
 
 # aiken build
 echo -e "${MAGENTA}Running${RESET} ${WHITE}aiken build${RESET}:"
-cargo-aiken build $1
+cargo-aiken b $1
 echo "" # new line
 
 # aiken blueprint & address

diff --git a/aiken.toml b/aiken.toml
@@ -1,5 +1,5 @@
 name = "aiken-extra/time_util"
-version = "5.170.202312"
+version = "5.180.202403"
 license = "Apache-2.0"
 description = "An Aiken utility library to help comparing time intervals"
 
@@ -10,5 +10,5 @@ platform = "github"
 
 [[dependencies]]
 name = "aiken-lang/stdlib"
-version = "1.7.0"
+version = "1.8.0"
 source = "github"
diff --git a/docs/index.html b/docs/index.html
@@ -7,8 +7,8 @@
     <meta name="theme-color" content="#eff1f5" media="(prefers-color-scheme: light)"/>
     <meta name="theme-color" content="#1e1e2e" media="(prefers-color-scheme: dark)"/>
     <link rel="icon" type="image/svg+xml" sizes="any" href="./favicon.svg"/>
-    <link rel="stylesheet" href="./css/index.css?v=1.0.21-alpha" type="text/css"/>
-    <link id="syntax-theme" rel="stylesheet" href="./css/atom-one-light.min.css?v=1.0.21-alpha"/>
+    <link rel="stylesheet" href="./css/index.css?v=1.0.26-alpha" type="text/css"/>
+    <link id="syntax-theme" rel="stylesheet" href="./css/atom-one-light.min.css?v=1.0.26-alpha"/>
   </head>
   <body class="prewrap-off theme-light drawer-closed">
     <script>
@@ -120,13 +120,13 @@
       <h2>
         <a href="./">time_util</a>
         <span id="project-version">
-          <span>v5.170.202312 </span>
+          <span>v5.180.202403 </span>
         </span>
         <script>
           "use strict";
 
           if ("undefined" !== typeof versionNodes) {
-            const currentVersion = "v5.170.202312";
+            const currentVersion = "v5.180.202403";
             if (! versionNodes.find(element => element.version === currentVersion)) {
               versionNodes.unshift({ version: currentVersion, url: "#" });
             }
@@ -188,71 +188,43 @@ <h2>Source code</h2>
 
         <h2>Modules</h2>
 
+	<h3 class="modules-prefix">time_util/</h3>
+
         <ul>
 
-	  <li><a href="./test_bound.html">
-
-	  test_bound
-
-	  </a></li>
-
-	  <li><a href="./test_cheap_interval_util.html">
-
-	  test_cheap_interval_util
-
-	  </a></li>
-
-	  <li><a href="./test_cheap_posixtime_util.html">
-
-	  test_cheap_posixtime_util
-
-	  </a></li>
-
-	  <li><a href="./test_time_util.html">
-
-	  test_time_util
-
-	  </a></li>
-
-	  <li><a href="./test_unsafe_bound.html">
-
-	  test_unsafe_bound
-
-	  </a></li>
-
 	  <li><a href="./time_util/bound.html">
 
-	  time_util/bound
+	  bound
 
 	  </a></li>
 
 	  <li><a href="./time_util/cheap/interval.html">
 
-	  time_util/cheap/interval
+	  cheap/interval
 
 	  </a></li>
 
 	  <li><a href="./time_util/cheap/posixtime.html">
 
-	  time_util/cheap/posixtime
+	  cheap/posixtime
 
 	  </a></li>
 
 	  <li><a href="./time_util/interval.html">
 
-	  time_util/interval
+	  interval
 
 	  </a></li>
 
 	  <li><a href="./time_util/posixtime.html">
 
-	  time_util/posixtime
+	  posixtime
 
 	  </a></li>
 
 	  <li><a href="./time_util/unsafe/bound.html">
 
-	  time_util/unsafe/bound
+	  unsafe/bound
 
 	  </a></li>
 
@@ -265,9 +237,9 @@ <h2>Modules</h2>
 
 <h1>time_util</h1>
 <p>A utility library to help comparing time intervals.</p>
-<table><thead><tr><th>ℹ️</th><th>Package info</th><th>aiken-extra/time_util v5.170.202312</th><th>🪲</th></tr></thead><tbody>
-<tr><td>🟢</td><td><strong>Depends on</strong></td><td><strong>aiken-lang/stdlib v1.7.0</strong></td><td>✔️</td></tr>
-<tr><td>🟢</td><td><strong>Tested with</strong></td><td><strong><a href="https://github.com/aiken-lang/aiken/tree/07122aaa88925c1a9d9db0bc30517e4b2b3c55af">07122aaa88</a></strong></td><td>✔️</td></tr>
+<table><thead><tr><th>ℹ️</th><th>Package info</th><th>aiken-extra/time_util v5.180.202403</th><th>🪲</th></tr></thead><tbody>
+<tr><td>🟢</td><td><strong>Depends on</strong></td><td><strong>aiken-lang/stdlib v1.8.0</strong></td><td>✔️</td></tr>
+<tr><td>🟢</td><td><strong>Tested with</strong></td><td><strong><a href="https://github.com/aiken-lang/aiken/tree/21b1e29f0951db3574ffe714c06f3fcc5cd28d51">21b1e29f09</a></strong></td><td>✔️</td></tr>
 </tbody></table>
 
 
@@ -320,8 +292,8 @@ <h1>time_util</h1>
       </defs>
     </svg>
 
-    <script src="./js/highlight.min.js?v=1.0.21-alpha"></script>
-    <script src="./js/highlightjs-aiken.js?v=1.0.21-alpha"></script>
+    <script src="./js/highlight.min.js?v=1.0.26-alpha"></script>
+    <script src="./js/highlightjs-aiken.js?v=1.0.26-alpha"></script>
     <script>
       document.querySelectorAll("pre code").forEach((elem) => {
         // if (elem.className === "") {
@@ -340,9 +312,9 @@ <h1>time_util</h1>
 	el.prepend(a);
       });
     </script>
-    <script src="./js/lunr.min.js?v=1.0.21-alpha"></script>
-    <script src="./js/index.js?v=1702659363"></script>
+    <script src="./js/lunr.min.js?v=1.0.26-alpha"></script>
+    <script src="./js/index.js?v=1711702624"></script>
     <!-- Load the search index using JSONP to avoid CORS issues -->
-    <script src="./search-data.js?v=1702659363"></script>
+    <script src="./search-data.js?v=1711702624"></script>
   </body>
 </html>
diff --git a/docs/search-data.js b/docs/search-data.js