synalog 0.1.0__tar.gz

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (132) hide show
  1. synalog-0.1.0/.gitignore +23 -0
  2. synalog-0.1.0/Cargo.lock +3274 -0
  3. synalog-0.1.0/Cargo.toml +40 -0
  4. synalog-0.1.0/LICENSE +202 -0
  5. synalog-0.1.0/PKG-INFO +601 -0
  6. synalog-0.1.0/README.md +558 -0
  7. synalog-0.1.0/docs/assets/synalog-light.svg +12 -0
  8. synalog-0.1.0/docs/assets/synalog_favicon.png +0 -0
  9. synalog-0.1.0/docs/benchmark/results.json +4575 -0
  10. synalog-0.1.0/docs/benchmark/speedup_by_engine.png +0 -0
  11. synalog-0.1.0/docs/benchmark/speedup_distribution.png +0 -0
  12. synalog-0.1.0/docs/benchmark/summary.md +18 -0
  13. synalog-0.1.0/docs/benchmark/summary.png +0 -0
  14. synalog-0.1.0/docs/benchmark/time_comparison.png +0 -0
  15. synalog-0.1.0/docs/benchmark/verify_by_engine.png +0 -0
  16. synalog-0.1.0/docs/benchmark.md +38 -0
  17. synalog-0.1.0/docs/cli.md +234 -0
  18. synalog-0.1.0/docs/development.md +139 -0
  19. synalog-0.1.0/docs/differences-datalog.md +112 -0
  20. synalog-0.1.0/docs/differences.md +31 -0
  21. synalog-0.1.0/docs/engines.md +39 -0
  22. synalog-0.1.0/docs/examples/aggregation.l +30 -0
  23. synalog-0.1.0/docs/examples/aggregation.log +240 -0
  24. synalog-0.1.0/docs/examples/directives.l +16 -0
  25. synalog-0.1.0/docs/examples/directives.log +51 -0
  26. synalog-0.1.0/docs/examples/functions.l +35 -0
  27. synalog-0.1.0/docs/examples/functions.log +103 -0
  28. synalog-0.1.0/docs/examples/functors.l +37 -0
  29. synalog-0.1.0/docs/examples/functors.log +213 -0
  30. synalog-0.1.0/docs/examples/getting_started.l +11 -0
  31. synalog-0.1.0/docs/examples/getting_started.log +44 -0
  32. synalog-0.1.0/docs/examples/knowledge_graphs.l +54 -0
  33. synalog-0.1.0/docs/examples/knowledge_graphs.log +432 -0
  34. synalog-0.1.0/docs/examples/loading_csv.l +29 -0
  35. synalog-0.1.0/docs/examples/loading_csv.log +75 -0
  36. synalog-0.1.0/docs/examples/program_structure.l +34 -0
  37. synalog-0.1.0/docs/examples/program_structure.log +306 -0
  38. synalog-0.1.0/docs/examples/recursion.l +37 -0
  39. synalog-0.1.0/docs/examples/recursion.log +495 -0
  40. synalog-0.1.0/docs/examples/run.py +126 -0
  41. synalog-0.1.0/docs/examples/smoke_tests.csv +13 -0
  42. synalog-0.1.0/docs/examples/syntax.l +46 -0
  43. synalog-0.1.0/docs/examples/syntax.log +252 -0
  44. synalog-0.1.0/docs/examples/temporal.l +41 -0
  45. synalog-0.1.0/docs/examples/temporal.log +184 -0
  46. synalog-0.1.0/docs/examples/verification.l +16 -0
  47. synalog-0.1.0/docs/examples/verification.log +7 -0
  48. synalog-0.1.0/docs/getting-started.md +207 -0
  49. synalog-0.1.0/docs/index.md +58 -0
  50. synalog-0.1.0/docs/javascripts/playground.js +347 -0
  51. synalog-0.1.0/docs/javascripts/summarize.js +159 -0
  52. synalog-0.1.0/docs/knowledge-graphs.md +116 -0
  53. synalog-0.1.0/docs/language/aggregation.md +75 -0
  54. synalog-0.1.0/docs/language/directives.md +77 -0
  55. synalog-0.1.0/docs/language/functions.md +82 -0
  56. synalog-0.1.0/docs/language/functors.md +58 -0
  57. synalog-0.1.0/docs/language/index.md +153 -0
  58. synalog-0.1.0/docs/language/recursion.md +74 -0
  59. synalog-0.1.0/docs/language/syntax.md +118 -0
  60. synalog-0.1.0/docs/language/temporal.md +166 -0
  61. synalog-0.1.0/docs/playground/vendor/codemirror.js +13 -0
  62. synalog-0.1.0/docs/playground.md +20 -0
  63. synalog-0.1.0/docs/python-api.md +83 -0
  64. synalog-0.1.0/docs/stylesheets/extra.css +233 -0
  65. synalog-0.1.0/docs/verification.md +69 -0
  66. synalog-0.1.0/img/synalog-dark.svg +12 -0
  67. synalog-0.1.0/img/synalog-light.svg +12 -0
  68. synalog-0.1.0/pyproject.toml +89 -0
  69. synalog-0.1.0/python/synalog/__init__.py +22 -0
  70. synalog-0.1.0/python/synalog/__main__.py +9 -0
  71. synalog-0.1.0/python/synalog/cli.py +686 -0
  72. synalog-0.1.0/python/synalog/config.py +113 -0
  73. synalog-0.1.0/python/synalog/introspect.py +240 -0
  74. synalog-0.1.0/python/synalog/runners.py +436 -0
  75. synalog-0.1.0/python/synalog/template/.agents/skills/synalog/SKILL.md +202 -0
  76. synalog-0.1.0/python/synalog/template/.env.template +39 -0
  77. synalog-0.1.0/python/synalog/template/.gitignore +5 -0
  78. synalog-0.1.0/python/synalog/template/AGENTS.md +29 -0
  79. synalog-0.1.0/python/synalog/template/CLAUDE.md +1 -0
  80. synalog-0.1.0/python/synalog/template/data/sales.csv +5 -0
  81. synalog-0.1.0/python/synalog/template/example.l +25 -0
  82. synalog-0.1.0/python/synalog/template/lib/metrics.l +6 -0
  83. synalog-0.1.0/src/compiler/annotations.rs +778 -0
  84. synalog-0.1.0/src/compiler/annotations_test.rs +628 -0
  85. synalog-0.1.0/src/compiler/concertina.rs +786 -0
  86. synalog-0.1.0/src/compiler/dialects.rs +954 -0
  87. synalog-0.1.0/src/compiler/dialects_test.rs +612 -0
  88. synalog-0.1.0/src/compiler/expr_translate.rs +1599 -0
  89. synalog-0.1.0/src/compiler/expr_translate_test.rs +2069 -0
  90. synalog-0.1.0/src/compiler/functors.rs +1474 -0
  91. synalog-0.1.0/src/compiler/functors_test.rs +951 -0
  92. synalog-0.1.0/src/compiler/mod.rs +102 -0
  93. synalog-0.1.0/src/compiler/program.rs +612 -0
  94. synalog-0.1.0/src/compiler/program_test.rs +518 -0
  95. synalog-0.1.0/src/compiler/rule_translate.rs +1887 -0
  96. synalog-0.1.0/src/compiler/rule_translate_test.rs +1157 -0
  97. synalog-0.1.0/src/compiler/type_inference/builder.rs +629 -0
  98. synalog-0.1.0/src/compiler/type_inference/built_in.rs +85 -0
  99. synalog-0.1.0/src/compiler/type_inference/edge.rs +323 -0
  100. synalog-0.1.0/src/compiler/type_inference/expression.rs +256 -0
  101. synalog-0.1.0/src/compiler/type_inference/graph.rs +189 -0
  102. synalog-0.1.0/src/compiler/type_inference/inference.rs +355 -0
  103. synalog-0.1.0/src/compiler/type_inference/intersection.rs +334 -0
  104. synalog-0.1.0/src/compiler/type_inference/mod.rs +43 -0
  105. synalog-0.1.0/src/compiler/type_inference/types.rs +325 -0
  106. synalog-0.1.0/src/compiler/universe.rs +2021 -0
  107. synalog-0.1.0/src/compiler/universe_test.rs +1464 -0
  108. synalog-0.1.0/src/errors.rs +1294 -0
  109. synalog-0.1.0/src/lib.rs +15 -0
  110. synalog-0.1.0/src/parser/json.rs +305 -0
  111. synalog-0.1.0/src/parser/json_test.rs +73 -0
  112. synalog-0.1.0/src/parser/mod.rs +11 -0
  113. synalog-0.1.0/src/parser/parse.rs +1989 -0
  114. synalog-0.1.0/src/parser/parse_test.rs +501 -0
  115. synalog-0.1.0/src/parser/rewrite.rs +385 -0
  116. synalog-0.1.0/src/parser/rewrite_test.rs +102 -0
  117. synalog-0.1.0/src/parser/span.rs +89 -0
  118. synalog-0.1.0/src/parser/span_test.rs +75 -0
  119. synalog-0.1.0/src/parser/traverse.rs +477 -0
  120. synalog-0.1.0/src/parser/traverse_test.rs +173 -0
  121. synalog-0.1.0/src/python.rs +189 -0
  122. synalog-0.1.0/src/verifier/arity.rs +476 -0
  123. synalog-0.1.0/src/verifier/mod.rs +173 -0
  124. synalog-0.1.0/src/verifier/recursion.rs +725 -0
  125. synalog-0.1.0/src/verifier/reserved.rs +84 -0
  126. synalog-0.1.0/src/verifier/safety.rs +246 -0
  127. synalog-0.1.0/src/verifier/sqlexpr.rs +131 -0
  128. synalog-0.1.0/src/verifier/stratification.rs +333 -0
  129. synalog-0.1.0/src/verifier/vars.rs +547 -0
  130. synalog-0.1.0/src/wasm.rs +95 -0
  131. synalog-0.1.0/uv.lock +2326 -0
  132. synalog-0.1.0/zensical.toml +118 -0
synalog-0.1.0/.gitignore ADDED
@@ -0,0 +1,23 @@
1
+ /target
2
+ /dist
3
+ __pycache__/
4
+ *.pyc
5
+ *.so
6
+ .pytest_cache/
7
+ .venv/
8
+ .claude/settings.local.json
9
+
10
+ # Benchmark outputs live in docs/benchmark/ (committed); stale root copies only
11
+ /benchmark_results.json
12
+ /benchmark_plots/
13
+
14
+ # Zensical documentation build
15
+ /site/
16
+ /.cache/
17
+
18
+ # Playground wasm (generated by shell/build-wasm.sh; rebuilt in docs CI)
19
+ /docs/playground/pkg/
20
+
21
+ # CodeMirror bundle build dir (output committed under docs/playground/vendor/)
22
+ /.cm-build/
23
+ /docs/playground/vendor/.npmrc