concrete

concrete copied to clipboard

Example implementation of LC3

3

This PRs adds an example implementation of a LC3 virtual machine, based on [Write your Own Virtual Machine](https://www.jmeiners.com/lc3-vm/), by Justin Meiners and Ryan Pendleton. I added the full implementation to...

JulianGCalderon

Fix outdated code examples

3

This PR fixes some outdated code examples. The following examples are still failing, because support for them has yet not been implemented: - examples/factorial.con - examples/union.con What should we do...

JulianGCalderon

Add some code examples

5

Adds some code examples to the Concrete book, regarding basic language features. I've not added documentation on these topics: - Traits (not in main yet). - Modules (or standard library)....

JulianGCalderon

Refactor generics code to acomodate future trait generics

3

Mainly changes the symbol resultion structs to improve usability and account for traits, since multiple methods with the same name may exist and may only be distinct by the trait...

edg-l

fix readme example

3

The example was made before we had some kind of error checking

edg-l

Add compile-examples job to CI

6

Adds a `compile-examples` job to the CI that compiles all examples. This job can be set as non-required. Questions: - Should the job fail when an example fails to compile?...

JulianGCalderon

Count lines of codes ci

3

edg-l

Generic traits, generic methods within traits already work

edg-l

edg-l

edg-l