Search results

Optimization: Combine like function quantifiers

Status: Open.

#38 In Orbis-Tertius/osl;

· morganthomas opened on Nov 16, 2022

Add Haskell language server support

Status: Open.

#35 In Orbis-Tertius/osl;

· morganthomas opened on Oct 31, 2022

Use free variable bounds to add fixed bounds for instance variables to logic circuits

Status: Open.

#34 In Orbis-Tertius/osl;

· morganthomas opened on Oct 28, 2022

Add top and bottom to OSL

Status: Open.

#31 In Orbis-Tertius/osl;

· morganthomas opened on Oct 28, 2022

Carry around bounds on variables

arithmetization

Status: Open.

#26 In Orbis-Tertius/osl;

· morganthomas opened on Sep 27, 2022

Allow arguments inline in declarations

enhancementNew feature or requestNew feature or request

Status: Open.

#21 In Orbis-Tertius/osl;

· morganthomas opened on Sep 21, 2022

Add property testing of denotational correctness of TinyRAM spec

Status: Open.

#15 In Orbis-Tertius/osl;

· morganthomas opened on Sep 19, 2022

Document syntax and semantics

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#14 In Orbis-Tertius/osl;

· morganthomas opened on Sep 19, 2022

Improve error message formatting

enhancementNew feature or requestNew feature or request

Status: Open.

#11 In Orbis-Tertius/osl;

· morganthomas opened on Sep 19, 2022