| 2026-07-26 05:11 | Format code for readability, add prompt for queries | quantumish | 5 | +141 | -50 |
| 2024-09-09 02:51 | Update readme.md | quantumish | 1 | +3 | -1 |
| 2024-03-22 23:59 | Fix minor typos in LTL writeup | quantumish | 1 | +4 | -4 |
| 2024-03-22 23:44 | Fix various formatting issues | quantumish | 1 | +21 | -15 |
| 2024-03-22 23:37 | Add writeup on LTL queries | quantumish | 3 | +160 | -1 |
| 2024-03-22 21:40 | Add further temporal query support, more sample data, and install utils | quantumish | 4 | +129 | -47 |
| 2024-03-22 16:28 | Add time-dependent predicate extension to LTL and rudimentary time support | quantumish | 1 | +52 | -23 |
| 2024-03-22 06:01 | More operator abstraction, fix bug with limit and empty query results | quantumish | 1 | +17 | -18 |
| 2024-03-22 04:55 | Experimental support for linear temporal logic | quantumish | 1 | +57 | -20 |
| 2024-03-20 03:38 | Initial commit | quantumish | 6 | +282 | -0 |
