Skip to content

Remove config.now #6

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.

Sign up for GitHub

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

Merged
ariady-putra merged 1 commit into from
Jan 21, 2026
+39 −588
Merged

Remove config.now #6

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
3 changes: 1 addition & 2 deletions aiken.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,5 +20,4 @@ name = "aiken-lang/fuzz"
version = "2.2.0"
source = "github"

[config.default]
now = 1769000103000
[config]
34 changes: 17 additions & 17 deletions check.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -25,25 +25,25 @@ while getopts "m:E:H" opt; do
esac
done

# Get the Latest Block-time
echo -e "${MAGENTA}Getting${RESET} the latest ${WHITE}block time${RESET}:"
NOW=$(curl "https://api.koios.rest/api/v1/tip?select=block_time" | jq .[].block_time)
echo ""
# # Get the Latest Block-time
# echo -e "${MAGENTA}Getting${RESET} the latest ${WHITE}block time${RESET}:"
# NOW=$(curl "https://api.koios.rest/api/v1/tip?select=block_time" | jq .[].block_time)
# echo ""

# Print the Latest Block-time:
echo -e "${MAGENTA}Current${RESET} ${WHITE}block time${RESET}: ${NOW}000"
echo ""
# # Print the Latest Block-time:
# echo -e "${MAGENTA}Current${RESET} ${WHITE}block time${RESET}: ${NOW}000"
# echo ""

# Configure `aiken.toml`
CONFIG=()
while read LINE; do
if [[ "$LINE" == now* ]]; then
CONFIG+=("now = ${NOW}000")
else
CONFIG+=("$LINE")
fi
done < aiken.toml
printf "%s\n" "${CONFIG[@]}" > aiken.toml
# # Configure `aiken.toml`
# CONFIG=()
# while read LINE; do
# if [[ "$LINE" == now* ]]; then
# CONFIG+=("now = ${NOW}000")
# else
# CONFIG+=("$LINE")
# fi
# done < aiken.toml
# printf "%s\n" "${CONFIG[@]}" > aiken.toml

# Run `aiken check``
echo -e "${MAGENTA}Running${RESET} ${WHITE}aiken check${RESET}:"
Expand Down
468 changes: 0 additions & 468 deletions docs/config.html
View file
Open in desktop

This file was deleted.

12 changes: 2 additions & 10 deletions docs/index.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -193,14 +193,6 @@ <h2>Modules</h2>



<li data-indent="0"><a href="./config.html">
config
</a></li>





