Search results

Become self-hosting

backlog

Status: Open.

#39 In refu-lang/refu;

· axic opened on Feb 22, 2017

Build issue on Mac

Status: Open.

#38 In refu-lang/refu;

· axic opened on Feb 22, 2017

Using Refu in eWASM to write Ethereum contracts

discussion

language_design

Status: Open.

#36 In refu-lang/refu;

· axic opened on Feb 20, 2017

Implement typeclasses for analysis and backend state

stage:analyzer

stage:backend_code_gen

stage:intermediate_representation

Status: Open.

#35 In refu-lang/refu;

· LefterisJP opened on Feb 19, 2017

[Experiment] Emit also WebAssembly in the backend

discussion

question

stage:backend_code_gen

Status: Open.

#34 In refu-lang/refu;

· LefterisJP opened on Feb 17, 2017

Determine signedness of comparisons in the RIR

low_hanging_fruit

stage:backend_code_gen

stage:intermediate_representation

Status: Open.

#32 In refu-lang/refu;

· LefterisJP opened on Feb 15, 2017

Implement compound arithmetic operators

full_stack

low_hanging_fruit

testing

Status: Open.

#30 In refu-lang/refu;

· LefterisJP opened on Feb 14, 2017

Make compatible with Windows OS

infrastructure

Status: Open.

#26 In refu-lang/refu;

· LefterisJP opened on Feb 12, 2017

Lazy Evaluation [Meta]

language_design

Status: Open.

#23 In refu-lang/refu;

· LefterisJP opened on Feb 10, 2017

Program verification

backlog

discussion

full_stack

language_design

Status: Open.

#21 In refu-lang/refu;

· LefterisJP opened on Feb 6, 2017

Make the IR loadable from a file

backlog

stage:intermediate_representation

Status: Open.

#20 In refu-lang/refu;

· LefterisJP opened on Feb 6, 2017

Make the IR saveable into a file

backlog

stage:intermediate_representation

Status: Open.

#19 In refu-lang/refu;

· LefterisJP opened on Feb 6, 2017