James Martin james
Loading Heatmap…

james pushed to main at james/desert-of-the-surreal

  • 74b52fd25b Fix rule mixup in `correct-lattice.tex`.

13 hours ago

james pushed to main at james/desert-of-the-surreal

  • f84bf1248c Fix rule mixup in `correct-lattice.tex`.

16 hours ago

james pushed to main at james/desert-of-the-surreal

19 hours ago

james pushed to main at james/desert-of-the-surreal

1 day ago

james pushed to main at james/desert-of-the-surreal

3 days ago

james pushed to main at james/desert-of-the-surreal

3 days ago

james pushed to main at james/desert-of-the-surreal

3 days ago

james pushed to main at james/desert-of-the-surreal

3 days ago

james pushed to main at james/desert-of-the-surreal

  • 123950a77c Add "provability, necessity, and possibility" dump.

5 days ago

james pushed to main at james/desert-of-the-surreal

  • a22fd3d982 Add "provability, necessity, and possibility" dump.

5 days ago

james pushed to main at james/desert-of-the-surreal

7 days ago

james pushed to main at james/desert-of-the-surreal

4 months ago

james pushed to main at james/desert-of-the-surreal

4 months ago

james pushed to main at james/desert-of-the-surreal

4 months ago

james pushed to master at james/pass-lang

4 months ago

james pushed to master at james/pass-lang

  • 894c10903c Old, incomplete, broken stuff from a month ago.

4 months ago

james pushed to master at james/pass-lang

  • d9edbab10c Fix calculation of labels and jump destinations.

5 months ago

james pushed to master at james/pass-lang

  • 68ce32a6df Slightly unfuck codegen for relative jumps and blocks.

5 months ago

james pushed to master at james/pass-lang

  • 1383484e06 No assertions fail during codegen (lang.c) for test file.

6 months ago

james pushed to master at james/pass-lang

6 months ago