aufbau 0.1.0

Type-aware constrained decoding for LLMs using context-dependent grammars with typing rules
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89

name: Validation Tests

on:
  push:
    branches: [ "main" ]
  pull_request:
    branches: [ "main" ]

env:
  CARGO_TERM_COLOR: always

jobs:
  # Run the fast "parseable" validation module in its own job (parallelizable)
  parseable:
    name: Parseable validation
    runs-on: ubuntu-latest

    steps:
      - name: Checkout repository
        uses: actions/checkout@v4

      - name: Set up Rust
        uses: dtolnay/rust-toolchain@stable
        with:
          toolchain: stable
          components: rustfmt, clippy

      - name: Rust Cache
        uses: Swatinem/rust-cache@v2

      - name: Run parseable validation
        run: cargo run --release --bin aufbau -- validate -m parseable

      - name: Show generated reports (parseable)
        if: always()
        run: |
          echo "Validation reports (parseable):"
          ls -la validation/reports || true
          echo "--- latest report ---"
          ls -t validation/reports/*.txt 2>/dev/null | head -n 1 || true
          tail -n +1 validation/reports/*.txt 2>/dev/null || true

      - name: Upload parseable reports
        if: always()
        uses: actions/upload-artifact@v4
        with:
          name: validation-reports-parseable
          path: validation/reports/*.txt

  # Run each `completable` suite file as a separate matrix job so results are
  # visible per-module in GitHub Actions (stlc, imp, fun, weird, arithmetic)
  completable:
    name: Completable validation — ${{ matrix.module }}
    runs-on: ubuntu-latest
    strategy:
      fail-fast: false
      matrix:
        module: [arithmetic, stlc, imp, fun, weird]

    steps:
      - name: Checkout repository
        uses: actions/checkout@v4

      - name: Set up Rust
        uses: dtolnay/rust-toolchain@stable
        with:
          toolchain: stable
          components: rustfmt, clippy

      - name: Rust Cache
        uses: Swatinem/rust-cache@v2

      - name: Run completable validation for ${{ matrix.module }}
        run: cargo run --release --bin aufbau -- validate -m completable --filter "${{ matrix.module }}::"

      - name: Show generated reports (module)
        if: always()
        run: |
          echo "Validation reports (module=${{ matrix.module }}):"
          ls -la validation/reports || true
          echo "--- failures (if any) ---"
          grep -Hn "FAIL" validation/reports/*.txt || true

      - name: Upload module reports
        if: always()
        uses: actions/upload-artifact@v4
        with:
          name: validation-reports-${{ matrix.module }}
          path: validation/reports/*.txt