Commits

Branch selector

main

User selector

All users

All time

Commit history

Commits on Aug 10, 2026

• Evolve survey and paper ingestion workflows

  Show description for 27a857a
  

  qobilidop

  and

  codex

  committed
  27a857aView commit details

  Copy full SHA for 27a857a

  Browse repository at this point

• Ingest directed test generation survey

  Show description for 5928962
  

  qobilidop

  and

  codex

  committed
  5928962View commit details

  Copy full SHA for 5928962

  Browse repository at this point

• Add symbolic execution hardware survey

  Show description for d837392
  

  qobilidop

  and

  codex

  committed
  d837392View commit details

  Copy full SHA for d837392

  Browse repository at this point

• Refresh GitHub action runtimes

  Show description for b748c6e
  

  qobilidop

  and

  codex

  committed
  b748c6eView commit details

  Copy full SHA for b748c6e

  Browse repository at this point

• Move library archiving to monthly maintenance

  Show description for be1e6b0
  

  qobilidop

  and

  codex

  committed
  be1e6b0View commit details

  Copy full SHA for be1e6b0

  Browse repository at this point

• Add library source and discussion links

  Show description for d0303be
  

  qobilidop

  and

  codex

  committed
  d0303beView commit details

  Copy full SHA for d0303be

  Browse repository at this point

• Ingest Memory for Large Language Models

  Show description for d771400
  

  qobilidop

  and

  codex

  committed
  d771400View commit details

  Copy full SHA for d771400

  Browse repository at this point

• Update survey capture paths

  Show description for 61d2bf0
  

  qobilidop

  and

  codex

  committed
  61d2bf0View commit details

  Copy full SHA for 61d2bf0

  Browse repository at this point

• Tighten library citekeys

  Show description for 57e59c8
  

  qobilidop

  and

  codex

  committed
  57e59c8View commit details

  Copy full SHA for 57e59c8

  Browse repository at this point

• Shorten library citekeys

  Show description for 276a772
  

  qobilidop

  and

  codex

  committed
  276a772View commit details

  Copy full SHA for 276a772

  Browse repository at this point

• Ingest Scaling Laws, Carefully

  Show description for 0ba9067
  

  qobilidop

  and

  codex

  committed
  0ba9067View commit details

  Copy full SHA for 0ba9067

  Browse repository at this point

• Fix Git-backed site build in CI

  Show description for 5915820
  

  qobilidop

  and

  codex

  committed
  5915820View commit details

  Copy full SHA for 5915820

  Browse repository at this point

• Refine site homepage and navigation

  Show description for fce5565
  

  qobilidop

  and

  codex

  committed
  fce5565View commit details

  Copy full SHA for fce5565

  Browse repository at this point

• Refine site identity and navigation

  Show description for ee6396d
  

  qobilidop

  and

  codex

  committed
  ee6396dView commit details

  Copy full SHA for ee6396d

  Browse repository at this point

• Refine README

  qobilidop

  committed
  fd29407View commit details

  Copy full SHA for fd29407

  Browse repository at this point

• Evolve survey publication workflow

  Show description for da6f8ec
  

  qobilidop

  and

  codex

  committed
  da6f8ecView commit details

  Copy full SHA for da6f8ec

  Browse repository at this point

• Refine AAES survey landing page

  Show description for 449400b
  

  qobilidop

  and

  codex

  committed
  449400bView commit details

  Copy full SHA for 449400b

  Browse repository at this point

• Refine agent-assisted evidence synthesis survey

  Show description for 9de671a
  

  qobilidop

  and

  codex

  committed
  9de671aView commit details

  Copy full SHA for 9de671a

  Browse repository at this point

• Refine survey disclosure guidance

  Show description for 3e536a7
  

  qobilidop

  and

  codex

  committed
  3e536a7View commit details

  Copy full SHA for 3e536a7

  Browse repository at this point

• Credit Claude in manuscript AI-assistance disclosure

  Show description for 5bbb40c
  

  qobilidop

  and

  claude

  committed
  5bbb40cView commit details

  Copy full SHA for 5bbb40c

  Browse repository at this point

• Refine survey manuscript readability

  Show description for 912e067
  

  qobilidop

  and

  codex

  committed
  912e067View commit details

  Copy full SHA for 912e067

  Browse repository at this point

• Clarify survey record ownership

  Show description for 1b5a227
  

  qobilidop

  and

  codex

  committed
  1b5a227View commit details

  Copy full SHA for 1b5a227

  Browse repository at this point

• Revise dataflow selection enumeration survey

  Show description for e4e19e5
  

  qobilidop

  and

  codex

  committed
  e4e19e5View commit details

  Copy full SHA for e4e19e5

  Browse repository at this point

• Align manuscript section names and labels

  Show description for b0f9e81
  

  qobilidop

  and

  codex

  committed
  b0f9e81View commit details

  Copy full SHA for b0f9e81

  Browse repository at this point

• Evolve manuscript HTML safeguards

  Show description for b5de484
  

  qobilidop

  and

  codex

  committed
  b5de484View commit details

  Copy full SHA for b5de484

  Browse repository at this point

• Fix manuscript HTML presentation

  Show description for e0dde05
  

  qobilidop

  and

  codex

  committed
  e0dde05View commit details

  Copy full SHA for e0dde05

  Browse repository at this point

• Add floating manuscript contents

  Show description for a33f814
  

  qobilidop

  and

  codex

  committed
  a33f814View commit details

  Copy full SHA for a33f814

  Browse repository at this point

• Refine selection enumeration survey

  Show description for df6bae8
  

  qobilidop

  and

  codex

  committed
  df6bae8View commit details

  Copy full SHA for df6bae8

  Browse repository at this point

Commits on Aug 9, 2026

• Minimize survey methodology

  Show description for 41f8891
  

  qobilidop

  and

  codex

  committed
  41f8891View commit details

  Copy full SHA for 41f8891

  Browse repository at this point

• evolve: quantities guard, judgment fan-out rule, cd motive removal

  Show description for 258ff26
  

  qobilidop

  and

  claude

  committed
  258ff26View commit details

  Copy full SHA for 258ff26

  Browse repository at this point

• aes: record what the next update owes

  Show description for a46d599
  

  qobilidop

  and

  claude

  committed
  a46d599View commit details

  Copy full SHA for a46d599

  Browse repository at this point

• aes: second review round — the correction was also wrong

  Show description for 85d11ab
  

  qobilidop

  and

  claude

  committed
  85d11abView commit details

  Copy full SHA for 85d11ab

  Browse repository at this point

• aes: apply the review panel's findings

  Show description for 830be0b
  

  qobilidop

  and

  claude

  committed
  830be0bView commit details

  Copy full SHA for 830be0b

  Browse repository at this point

• aes, run-survey: close the resumability gaps the panel found

  Show description for 0697fe2
  

  qobilidop

  and

  claude

  committed
  0697fe2View commit details

  Copy full SHA for 0697fe2

  Browse repository at this point

• aes: curate the update's anchors into the reading list

  Show description for 8b7c12f
  

  qobilidop

  and

  claude

  committed
  8b7c12fView commit details

  Copy full SHA for 8b7c12f

  Browse repository at this point