mangle
No description available.
파일 탐색기
최종 버전 다운로드 (.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
# 설치 가이드
1. 코드 내려받기
git clone https://github.com/google/mangle
깃허브에서 프로젝트 코드 전체를 내 컴퓨터로 내려받습니다.
cd mangle
방금 내려받은 프로젝트 폴더 안으로 이동합니다.
2. Python
쉬움 추천사전 준비물
pip install -r readthedocs/requirements.txt
requirements.txt 등에 명시된 파이썬 라이브러리를 설치합니다.
python <실행할 파일명>.py # README에서 정확한 실행 파일명을 확인하세요
파이썬 스크립트(또는 모듈)를 실행합니다.
에러 메시지 없이 실행되고 터미널에 안내 문구가 출력되면 정상입니다.
// repository documentation
Was this content helpful?
(0 ratings)
