All issues

Search results

Write all errors to stderr

Status: Open.

#36 In sorear/smetamath-rs;

· digama0 opened on Jul 17, 2016

Soft DV errors in verify

Status: Open.

#35 In sorear/smetamath-rs;

· digama0 opened on Jul 11, 2016

Add $j parsing

Status: Open.

#31 In sorear/smetamath-rs;

· digama0 opened on Jul 7, 2016

parallel parsing mishandles repeated includes

Status: Open.

#22 In sorear/smetamath-rs;

· sorear opened on Jul 3, 2016

Should we remove the hybrid mode from database parsing?

Status: Open.

#18 In sorear/smetamath-rs;

· sorear opened on Jun 27, 2016

Do a better job of accounting for secondary errors

Status: Open.

#17 In sorear/smetamath-rs;

· sorear opened on Jun 27, 2016

Thread queue: signal threads to exit when Executor goes out of scope

Status: Open.

#16 In sorear/smetamath-rs;

· sorear opened on Jun 27, 2016

Return exit codes

Status: Open.

#14 In sorear/smetamath-rs;

· david-a-wheeler opened on Jun 26, 2016

Intelligently default --jobs and --split

Status: Open.

#13 In sorear/smetamath-rs;

· sorear opened on Jun 26, 2016

Implement PACKED and EXPLICIT format

Status: Open.

#12 In sorear/smetamath-rs;

· sorear opened on Jun 26, 2016

Ideas for finer-grained dependency tracking

Status: Open.

#11 In sorear/smetamath-rs;

· sorear opened on Jun 26, 2016

Port the file splitter from smm2

Status: Open.

#10 In sorear/smetamath-rs;

· sorear opened on Jun 26, 2016