Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
44 commits
Select commit Hold shift + click to select a range
b7f2457
Add comprehensive research documentation and project planning
claude Nov 16, 2025
e087488
Implement PoC foundation: Cargo workspace, core structures, parser, a…
claude Nov 16, 2025
9d96cd5
Add MPU support and memory layout analyzer
claude Nov 16, 2025
8378052
Add ARM Cortex-M startup code generator
claude Nov 16, 2025
0624e7f
Add w2c2 WebAssembly-to-C transpiler wrapper
claude Nov 16, 2025
141af18
Add ISLE-inspired synthesis rule system
claude Nov 16, 2025
304d1b0
Add comprehensive implementation progress documentation
claude Nov 16, 2025
d5b4de8
Add LED blink example and complete PoC implementation
claude Nov 16, 2025
729fde7
Implement pattern matching engine and SSA optimizations
claude Nov 16, 2025
c8d2dc3
feat: Implement complete WASM-to-ARM synthesis pipeline
claude Nov 16, 2025
1cb2544
feat: Add peephole optimizer for ARM code generation
claude Nov 16, 2025
9cc4bbb
feat: Complete LED blink milestone with vector table and reset handler
claude Nov 17, 2025
07c5efa
feat: Add bit manipulation operations (rotate, clz, ctz, popcnt)
claude Nov 17, 2025
b296a5b
feat: Add hardware division and modulo support for ARMv7-M
claude Nov 17, 2025
a3fdbef
feat: Add comprehensive linker script generator for embedded ARM
claude Nov 17, 2025
7fe7374
feat: Add comprehensive benchmark suite for code generation quality
claude Nov 17, 2025
b273340
docs: Add comprehensive architecture and achievement documentation
claude Nov 17, 2025
8389a3e
docs: Add comprehensive session summary
claude Nov 17, 2025
755642b
feat: Add Component Model foundation and comprehensive roadmap
claude Nov 17, 2025
be410d9
feat: Complete WIT parser implementation and QEMU integration
claude Nov 17, 2025
9105201
fix: Fix all WIT parser test failures (25/25 tests passing)
claude Nov 17, 2025
cb8167f
feat: Implement Canonical ABI foundation (22 tests passing)
claude Nov 17, 2025
a94dfdc
feat: Extend Canonical ABI with record/option/result support (30 tests)
claude Nov 17, 2025
9d3a7b7
feat: Implement Control Flow Graph analysis (5 tests passing)
claude Nov 17, 2025
555a614
docs: Add comprehensive continuation session summary
claude Nov 17, 2025
98a8e17
feat: Complete Canonical ABI with enum/flags/variant (39 tests)
claude Nov 17, 2025
c97a50c
feat: Add optimization pass framework with DCE (4 tests passing)
claude Nov 17, 2025
b70cd59
feat: Implement constant folding optimization (8 tests total)
claude Nov 17, 2025
4c62d78
feat: Add Common Subexpression Elimination (13 tests total)
claude Nov 17, 2025
49d747d
feat: Add algebraic simplification pass (19 tests total)
claude Nov 17, 2025
25def37
docs: Update session summary with optimization infrastructure
claude Nov 17, 2025
8791c83
feat: Add peephole optimization and full pipeline test (22 tests total)
claude Nov 17, 2025
6d3da3b
docs: Add optimization pipeline example
claude Nov 17, 2025
7fca89c
feat: Integrate optimization framework with synthesis engine
claude Nov 17, 2025
3c2cfb6
docs: Add comprehensive end-to-end optimization demo
claude Nov 17, 2025
05fc429
docs: Final session summary - MVP complete
claude Nov 17, 2025
9c0e2b9
chore: Update Cargo.lock for new dependencies
claude Nov 17, 2025
b3bfc68
feat(opt): Add Strength Reduction and LICM passes
claude Nov 17, 2025
b32ac93
feat(opt): Add Copy Propagation and Instruction Combining passes
claude Nov 17, 2025
c60a247
feat(opt): Expand WASM instruction support with 20+ new operations
claude Nov 17, 2025
c1e7689
feat(opt): Add comprehensive benchmarking infrastructure
claude Nov 17, 2025
a7f2142
feat(synthesis): Add comprehensive WASM compilation demo
claude Nov 17, 2025
75b76aa
docs: Add comprehensive session summary
claude Nov 17, 2025
172f750
feat(backend): Add register allocation, code generation, and CFG opti…
claude Nov 17, 2025
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
457 changes: 457 additions & 0 deletions ARCHITECTURE.md

Large diffs are not rendered by default.

552 changes: 552 additions & 0 deletions CONTINUATION_SESSION_SUMMARY.md

Large diffs are not rendered by default.

1,069 changes: 1,069 additions & 0 deletions Cargo.lock

Large diffs are not rendered by default.

56 changes: 56 additions & 0 deletions Cargo.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,56 @@
[workspace]
members = [
"crates/synth-cli",
"crates/synth-core",
"crates/synth-frontend",
"crates/synth-analysis",
"crates/synth-synthesis",
"crates/synth-backend",
"crates/synth-wit",
"crates/synth-qemu",
"crates/synth-abi",
"crates/synth-cfg",
"crates/synth-opt",
"crates/synth-regalloc",
"crates/synth-codegen",
]
resolver = "2"

[workspace.package]
version = "0.1.0"
edition = "2021"
authors = ["PulseEngine Team"]
license = "Apache-2.0 OR MIT"
repository = "https://github.com/pulseengine/Synth"

[workspace.dependencies]
# WebAssembly tooling
wasmparser = "0.219"
wasm-encoder = "0.219"
wit-parser = "0.219"
wit-component = "0.219"

# Serialization
serde = { version = "1.0", features = ["derive"] }
serde_json = "1.0"
toml = "0.8"

# Error handling
anyhow = "1.0"
thiserror = "1.0"

# CLI
clap = { version = "4.5", features = ["derive"] }

# Logging
tracing = "0.1"
tracing-subscriber = "0.3"

# Testing
proptest = "1.4"

[profile.release]
lto = true
codegen-units = 1
strip = true
opt-level = 3
Loading