Search results

Generalize back-end for any AND node

Status: Open.

#105 In elefthei/rezk;

· elefthei opened on Oct 19, 2023

DFA with recursion solver time

Status: Open.

#103 In elefthei/rezk;

· sga001 opened on Oct 18, 2023

Nova has new witness gen

More than nice to have but not urgentMedium PriorityMedium Priority

Status: Open.

#77 In elefthei/rezk;

· sga001 opened on Jun 20, 2023

Open sets backend

More than nice to have but not urgentMedium PriorityMedium Priority

Status: Open.

#74 In elefthei/rezk;

· elefthei opened on Jun 15, 2023

See if we can make padding cheaper

Nice to haveLow priority taskLow priority task

Status: Open.

#69 In elefthei/rezk;

· sga001 opened on Jun 3, 2023

Extract nlookup

Nice to haveLow priority taskLow priority task

Status: Open.

#67 In elefthei/rezk;

· sga001 opened on May 30, 2023

Implement back end for SAFA

UrgentHigh priority taskHigh priority task

Status: Open.

#64 In elefthei/rezk;

· sga001 opened on May 25, 2023

Convert everything to jmalloc

Nice to haveLow priority taskLow priority task

Status: Open.

#52 In elefthei/rezk;

· ecmargo opened on May 15, 2023

Back-end fine-grained benchmarks

Nice to haveLow priority taskLow priority task

Status: Open.

#32 In elefthei/rezk;

· elefthei opened on Apr 26, 2023

Make sized strings for NFA

Nice to haveLow priority taskLow priority task

Status: Open.

#10 In elefthei/rezk;

· elefthei opened on Mar 30, 2023