CLAUDE.md
LICENSE
MANIFEST.in
README.md
pyproject.toml
examples/assert_fail.mml
examples/assert_pass.mml
examples/atomic_calls_atomic.mml
examples/both_mover_loop.mml
examples/counter.mml
examples/counter_client2.mml
examples/double_release.mml
examples/nested_control.mml
examples/nonatomic_two_yields.mml
examples/obj_array.mml
examples/obj_counter.mml
examples/obj_counter_client.mml
examples/obj_oracle_safe.mml
examples/obj_oracle_unsafe.mml
examples/obj_racy_bad.mml
examples/oracle_safe.mml
examples/oracle_unsafe.mml
examples/post_commit_acquire.mml
examples/post_commit_cas_loop.mml
examples/post_commit_loop.mml
examples/queue.mml
examples/racy_bad.mml
examples/rely_not_reflexive.mml
examples/rely_not_transitive.mml
examples/spinlock.mml
examples/stack.mml
examples/write_guarded.mml
melvin/__init__.py
melvin/__main__.py
melvin/annotate.py
melvin/ast_nodes.py
melvin/boogie_backend.py
melvin/checker.py
melvin/cli.py
melvin/diagnostics.py
melvin/effects.py
melvin/interp.py
melvin/lexer.py
melvin/parser.py
melvin/prelude.py
melvin/tools.py
melvin/types.py
melvin/vcgen.py
melvin_server/Dockerfile
melvin_server/README.md
melvin_server/__init__.py
melvin_server/app.py
melvin_server/examples_manifest.py
melvin_server/deploy/deploy-lightsail.sh
melvin_server/deploy/lightsail-deployment.json.tmpl
melvin_server/deploy/run-local.sh
melvin_server/static/index.html
melvin_server/static/melvin.png
melvin_server/static/css/melvin.css
melvin_server/static/js/app.js
melvin_server/static/js/mml-mode.js
melvin_server/static/js/snapshot.js
melvin_server/static/js/tour.js
melvin_server/static/vendor/dagre.min.js
melvin_server/static/vendor/codemirror/LICENSE
melvin_server/static/vendor/codemirror/codemirror.css
melvin_server/static/vendor/codemirror/codemirror.js
melvin_server/static/vendor/codemirror/matchbrackets.js
melvin_server/static/vendor/codemirror/material-darker.css
melvin_server/static/vendor/driverjs/LICENSE
melvin_server/static/vendor/driverjs/driver.css
melvin_server/static/vendor/driverjs/driver.js.iife.js
melvin_verifier.egg-info/PKG-INFO
melvin_verifier.egg-info/SOURCES.txt
melvin_verifier.egg-info/dependency_links.txt
melvin_verifier.egg-info/entry_points.txt
melvin_verifier.egg-info/requires.txt
melvin_verifier.egg-info/top_level.txt
tests/_util.py
tests/test_annotate.py
tests/test_ast_nodes.py
tests/test_boogie_backend.py
tests/test_checker.py
tests/test_cli.py
tests/test_demo_server.py
tests/test_diagnostics.py
tests/test_effects.py
tests/test_effects_laws.py
tests/test_examples.py
tests/test_features.py
tests/test_lexer.py
tests/test_mutation.py
tests/test_objects.py
tests/test_parser.py
tests/test_prelude.py
tests/test_semantics_oracle.py
tests/test_soundness_fixes.py
tests/test_tools.py
tests/test_types.py
tests/test_vcgen.py
tests/test_wellformed.py