<?xml version="1.0" encoding="utf-8"?>
<feed xmlns="http://www.w3.org/2005/Atom">
<title>git.devnull.li - icfp2011.git/atom log</title>
<subtitle>Unnamed repository; edit this file 'description' to name the repository.</subtitle>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git" />
<link rel="self" type="text/xml" href="http://git.devnull.li?opt=--no-merges" />
<id>http://git.devnull.li/icfp2011.git</id>
<author><name>git repository hosting</name></author>
<icon>/git-favicon.png</icon>
<logo>/git-logo.png</logo>
<updated>2011-06-21T20:05:06Z</updated>
<generator version='1.7.2.5/1.7.2.5'>gitweb</generator>
<entry>
<title type="html">initialize players; used for testing from the interpreter</title>
<updated>2011-06-21T20:05:06Z</updated>
<author>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</author>
<contributor>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</contributor>
<published>2011-06-21T20:05:06Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/ac11d1d57dba610cad4eb7e9fd27df33511c1558" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/ac11d1d57dba610cad4eb7e9fd27df33511c1558</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
initialize players; used for testing from the interpreter
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/28ad15efee7266cbecf231ab0baadbe6fdd55d75..ac11d1d57dba610cad4eb7e9fd27df33511c1558:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/ac11d1d57dba610cad4eb7e9fd27df33511c1558?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">reset call counter when exceeded</title>
<updated>2011-06-21T20:04:06Z</updated>
<author>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</author>
<contributor>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</contributor>
<published>2011-06-21T20:04:06Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/28ad15efee7266cbecf231ab0baadbe6fdd55d75" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/28ad15efee7266cbecf231ab0baadbe6fdd55d75</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
reset call counter when exceeded
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/4c62036e78acca354907f07b5abaff5f3639f870..28ad15efee7266cbecf231ab0baadbe6fdd55d75:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/28ad15efee7266cbecf231ab0baadbe6fdd55d75?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html"> check function type when expecting an int</title>
<updated>2011-06-21T20:03:25Z</updated>
<author>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</author>
<contributor>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</contributor>
<published>2011-06-21T20:03:25Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/4c62036e78acca354907f07b5abaff5f3639f870" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/4c62036e78acca354907f07b5abaff5f3639f870</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
 check function type when expecting an int
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/4dae19d6aa65c1d1bc38a389fbcb7dc38dfa6365..4c62036e78acca354907f07b5abaff5f3639f870:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/4c62036e78acca354907f07b5abaff5f3639f870?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">added force_brute function for stress-test implementation</title>
<updated>2011-06-19T17:17:06Z</updated>
<author>
  <name>Gustavo Andrés Angulo</name>
  <email>gangulo@contaduria.gov.co</email>
</author>
<contributor>
  <name>Gustavo Andrés Angulo</name>
  <email>gangulo@contaduria.gov.co</email>
</contributor>
<published>2011-06-19T17:17:06Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/4dae19d6aa65c1d1bc38a389fbcb7dc38dfa6365" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/4dae19d6aa65c1d1bc38a389fbcb7dc38dfa6365</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
added force_brute function for stress-test implementation
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/6e70e8811d679caad1cc3fc553e64b8c804ce845..4dae19d6aa65c1d1bc38a389fbcb7dc38dfa6365:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/4dae19d6aa65c1d1bc38a389fbcb7dc38dfa6365?f=src/evaluator.py">H</a>] src/evaluator.py</li>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/6e70e8811d679caad1cc3fc553e64b8c804ce845..4dae19d6aa65c1d1bc38a389fbcb7dc38dfa6365:/src/stress_test.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/4dae19d6aa65c1d1bc38a389fbcb7dc38dfa6365?f=src/stress_test.py">H</a>] src/stress_test.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">corrected succ implementation</title>
<updated>2011-06-19T04:30:42Z</updated>
<author>
  <name>Gustavo Andrés Angulo</name>
  <email>gangulo@contaduria.gov.co</email>
</author>
<contributor>
  <name>Gustavo Andrés Angulo</name>
  <email>gangulo@contaduria.gov.co</email>
