{"id":13803644,"url":"https://github.com/querycert/qcert","last_synced_at":"2025-05-13T16:32:16.452Z","repository":{"id":9346698,"uuid":"60909023","full_name":"querycert/qcert","owner":"querycert","description":"Compilation and Verification of Data-Centric Languages","archived":false,"fork":false,"pushed_at":"2024-07-17T16:31:36.000Z","size":30141,"stargazers_count":57,"open_issues_count":32,"forks_count":10,"subscribers_count":5,"default_branch":"master","last_synced_at":"2025-04-20T04:19:10.308Z","etag":null,"topics":["compiler","coq-proof-assistant","functional-programming","query-engine","query-language","sql","verification","verified-compiler"],"latest_commit_sha":null,"homepage":"https://querycert.github.io/","language":"Coq","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/querycert.png","metadata":{"files":{"readme":"README-ODM.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}},"created_at":"2016-06-11T13:44:32.000Z","updated_at":"2025-03-10T12:31:37.000Z","dependencies_parsed_at":"2023-12-19T01:02:05.819Z","dependency_job_id":"e58b902b-06ce-475d-a4c0-178d8d468b17","html_url":"https://github.com/querycert/qcert","commit_stats":{"total_commits":2051,"total_committers":16,"mean_commits":128.1875,"dds":0.6396879570941004,"last_synced_commit":"e112de6d7fda1b916244a1feb08bedd7f8a96bc1"},"previous_names":[],"tags_count":20,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/querycert%2Fqcert","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/querycert%2Fqcert/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/querycert%2Fqcert/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/querycert%2Fqcert/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/querycert","download_url":"https://codeload.github.com/querycert/qcert/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":253981892,"owners_count":21994351,"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":["compiler","coq-proof-assistant","functional-programming","query-engine","query-language","sql","verification","verified-compiler"],"created_at":"2024-08-04T01:00:36.516Z","updated_at":"2025-05-13T16:32:11.442Z","avatar_url":"https://github.com/querycert.png","language":"Coq","readme":"### Obtaining the ODM Rules dependencies\n\nThe ODM rules support requires that you obtain a legal copy of the ODM\nDesigner component that comes with various versions of ODM.\n\nODM comes in (at least) two configurations called \"ODM Rules\" and \"ODM\nInsights\".  Each comes with its own Designer, which in turn supports a\ncharacteristic set of languages.  There are (at least) two license\narrangements: \"ODM Classic\" has only the Rules configuration and \"ODM\nAdvanced\" comes with both Rules and Insights.  There is also ODM in\nthe cloud, based on the Rules configuration.  We hope that our support\nwill work with either the Insights Designer or the Rules Designer but\nwe have only tested it with the Rules Designer and it only covers the\nlanguages that are provided by that Designer.\n\nThere is no free version of ODM, but some 30 day free trial programs\nwill allow you to try out certain versions.  In order to use our\n\"technical\" rule support, you need a binary jar available only with an\nODM Designer.  To use the \"designer\" rule support, you need to fully\ninstall and utilize an ODM Designer.\n\nOne possible route is to sign up for the 30 day free trial of ODM in\nthe Cloud (https://www.bpm.ibmcloud.com/odm/index.html).  Once you are\nauthorized for the trial, you can log in to the cloud service and\nobtain a copy of the ODM Rules Designer (downloaded and installed on\nyour own machine).\n\nOnce you have a Designer component installed on your machine, the next\nstep is to find the library called **jrules-engine.jar** and copy it\nto a directory in the qcert working tree.  Start by making the\ndirectory\n\n```\njrulesParser/lib\n```\n\nif it does not already exist.\n\nIf you installed the Designer using ODM in the cloud, there is a copy\nof `jrules-engine.jar` in the `studio/lib` directory of the directory\nwhere the Designer is installed.  Simply copy that file into the\n`jrulesParser/lib` directory.  If you have some other version of ODM\nRule Designer or Insights Designer, find the location where the ODM\nplugins are located and look for a plugin jar whose name starts with\n\"com.ibm.rules.engine...\".  Inside this jar you may find a copy of\njrules-engine.jar.  Unzipping the outer jar into the `jrulesParser`\ndirectory should put a copy of jrules-engine.jar in the `lib`\nsubdirectory.  Beyond those suggestions, you are on your own.\n\n","funding_links":[],"categories":["Projects"],"sub_categories":["Frameworks"],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fquerycert%2Fqcert","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fquerycert%2Fqcert","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fquerycert%2Fqcert/lists"}