Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -37,4 +37,4 @@ Run PALM on a working copy of a target crate: preprocessing changes its source a

Keep the change focused and explain the problem, resulting behavior, and checks you ran. Add a regression case for a reproduced behavior change when the existing checks do not cover it. Real-model calls are not required for ordinary fixes; use local fixtures or existing saved candidates where practical.

Keep credentials, target build directories, generated answers, coverage reports, and local trial logs out of commits. Preserve the pinned toolchain and dependency lockfile unless changing them is part of the task. Record the origin of imported code or material in [source integration notes](docs/source-integration.md), and retain its applicable notices.
Keep credentials, target build directories, generated answers, coverage reports, and local trial logs out of commits. Preserve the pinned toolchain and dependency lockfile unless changing them is part of the task.
5 changes: 2 additions & 3 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -86,7 +86,7 @@ Generation or repair completing does not mean every candidate passes. Inspect bo
| `build-utils/` | Configure the compiler library search path during builds. |
| [examples](examples/README.md) | The minimal fixture, bundled bytes target, and usage instructions. |
| `docker/` | Container build and run scripts. |
| [docs](docs/README.md) | Technical guide, ASE 2025 materials, and source integration notes. |
| [docs](docs/README.md) | Technical guide, validation guides, and ASE 2025 materials. |

## Docker

Expand Down Expand Up @@ -115,7 +115,6 @@ Bug reports and focused pull requests are welcome. See [CONTRIBUTING.md](CONTRIB

- [Technical guide in Chinese](docs/palm-rust-unit-test-generation.md): architecture, data flow, and usage.
- [ASE 2025 materials](docs/ase2025/README.md): the original poster and presentation.
- [Source integration notes](docs/source-integration.md): source repositories, revisions, and branch decisions.

## Citation

Expand All @@ -134,4 +133,4 @@ If you use PALM in your research, please cite the ASE 2025 paper. [CITATION.cff]

## License

PALM is licensed under the [MIT License](LICENSE). The bundled [bytes example](examples/bytes/LICENSE) retains its original MIT license and copyright notice. See [source integration notes](docs/source-integration.md#licensing-and-attribution) for the origins and attribution of included code and materials.
PALM is licensed under the [MIT License](LICENSE). The bundled [bytes example](examples/bytes/LICENSE) retains its original MIT license and copyright notice. Existing third-party notices and rights in included material remain applicable.
1 change: 0 additions & 1 deletion docs/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,6 @@ PALM's implementation, technical guide, and conference materials are available i
| [bytes example](../examples/README.md) | Commands for analyzing a working copy of the bundled target. |
| [utgen reference](../utgen/README.md) | Configuration, CLI behavior, and output files. |
| [ASE 2025 materials](ase2025/README.md) | Original poster and presentation PDFs. |
| [Source integration notes](source-integration.md) | Repository origins and the changes selected for integration. |
| [Build validation](build-validation.md) | Fixed-toolchain baseline, runtime-configuration checks, and validation limits. |

The conference PDFs describe the work presented in 2025. The technical guide and command reference describe the implementation maintained here; the current code includes changes made after that presentation.
2 changes: 1 addition & 1 deletion docs/ase2025/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -5,4 +5,4 @@ These are the original presentation materials for **PALM: Synergizing Program An
- [Poster](research-2647-poster.pdf): one A0 page.
- [Presentation](research-2647-pre.pdf): 33 pages.

Both PDFs are preserved byte for byte from [`cppbear/ase2025`, commit `d24c7d5`](https://github.com/cppbear/ase2025/tree/d24c7d5cda1604894d3b2cecfaddeecd3ef46b73). For installation and commands for the current code, see the [project README](../../README.md) and [technical guide](../palm-rust-unit-test-generation.md).
For installation and commands for the current code, see the [project README](../../README.md) and [technical guide](../palm-rust-unit-test-generation.md).
2 changes: 1 addition & 1 deletion docs/palm-rust-unit-test-generation.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

本文重点说明 PALM 的技术路线、各模块职责、数据流和运行步骤。

下文源码路径均相对于 PALM 仓库根目录。指南与配图来自 `rust-utgen/1.87`,命令说明已按当前 PALM 实现校正;版本与整合范围见[来源记录](source-integration.md),会议展示材料见 [ASE 2025 资料](ase2025/README.md)。
下文源码路径均相对于 PALM 仓库根目录,命令说明对应当前 PALM 实现。会议展示材料见 [ASE 2025 资料](ase2025/README.md)。

## 1. 项目目标

Expand Down
40 changes: 0 additions & 40 deletions docs/source-integration.md

This file was deleted.

Loading