</contributor>
<published>2011-06-19T04:30:42Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/6e70e8811d679caad1cc3fc553e64b8c804ce845" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/6e70e8811d679caad1cc3fc553e64b8c804ce845</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
corrected succ implementation
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/cdfa63d684b37eabfc8147f7983bead0948a2024..6e70e8811d679caad1cc3fc553e64b8c804ce845:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/6e70e8811d679caad1cc3fc553e64b8c804ce845?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">corrected put implementation</title>
<updated>2011-06-19T04:28:10Z</updated>
<author>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</author>
<contributor>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</contributor>
<published>2011-06-19T04:28:10Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/cdfa63d684b37eabfc8147f7983bead0948a2024" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/cdfa63d684b37eabfc8147f7983bead0948a2024</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
corrected put implementation
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/0e666c0e4bf07acf94654898a654d460948a3d60..cdfa63d684b37eabfc8147f7983bead0948a2024:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/cdfa63d684b37eabfc8147f7983bead0948a2024?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">function to convert a movement to a string, mostly for debugging</title>
<updated>2011-06-19T04:28:02Z</updated>
<author>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</author>
<contributor>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</contributor>
<published>2011-06-19T04:28:02Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/0e666c0e4bf07acf94654898a654d460948a3d60" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/0e666c0e4bf07acf94654898a654d460948a3d60</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
function to convert a movement to a string, mostly for debugging
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/5fc937af8db3617b693fa09a5e1e7fac624dae78..0e666c0e4bf07acf94654898a654d460948a3d60:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/0e666c0e4bf07acf94654898a654d460948a3d60?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">script to stress-test the evaluator</title>
<updated>2011-06-19T04:15:05Z</updated>
<author>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</author>
<contributor>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</contributor>
<published>2011-06-19T04:15:05Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/5fc937af8db3617b693fa09a5e1e7fac624dae78" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/5fc937af8db3617b693fa09a5e1e7fac624dae78</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
script to stress-test the evaluator
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/25b056fedec3ead9e69e5e09fe796464c493d4ae..5fc937af8db3617b693fa09a5e1e7fac624dae78:/src/stress_test.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/5fc937af8db3617b693fa09a5e1e7fac624dae78?f=src/stress_test.py">H</a>] src/stress_test.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">added a limit excedded for function calls</title>
<updated>2011-06-19T03:41:28Z</updated>
<author>
  <name>Gustavo Andrés Angulo</name>
  <email>gangulo@contaduria.gov.co</email>
</author>
<contributor>
  <name>Gustavo Andrés Angulo</name>
  <email>gangulo@contaduria.gov.co</email>
