issues Search Results · language:Dune language:TypeScript language:JavaScript language:JavaScript language:Python
Filter by
56.8M results
Hi, thanks for releasing SemRayLoc.
I am trying to understand the intended S3D data preparation setup for reproducing the paper results.
In the paper, the dataset section says:
We conduct experiments ...
ljc-1222
Part of #61 (RFC-0005 §3.3, Phase 4).
- TFactory builds the code-under-test in the manifest env (not the repo Dockerfile/host) ⇒ closes build/verify drift.
- Make the runner catalog extensible/on-demand ...
area:backend
area:integration
enhancement
olafkfreund
Part of #61 (RFC-0005 §3.2 Tier C, Phase 3).
- When no catalog image / flake fits, build a per-task image from the manifest s system_packages + toolchain (or
Nixpacks-style auto-detect), content-addressed ...
area:infra
enhancement
Part of #61 (RFC-0005 §3.2 Tier A, Phase 2).
- Provision via nix develop -c cmd / nix shell — hermetic, pinned by flake.lock, binary-cached, no global install.
- Planner generates a flake.nix when ...
area:infra
enhancement
Summary
Implement the first v0.6-beta audit insertion target: export operation audit insertion for security-aware export
profiles.
This issue follows the design decisions in:
- #89
- PR #93
- ...
tomyuk
Part of #61 (RFC-0005 §3.3, Phase 1).
- Extract TFactory tools/runners/docker_runner.py into a shared factory-sandbox primitive (SDK-free, podman-swappable,
hardened: --network none/restricted, ...
area:backend
area:infra
enhancement
Part of #61 (RFC-0005 §3.1, §3.4, §5). Lowest-risk, additive; the schema everything else builds on.
- Add the environment block to the RFC-0002 Task Contract (language, toolchain+versions, system_packages, ...
area:integration
enhancement
phase:P0
Chunk 2 of ~6 of the Markdown-compiler INTENT. The core (compile/tokenize, headings, inline formatting, HTML-escape) is
on main. Add links and images. Deliver ONLY this slice; keep all existing tests green. ...
antonycc
Part of #61 (RFC-0005). More research needed before committing to an engine.
Evaluate and prototype the provisioning approaches against our fleet:
- Nix (flake.nix + nix develop) — hermetic, pinned, ...
area:integration
enhancement
question
Excelente desarrollo en la tarea de descuentos, Felicidades Alvaro! Únicamente faltaría las demás resoluciones
solicitadas en la actividad práctica. Ya que, únicamente la entrega contiene únicamente la ...
Yappur
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.