Marco Antognini mantognini
mantognini
/ log.txt
Created
March 9, 2015 18:13
sherlok stacktrace java.lang.NoClassDefFoundError: org/apache/http/HttpRequest
This file contains 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
| ,---.| | | | |
| `---.|---.,---.,---.| ,---.|__/ | |
| || ||---'| | | || \ | |
| `---'` '`---'` `---'`---'` ` | |
| Sherlok Server version 0.1 | |
| DEBUG Done loading from local File store: 9 bundles, 14 engines, 7 pipelines [o.s.Controller 19:11:46] | |
| == Spark has ignited ... |
This file contains 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
| { | |
| "cause" : { | |
| "arguments" : [ "org.apache.uima.ruta.engine.RutaEngine", "<unknown>" ], | |
| "cause" : { | |
| "arguments" : [ "ch.epfl.bbp.uima.ae.TokenAnnotator", "file:/Users/m/Prog/Projects/MasterProject/sherlok/config/resources/.engines/TokenAnnotator___0_1.xml" ], | |
| "cause" : { | |
| "arguments" : [ "ch.epfl.bbp.uima.ae.TokenAnnotator", "file:/Users/m/Prog/Projects/MasterProject/sherlok/config/resources/.engines/TokenAnnotator___0_1.xml" ], | |
| "cause" : { | |
| "arguments" : [ "ch.epfl.bbp.uima.ae.TokenAnnotator", "file:/Users/m/Prog/Projects/MasterProject/sherlok/config/resources/.engines/TokenAnnotator___0_1.xml" ], | |
| "cause" : { |
mantognini
/ Exp.leon.scala
Last active
August 29, 2015 14:17
This file contains 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 leon.lang._ | |
| import leon.collection._ | |
| import leon._ | |
| object Test { | |
| def exp(a: BigInt, i: BigInt): BigInt = { | |
| require(i>=0) | |
| if (i == 0) 1 | |
| else a * exp(a, i-1) |
mantognini
/ test.leon.scala
Last active
August 29, 2015 14:17
This file contains 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 leon.lang._ | |
| import leon.collection._ | |
| import leon._ | |
| import ListSpecs._ | |
| object Test { | |
| // my hand calculation shows this should work, but it does not seem to be found | |
| def reverseAppend[T](l1 : List[T], l2 : List[T]) : Boolean = { | |
| (l1 match { | |
| case Nil() => true |
mantognini
/ gist:c510c2285bf08975318c
Created
March 28, 2015 17:22
This file contains 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
| ,---.| | | | |
| `---.|---.,---.,---.| ,---.|__/ | |
| || ||---'| | | || \ | |
| `---'` '`---'` `---'`---'` ` | |
| Sherlok Server v. 35466de013 | |
| INFO Done loading from local File store (local_repo): 9 bundles, 17 engines, 12 pipelines [o.s.Controller 14:10:07] | |
| == Spark has ignited ... | |
| >> Listening on 0.0.0.0:9600 |
mantognini
/ MapProver.scala
Last active
August 29, 2015 14:19
This file contains 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 leon.lang._ | |
| import leon.annotation._ | |
| import leon.collection._ | |
| import leon.proof._ | |
| object MapProover { | |
| def app[A, B](x: A)(f: A => B): B = f(x) | |
| def foo[A, B](xs: List[A])(f: A => B): Boolean = { |
mantognini
/ gist:2b4d59559f95535fed21
Last active
August 29, 2015 14:19
http://localhost:9600/test/bluima.regions
This file contains 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
| { | |
| "cause" : { | |
| "arguments" : [ "org.apache.uima.ruta.engine.RutaEngine", "<unknown>" ], | |
| "cause" : { | |
| "arguments" : [ "file:/Users/m/Prog/Projects/MasterProject/sherlok/config/resources/.engines/ExtractSameBrainRegionCoocurrences___0_1.xml" ], | |
| "cause" : { | |
| "arguments" : [ "file:/Users/m/Prog/Projects/MasterProject/sherlok/config/resources/.engines/ExtractSameBrainRegionCoocurrences___0_1.xml" ], | |
| "cause" : { | |
| "arguments" : [ "file:/Users/m/Prog/Projects/MasterProject/sherlok/config/resources/.engines/ExtractSameBrainRegionCoocurrences___0_1.xml" ], | |
| "cause" : { |
mantognini
/ gist:77e55770dd01a72a7cff
Created
April 24, 2015 10:54
This file contains 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
| { | |
| "cause" : { | |
| "arguments" : [ "org.apache.uima.ruta.engine.RutaEngine", "<unknown>" ], | |
| "cause" : { | |
| "arguments" : [ "file:/Users/m/Prog/Projects/MasterProject/sherlok/config/resources/.engines/MeasureRegexAnnotator___0_1.xml" ], | |
| "cause" : { | |
| "arguments" : [ "file:/Users/m/Prog/Projects/MasterProject/sherlok/config/resources/.engines/MeasureRegexAnnotator___0_1.xml" ], | |
| "cause" : { | |
| "arguments" : [ "file:/Users/m/Prog/Projects/MasterProject/sherlok/config/resources/.engines/MeasureRegexAnnotator___0_1.xml" ], | |
| "cause" : { |
This file contains 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
| Caused by: java.io.InvalidClassException: gnu.trove.TObjectHash; local class incompatible: stream classdesc serialVersionUID = -3461112548087185871, local class serialVersionUID = 876253628862239263 | |
| at java.io.ObjectStreamClass.initNonProxy(ObjectStreamClass.java:617) ~[na:1.7.0_75] | |
| at java.io.ObjectInputStream.readNonProxyDesc(ObjectInputStream.java:1622) ~[na:1.7.0_75] | |
| at java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1517) ~[na:1.7.0_75] | |
| at java.io.ObjectInputStream.readNonProxyDesc(ObjectInputStream.java:1622) ~[na:1.7.0_75] | |
| at java.io.ObjectInputStream.readClassDesc(ObjectInputStream.java:1517) ~[na:1.7.0_75] | |
| at java.io.ObjectInputStream.readOrdinaryObject(ObjectInputStream.java:1771) ~[na:1.7.0_75] | |
| at java.io.ObjectInputStream.readObject0(ObjectInputStream.java:1350) ~[na:1.7.0_75] | |
| at java.io.ObjectInputStream.readObject(ObjectInputStream.java:370) ~[na:1.7.0_75] | |
| at cc.mallet.pipe.tsf.LexiconMembership.readObject(LexiconMembership.java:107) ~[mallet-2.0.7.jar:na] |
This file contains 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
| ,---.| | | | |
| `---.|---.,---.,---.| ,---.|__/ | |
| || ||---'| | | || \ | |
| `---'` '`---'` `---'`---'` ` | |
| Sherlok Server v. 588d7f1db1 | |
| INFO Done loading from local File store (local_repo): 11 bundles, 25 engines, 14 pipelines [o.s.Controller 20:53:47] | |
| == Spark has ignited ... | |
| >> Listening on 0.0.0.0:9600 | |
| WARN Could not validate integrity of download from file:/C:/Users/Marco/.m2/repository/ch/epfl/bbp/nlp/bluima_opennlp/1.0.1/bluima_opennlp-1.0.1.jar: Checksum validation failed, no checksums available [o.e.a.i.i.WarnChecksumPolicy 20:55:47] |