</contributor>
<published>2011-06-19T03:41:28Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/25b056fedec3ead9e69e5e09fe796464c493d4ae" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/25b056fedec3ead9e69e5e09fe796464c493d4ae</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
added a limit excedded for function calls
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/0028158262a9621d8a5eef10fbcfd0ce3a6ffae3..25b056fedec3ead9e69e5e09fe796464c493d4ae:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/25b056fedec3ead9e69e5e09fe796464c493d4ae?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">corrected zombie function implementation, and added handling for all the new exceptions</title>
<updated>2011-06-19T02:39:11Z</updated>
<author>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</author>
<contributor>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</contributor>
<published>2011-06-19T02:39:11Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/0028158262a9621d8a5eef10fbcfd0ce3a6ffae3" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/0028158262a9621d8a5eef10fbcfd0ce3a6ffae3</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
corrected zombie function implementation, and added handling for all the new exceptions
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/c1fec6409ca96e1937c01bf2c6e99a419e8ccc83..0028158262a9621d8a5eef10fbcfd0ce3a6ffae3:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/0028158262a9621d8a5eef10fbcfd0ce3a6ffae3?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">corrected revive implementation</title>
<updated>2011-06-19T02:11:08Z</updated>
<author>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</author>
<contributor>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</contributor>
<published>2011-06-19T02:11:08Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/c1fec6409ca96e1937c01bf2c6e99a419e8ccc83" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/c1fec6409ca96e1937c01bf2c6e99a419e8ccc83</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
corrected revive implementation
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/7ad519c301b8ae9120d1778ab69ea0773bfd1570..c1fec6409ca96e1937c01bf2c6e99a419e8ccc83:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/c1fec6409ca96e1937c01bf2c6e99a419e8ccc83?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">corrected copy implementation</title>
<updated>2011-06-19T02:08:30Z</updated>
<author>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</author>
<contributor>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</contributor>
<published>2011-06-19T02:08:30Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/7ad519c301b8ae9120d1778ab69ea0773bfd1570" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/7ad519c301b8ae9120d1778ab69ea0773bfd1570</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
corrected copy implementation
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/750e3d6a5865a9867e81233b188ddfdf3de81743..7ad519c301b8ae9120d1778ab69ea0773bfd1570:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/7ad519c301b8ae9120d1778ab69ea0773bfd1570?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">corrected help implementation</title>
<updated>2011-06-19T02:07:01Z</updated>
<author>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</author>
<contributor>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</contributor>
<published>2011-06-19T02:07:01Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/750e3d6a5865a9867e81233b188ddfdf3de81743" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/750e3d6a5865a9867e81233b188ddfdf3de81743</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
corrected help implementation
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/93cea39576e6010e242ef16a6a574a0c3f7bb1f0..750e3d6a5865a9867e81233b188ddfdf3de81743:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/750e3d6a5865a9867e81233b188ddfdf3de81743?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">corrected attack implementation</title>
<updated>2011-06-19T01:53:39Z</updated>
<author>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</author>
<contributor>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</contributor>
<published>2011-06-19T01:53:39Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/93cea39576e6010e242ef16a6a574a0c3f7bb1f0" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/93cea39576e6010e242ef16a6a574a0c3f7bb1f0</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
corrected attack implementation
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/0f0e4bd6c55f24c88ac8978f80f971bd0f56137d..93cea39576e6010e242ef16a6a574a0c3f7bb1f0:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/93cea39576e6010e242ef16a6a574a0c3f7bb1f0?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">corrected dec implementation</title>
<updated>2011-06-19T01:21:47Z</updated>
<author>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</author>
<contributor>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</contributor>
<published>2011-06-19T01:21:47Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/0f0e4bd6c55f24c88ac8978f80f971bd0f56137d" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/0f0e4bd6c55f24c88ac8978f80f971bd0f56137d</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
corrected dec implementation
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/f5617011950df758627602b2ba789837b3aed295..0f0e4bd6c55f24c88ac8978f80f971bd0f56137d:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/0f0e4bd6c55f24c88ac8978f80f971bd0f56137d?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">corrected inc implementation</title>
<updated>2011-06-19T01:18:20Z</updated>
<author>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</author>
<contributor>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</contributor>
<published>2011-06-19T01:18:20Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/f5617011950df758627602b2ba789837b3aed295" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/f5617011950df758627602b2ba789837b3aed295</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
corrected inc implementation
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/d26f4ef692a13ef31897b1130b7e75f8a50be96b..f5617011950df758627602b2ba789837b3aed295:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/f5617011950df758627602b2ba789837b3aed295?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">refactored slot index check</title>
<updated>2011-06-19T01:13:30Z</updated>
<author>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</author>
<contributor>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</contributor>
<published>2011-06-19T01:13:30Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/d26f4ef692a13ef31897b1130b7e75f8a50be96b" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/d26f4ef692a13ef31897b1130b7e75f8a50be96b</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
refactored slot index check
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/c1a8d6f0d015ce8e77f2a888e1ab1ac151de749d..d26f4ef692a13ef31897b1130b7e75f8a50be96b:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/d26f4ef692a13ef31897b1130b7e75f8a50be96b?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">corrected get implementation</title>
<updated>2011-06-19T01:08:03Z</updated>
<author>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</author>
<contributor>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</contributor>
<published>2011-06-19T01:08:03Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/c1a8d6f0d015ce8e77f2a888e1ab1ac151de749d" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/c1a8d6f0d015ce8e77f2a888e1ab1ac151de749d</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
corrected get implementation
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/1df5fe9b7adb59b5f9b1215a8f5b577b8df9bb3c..c1a8d6f0d015ce8e77f2a888e1ab1ac151de749d:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/c1a8d6f0d015ce8e77f2a888e1ab1ac151de749d?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">check overflow in dbl</title>
<updated>2011-06-19T00:51:10Z</updated>
<author>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</author>
<contributor>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</contributor>
<published>2011-06-19T00:51:10Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/1df5fe9b7adb59b5f9b1215a8f5b577b8df9bb3c" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/1df5fe9b7adb59b5f9b1215a8f5b577b8df9bb3c</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
check overflow in dbl
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/ccadbc6ce3f6957e520fcbfb164b2435df314538..1df5fe9b7adb59b5f9b1215a8f5b577b8df9bb3c:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/1df5fe9b7adb59b5f9b1215a8f5b577b8df9bb3c?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
<entry>
<title type="html">fixed overflow check on succ</title>
<updated>2011-06-19T00:47:28Z</updated>
<author>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</author>
<contributor>
  <name>Javier Rojas</name>
  <email>jerojasro@devnull.li</email>
</contributor>
<published>2011-06-19T00:47:28Z</published>
<link rel="alternate" type="text/html" href="http://git.devnull.li/icfp2011.git/commitdiff/ccadbc6ce3f6957e520fcbfb164b2435df314538" />
<id>http://git.devnull.li/icfp2011.git/commitdiff/ccadbc6ce3f6957e520fcbfb164b2435df314538</id>
<content type="xhtml" xml:base="http://git.devnull.li">
<div xmlns="http://www.w3.org/1999/xhtml">
<pre>
fixed overflow check on succ
</pre><ul>
<li>[<a title="diff" href="http://git.devnull.li/icfp2011.git/blobdiff/ef7b81f9b1f11ebfe23613012f700c185ff99643..ccadbc6ce3f6957e520fcbfb164b2435df314538:/src/evaluator.py">D</a><a title="history" href="http://git.devnull.li/icfp2011.git/history/ccadbc6ce3f6957e520fcbfb164b2435df314538?f=src/evaluator.py">H</a>] src/evaluator.py</li>
</ul>
</div>
</content>
</entry>
</feed>

