Skip to content

Commit

Permalink
update README and clean up AES.ipynb
Browse files Browse the repository at this point in the history
  • Loading branch information
Adam C. Foltzer committed Mar 27, 2015
1 parent 663dc66 commit a4ad374
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 247 deletions.
4 changes: 3 additions & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,9 @@ run in an [IPython](http://ipython.org/) notebook. There is an
executable `icryptol-kernel` that uses
[Cryptol](https://github.com/GaloisInc/cryptol) as a library, and a
script `icryptol` which sets up the current IPython environment with a
Cryptol profile. More details are available in issues #75, #76, and #163.
Cryptol profile.

ICryptol is not currently available on Windows (#12).

# Getting ICryptol Binaries

Expand Down
247 changes: 1 addition & 246 deletions examples/AES.ipynb
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
{
"metadata": {
"name": "",
"signature": "sha256:782cd811378b012f2196bb7321a87dbb71da59c6a05dbd46dd9a1e7ac04a3cdc"
"signature": "sha256:cb2683fe1cbfb7b8b1e96857b4f174d7de6d17330a76b110971ebe2453990345"
},
"nbformat": 3,
"nbformat_minor": 0,
Expand Down Expand Up @@ -295,22 +295,6 @@
"language": "python",
"metadata": {},
"outputs": [
{
"metadata": {},
"output_type": "display_data",
"text": [
"[warning] at <notebook>:7:1--9:23:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:8:61--8:69\n",
" to 2\n",
"[warning] at <notebook>:2:1--4:20:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:3:58--3:66\n",
" to 2\n"
]
},
{
"html": [],
"metadata": {},
Expand Down Expand Up @@ -348,22 +332,6 @@
"language": "python",
"metadata": {},
"outputs": [
{
"metadata": {},
"output_type": "display_data",
"text": [
"[warning] at <notebook>:7:1--9:23:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:8:61--8:69\n",
" to 2\n",
"[warning] at <notebook>:2:1--4:20:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:3:58--3:66\n",
" to 2\n"
]
},
{
"html": [],
"metadata": {},
Expand All @@ -390,22 +358,6 @@
"language": "python",
"metadata": {},
"outputs": [
{
"metadata": {},
"output_type": "display_data",
"text": [
"[warning] at <notebook>:7:1--9:23:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:8:61--8:69\n",
" to 2\n",
"[warning] at <notebook>:2:1--4:20:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:3:58--3:66\n",
" to 2\n"
]
},
{
"html": [],
"metadata": {},
Expand Down Expand Up @@ -458,27 +410,6 @@
"language": "python",
"metadata": {},
"outputs": [
{
"metadata": {},
"output_type": "display_data",
"text": [
"[warning] at <notebook>:11:1--11:9:\n",
" Defaulting type parameter 'bits'\n",
" of literal or demoted expression\n",
" at <notebook>:14:32--14:33\n",
" to 3\n",
"[warning] at <notebook>:7:1--9:23:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:8:61--8:69\n",
" to 2\n",
"[warning] at <notebook>:2:1--4:20:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:3:58--3:66\n",
" to 2\n"
]
},
{
"html": [],
"metadata": {},
Expand All @@ -498,27 +429,6 @@
"language": "python",
"metadata": {},
"outputs": [
{
"metadata": {},
"output_type": "display_data",
"text": [
"[warning] at <notebook>:11:1--11:9:\n",
" Defaulting type parameter 'bits'\n",
" of literal or demoted expression\n",
" at <notebook>:14:32--14:33\n",
" to 3\n",
"[warning] at <notebook>:7:1--9:23:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:8:61--8:69\n",
" to 2\n",
"[warning] at <notebook>:2:1--4:20:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:3:58--3:66\n",
" to 2\n"
]
},
{
"html": [],
"metadata": {},
Expand Down Expand Up @@ -592,37 +502,6 @@
"language": "python",
"metadata": {},
"outputs": [
{
"metadata": {},
"output_type": "display_data",
"text": [
"[warning] at <notebook>:2:1--5:39:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:2:36--2:51\n",
" to 4\n",
"[warning] at <notebook>:2:1--5:39:\n",
" Defaulting type parameter 'bits'\n",
" of literal or demoted expression\n",
" at <notebook>:2:60--2:63\n",
" to 4\n",
"[warning] at <notebook>:11:1--11:9:\n",
" Defaulting type parameter 'bits'\n",
" of literal or demoted expression\n",
" at <notebook>:14:32--14:33\n",
" to 3\n",
"[warning] at <notebook>:7:1--9:23:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:8:61--8:69\n",
" to 2\n",
"[warning] at <notebook>:2:1--4:20:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:3:58--3:66\n",
" to 2\n"
]
},
{
"html": [],
"metadata": {},
Expand Down Expand Up @@ -658,37 +537,6 @@
"language": "python",
"metadata": {},
"outputs": [
{
"metadata": {},
"output_type": "display_data",
"text": [
"[warning] at <notebook>:2:1--5:39:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:2:36--2:51\n",
" to 4\n",
"[warning] at <notebook>:2:1--5:39:\n",
" Defaulting type parameter 'bits'\n",
" of literal or demoted expression\n",
" at <notebook>:2:60--2:63\n",
" to 4\n",
"[warning] at <notebook>:11:1--11:9:\n",
" Defaulting type parameter 'bits'\n",
" of literal or demoted expression\n",
" at <notebook>:14:32--14:33\n",
" to 3\n",
"[warning] at <notebook>:7:1--9:23:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:8:61--8:69\n",
" to 2\n",
"[warning] at <notebook>:2:1--4:20:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:3:58--3:66\n",
" to 2\n"
]
},
{
"html": [],
"metadata": {},
Expand Down Expand Up @@ -718,37 +566,6 @@
"language": "python",
"metadata": {},
"outputs": [
{
"metadata": {},
"output_type": "display_data",
"text": [
"[warning] at <notebook>:2:1--5:39:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:2:36--2:51\n",
" to 4\n",
"[warning] at <notebook>:2:1--5:39:\n",
" Defaulting type parameter 'bits'\n",
" of literal or demoted expression\n",
" at <notebook>:2:60--2:63\n",
" to 4\n",
"[warning] at <notebook>:11:1--11:9:\n",
" Defaulting type parameter 'bits'\n",
" of literal or demoted expression\n",
" at <notebook>:14:32--14:33\n",
" to 3\n",
"[warning] at <notebook>:7:1--9:23:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:8:61--8:69\n",
" to 2\n",
"[warning] at <notebook>:2:1--4:20:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:3:58--3:66\n",
" to 2\n"
]
},
{
"html": [],
"metadata": {},
Expand Down Expand Up @@ -780,37 +597,6 @@
"language": "python",
"metadata": {},
"outputs": [
{
"metadata": {},
"output_type": "display_data",
"text": [
"[warning] at <notebook>:2:1--5:39:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:2:36--2:51\n",
" to 4\n",
"[warning] at <notebook>:2:1--5:39:\n",
" Defaulting type parameter 'bits'\n",
" of literal or demoted expression\n",
" at <notebook>:2:60--2:63\n",
" to 4\n",
"[warning] at <notebook>:11:1--11:9:\n",
" Defaulting type parameter 'bits'\n",
" of literal or demoted expression\n",
" at <notebook>:14:32--14:33\n",
" to 3\n",
"[warning] at <notebook>:7:1--9:23:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:8:61--8:69\n",
" to 2\n",
"[warning] at <notebook>:2:1--4:20:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:3:58--3:66\n",
" to 2\n"
]
},
{
"html": [],
"metadata": {},
Expand Down Expand Up @@ -842,37 +628,6 @@
"language": "python",
"metadata": {},
"outputs": [
{
"metadata": {},
"output_type": "display_data",
"text": [
"[warning] at <notebook>:2:1--5:39:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:2:36--2:51\n",
" to 4\n",
"[warning] at <notebook>:2:1--5:39:\n",
" Defaulting type parameter 'bits'\n",
" of literal or demoted expression\n",
" at <notebook>:2:60--2:63\n",
" to 4\n",
"[warning] at <notebook>:11:1--11:9:\n",
" Defaulting type parameter 'bits'\n",
" of literal or demoted expression\n",
" at <notebook>:14:32--14:33\n",
" to 3\n",
"[warning] at <notebook>:7:1--9:23:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:8:61--8:69\n",
" to 2\n",
"[warning] at <notebook>:2:1--4:20:\n",
" Defaulting type parameter 'bits'\n",
" of finite enumeration\n",
" at <notebook>:3:58--3:66\n",
" to 2\n"
]
},
{
"html": [],
"metadata": {},
Expand Down

0 comments on commit a4ad374

Please sign in to comment.