admin/Colton1skees-Dna

mirror of https://github.com/Colton1skees/Dna synced 2026-06-21 13:42:09 +00:00

Files

T

History

Colton1skees c1a05a7591 Finish upgrade to LLVM17; Push the rest of the recompilation code; Modify LLVMSharp to use our re-exported LLVM-C api; Upgrade from .NET 7 to .NET 8; Fix some recompilation bugs;

2024-10-07 17:56:04 -04:00

..

Finish upgrade to LLVM17; Push the rest of the recompilation code; Modify LLVMSharp to use our re-exported LLVM-C api; Upgrade from .NET 7 to .NET 8; Fix some recompilation bugs;

2024-10-07 17:56:04 -04:00

Implement synthesis oracle, ast to string translation, expression hashing, and expression evaluation.

2023-02-05 21:57:45 -06:00

Implement synthesis oracle, ast to string translation, expression hashing, and expression evaluation.

2023-02-05 21:57:45 -06:00

Implement synthesis oracle, ast to string translation, expression hashing, and expression evaluation.

2023-02-05 21:57:45 -06:00

Implement synthesis oracle, ast to string translation, expression hashing, and expression evaluation.

2023-02-05 21:57:45 -06:00

Dna.Synthesis.csproj

Finish upgrade to LLVM17; Push the rest of the recompilation code; Modify LLVMSharp to use our re-exported LLVM-C api; Upgrade from .NET 7 to .NET 8; Fix some recompilation bugs;

2024-10-07 17:56:04 -04:00

README.md

Update README

2023-04-18 05:20:41 -05:00

README.md

Credits

The synthesis submodule is a .NET port of Tim Blazytko and Moritz Schloegel's msynth.