| | | | Path |
|---|
| | D | | | "books/raw/(section about lisp)\320\230\321\201\320\272\321\203\321\201\321\201\321\202\320\262\320\265\320\275\320\275\321\213\320\271 \320\270\320\275\321\202\320\265\320\273\320\273\320\265\320\272\321\202. \320\241\321\202\321\200\320\260\321\202\320\265\320\263\320\270\320\270 \320\270 \320\274\320\265\321\202\320\276\320\264\321\213 \321\200\320\265\321\210\320\265\320\275\320\270\321\217 \321\201\320\273\320\276\320\266\320\275\321\213\321\205 \320\277\321\200\320\276\320\261\320\273\320\265\320\274. 4 \320\270\320\267\320\264\320\260\320\275\320\270\320\265. \320\224\320\266\320\276\321\200\320\264\320\266 \320\244. \320\233\321\216\320\263\320\265\321\200.djvu" |
| | D | | | "books/raw/1989 \320\237\320\276\321\201\320\277\320\265\320\273\320\276\320\262 \320\224. \320\220., \320\234\320\276\320\264\320\265\320\273\320\270\321\200\320\276\320\262\320\260\320\275\320\270\320\265 \321\200\320\260\321\201\321\201\321\203\320\266\320\264\320\265\320\275\320\270\320\271. \320\236\320\277\321\213\321\202 \320\260\320\275\320\260\320\273\320\270\320\267\320\260 \320\274\321\213\321\201\320\273\320\270\321\202\320\265\320\273\321\214\320\275\321\213\321\205 \320\260\320\272\321\202\320\276\320\262.pdf" |
| | D | | | "books/raw/2004 \320\222\320\260\320\263\320\270\320\275 \320\222. \320\235., \320\224\320\276\321\201\321\202\320\276\320\262\320\265\321\200\320\275\321\213\320\271 \320\270 \320\277\321\200\320\260\320\262\320\264\320\276\320\277\320\276\320\264\320\276\320\261\320\275\321\213\320\271 \320\262\321\213\320\262\320\276\320\264 \320\262 \320\270\320\275\321\202\320\265\320\273\320\273\320\265\320\272\321\202\321\203\320\260\320\273\321\214\320\275\321\213\321\205 \321\201\320\270\321\201\321\202\320\265\320\274\320\260\321\205.djvu" |
| | D | | | "books/raw/\320\237\321\200\320\276\320\263\321\200\320\260\320\274\320\274\320\270\321\200\320\276\320\262\320\260\320\275\320\270\320\265 \320\275\320\260 \321\217\320\267\321\213\320\272\320\265 CLIPS.doc" |
| | D | | | "books/raw/\320\241\321\202\320\260\321\202\320\270\321\207\320\265\321\201\320\272\320\270\320\265 \320\270 \320\264\320\270\320\275\320\260\320\274\320\270\321\207\320\265\321\201\320\272\320\270\320\265 \321\215\320\272\321\201\320\277\320\265\321\200\321\202\320\275\321\213\320\265 \321\201\320\270\321\201\321\202\320\265\320\274\321\213. \320\255 \320\222.\320\237\320\276\320\277\320\276\320\262, \320\230.\320\221. \320\244\320\276\320\274\320\270\320\275\321\213\321\205, \320\225.\320\222. \320\232\320\270\321\201\320\265\320\273\321\214, \320\234.\320\224. \320\250\320\260\320\277\320\276\321\202.doc" |
| | D | | | "books/raw/\320\244\321\203\320\275\320\272\321\206\320\270\320\276\320\275\320\260\320\273\321\214\320\275\320\276\320\265 \320\277\321\200\320\276\320\263\321\200\320\260\320\274\320\274\320\270\321\200\320\276\320\262\320\260\320\275\320\270\320\265[\320\244\320\270\320\273\320\264, \320\245\320\260\321\200\321\200\320\270\321\201\320\276\320\275].djvu" |
| | D | | | "books/raw/proof/[\320\273. \320\262\321\213\320\262\320\276\320\264 \320\264\320\273\321\217 \320\277\321\200\320\276\320\263\321\200\320\260\320\274\320\274]\320\224\320\265\320\262\321\217\321\202\320\272\320\276\320\262 - \320\241\320\270\321\201\321\202\320\265\320\274\321\213 \320\270\321\201\320\272\321\203\321\201\321\201\321\202\320\262\320\265\320\275\320\275\320\276\320\263\320\276 \320\270\320\275\321\202\320\265\320\273\320\273\320\265\320\272\321\202\320\260.djvu" |
| | D | | | antlr |
| | D | | | antlr/SimpleDeclarative.g |
| | D | | | antlr/examples |
| | D | | | antlr/lisp.g |
| | D | | | antlr/lisp__testrig.st |
| | D | | | antlr/output |
| | D | | | antlr/output/SimpleDeclarative.tokens |
| | D | | | antlr/output/SimpleDeclarativeLexer.java |
| | D | | | antlr/output/SimpleDeclarativeParser.java |
| | D | | | antlr/output/__Test__.java |
| | D | | | antlr/output/__Test___input.txt |
| | D | | | antlr/output/__Test___template.st |
| | D | | | antlr/output/lisp.tokens |
| | D | | | antlr/output/lispLexer.java |
| | D | | | antlr/output/lispParser.java |
| | D | | | books |
| | D | | | books/CFA |
| | D | | | books/CFA/Berg95static.pdf |
| | D | | | books/CFA/Lec10-CFA.pdf |
| | D | | | books/CFA/Midtgaard-CSur-final.pdf |
| | D | | | books/CFA/ShiversStudienarbeit.pdf |
| | D | | | books/CFA/fir.2up.pdf |
| | D | | | books/CFA/glvlsi06.pdf |
| | D | | | books/CFA/midtgaard-jensen-revised.pdf |
| | D | | | books/CocoManual.pdf |
| | D | | | books/Engineering a Compiler.pdf |
| | D | | | books/GC |
| | D | | | books/GC/10.1.1.45.4528.pdf |
| | D | | | books/GC/10.1.1.54.8088.pdf |
| | D | | | books/GC/CW2004_03_mazur.pdf |
| | D | | | books/GC/icfp2011UenoOhoriOtomoAuthorVersion.pdf |
| | D | | | books/GC/local-gc.pdf |
| | D | | | books/HaskellRules_June06.pdf |
| | D | | | books/TBA |
| | D | | | books/TBA/TimeAnalHO-PEPM02.pdf |
| | D | | | books/[Kl2008]Klimov-2008--Introduction.to.supercompilation--ru.pdf |
| | D | | | books/[Ne2011]nemytykh_supercompilation_Lyapunov100.pdf |
| | D | | | books/[Steven_Muchnick]_Advanced_Compiler_Design_and_Imp(Bookos.org).djvu |
| | D | | | books/chr |
| | D | | | books/datalog.pdf |
| | D | | | books/dependency-solver |
| | D | | | books/dependency-solver/10.1.1.86.5310.pdf |
| | D | | | books/dependency-solver/1007.1022.pdf |
| | D | | | books/dependency-solver/aptpbo.pdf |
| | D | | | books/dependency-solver/ase10.pdf |
| | D | | | books/dependency-solver/cond.lp |
| | D | | | books/dependency-solver/d4.3.pdf |
| | D | | | books/dependency-solver/examples |
| | D | | | books/dependency-solver/examples/cond.lp |
| | D | | | books/dependency-solver/examples/in2.lp |
| | D | | | books/dependency-solver/examples/int.lp |
| | D | | | books/dependency-solver/model_1.pdf |
| | D | | | books/dependency-solver/opium.pdf |
| | D | | | books/dependency-solver/potassco |
| | D | | | books/dependency-solver/potassco/clingo4.pdf |
| | D | | | books/dependency-solver/potassco/guide.pdf |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/abstract.tex |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/background.tex |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/comments.sty |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/errors.tex |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples.tex |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/aggr.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/arithc.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/arithf.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/assign.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/bird.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/blocks.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/color.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/cond.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/costs.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/enc_toh.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/flycn.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/graph.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/ham.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/inc.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/inst_toh.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/int.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/luaf.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/luav.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/meta.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/min.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/opt.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/pool.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/sep.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/sql.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/symbc.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/twocond.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/unify.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/world0.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/world1.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/world2.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/world3.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/examples/world4.lp |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/figures |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/figures/color.tex |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/figures/costs.tex |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/figures/graph.tex |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/figures/hanoi.tex |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/figures/tsp.tex |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/future.tex |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/guide.bib |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/guide.ind |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/guide.rao |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/guide.tex |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/introduction.log |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/introduction.tex |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/language.tex |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/lparse.tex |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/macro.tex |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/options.tex |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/quickstart.tex |
| | D | | | books/dependency-solver/potassco/potassco_guide-2010-10-04-source/rail.sty |
| | D | | | books/dependency-solver/tschaub_ppdp12_1.pdf |
| | D | | | books/domain-specific optimizations |
| | D | | | books/domain-specific optimizations/8.pdf |
| | D | | | books/domain-specific optimizations/GuaranteedOptimizationDSP.pdf |
| | D | | | books/domain-specific optimizations/codeboost-rule03.pdf |
| | D | | | books/flops99a.ps |
| | D | | | books/links.odt |
| | D | | | books/raw |
| | D | | | books/raw/Generative Programming.pdf |
| | D | | | books/raw/fps-sans-escher.pdf |
| | D | | | books/raw/gp |
| | D | | | books/raw/gp/(Lecture_Notes_in_Computer_Science_2487)Don_Batory,_Charles_Consel,_Walid_Taha-Generative_Programming_and_Component_Engineering-Springer(2002).pdf |
| | D | | | books/raw/gp/(Lecture_Notes_in_Computer_Science_2830)Frank_Pfenning,_Yannis_Smaragdakis-Generative_Programming_and_Component_Engineering__Second_International_Conference,_GPCE_2003,_Erfurt,_Germany,_September_.pdf |
| | D | | | books/raw/gp/098704_A8C7D_ayzeneker_u_charnecki_k_porozhdayushee_programmirovanie_meto.djvu |
| | D | | | books/raw/gp/1.djvu |
| | D | | | books/raw/gp/10.1.1.133.8017.pdf |
| | D | | | books/raw/gp/10.1.1.42.529.pdf |
| | D | | | books/raw/gp/ProgramGeneration.pdf |
| | D | | | books/raw/gp/czarnecki-ECE750-7-Lecture3_Feature_Modeling.pdf |
| | D | | | books/raw/meta.zip |
| | D | | | books/raw/plos07.pdf |
| | D | | | books/raw/proof |
| | D | | | books/raw/proof/Barwise, Etchemendy - Language, Proof and Logic.pdf |
| | D | | | books/raw/proof/why3-manual-0.81.pdf |
| | D | | | books/raw/proof/whymulty.pdf |
| | D | | | books/raw/queens.pdf |
| | D | | | books/raw/sc |
| | D | | | books/raw/sc/jonesgomardsestoft-a4.pdf |
| | D | | | books/raw/sc/metacomputing_dop.pdf |
| | D | | | books/raw/schirmer_phd.pdf |
| | D | | | books/raw/whyfp90.pdf |
| | D | | | books/rules.ps.gz |
| | M | | | config/default.json |
| | M | | | cpp/CMakeLists.txt |
| | M | | | cpp/src/CMakeLists.txt |
| | M | | | cpp/src/ast.cpp |
| | M | | | cpp/src/compilation/advanced.cpp |
| | M | | | cpp/src/compilation/advanced.h |
| | M | | | cpp/src/compilation/containers.cpp |
| | M | | | cpp/src/compilation/containers.h |
| | M | | | cpp/src/pass/compilepass.cpp |
| | M | | | cpp/tests/containers.cpp |
| | M | | | cpp/tests/context.cpp |
| | M | | | cpp/tests/interpretation.cpp |
| | M | | | documentation-tools/conduit-client/CMakeLists.txt |
| | M | | | documentation-tools/conduit-client/conduitclient.cpp |
| | M | | | documentation-tools/conduit-client/conduitclient.h |
| | M | | | documentation-tools/conduit-client/phrictionclient.cpp |
| | M | | | documentation-tools/juffed-lexers/qscilexerremarkup.cpp |
| | M | | | documentation-tools/juffed-lexers/qscilexerremarkup.h |
| | M | | | documentation-tools/juffed-lexers/remarkup.xml |
| | M | | | documentation-tools/juffed-plugins/phapublisher/phapublisher.cpp |
| | A | | (dir) | documentation/Analysis/ |
| | A | | | documentation/Analysis/cfa.remarkup |
| | P | | | documentation/Analysis/dfa.remarkup Copied from documentation/Frames/index.remarkup |
| | V | | | documentation/{Analysis/dominators_analysis.remarkup ← Syntax/Interfaces/extern-c.remarkup} |
| | V | | | documentation/{Analysis ← Frames}/index.remarkup |
| | M | | | documentation/Articles/declarative_patterns.remarkup |
| | M | | | documentation/Articles/gestalts.remarkup |
| | A | | | documentation/Articles/logic_inference.remarkup |
| | A | | | documentation/Aspects/Optimization/component_level_optimization.remarkup |
| | P | | | documentation/Concepts/containers.remarkup Copied to multiple locations:
documentation/Concepts/supervision.remarkup
documentation/Syntax/Interfaces/extern_c.remarkup |
| | M | | | documentation/Concepts/context.remarkup |
| | A | | | documentation/Concepts/dsl.remarkup |
| | A | | | documentation/Concepts/effectful computations.remarkup |
| | P | | | documentation/Concepts/supervision.remarkup Copied from documentation/Concepts/containers.remarkup |
| | D | | | documentation/Frames |
| | P | | | documentation/Frames/index.remarkup Deleted after being copied to multiple locations:
documentation/Analysis/dfa.remarkup
documentation/Analysis/index.remarkup |
| | A | | (dir) | documentation/Internal/Local/ |
| | A | | | documentation/Internal/Local/d.pdf |
| | A | | | documentation/Internal/Local/reference.remarkup |
| | A | | | documentation/Internal/Local/remarkup-examples.remarkup |
| | D | | | documentation/Internal/remarkup-examples.remarkup |
| | M | | | documentation/Syntax/Annotations/index.remarkup |
| | V | | | documentation/{Syntax/Interfaces/extern-c.remarkup → Analysis/dominators_analysis.remarkup} |
| | P | | | documentation/Syntax/Interfaces/extern_c.remarkup Copied from documentation/Concepts/containers.remarkup |
| | M | | | documentation/development/files.remarkup |
| | D | | | documentation/diagrams |
| | D | | | documentation/diagrams/diagram-annotations-processing.graphml |
| | D | | | documentation/diagrams/diagram-annotations-processing.remarkup |
| | A | | (dir) | documentation/res/ |
| | A | | | documentation/res/diagram-context-propagation-interfunction-mixed.dia |
| | A | | | documentation/res/diagram-context-propagation-interfunction-static.dia |
| | A | | | documentation/res/diagram-logic_inference-overview.dia |
| | V | | | { → installation}/install-dependencies-opensuse |
| | A | | (dir) | installation/ |
| | A | | (dir) | installation/docker/ |
| | A | | | installation/docker/Dockerfile |
| | A | | (dir) | installation/docker/patches/ |
| | A | | | installation/docker/patches/potassco-patch-a363d9 |
| | V | | | {installation ← }/install-dependencies-opensuse |
| | M | | | tools/phabricator/administration/docker-compose.yml |