Commits

Commits on Feb 18, 2022

Add link to extensions branch to README
jonathanjameswatson
committedFeb 18, 2022
Fix typo in README
jonathanjameswatson
committedFeb 18, 2022

Commits on Jan 26, 2022

Change Use to Description in README
jonathanjameswatson
committedJan 26, 2022
Convert to Dune
jonathanjameswatson
committedJan 26, 2022

Commits on Jan 30, 2021

add rev_pair2.slang
Timothy-G-Griffin
committedJan 30, 2021

Commits on Feb 6, 2020

Merge pull request Timothy-G-Griffin#16 from DougBoyle/Closures
Timothy-G-Griffin
committedFeb 6, 2020

Commits on Feb 5, 2020

Closures always use new labels. i3 has separate recursive closure to avoid wrong binding being found on stack
DougBoyle
committedFeb 5, 2020
Initial list of issues
DougBoyle
committedFeb 5, 2020
Added multi-line and nested comments
DougBoyle
committedFeb 5, 2020

Commits on Jan 27, 2020

fix comments in exper_machine.txt
Timothy-G-Griffin
committedJan 27, 2020

Commits on Jan 24, 2020

improve basic_transformations/expr_machine.ml
Timothy-G-Griffin
committedJan 24, 2020

Commits on Jan 17, 2020

tweak
Timothy-G-Griffin
committedJan 17, 2020

Commits on Feb 20, 2019

update help
Timothy-G-Griffin
committedFeb 20, 2019
fix typos
Timothy-G-Griffin
committedFeb 20, 2019
fix typo
Timothy-G-Griffin
committedFeb 20, 2019

Commits on Feb 19, 2019

minor clean up of jargon_to_x86.ml
Timothy-G-Griffin
committedFeb 19, 2019
minor tweaks
Timothy-G-Griffin
committedFeb 19, 2019
add x86 code generation
Timothy-G-Griffin
committedFeb 19, 2019
add x86 code generation
Timothy-G-Griffin
committedFeb 19, 2019

Commits on Mar 12, 2017

Merge pull request Timothy-G-Griffin#7 from henrymercer/cleanup-closure-interp-1
Timothy-G-Griffin
committedMar 12, 2017

Commits on Mar 1, 2017

Clean up brackets
henrymercer
committedMar 1, 2017
Refactor CLOSURE flag into CLOSURE and REC_CLOSURE
henrymercer
committedMar 1, 2017

Commits on Feb 27, 2017

add ackermann.ml example to basic_transformations
Timothy-G-Griffin
committedFeb 27, 2017

Commits on Feb 24, 2017

resolve conflict in interp_2.ml
Timothy-G-Griffin
committedFeb 24, 2017
Merge pull request Timothy-G-Griffin#6 from dhruvtapasvi/cleanup-interpreter-2
Timothy-G-Griffin
committedFeb 24, 2017

Commits on Feb 17, 2017

redundant lookup function removed
dhruvtapasvi
committedFeb 17, 2017
value closure split into two types: standard closure and recursive closure
dhruvtapasvi
committedFeb 17, 2017

Commits on Feb 13, 2017

Commits on Feb 12, 2017

Added a tree version of pretty printing
pspencil
committedFeb 12, 2017

Commits on Feb 10, 2017

Added integer division
pspencil
committedFeb 10, 2017

Commits on Feb 3, 2017

Fix the silly confusion between Slang state and interpreter state in interp_2
Timothy-G-Griffin
committedFeb 3, 2017

Commits on Jan 23, 2017

fix -V bug
Timothy-G-Griffin
committedJan 23, 2017

Commits on Jan 21, 2017

remove slang_v1
Timothy-G-Griffin
committedJan 21, 2017