Add web UI last update date and time

home_page/implications/index.html

@@ -197,5 +197,9 @@ <h3>This equation is implied by (&lt;=):</h3>
     <script src="find_equation_id.js"></script>
     <script src="to_lean.js"></script>
     <script src="script.js"></script>
+
+    <div>
+      <p>Last updated at: <span id="lastUpdated"></span> (local time), Git commit: <a id="commitLink" target="_blank"></a></p>
+    </div>
   </body>
 </html>

home_page/implications/script.js

@@ -418,3 +418,16 @@ function handleUrlChange() {
 }
 
 window.addEventListener('popstate', handleUrlChange);
+
+
+document.addEventListener('DOMContentLoaded', function() {
+    const timestamp = last_updated.timestamp * 1000; // Convert to milliseconds
+    const commitHash = last_updated.commit_hash;
+
+    const localDate = new Date(timestamp);
+    document.getElementById('lastUpdated').textContent = localDate.toLocaleString();
+
+    const commitLink = document.getElementById('commitLink');
+    commitLink.href = `https://github.com/teorth/equational_theories/tree/${commitHash}`;
+    commitLink.textContent = commitHash.substring(0, 7); // Display first 7 characters of the hash
+});

scripts/generate_equation_implication_js.py

@@ -2,6 +2,7 @@
 import os
 import sys
 
+
 #"""
 f = json.load(open(sys.argv[1]))
 
@@ -118,3 +119,28 @@ def find_equivalence_classes_fast(implications):
 
 print("var duals = ", open("data/duals.json").read())
 
+
+
+import time
+import subprocess
+import json
+
+def get_git_commit_hash():
+    try:
+        return subprocess.check_output(['git', 'rev-parse', 'HEAD']).decode('ascii').strip()
+    except:
+        return "Unable to retrieve Git hash"
+
+# Get current UTC time as a timestamp
+utc_timestamp = int(time.time())
+
+# Get the current Git commit hash
+commit_hash = get_git_commit_hash()
+
+# Create a dictionary with the information
+update_info = {
+    "timestamp": utc_timestamp,
+    "commit_hash": commit_hash
+}
+
+print("var last_updated = ",json.dumps(update_info))