This is stars and forks stats for /gleissen/hw1 repository. As of 02 May, 2024 this repository has 0 stars and 4 forks.
HW 1: Due May 10, 2022, 23:59 README In this assignment, you will implement a verifier based on the weakest-precondition/VCGen methodology. We will work with programs that are written in a subset ECMAScript and translate them into our imperative language Nano. Requirements Install Microsoft's Z3 SMT solver Linux: https://www.howtoinstall.me/ubuntu/18-04/z3/ MacOs: https://formulae.brew.sh/formula/z3 Binaries: https://github.com/Z3Prover/z3/releases Or open terminal and do this: apt install z3 apt...
HW 1: Due May 10, 2022, 23:59 README In this assignment, you will implement a verifier based on the weakest-precondition/VCGen methodology. We will work with programs that are written in a subset ECMAScript and translate them into our imperative language Nano. Requirements Install Microsoft's Z3 SMT solver Linux: https://www.howtoinstall.me/ubuntu/18-04/z3/ MacOs: https://formulae.brew.sh/formula/z3 Binaries: https://github.com/Z3Prover/z3/releases Or open terminal and do this: apt install z3 apt...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
GaloisInc/semmc | HaskellCPython | 35 | 0 | 7 | 0 |
input-output-hk/cardano-config | Haskell | 2 | 0 | 1 | 0 |
GoogleCloudPlatform/monitoring-dashboard-samples | TypeScriptPythonHCL | 395 | 0 | 263 | 0 |
singular-labs/Singular-iOS-SDK | Objective-CJavaScriptC | 4 | 0 | 2 | 0 |
mparticle-integrations/mparticle-apple-integration-branchmetrics | Objective-CSwiftRuby | 4 | 0 | 23 | 0 |
purescript/purescript-lazy | PureScriptJavaScript | 30 | 0 | 27 | 0 |
purescript/purescript-refs | PureScriptJavaScript | 21 | 0 | 21 | 0 |
STATWORX/blog | RHTMLPython | 105 | 0 | 480 | 0 |
scalacenter/scastie | ScalaSCSSShell | 410 | 0 | 100 | 0 |
travis-ci/docs-travis-ci-com | SCSSHTMLSass | 571 | 0 | 3.8k | 0 |