Thomas Wood IgnoredAmbience
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Maintainer: Thomas Wood <[email protected]> | |
| pkgname=z3-git | |
| pkgver=20121029 | |
| pkgrel=1 | |
| pkgdesc="A high performance theorem prover" | |
| arch=('any') | |
| url="http://research.microsoft.com/en-us/um/redmond/projects/z3/" | |
| license=('custom') | |
| depends=('gcc-libs') | |
| makedepends=('git' 'dos2unix') |
IgnoredAmbience
/ cfa.hs
Created
February 23, 2013 18:36
Control Flow Analysis solver for a simple functional language (Yes, my Haskell sucks, I'm out of practice!)
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| import Data.Set (Set, unions, union, insert, empty, singleton, foldl, member, isSubsetOf) | |
| import Data.Maybe (fromMaybe) | |
| import Text.Show.Pretty (ppShow) | |
| class ShowNolabel a where | |
| showNolabel :: a -> String | |
| data Expr = Expr {term :: Term, label :: Integer} | |
| deriving (Eq, Ord) | |
| instance Show Expr where |
IgnoredAmbience
/ gist:8153776
Created
December 27, 2013 22:52
Results of "SELECT * FROM `tc_stations` WHERE is_lu =1 AND is_nr =1"
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| |------ | |
| |id|name|zone|is_lu|is_nr|is_dlr|is_lo|is_tl|location_ns | |
| |------ | |
| |13|Amersham|9|1|1|0|0|0|N | |
| |24|Balham|3|1|1|0|0|0|S | |
| |28|Barking|4|1|1|0|1|0|N | |
| |50|Bethnal Green|2|1|1|0|0|0|N | |
| |55|Blackfriars|1|1|1|0|0|0|N | |
| |70|Brixton|2|1|1|0|0|0|S | |
| |90|Cannon Street|1|1|1|0|0|0|N |
IgnoredAmbience
/ gist:8338840
Created
January 9, 2014 18:00
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| diff --git a/src/core/trunk/Makefile b/src/core/trunk/Makefile | |
| index 53711c1..7df59f2 100644 | |
| --- a/src/core/trunk/Makefile | |
| +++ b/src/core/trunk/Makefile | |
| @@ -97,6 +97,7 @@ FAST_VO=$(FAST_SRC:.v=.vo) | |
| .PHONY: all report depend clean | |
| .SUFFIXES: .v .vo | |
| +.SECONDARY: | |
IgnoredAmbience
/ gist:9624277
Last active
August 29, 2015 13:57
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| * | |
| +*.ac.* | |
| +*.acm.org | |
| +*.amazonaws.com | |
| +*.ams.org | |
| +*.asn.au | |
| +*.cajadores.com | |
| +*.ctan.org | |
| +*.dagstuhl.de | |
| +*.de |
IgnoredAmbience
/ index.html
Last active
August 29, 2015 13:57
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <html> | |
| <body> | |
| <script type="text/javascript" src="this.js"></script> | |
| </body> | |
| </html> |
IgnoredAmbience
/ apache-versions
Last active
August 29, 2015 13:58
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| $ ls */core/pool/main/a/apache2/apache*bin*amd64.deb | |
| 10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.10_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.10_amd64.deb | |
| 10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.11_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.11_amd64.deb | |
| 10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.12_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.12_amd64.deb | |
| 10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.13_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.13_amd64.deb | |
| 10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.4_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.4_amd64.deb | |
| 10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.6_amd64.deb lucid/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.6_amd64.deb | |
| 10.04/core/pool/main/a/apache2/apache2.2-bin_2.2.14-5ubuntu8.7_amd64.deb luci |
IgnoredAmbience
/ deadbeef.wacc
Created
September 25, 2014 13:03
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| begin | |
| int i = -2147483648; | |
| while i < 2147483647 do | |
| pair (int, int) px = newpair (-559038737, -559038737); | |
| i = i + 1 | |
| done; | |
| pair (int, int) pi = newpair (101, 102) ; | |
| pair (char, char) pc = newpair ('a', 'b'); | |
| pair (pair, pair) pp = newpair (pi, pc); | |
| pi = snd pp; |
IgnoredAmbience
/ JsCorrectness.xml
Last active
August 29, 2015 14:14
This file has been truncated, but you can view the full file.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <?xml version="1.0" encoding="ISO-8859-1"?> | |
| <!DOCTYPE InductiveDefinition SYSTEM "http://mowgli.cs.unibo.it/dtd/cic.dtd"> | |
| <InductiveDefinition noParams="1" id="i1959" params=""> | |
| <InductiveType id="i0" name="runs_type_correct" inductive="true"> | |
| <arity> | |
| <PROD type="Type"> | |
| <decl id="i1953" type="Type" binder="runs"> | |
| <MUTIND uri="cic:/JsInterpreter/runs_type.ind" noType="0" id="i1955"/> |
IgnoredAmbience
/ gist:b92646469d91c1e58aa9
Created
May 6, 2015 13:02
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| <p begin="00:00:08.88" id="p0" end="00:00:11.36">BIRDSONG</p> | |
| <p begin="00:00:55.20" id="p1" end="00:00:58.00">ENGINE CHUGS</p> | |
| <p begin="00:01:55.68" id="p2" end="00:01:58.20">GATES THUD</p> | |
| <p begin="00:02:09.04" id="p3" end="00:02:12.60">WATER POURS</p> | |
| <p begin="00:02:52.20" id="p4" end="00:02:55.40">MACHINERY CRANKS</p> | |
| <p begin="00:03:26.44" id="p5" end="00:03:29.12">MACHINERY CRANKS</p> | |
| <p begin="00:05:35.92" id="p6" end="00:05:39.20">GATES CREAK</p> | |
| <p begin="00:05:51.08" id="p7" end="00:05:54.04">ENGINE CHUGS</p> | |
| <p begin="00:06:48.72" id="p8" end="00:06:51.40">DUCK QUACKS</p> | |
| <p begin="00:11:08.48" id="p9" end="00:11:11.56">BIRDS TWEET</p> |