small tool to query json files with ltl-flavored sql queries 7af03ccf3a312952643dc7d6530117cd3b1e363d 2026-07-26T05:11:06Z 2026-07-26T05:11:06Z quantumish freifeld.david@gmail.com commit 7af03ccf3a312952643dc7d6530117cd3b1e363d parent ca2b3b3302975a9ff4b691ae3c7c4ec4b7e46960 Author: quantumish <freifeld.david@gmail.com> Date: Sat, 25 Jul 2026 22:11:06 -0700 Format code for readability, add prompt for queries ca2b3b3302975a9ff4b691ae3c7c4ec4b7e46960 2024-09-09T02:51:41Z 2024-09-09T02:51:41Z quantumish freifeld.david@gmail.com commit ca2b3b3302975a9ff4b691ae3c7c4ec4b7e46960 parent 682410646f19ee70c41cd9ffd9f47bab11a5b96f Author: quantumish <freifeld.david@gmail.com> Date: Sun, 8 Sep 2024 22:51:41 -0400 Update readme.md 682410646f19ee70c41cd9ffd9f47bab11a5b96f 2024-03-22T23:59:09Z 2024-03-22T23:59:09Z quantumish freifeld.david@gmail.com commit 682410646f19ee70c41cd9ffd9f47bab11a5b96f parent ee2e504314535241db21e26832bf379641c5da60 Author: quantumish <freifeld.david@gmail.com> Date: Fri, 22 Mar 2024 19:59:09 -0400 Fix minor typos in LTL writeup ee2e504314535241db21e26832bf379641c5da60 2024-03-22T23:44:18Z 2024-03-22T23:44:18Z quantumish freifeld.david@gmail.com commit ee2e504314535241db21e26832bf379641c5da60 parent 6447f46e30109a70ad75bc7928cee2143e004645 Author: quantumish <freifeld.david@gmail.com> Date: Fri, 22 Mar 2024 19:44:18 -0400 Fix various formatting issues 6447f46e30109a70ad75bc7928cee2143e004645 2024-03-22T23:37:31Z 2024-03-22T23:37:31Z quantumish freifeld.david@gmail.com commit 6447f46e30109a70ad75bc7928cee2143e004645 parent 04cd92df45449a323caea686b99fb63f89fd74d0 Author: quantumish <freifeld.david@gmail.com> Date: Fri, 22 Mar 2024 19:37:31 -0400 Add writeup on LTL queries 04cd92df45449a323caea686b99fb63f89fd74d0 2024-03-22T21:40:04Z 2024-03-22T21:40:04Z quantumish freifeld.david@gmail.com commit 04cd92df45449a323caea686b99fb63f89fd74d0 parent 2aa6f7b445e5a07c1a799a5c2211b83016b40f0a Author: quantumish <freifeld.david@gmail.com> Date: Fri, 22 Mar 2024 17:40:04 -0400 Add further temporal query support, more sample data, and install utils 2aa6f7b445e5a07c1a799a5c2211b83016b40f0a 2024-03-22T16:28:23Z 2024-03-22T16:28:23Z quantumish freifeld.david@gmail.com commit 2aa6f7b445e5a07c1a799a5c2211b83016b40f0a parent a1947121b2b5d8391f175d9861b74fabd496fb6f Author: quantumish <freifeld.david@gmail.com> Date: Fri, 22 Mar 2024 12:28:23 -0400 Add time-dependent predicate extension to LTL and rudimentary time support New extension allows future predicates to depend on current row. a1947121b2b5d8391f175d9861b74fabd496fb6f 2024-03-22T06:01:04Z 2024-03-22T06:04:11Z quantumish freifeld.david@gmail.com commit a1947121b2b5d8391f175d9861b74fabd496fb6f parent d83d865b784de4c7120d489ba225ce38e55bf474 Author: quantumish <freifeld.david@gmail.com> Date: Fri, 22 Mar 2024 02:01:04 -0400 More operator abstraction, fix bug with limit and empty query results d83d865b784de4c7120d489ba225ce38e55bf474 2024-03-22T04:55:24Z 2024-03-22T04:55:24Z quantumish freifeld.david@gmail.com commit d83d865b784de4c7120d489ba225ce38e55bf474 parent 1d2e9540a364fdbb4e2ff79e1caab6833c678c3c Author: quantumish <freifeld.david@gmail.com> Date: Fri, 22 Mar 2024 00:55:24 -0400 Experimental support for linear temporal logic 1d2e9540a364fdbb4e2ff79e1caab6833c678c3c 2024-03-20T03:38:51Z 2024-03-20T03:38:51Z quantumish freifeld.david@gmail.com commit 1d2e9540a364fdbb4e2ff79e1caab6833c678c3c Author: quantumish <freifeld.david@gmail.com> Date: Tue, 19 Mar 2024 23:38:51 -0400 Initial commit