Search results

<code>error loading shared library: Dynlink.Error: undefined symbol "ml_z_format"</code>

Status: Open.

#66 In avisi-group/borealis;

· fmckeogh opened on Mar 15, 2024

Add size to literals

Status: Open.

#65 In avisi-group/borealis;

· fmckeogh opened on Sep 20, 2023

Refactor bitvector resolve

Status: Open.

#64 In avisi-group/borealis;

· fmckeogh opened on Aug 26, 2023

fix undefined vars

Status: Open.

#63 In avisi-group/borealis;

· fmckeogh opened on Aug 25, 2023

make function calls expressions

Status: Open.

#60 In avisi-group/borealis;

· fmckeogh opened on Aug 24, 2023

AST nodes should have context

Status: Open.

#59 In avisi-group/borealis;

· fmckeogh opened on Aug 24, 2023

Re-assess interior mutability requirements for parameters

Status: Open.

#56 In avisi-group/borealis;

· fmckeogh opened on Aug 24, 2023

Block statement mutation can be improved

Status: Open.

#55 In avisi-group/borealis;

· fmckeogh opened on Aug 24, 2023

Pass to remove redundant assignments

Status: Open.

#54 In avisi-group/borealis;

· fmckeogh opened on Jul 24, 2023

Fix bitvector ordering

Status: Open.

#53 In avisi-group/borealis;

· fmckeogh opened on Jul 23, 2023

Docker development container

Status: Open.

#49 In avisi-group/borealis;

· fmckeogh opened on Apr 26, 2023

Investigate JIB dead code elimination

Status: Open.

#42 In avisi-group/borealis;

· fmckeogh opened on Mar 7, 2023