R

relational-cesk

Settings | Report Duplicate

0

I Use This!

Inactive

Commits : Listings

Analyzed 1 day ago. based on code collected 2 days ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
May 15, 2023 — May 15, 2024 Showing page 2 of 5 Search / Filter on:
updated code to use dmatch	William Byrd	More...				about 11 years ago
updated code to use dmatch	William Byrd	More...				about 11 years ago
created DS scheme version of CESK machine for paper	William Byrd	More...				about 11 years ago
updated Scheme DS cesk to include call/cc	William Byrd	More...				about 11 years ago
added arithmetic test	William Byrd	More...				about 11 years ago
Merge pull request #10 from namin/master	William E. Byrd	More...				about 11 years ago
"Fix" call/cc tests in higher-order interpreter. call/cc was fine. number ops were the issue.	Nada Amin	More...				about 11 years ago
Merge branch 'master' of git://github.com/webyrd/relational-cesk	Nada Amin	More...				about 11 years ago
added broken call/cc to interpreter	William Byrd	More...				about 11 years ago
more consistency with paper	Nada Amin	More...				about 11 years ago
rename ls to t for consistency with the paper	Nada Amin	More...				about 11 years ago
Merge pull request #9 from namin/master	William E. Byrd	More...				about 11 years ago
full v-out for rembero*	Nada Amin	More...				about 11 years ago
find a rembero example which still diverges after (incomplete) CPS v-out trick	Nada Amin	More...				about 11 years ago
note	Nada Amin	More...				about 11 years ago
typos: remembero -> rembero	Nada Amin	More...				about 11 years ago
rembero* transformation	Nada Amin	More...				about 11 years ago
Merge pull request #8 from namin/master	William E. Byrd	More...				about 11 years ago
quickcheck style search for inconsistencies	Nada Amin	More...				about 11 years ago
Merge pull request #7 from namin/master	William E. Byrd	More...				about 11 years ago
Some tricks to get real quines.	Nada Amin	More...				about 11 years ago
Merge pull request #6 from namin/master	William E. Byrd	More...				about 11 years ago
one call/cc example inspired by http://www.ccs.neu.edu/home/dorai/t-y-scheme/t-y-scheme-Z-H-15.html#node_chap_13 -- but shows limitations of just having call/cc without top-level	Nada Amin	More...				about 11 years ago
Preliminary call/cc support.	Nada Amin	More...				about 11 years ago
init cesk-scheme-callcc from cesk-scheme	Nada Amin	More...				about 11 years ago
added a few call/cc tests	William Byrd	More...				about 11 years ago
removed dumb test	William Byrd	More...				about 11 years ago
updated v-out examples	William Byrd	More...				about 11 years ago
updated v-out examples	William Byrd	More...				about 11 years ago
updated v-out examples	William Byrd	More...				about 11 years ago

←
1
2
3
4
5
→