{"id":15583396,"url":"https://github.com/io7m-com/jaffirm","last_synced_at":"2025-04-24T03:44:59.363Z","repository":{"id":57725334,"uuid":"65097563","full_name":"io7m-com/jaffirm","owner":"io7m-com","description":"Simple and fast contract checks","archived":false,"fork":false,"pushed_at":"2025-04-15T19:35:47.000Z","size":1749,"stargazers_count":1,"open_issues_count":1,"forks_count":1,"subscribers_count":2,"default_branch":"develop","last_synced_at":"2025-04-24T03:44:49.886Z","etag":null,"topics":["contract","invariant","postcondition","precondition"],"latest_commit_sha":null,"homepage":"https://www.io7m.com/software/jaffirm","language":"Java","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"isc","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/io7m-com.png","metadata":{"files":{"readme":"README-CHANGES.xml","changelog":null,"contributing":null,"funding":null,"license":null,"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}},"created_at":"2016-08-06T19:00:06.000Z","updated_at":"2025-04-15T19:35:51.000Z","dependencies_parsed_at":"2024-01-02T18:44:58.301Z","dependency_job_id":"afcde66e-ac6d-481e-bdd6-e408ce0927a7","html_url":"https://github.com/io7m-com/jaffirm","commit_stats":{"total_commits":229,"total_committers":2,"mean_commits":114.5,"dds":"0.026200873362445365","last_synced_commit":"2521e5c4b8367ca3e8b499ed2f7eb94122ce7ec8"},"previous_names":["io7m-com/jaffirm","io7m/jaffirm"],"tags_count":12,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/io7m-com%2Fjaffirm","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/io7m-com%2Fjaffirm/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/io7m-com%2Fjaffirm/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/io7m-com%2Fjaffirm/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/io7m-com","download_url":"https://codeload.github.com/io7m-com/jaffirm/tar.gz/refs/heads/develop","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":250559957,"owners_count":21450168,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","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":["contract","invariant","postcondition","precondition"],"created_at":"2024-10-02T20:07:54.811Z","updated_at":"2025-04-24T03:44:59.345Z","avatar_url":"https://github.com/io7m-com.png","language":"Java","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003c?xml version=\"1.0\" encoding=\"UTF-8\" standalone=\"no\"?\u003e\n\u003cc:changelog project=\"com.io7m.jaffirm\" xmlns:c=\"urn:com.io7m.changelog:4.0\"\u003e\n  \u003cc:releases\u003e\n    \u003cc:release date=\"2016-08-26T00:00:00+00:00\" is-open=\"false\" ticket-system=\"com.github.io7m.jaffirm\" version=\"0.1.0\"\u003e\n      \u003cc:changes\u003e\n        \u003cc:change date=\"2016-08-26T00:00:00+00:00\" summary=\"Initial release.\"/\u003e\n      \u003c/c:changes\u003e\n    \u003c/c:release\u003e\n    \u003cc:release date=\"2017-02-22T00:00:00+00:00\" is-open=\"false\" ticket-system=\"com.github.io7m.jaffirm\" version=\"1.0.0\"\u003e\n      \u003cc:changes\u003e\n        \u003cc:change date=\"2017-02-22T00:00:00+00:00\" summary=\"Initial API-stable release.\"/\u003e\n      \u003c/c:changes\u003e\n    \u003c/c:release\u003e\n    \u003cc:release date=\"2017-04-05T00:00:00+00:00\" is-open=\"false\" ticket-system=\"com.github.io7m.jaffirm\" version=\"1.0.1\"\u003e\n      \u003cc:changes\u003e\n        \u003cc:change date=\"2017-04-05T00:00:00+00:00\" summary=\"Rename project. Use the new primogenitor POM and 2017 project conventions. Move documentation to kstructural.\"/\u003e\n      \u003c/c:changes\u003e\n    \u003c/c:release\u003e\n    \u003cc:release date=\"2017-04-07T00:00:00+00:00\" is-open=\"false\" ticket-system=\"com.github.io7m.jaffirm\" version=\"1.1.0\"\u003e\n      \u003cc:changes\u003e\n        \u003cc:change date=\"2017-04-07T00:00:00+00:00\" summary=\"Add variadic preconditions/postconditions/invariants.\"\u003e\n          \u003cc:tickets\u003e\n            \u003cc:ticket id=\"3\"/\u003e\n          \u003c/c:tickets\u003e\n        \u003c/c:change\u003e\n      \u003c/c:changes\u003e\n    \u003c/c:release\u003e\n    \u003cc:release date=\"2017-11-04T00:00:00+00:00\" is-open=\"false\" ticket-system=\"com.github.io7m.jaffirm\" version=\"2.0.0\"\u003e\n      \u003cc:changes\u003e\n        \u003cc:change compatible=\"false\" date=\"2017-11-04T00:00:00+00:00\" summary=\"Require JDK 9 and publish a Java 9 module.\"/\u003e\n        \u003cc:change compatible=\"false\" date=\"2017-11-04T00:00:00+00:00\" summary=\"Remove com.io7m.jnull dependency.\"/\u003e\n      \u003c/c:changes\u003e\n    \u003c/c:release\u003e\n    \u003cc:release date=\"2019-06-23T00:00:00+00:00\" is-open=\"false\" ticket-system=\"com.github.io7m.jaffirm\" version=\"3.0.0\"\u003e\n      \u003cc:changes\u003e\n        \u003cc:change compatible=\"false\" date=\"2018-05-17T00:00:00+00:00\" summary=\"Remove checkstyle module and use common checkstyle rules\"/\u003e\n        \u003cc:change date=\"2018-05-17T00:00:00+00:00\" summary=\"Use newest primogenitor\"/\u003e\n        \u003cc:change compatible=\"false\" date=\"2019-06-23T00:00:00+00:00\" summary=\"Require JDK 11\"/\u003e\n      \u003c/c:changes\u003e\n    \u003c/c:release\u003e\n    \u003cc:release date=\"2019-10-16T00:00:00+00:00\" is-open=\"false\" ticket-system=\"com.github.io7m.jaffirm\" version=\"3.0.1\"\u003e\n      \u003cc:changes\u003e\n        \u003cc:change date=\"2019-10-16T00:00:00+00:00\" summary=\"Use correct junreachable 3.0.0 release\"/\u003e\n      \u003c/c:changes\u003e\n    \u003c/c:release\u003e\n    \u003cc:release date=\"2020-04-03T00:00:00+00:00\" is-open=\"false\" ticket-system=\"com.github.io7m.jaffirm\" version=\"3.0.2\"\u003e\n      \u003cc:changes\u003e\n        \u003cc:change date=\"2020-04-03T00:00:00+00:00\" summary=\"Use primogenitor 3.6.0\"/\u003e\n      \u003c/c:changes\u003e\n    \u003c/c:release\u003e\n    \u003cc:release date=\"2020-04-03T00:00:00+00:00\" is-open=\"false\" ticket-system=\"com.github.io7m.jaffirm\" version=\"3.0.3\"\u003e\n      \u003cc:changes\u003e\n        \u003cc:change date=\"2020-04-03T00:00:00+00:00\" summary=\"Use primogenitor 3.7.0\"/\u003e\n      \u003c/c:changes\u003e\n    \u003c/c:release\u003e\n    \u003cc:release date=\"2020-04-03T00:00:00+00:00\" is-open=\"false\" ticket-system=\"com.github.io7m.jaffirm\" version=\"3.0.4\"\u003e\n      \u003cc:changes\u003e\n        \u003cc:change date=\"2020-04-03T00:00:00+00:00\" summary=\"Use primogenitor 3.8.0\"/\u003e\n      \u003c/c:changes\u003e\n    \u003c/c:release\u003e\n    \u003cc:release date=\"2022-04-09T00:00:00+00:00\" is-open=\"false\" ticket-system=\"com.github.io7m.jaffirm\" version=\"4.0.0\"\u003e\n      \u003cc:changes\u003e\n        \u003cc:change compatible=\"false\" date=\"2022-04-09T00:00:00+00:00\" summary=\"Require JDK 17\"/\u003e\n      \u003c/c:changes\u003e\n    \u003c/c:release\u003e\n    \u003cc:release date=\"2024-05-05T15:42:01+00:00\" is-open=\"false\" ticket-system=\"com.github.io7m.jaffirm\" version=\"4.0.1\"\u003e\n      \u003cc:changes\u003e\n        \u003cc:change date=\"2024-04-19T00:00:00+00:00\" summary=\"Update org.immutables:value:2.10.0 → 2.10.1.\"/\u003e\n        \u003cc:change date=\"2024-04-19T00:00:00+00:00\" summary=\"Update org.junit.jupiter:junit-jupiter-api:5.10.1 → 5.10.2.\"/\u003e\n        \u003cc:change date=\"2024-04-19T00:00:00+00:00\" summary=\"Update org.junit.jupiter:junit-jupiter-engine:5.10.1 → 5.10.2.\"/\u003e\n        \u003cc:change date=\"2024-05-05T00:00:00+00:00\" summary=\"Update com.io7m.junreachable:com.io7m.junreachable.core 4.0.0 → 4.0.2.\"/\u003e\n        \u003cc:change date=\"2024-05-05T00:00:00+00:00\" summary=\"Update com.io7m.immutables.style 0.0.1 → 1.0.0.\"/\u003e\n      \u003c/c:changes\u003e\n    \u003c/c:release\u003e\n  \u003c/c:releases\u003e\n  \u003cc:ticket-systems\u003e\n    \u003cc:ticket-system default=\"false\" id=\"com.github.io7m.jaffirm\" url=\"https://www.github.com/io7m-com/jaffirm/issues/\"/\u003e\n  \u003c/c:ticket-systems\u003e\n\u003c/c:changelog\u003e\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fio7m-com%2Fjaffirm","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fio7m-com%2Fjaffirm","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fio7m-com%2Fjaffirm/lists"}