GitXplorerGitXplorer
m

boundvariable

public
0 stars
0 forks
1 issues

Commits

List of commits on branch main.
Unverified
56e411190fdc8225baa75fb0c2cd9a2227f00b7e

Update the README

mmsullivan committed 3 years ago
Unverified
ab58154c65bbf6c76f830218c9f678ceb0bde170

Implement a JSON mode for the adventure goggles

mmsullivan committed 3 years ago
Unverified
527e1a10cb544e88e322f36040f2c197e596eac4

Add a comment correcting the o'cult definition

mmsullivan committed 3 years ago
Unverified
b1bb8081be5b99ccbadccd3798d0953e90d8df07

Turn down the gc ratio for umix and the codex

mmsullivan committed 3 years ago
Unverified
fdf70184c30ff9b20d2d4d415db798ec1fca0f03

Fix the simple mistake in the spec for 2D aspects.

mmsullivan committed 3 years ago
Unverified
f67dcb629bc213f736b812a18c9ea5808d094989

Fix a crash bug when finishing the ocult 2d problem

mmsullivan committed 3 years ago

README

The README file for this repository.

2006 ICFP Programming Contest Source Release 16 Jul 2007 Cult of the Bound Variable Codename: Homework 7

This archive contains the source code for the 2006 ICFP Programming Contest and the tools we used to make it.

This source release contains major spoilers for the Codex. The contest is entirely self-contained, meaning you can still play it without any special resources (other than a computer and compiler) by downloading the codex and the Universal Machine specification from boundvariable.org. If you haven't done this, we recommend it as a much more fun and interactive introduction than reading documentation and source code. Stop right now and go get that Codex!

Another good introduction to the contest is our Technical Report (though it also contains spoilers):

"The Cult of the Bound Variable: The 9th Annual ICFP 
 Programming Contest." Tom Murphy VII, Daniel Spoonhower,
 Chris Casinghino, Daniel R. Licata, Karl Crary,
 Robert Harper. 2006. Technical Report CMU-CS-06-163
http://reports-archive.adm.cs.cmu.edu/anon/2006/abstracts/06-163.html

Even if you are still working through the Codex, a few things included in the source release may be of interest and are more-or-less free of spoilers. The first is our collection of UM implementations, which are in the directory um and its various subdirectories. Not all are written by experts in the language in question. The fastest UM is in the x86-tom directory (assuming you have an x86 processor) and the most full-featured is in the um directory itself. Most interestingly, the compiler that we used to build the contest materials is in um/humlock/. This produces UM binaries from an ML-like input language called UML. Most of the rest of the contest source code is written in UML. The file um/humlock/README explains how to use Humlock. There is also a UM assembler in um/whistleock/.

The directories bureaucracy/ and seeds/ contain "deleted scenes" that didn't make it into the final version of the Codex.

The remainder of the directories contain the source code for various parts of the contest. Many have standalone versions that can be built from their own directories, but umix/ brings them all together. If you want to build the Codex, start in the umix/ directory.

Most of the subdirectories contain README files explaining what the code does and how to use it. Everything is licensed under the GNU GPL (see the file COPYING) except where noted in a README file.

Enjoy!

  • 2006 Contest Judges

    Tom Murphy VII Daniel Spoonhower Chris Casinghino Daniel R. Licata Karl Crary Robert Harper (see story/STORY_CONTEST_CREDITS for full credits)


This is a copy of the source code release with a few updates:

  • Get everything building again
  • Fix a (fairly critical!) documentation error for O'Cult
  • Fix a crash bug when finishing the O'Cult 2d puzzle
  • Fix a documentation error for the O'Cult 2d puzzle
  • Add a JSON output mode for adventure
  • Turn down the gcratio for selfish reasons

Updated codex is at: https://github.com/msullivan/boundvariable/releases/download/v1/codex.umz

-- Michael J. Sullivan