Issues

• Command-line argument to select the .fix directory location

  fix-project/fix#197 · Filter by author keithw opened on Jun 12, 2024

• Ergonomic test harness

  fix-project/fix#196 · Filter by author keithw opened on Jun 12, 2024

• TODO: FixKernel

  fix-project/fix#189 · Filter by author keithw opened on May 3, 2024

• TODO: proper distributed object store

  fix-project/fix#188 · Filter by author keithw opened on May 3, 2024
  1

• TODO: improve developer (and user) experience

  fix-project/fix#187 · Filter by author keithw opened on May 3, 2024

• Add better support for non-Flatware procedures

  fix-project/fix#183 · Filter by author Akshay-Srivatsan opened on Apr 18, 2024

• Run export-audit and wasm-opt over flatware procedures to remove unnecessary functions

  fix-project/fix#180 · Filter by author keithw opened on Apr 11, 2024

• Define better hash functions

  enhancement
  fix-project/fix#104 · Filter by author Akshay-Srivatsan opened on Oct 10, 2023

• Add multiple Channel implementations for different purposes.

  enhancementoptimization
  fix-project/fix#103 · Filter by author Akshay-Srivatsan opened on Oct 10, 2023

• Schedule on more than one machine

  enhancement
  fix-project/fix#100 · Filter by author Akshay-Srivatsan opened on Oct 10, 2023 · Runtime for laptop + one remote server

• Switch DependencyGraph to better data structures

  optimization
  fix-project/fix#99 · Filter by author Akshay-Srivatsan opened on Oct 10, 2023

• Move linking into the offline trusted toolchain

  cleanupoptimization
  fix-project/fix#92 · Filter by author keithw opened on Sep 5, 2023
  1

• Eliminate use of wasm-toolchain to compile fixpoint (use wasi-sdk instead)

  fix-project/fix#87 · Filter by author keithw opened on Aug 23, 2023
  2

• TODO: Garbage collection

  fix-project/fix#72 · Filter by author keithw opened on Jun 16, 2023
  

• TODO: Blob names contain size, and Tree names contain total size of strict entries?

  fix-project/fix#71 · Filter by author keithw opened on Jun 16, 2023

• TODO: Upstream our changes to lld (reading from virtual files)

  fix-project/fix#70 · Filter by author keithw opened on Jun 16, 2023

• TODO: Project website

  fix-project/fix#68 · Filter by author keithw opened on Jun 16, 2023

• TODO: Interlink & cleanup docs so they display nicely on GitHub

  fix-project/fix#67 · Filter by author keithw opened on Jun 16, 2023

• TODO: Runtime for laptop + AWS Lambda

  fix-project/fix#66 · Filter by author keithw opened on Jun 16, 2023

• TODO: Runtime for laptop + one remote server

  fix-project/fix#65 · Filter by author keithw opened on Jun 16, 2023 · Runtime for laptop + one remote server
  

• TODO: Extend Flatware enough to run the CPython interpreter

  fix-project/fix#64 · Filter by author keithw opened on Jun 16, 2023

• TODO: Make "deterministic Trap" and "nondeterministic Trap" types, and allow cache to store the former

  fix-project/fix#63 · Filter by author keithw opened on Jun 16, 2023
  4

• TODO: Report on "overuse" of resources (either max memory < limit, or objects in ENCODE never attached)

  fix-project/fix#62 · Filter by author keithw opened on Jun 16, 2023

• TODO: Support thread cancellation via signals

  fix-project/fix#60 · Filter by author keithw opened on Jun 16, 2023

• TODO: Make stack-overflow recovery in wasm2c thread safe

  fix-project/fix#59 · Filter by author keithw opened on Jun 16, 2023