source-academy / py-slang

78%

main: 78%

LAST BUILD ON BRANCH operators

branch: operators

CHANGE BRANCH

x

Reset

• operators
• NearleyDSL
• add-autocomplete
• add-chapter-2-documentation
• add-chapter-3-documentation
• add-complex
• add-complex-to-docs
• add-coveralls
• add-docs-spread-expression
• add-documentation
• add-eslint
• add-for-loops
• add-grammar-types
• add-multiple-resolver-validator-errors
• add-print-llist-pvml-stepper
• add-tco
• adopt-black-python
• ci-native-pynter-parity
• cpython-test-mode-224
• dependabot/npm_and_yarn/babel/core-7.29.7
• dependabot/npm_and_yarn/flatted-3.4.2
• dependabot/npm_and_yarn/handlebars-4.7.9
• dependabot/npm_and_yarn/ip-address-10.2.0
• dependabot/npm_and_yarn/lodash-4.18.1
• dependabot/npm_and_yarn/markdown-it-14.1.1
• dependabot/npm_and_yarn/markdown-it-14.2.0
• dependabot/npm_and_yarn/mathjs-15.2.0
• dependabot/npm_and_yarn/picomatch-2.3.2
• dependabot/npm_and_yarn/serialize-javascript-7.0.5
• dependabot/npm_and_yarn/tar-7.5.16
• deploy-docs-to-python-subfolder
• div
• docs-local-source-academy-setup
• docs-sourceacademy-sicp-not-published
• docs-sourceacademy-sicp-published
• docs/add-documentation-section
• equality
• feat/add-module-loader
• feat/conductor-stepper
• feat/global-keyword
• feat/stepper-breakpoint
• feat/stepper-output-box
• feature/cse-machine-plugin
• feature/standalone-cli
• finish-pynter-rename
• fix-214-exponent-without-dot
• fix-4041-annotate-globals-in-frames
• fix-carriage-return
• fix-docs-deploy
• fix-docs-makefile
• fix-documentation
• fix-ll-prelude
• fix-premature-frame-transition-on-return
• fix-pynter-wasm-cwrap-null
• fix-stdlib
• fix-stepper-maxmin-arity
• fix/233-currentline-synthetic-nodes
• fix/conductor-npm-dep
• fix/cse-loop-spec-compliance
• fix/cse-machine-display-bugs-228-229
• fix/multiple-prints
• fix/nested-lambdas
• fix/nonlocal-and-scope-validators
• fix/preprocessing-error-consistency
• fix/prepublish-only
• fix/py-slang-190-input-popup
• fix/stepper-binding-substitution-timing
• fix/tail-call-optimisation
• global
• issue-189-cse-machine-breakpoint
• main
• migrate-stdlib
• more-package-improvements
• port-stdio
• pr1-directory-restructure
• pr2-svml-compiler
• publishing
• pvml-browser-revival
• pvml-native-pynter-parity
• pynter-parity-report-script
• pynter-skip-gate
• pyodide-torch
• python-2-support
• python-3-doc
• python-4-doc-update
• python-4-docs
• python-4-support
• python-package
• remove-equal-215-on-equality
• remove-unused-packages
• renamings
• single
• skip-complex-number-tests-pynter
• some-fixes
• stepper-operator-conformance
• svml-sinter-repl
• test/py-cse-plugin
• update-docs-chapter-1-2
• update-docs-chapter-3
• wasm-compiler
• wasm-compiler-chapter-4
• wasm-compiler-conductor-integration
• worktree-issue-223-local-var-allocation

Build # 28831705090

Build Type

Pull #207

github

Committed by web-flow

Commit Message

Merge 9eaff3aba into f98345f3d

Pull Request Pull Request #207: CSE machine: Spec-driven operator semantics for Python §1–§4: ==, is, ordering (#198)

Coverage Stats

2555 of 3545 branches covered (72.07%)

Branch coverage included in aggregate %.

51 of 55 new or added lines in 4 files covered. (92.73%)

1 existing line in 1 file now uncovered.

6031 of 7475 relevant lines covered (80.68%)

14270.53 hits per line