{"id":21170005,"url":"https://github.com/bagnalla/simp","last_synced_at":"2025-03-14T17:24:17.296Z","repository":{"id":78457033,"uuid":"103355292","full_name":"bagnalla/Simp","owner":"bagnalla","description":"Solver-aided Imp","archived":false,"fork":false,"pushed_at":"2018-04-23T01:11:30.000Z","size":50,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-01-21T10:50:57.234Z","etag":null,"topics":["haskell","imp","verification","z3"],"latest_commit_sha":null,"homepage":null,"language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/bagnalla.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}},"created_at":"2017-09-13T05:00:39.000Z","updated_at":"2021-04-09T20:27:15.000Z","dependencies_parsed_at":null,"dependency_job_id":"31da192b-ec4c-4b88-b6c2-34a888663f02","html_url":"https://github.com/bagnalla/Simp","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bagnalla%2FSimp","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bagnalla%2FSimp/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bagnalla%2FSimp/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/bagnalla%2FSimp/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/bagnalla","download_url":"https://codeload.github.com/bagnalla/Simp/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":243616533,"owners_count":20319921,"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":["haskell","imp","verification","z3"],"created_at":"2024-11-20T15:54:54.225Z","updated_at":"2025-03-14T17:24:17.289Z","avatar_url":"https://github.com/bagnalla.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Simp\n![Ralph](ralph1.png?raw=true \"Ralph\")\n\nSolver-aided Imp\n\nA simple imperative-style language with automatic verification.\n\n## Prerequisites\n* [Stack](https://docs.haskellstack.org/en/stable/README/) (\u003e= 1.4.0)\n* [Z3](https://github.com/Z3Prover/z3)\n\n## Build instructions\n* Type 'stack build'\n\n## Run instructions\n* Type 'stack exec Simp-exe \u003cinput_file\u003e'\n\n## About\nAssertions are verified by compiling expressions to logical constraints\nand passing them to the Z3 theorem prover.\n\nSee src/Ast.hs for the abstract syntax, and one of the ex*.imp example\nprograms for concrete syntax.\n\nFunctions are not recursive and can only refer to other functions that are\ndefined earlier in the file.\n\nSince IMP commands don't return values, functions require an annotation\nto specify the output variable of the function. The value of that\nvariable at the end of the function's execution is used as its return\nvalue.\n\nThe eval block must contain a single arithmetic expression, but it can\ncall into a 'main' function or something similar. See ex3.imp for an\nexample.\n\nThe verify block can't be empty but 'SKIP' can be used in the absence\nof anything else.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbagnalla%2Fsimp","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fbagnalla%2Fsimp","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fbagnalla%2Fsimp/lists"}