{"id":27933461,"url":"https://github.com/timescale/promscale_specs","last_synced_at":"2026-01-24T03:34:19.838Z","repository":{"id":83098388,"uuid":"520397740","full_name":"timescale/promscale_specs","owner":"timescale","description":"Formal specifications for Promscale components","archived":false,"fork":false,"pushed_at":"2022-11-30T14:07:29.000Z","size":55,"stargazers_count":2,"open_issues_count":0,"forks_count":1,"subscribers_count":13,"default_branch":"main","last_synced_at":"2025-06-16T07:57:34.615Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"","language":"TLA","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"apache-2.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/timescale.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2022-08-02T07:33:26.000Z","updated_at":"2024-12-03T08:36:15.000Z","dependencies_parsed_at":"2023-03-12T13:15:42.277Z","dependency_job_id":null,"html_url":"https://github.com/timescale/promscale_specs","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/timescale/promscale_specs","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/timescale%2Fpromscale_specs","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/timescale%2Fpromscale_specs/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/timescale%2Fpromscale_specs/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/timescale%2Fpromscale_specs/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/timescale","download_url":"https://codeload.github.com/timescale/promscale_specs/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/timescale%2Fpromscale_specs/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":28710117,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-01-23T23:51:44.727Z","status":"online","status_checked_at":"2026-01-24T02:00:06.909Z","response_time":89,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2025-05-07T04:58:53.752Z","updated_at":"2026-01-24T03:34:19.834Z","avatar_url":"https://github.com/timescale.png","language":"TLA","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Formal specifications for [Promscale](http://github.com/timescale/promscale) components\n\nThis is a nursery repo where we can play around with TLA+ specifications. \nIt's likely we move out specifications once they are ready and commit them \ntogether with the feature they model.\n\n### Running TLC headless\n\nTo run the TLC model checker over SSH (supposedly on a beefy AWS instance) one could use a command similar to the following (mind the paths, the number of cores and memory available):\n\n```bash\njava -XX:+UseParallelGC -Xmx119g -jar ./toolbox/tla2tools.jar -workers 64 -config ./promscale_specs/cache.cfg ./promscale_specs/cache.tla 2\u003e\u00261 | tee tlc.log\n```\n\nSee also: https://www.learntla.com/topics/cli.html","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftimescale%2Fpromscale_specs","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Ftimescale%2Fpromscale_specs","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Ftimescale%2Fpromscale_specs/lists"}