mangle
No description available.
File Explorer
Download Latest Version (.zip)- decl_struct.mg
- decl_tagged_union.mg
- filter.mg
- fun.mg
- infinite.mg
- neg_arity_mismatch.mg
- neg_duplicate_decl.mg
- neg_plusarg.mg
- neg_polymorphic_match.mg
- polymorphic_feasible.mg
- boundscheck.go
- declcheck.go
- declcheck_test.go
- exprtyping_test.go
- infercontext.go
- rectify.go
- rectify_test.go
- rewriteclause.go
- rewriteclause_test.go
- rulecheck.go
- stratification.go
- stratification_test.go
- temporal.go
- temporal_test.go
- temporal_validation_test.go
- validation.go
- validation_test.go
- varlist.go
- varlist_test.go
- ast.go
- ast_test.go
- decl.go
- decl_test.go
- serde.go
- serde_test.go
- temporal.go
- temporal_string_test.go
- temporal_test.go
- builtin.go
- builtin_test.go
- temporal.go
- temporal_test.go
- main.go
- main.go
- base_derived.svg
- bibliography.md
- derived_stages.svg
- docu_impl_explanation.svg
- docu_impl_howto.svg
- docu_impl_reference.svg
- docu_impl_tutorial.svg
- docu_spec_explanation.svg
- docu_spec_howto.svg
- docu_spec_reference.svg
- docu_spec_tutorial.svg
- example_volunteer_api.md
- example_volunteer_db.md
- explanation_derived_facts.md
- guidelines.md
- provenance.md
- rationale.md
- README.md
- spec_builtin_operations.md
- spec_datamodel.md
- spec_decls.md
- spec_explain_relational_algebra.md
- structured_data.md
- using_the_interpreter.md
- inclusioncheck.go
- inclusioncheck_test.go
- map_lattice_test.go
- naivebottomup.go
- naivebottomup_test.go
- premise.go
- recorder.go
- seminaivebottomup.go
- seminaivebottomup_test.go
- temporal.go
- temporal_integration_test.go
- temporal_test.go
- topdown.go
- topdown_test.go
- transformer.go
- transformer_test.go
- aggregation.mg
- ancestor.mg
- dataflow_analysis.mg
- dataflow_liveness.mg
- example.mg
- example_type_error.mg
- examples_test.go
- flow_checking.mg
- map_aggregation.mg
- one_or_two_leg_trip.mg
- project_aggregation.mg
- reversesamegen.mg
- shortest_path.mg
- tagged_union.mg
- temporal_graph_intervals.mg
- temporal_graph_points.mg
- temporal_sequence.mg
- factstore.go
- factstore_test.go
- interval_tree.go
- interval_tree_test.go
- simplecolumn.go
- simplecolumn_test.go
- temporal.go
- temporal_test.go
- functional.go
- functional_test.go
- temporal_test.go
- mg.go
- interpreter.go
- interpreter_temporal_test.go
- interpreter_test.go
- json2struct.go
- json2struct_test.go
- packages.go
- packages_test.go
- Mangle.g4
- Mangle.interp
- Mangle.tokens
- mangle_base_listener.go
- mangle_base_visitor.go
- mangle_lexer.go
- mangle_listener.go
- mangle_parser.go
- mangle_visitor.go
- MangleLexer.interp
- MangleLexer.tokens
- parse.go
- parse_strings_test.go
- parse_test.go
- README.md
- temporal_test.go
- proto2struct.go
- facts.go
- provenance.go
- provenance_test.go
- recorder.go
- recorder_test.go
- aggregation.md
- basictypes.md
- conf.py
- constructedtypes.md
- datalog.md
- declarations.md
- index.md
- installing.md
- mangle_logo.png
- provenance.md
- README.md
- requirements.txt
- temporal.md
- typeexpressions.md
- rewrite.go
- rewrite_test.go
- README.md
- decldesugar.go
- decldesugar_test.go
- nametrie.go
- nametrie_test.go
- symbols.go
- symbols_test.go
- typeexprs.go
- unifytypeexpr.go
- unionfind.go
- unionfind_test.go
- .readthedocs.yaml
- CONTRIBUTING.md
- generate_parser.sh
- go.mod
- go.sum
- LICENSE
- README.md
# Installation Guide
1. Get the code
git clone https://github.com/google/mangle
Downloads the entire project code from GitHub to your computer.
cd mangle
Moves into the project folder you just downloaded.
2. Python
Easy RecommendedPrerequisites
pip install -r readthedocs/requirements.txt
Installs the Python libraries listed in requirements.txt (or similar).
python <μ€νν νμΌλͺ
>.py # READMEμμ μ νν μ€ν νμΌλͺ
μ νμΈνμΈμ
Runs the Python script (or module).
If it runs without errors and prints output in the terminal, it worked.
3. Go
MediumPrerequisites
go build ./...
Compiles the Go program into an executable.
If the build finishes without errors, it worked. If you used go run ., check the terminal output.
Pulled directly from this repo's README.
// repository documentation
Was this content helpful?
(0 ratings)