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
05-01 15:17:20:396 csync_walker: directory: /tmp/test/owncloud-test | |
05-01 15:17:20:396 _csync_detect_update: ==> file: owncloud-test - hash 8671896127397113479, mtime: 1398950224, fileId: 0000730152460427b79e3 | |
05-01 15:17:20:396 _csync_detect_update: Database entry found, compare: 1398950224 <-> 1398949025, etag: 5362450ed9f59 <-> 5362450ed9f59, inode: 65309 <-> 65309 | |
05-01 15:17:20:396 _csync_detect_update: file: owncloud-test, instruction: INSTRUCTION_EVAL <<= | |
05-01 15:17:20:396 csync_ftw: Uniq ID from Database: owncloud-test/subdir -> 536248b09129d | |
05-01 15:17:20:396 csync_walker: directory: /tmp/test/owncloud-test/subdir | |
05-01 15:17:20:397 _csync_detect_update: ==> file: owncloud-test/subdir - hash 3742522823791505315, mtime: 1398950224, fileId: 0000730252460427b79e3 | |
05-01 15:17:20:397 _csync_detect_update: Database entry found, compare: 1398950224 <-> 1398950055, etag: 536248b09129d <-> 536248b09129d, inode: 65310 <-> 65310 | |
05-01 15:17:20:397 _csync_detect_update: file: owncloud-test/subdir, instruction: |
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
\lst@definelanguage{pddl} | |
{ | |
keywords={ | |
define, | |
}, | |
morekeywords={[2] | |
domain, | |
problem, | |
requirements, | |
predicates, |
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
std::string foo_string = "foo"; | |
std::string bar_string = "bar"; | |
std::string res; | |
char * tmp; | |
if (asprintf(&tmp, "concatenation: %s %s", foo_string.c_str(), bar_string.c_str()) != -1) { | |
res = tmp; | |
free(tmp); | |
} else { | |
throw Exception("Out of memory"); | |
} |
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
#!/bin/bash | |
# Copyright 2016 Till Hofmann <[email protected]> | |
# This work is free. You can redistribute it and/or modify it under the | |
# terms of the Do What The Fuck You Want To Public License, Version 2, | |
# as published by Sam Hocevar. See http://www.wtfpl.net/ for more details. | |
random_word () { | |
ALL_NON_RANDOM_WORDS=/usr/share/dict/words | |
non_random_words=`cat $ALL_NON_RANDOM_WORDS | wc -l` | |
random_number=$(expr $non_random_words \* $RANDOM / 32767) |
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
#! /bin/bash | |
# | |
# chinagadgets.bash | |
# Created: Thu 15 Dec 2016 15:53:11 CET | |
# Copyright 2016 Till Hofmann <[email protected]> | |
# | |
# This work is free. You can redistribute it and/or modify it under the | |
# terms of the Do What The Fuck You Want To Public License, Version 2, | |
# as published by Sam Hocevar. See http://www.wtfpl.net/ for more details. |
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
;**************************************************************************** | |
; rcll_domain_production.pddl: RoboCup Logistics League Production Model | |
; | |
; Created: Fri Feb 24 23:20:38 2017 | |
; Copyright 2017 Tim Niemueller [www.niemueller.de] Till Hofmann | |
;**************************************************************************** | |
; This program is free software; you can redistribute it and/or modify | |
; it under the terms of the GNU General Public License as published by | |
; the Free Software Foundation; either version 2 of the License, or |
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
# Add this to your bashrc or zshrc | |
# or put it into a seperate .bearrc and load that file from your bashrc or zshrc | |
# You will need to create the initial BEAR_FILE manually, e.g., with "bear make" | |
# in the right directory. | |
# After that, simply call "m" to build and add the compiler commands to the BEAR_FILE. | |
BEAR_FILE=compile_commands.json | |
function m () { | |
TOPDIR=$PWD | |
while [ ! -f $TOPDIR/$BEAR_FILE ] ; do |
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
(define (domain barman) | |
(:requirements :strips :typing) | |
(:types hand level beverage dispenser container - object | |
ingredient cocktail - beverage | |
shot shaker - container) | |
(:predicates (ontable ?c - container) | |
(holding ?h - hand ?c - container) | |
(handempty ?h - hand) | |
(empty ?c - container) | |
(contains ?c - container ?b - beverage) |
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
MongoDB shell version v3.4.11 | |
connecting to: mongodb://enterprise:27017/macro_planning | |
MongoDB server version: 3.4.11 | |
{ | |
"_id" : ObjectId("5bef198a31eaa60001a439fc"), | |
"planner" : "fast-downward", | |
"domain" : ObjectId("5bef0c18caa44127395c7e15"), | |
"problem" : ObjectId("5bef0c18caa44127395c7e16"), | |
"raw" : "(GRASP LEFT SHAKER1)\n(GRASP RIGHT SHOT13)\n(LEAVE LEFT SHAKER1)\n(FILL-SHOT SHOT13 INGREDIENT2 RIGHT LEFT DISPENSER2)\n(GRASP LEFT SHAKER1)\n(POUR-SHOT-TO-CLEAN-SHAKER SHOT13 INGREDIENT2 SHAKER1 RIGHT L0 L1)\n(LEAVE RIGHT SHOT13)\n(GRASP RIGHT SHOT14)\n(LEAVE LEFT SHAKER1)\n(FILL-SHOT SHOT14 INGREDIENT3 RIGHT LEFT DISPENSER3)\n(GRASP LEFT SHAKER1)\n(LEAVE RIGHT SHOT14)\n(GRASP RIGHT SHOT13)\n(LEAVE LEFT SHAKER1)\n(CLEAN-SHOT SHOT13 INGREDIENT2 RIGHT LEFT)\n(FILL-SHOT SHOT13 INGREDIENT2 RIGHT LEFT DISPENSER2)\n(GRASP LEFT SHAKER1)\n(LEAVE RIGHT SHOT13)\n(GRASP RIGHT SHOT9)\n(LEAVE LEFT SHAKER1)\n(FILL-SHOT SHOT9 INGREDIENT1 RIGHT LEFT DISPENSER1)\n(POUR-SHOT-TO-USED-SHAKER SHOT9 INGREDIENT1 SHAKER1 RIGHT L1 |
OlderNewer