Search results

[CODE] Få MiniMC til at virke

codeCoding TasksCoding Tasks

Status: Open.

#78 In pbaekgaard/masterthesis;

· pbaekgaard opened on Apr 15, 2026

[SECTION] Satisfiability Modulo Theorem solver section?

otherMiscellanious TasksMiscellanious Tasks

Status: Open.

#77 In pbaekgaard/masterthesis;

· Aasmundur opened on Apr 14, 2026

[SECTION] Symbolic Execution

overleafSomething that needs to be done in OverleafSomething that needs to be done in Overleaf

Status: Open.

#76 In pbaekgaard/masterthesis;

· pbaekgaard opened on Apr 9, 2026

[SECTION] Find mere related work

overleafSomething that needs to be done in OverleafSomething that needs to be done in Overleaf

Status: Open.

#73 In pbaekgaard/masterthesis;

· pbaekgaard opened on Apr 8, 2026

[CODE] Make code generator output whiley (.wh) file

codeCoding TasksCoding Tasks

Status: Open.

#72 In pbaekgaard/masterthesis;

· Aasmundur opened on Apr 7, 2026

[CHAPTER] Software Hardenings

overleafSomething that needs to be done in OverleafSomething that needs to be done in Overleaf

Status: Open.

#71 In pbaekgaard/masterthesis;

· pbaekgaard opened on Mar 31, 2026

[SECTION] Custom Compiler

overleafSomething that needs to be done in OverleafSomething that needs to be done in Overleaf

Status: Open.

#70 In pbaekgaard/masterthesis;

· Aasmundur opened on Mar 31, 2026

[SECTION] Software Hardenings

overleafSomething that needs to be done in OverleafSomething that needs to be done in Overleaf

Status: Open.

#69 In pbaekgaard/masterthesis;

· Aasmundur opened on Mar 31, 2026

ding dong ur opinion is wrongdog

Status: Open.

#67 In pbaekgaard/masterthesis;

· Aasmundur opened on Mar 17, 2026

[RESEARCH] Hvilke bit/registre er nødvendige/unødvendige at flip på

researchResearch TaskResearch Task

Status: Open.

#65 In pbaekgaard/masterthesis;

· Aasmundur opened on Mar 17, 2026