<li data-indent="0"><a href="./test_kit.html">
test_kit
</a></li>
Expand Down Expand Up @@ -528,9 +520,9 @@ <h2><code>tx</code></h2>
<script src="https://unpkg.com/@popperjs/core@2"></script>
<script src="https://unpkg.com/tippy.js@6"></script>
<script src="./js/lunr.min.js?v=1.1.21"></script>
<script src="./js/index.js?v=1769000120"></script>
<script src="./js/index.js?v=1769000477"></script>
<!-- Load the search index using JSONP to avoid CORS issues -->
<script src="./search-data.js?v=1769000120"></script>
<script src="./search-data.js?v=1769000477"></script>
<script>
void function() {
if (typeof tippy !== "undefined") {
Expand Down
2 changes: 1 addition & 1 deletion docs/search-data.js
View file
Open in desktop

Large diffs are not rendered by default.

12 changes: 2 additions & 10 deletions docs/test_kit.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -216,14 +216,6 @@ <h2>Modules</h2>



<li data-indent="0"><a href="./config.html">
config
</a></li>





<li data-indent="0" data-current><a href="./test_kit.html">
<strong>test_kit</strong>
</a></li>
Expand Down Expand Up @@ -482,9 +474,9 @@ <h2 id="print"><pre class="hljs language-aiken">print(label: ByteArray, data: Da
<script src="https://unpkg.com/@popperjs/core@2"></script>
<script src="https://unpkg.com/tippy.js@6"></script>
<script src="./js/lunr.min.js?v=1.1.21"></script>
<script src="./js/index.js?v=1769000120"></script>
<script src="./js/index.js?v=1769000477"></script>
<!-- Load the search index using JSONP to avoid CORS issues -->
<script src="./search-data.js?v=1769000120"></script>
<script src="./search-data.js?v=1769000477"></script>
<script>
void function() {
if (typeof tippy !== "undefined") {
Expand Down
12 changes: 2 additions & 10 deletions docs/test_kit/collections.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -232,14 +232,6 @@ <h2>Modules</h2>



<li data-indent="0"><a href="../config.html">
config
</a></li>





<li data-indent="0"><a href="../test_kit.html">
test_kit
</a></li>
Expand Down Expand Up @@ -516,9 +508,9 @@ <h2 id="unzip3"><pre class="hljs language-aiken">unzip3(abc: List&lt;(a, b, c)&g
<script src="https://unpkg.com/@popperjs/core@2"></script>
<script src="https://unpkg.com/tippy.js@6"></script>
<script src="../js/lunr.min.js?v=1.1.21"></script>
<script src="../js/index.js?v=1769000120"></script>
<script src="../js/index.js?v=1769000477"></script>
<!-- Load the search index using JSONP to avoid CORS issues -->
<script src="../search-data.js?v=1769000120"></script>
<script src="../search-data.js?v=1769000477"></script>
<script>
void function() {
if (typeof tippy !== "undefined") {
Expand Down
12 changes: 2 additions & 10 deletions docs/test_kit/collections/logic.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -224,14 +224,6 @@ <h2>Modules</h2>



<li data-indent="0"><a href="../../config.html">
config
</a></li>





<li data-indent="0"><a href="../../test_kit.html">
test_kit
</a></li>
Expand Down Expand Up @@ -496,9 +488,9 @@ <h2 id="any_false"><pre class="hljs language-aiken">any_false(bool_list: List&lt
<script src="https://unpkg.com/@popperjs/core@2"></script>
<script src="https://unpkg.com/tippy.js@6"></script>
<script src="../../js/lunr.min.js?v=1.1.21"></script>
<script src="../../js/index.js?v=1769000120"></script>
<script src="../../js/index.js?v=1769000477"></script>
<!-- Load the search index using JSONP to avoid CORS issues -->
<script src="../../search-data.js?v=1769000120"></script>
<script src="../../search-data.js?v=1769000477"></script>
<script>
void function() {
if (typeof tippy !== "undefined") {
Expand Down
12 changes: 2 additions & 10 deletions docs/test_kit/fuzzy.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -297,14 +297,6 @@ <h2>Modules</h2>



<li data-indent="0"><a href="../config.html">
config
</a></li>





<li data-indent="0"><a href="../test_kit.html">
test_kit
</a></li>
Expand Down Expand Up @@ -835,9 +827,9 @@ <h2 id="unique9"><pre class="hljs language-aiken">unique9(fuzzer: Fuzzer&lt;a&gt
<script src="https://unpkg.com/@popperjs/core@2"></script>
<script src="https://unpkg.com/tippy.js@6"></script>
<script src="../js/lunr.min.js?v=1.1.21"></script>
<script src="../js/index.js?v=1769000120"></script>
<script src="../js/index.js?v=1769000477"></script>
<!-- Load the search index using JSONP to avoid CORS issues -->
<script src="../search-data.js?v=1769000120"></script>
<script src="../search-data.js?v=1769000477"></script>
<script>
void function() {
if (typeof tippy !== "undefined") {
Expand Down
12 changes: 2 additions & 10 deletions docs/test_kit/fuzzy/fuzzer.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -426,14 +426,6 @@ <h2>Modules</h2>



<li data-indent="0"><a href="../../config.html">
config
</a></li>





<li data-indent="0"><a href="../../test_kit.html">
test_kit
</a></li>
Expand Down Expand Up @@ -1862,9 +1854,9 @@ <h2 id="inputs_with_an_authentic_script_input_fuzzer"><pre class="hljs language-
<script src="https://unpkg.com/@popperjs/core@2"></script>
<script src="https://unpkg.com/tippy.js@6"></script>
<script src="../../js/lunr.min.js?v=1.1.21"></script>
<script src="../../js/index.js?v=1769000120"></script>
<script src="../../js/index.js?v=1769000477"></script>
<!-- Load the search index using JSONP to avoid CORS issues -->
<script src="../../search-data.js?v=1769000120"></script>
<script src="../../search-data.js?v=1769000477"></script>
<script>
void function() {
if (typeof tippy !== "undefined") {
Expand Down
12 changes: 2 additions & 10 deletions docs/test_kit/time.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -269,14 +269,6 @@ <h2>Modules</h2>



<li data-indent="0"><a href="../config.html">
config
</a></li>





<li data-indent="0"><a href="../test_kit.html">
test_kit
</a></li>
Expand Down Expand Up @@ -990,9 +982,9 @@ <h2 id="sub_finite"><pre class="hljs language-aiken">sub_finite(self: IntervalBo
<script src="https://unpkg.com/@popperjs/core@2"></script>
<script src="https://unpkg.com/tippy.js@6"></script>
<script src="../js/lunr.min.js?v=1.1.21"></script>
<script src="../js/index.js?v=1769000120"></script>
<script src="../js/index.js?v=1769000477"></script>
<!-- Load the search index using JSONP to avoid CORS issues -->
<script src="../search-data.js?v=1769000120"></script>
<script src="../search-data.js?v=1769000477"></script>
<script>
void function() {
if (typeof tippy !== "undefined") {
Expand Down
12 changes: 2 additions & 10 deletions docs/test_kit/time/unwrap.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -214,14 +214,6 @@ <h2>Modules</h2>



<li data-indent="0"><a href="../../config.html">
config
</a></li>





<li data-indent="0"><a href="../../test_kit.html">
test_kit
</a></li>
Expand Down Expand Up @@ -468,9 +460,9 @@ <h2 id="finite_end_of"><pre class="hljs language-aiken">finite_end_of(interval:
<script src="https://unpkg.com/@popperjs/core@2"></script>
<script src="https://unpkg.com/tippy.js@6"></script>
<script src="../../js/lunr.min.js?v=1.1.21"></script>
<script src="../../js/index.js?v=1769000120"></script>
<script src="../../js/index.js?v=1769000477"></script>
<!-- Load the search index using JSONP to avoid CORS issues -->
<script src="../../search-data.js?v=1769000120"></script>
<script src="../../search-data.js?v=1769000477"></script>
<script>
void function() {
if (typeof tippy !== "undefined") {
Expand Down
12 changes: 2 additions & 10 deletions docs/test_kit/tx.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -400,14 +400,6 @@ <h2>Modules</h2>



<li data-indent="0"><a href="../config.html">
config
</a></li>





<li data-indent="0"><a href="../test_kit.html">
test_kit
</a></li>
Expand Down Expand Up @@ -1262,9 +1254,9 @@ <h2 id="unset_treasury_donation"><pre class="hljs language-aiken">unset_treasury
<script src="https://unpkg.com/@popperjs/core@2"></script>
<script src="https://unpkg.com/tippy.js@6"></script>
<script src="../js/lunr.min.js?v=1.1.21"></script>
<script src="../js/index.js?v=1769000120"></script>
<script src="../js/index.js?v=1769000477"></script>
<!-- Load the search index using JSONP to avoid CORS issues -->
<script src="../search-data.js?v=1769000120"></script>
<script src="../search-data.js?v=1769000477"></script>
<script>
void function() {
if (typeof tippy !== "undefined") {
Expand Down
12 changes: 2 additions & 10 deletions docs/test_kit/tx/mock.html
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -421,14 +421,6 @@ <h2>Modules</h2>



<li data-indent="0"><a href="../../config.html">
config
</a></li>





<li data-indent="0"><a href="../../test_kit.html">
test_kit
</a></li>
Expand Down Expand Up @@ -1542,9 +1534,9 @@ <h2 id="mock_transaction_hash"><pre class="hljs language-aiken">mock_transaction
<script src="https://unpkg.com/@popperjs/core@2"></script>
<script src="https://unpkg.com/tippy.js@6"></script>
<script src="../../js/lunr.min.js?v=1.1.21"></script>
<script src="../../js/index.js?v=1769000120"></script>
<script src="../../js/index.js?v=1769000477"></script>
<!-- Load the search index using JSONP to avoid CORS issues -->
<script src="../../search-data.js?v=1769000120"></script>
<script src="../../search-data.js?v=1769000477"></script>
<script>
void function() {
if (typeof tippy !== "undefined") {
Expand Down