Issues

• Superoptimise a saved network on its task, with held-out values

  area: cliarea: search
  ethiril/SNP_Evolution#146 · Filter by author ethiril opened on Oct 7, 2026 · M4: Spec to verified circuit

• Rebuild composite parts when a part they use gets smaller

  area: modules
  ethiril/SNP_Evolution#145 · Filter by author ethiril opened on Oct 7, 2026 · M4: Spec to verified circuit

• Keep the smallest and the fastest part for each contract

  area: modulesarea: search
  ethiril/SNP_Evolution#144 · Filter by author ethiril opened on Oct 7, 2026 · M4: Spec to verified circuit

• Superoptimise kept parts against their contracts

  area: cliarea: search
  ethiril/SNP_Evolution#143 · Filter by author ethiril opened on Oct 7, 2026 · M4: Spec to verified circuit

• Build a verified spike-detection front end

  area: researchkind: benchmark
  ethiril/SNP_Evolution#135 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• Build a delay-and-add pipeline from library parts

  area: researchkind: benchmark
  ethiril/SNP_Evolution#134 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• M5 Part 4: Applications

  Epic
  ethiril/SNP_Evolution#133 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• Publish the library as a versioned release

  area: exportarea: modules
  ethiril/SNP_Evolution#131 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• Specify state machines by transition table

  area: tasks
  ethiril/SNP_Evolution#130 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• Add binary primitives as specs

  area: modulesarea: tasks
  ethiril/SNP_Evolution#129 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• Add timing primitives as specs

  area: modulesarea: tasks
  ethiril/SNP_Evolution#128 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• M5 Part 3: A verified parts library

  Epic
  ethiril/SNP_Evolution#127 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• Benchmark every search method on one budget

  area: researchkind: benchmark
  ethiril/SNP_Evolution#126 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• Add an enumerative search that skips equivalent candidates

  area: search
  ethiril/SNP_Evolution#124 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• Find and apply rewrite rules proven on the exhaustive engine

  area: searchkind: investigation
  ethiril/SNP_Evolution#123 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• Improve correct networks one window at a time

  area: search
  ethiril/SNP_Evolution#122 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• Synthesise small parts exactly, with counterexamples

  area: search
  ethiril/SNP_Evolution#121 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• Encode a network's bounded run in SMT

  area: exportarea: search
  ethiril/SNP_Evolution#120 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• M5 Part 2: Search beyond evolution

  Epic
  ethiril/SNP_Evolution#119 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• Write a discrete-time NIR profile with conformance tests

  area: exportarea: research
  ethiril/SNP_Evolution#118 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• Add hardware targets with chip limits

  area: evolutionarea: export
  ethiril/SNP_Evolution#117 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• Add integer synapse weights

  area: exportarea: simulation
  ethiril/SNP_Evolution#116 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• M5 Part 1: Hardware targets

  Epic
  ethiril/SNP_Evolution#115 · Filter by author ethiril opened on Oct 6, 2026 · M5: A verified spiking library, beyond evolution

• Find out whether loops of parts can be proven for every n by induction

  area: researchkind: investigation
  ethiril/SNP_Evolution#89 · Filter by author ethiril opened on Oct 6, 2026 · M4: Spec to verified circuit

• Show recurrence generators are general

  area: researchkind: benchmark
  ethiril/SNP_Evolution#88 · Filter by author ethiril opened on Oct 6, 2026 · M4: Spec to verified circuit