summaryrefslogtreecommitdiff
path: root/src/lem_interp/interp_lib.lem
AgeCommit message (Expand)Author
2014-03-20Remove work-around from interpreter, move it to power.sailGabriel Kerneis
2014-03-20Workaround missing casts for external callsGabriel Kerneis
2014-03-11More work on interpreter and Power modelGabriel Kerneis
2014-03-11Confusion between first index and vector lengthGabriel Kerneis
2014-03-04More polymorphism for additionGabriel Kerneis
2014-02-28Fix endiannessGabriel Kerneis
2014-02-28Fetch-decode POWER interpreterGabriel Kerneis
2014-02-27Partial fix for to_vec_inc/to_vec_decGabriel Kerneis
2014-02-21Add type annotations to lem grammar, including printing out the annotated ast...Kathy Gray
2014-02-18Remove spurious add infixGabriel Kerneis
2014-02-12More library functions for interpreterGabriel Kerneis
2014-02-07Fix a few stupid bugsGabriel Kerneis
2014-02-07Implement is_oneGabriel Kerneis
2014-02-05Replace symbolic link by actual fileGabriel Kerneis
2014-02-05First bit of Power specGabriel Kerneis
2013-11-12Define and test addition in libraryGabriel Kerneis
2013-11-11Remove workaround for a bug fixed in LemGabriel Kerneis
2013-11-07Port L2 to new LemGabriel Kerneis
2013-11-07Stub for external callsGabriel Kerneis
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-09 18:22:18 +0000