labofsahil/github-event-dataset-2012 huggingface dataset:
Handle deferred proofs

* Move the classes NAME-MIXIN and REQUIRED-NAME-MIXIN to file
  utilities.lisp.  (This was done to resolve a complaint by
  SBCL about an undeclared superclass for condition
  NO-DEFINITION-FOR-PRIMITIVE-ACTION.  Since this class no
  longer inherits from NAME-MIXIN this change could be
  reverted.)
* Define functions CONSTANTS-FOR-SORT-TABLE,
  DECLARE-CONSTANT-SORT and CONSTANTS-FOR-SORT to keep track
  of all declared constants with sorts.
* Add a slot CONSTANTS-FOR-SORT-TABLE to COMPILATION-UNIT.
* Define function PRECONDITION-TERM for primitive actions.
* Define functions MAKE-CONJUNCTION and MAKE-DISJUNCTION.
* Fix a bug in PROCESS-DECLARATION-FOR-SNARK: the keyword
  :REWRITE-TOO was not removed from the argument list when its
  value was NIL.
* Call DECLARE-CONSTANT-SORT when parsing a constant
  declaration.
* Add a :CONTINUATION-FUNCTION keyword argument to BACKTRACK
  so that we can also use it in the INTERPRET function.
* Add a slot DEFERRED-PROOFS to class BASIC-INTERPRETER and to
  its memento class.
* Add variable *STORE-ALL-NON-REFUTED-PROOF-TERMS* to enable
  storing of all proof terms that were not refuted.  (This is
  not a particularly useful option except for testing some
  specialized cases.)
* Treat timeouts like undecidable proofs in INTERPRET-1.
* Store the undecidable proof in DEFERRED-PROOFS when
  continuing after such a proof.
* Try to prove the conjunction of all deferred proofs when the
  interpreter finishes a program.  This is handled by the new
  function PERFORM-DEFERRED-ACTIONS.
* Add an option *INSTANTIATE-UNDECIDABLE-CHOICES* that causes
  INTERPRET to instantiate all variables in terms that Snark
  determines to be undecidable.  Add functions
  MAYBE-INSTANTIATE-VARIABLES, INSTANTIATE-VARIABLES,
  PROVE-WITH-INSTANTIATED-VARIABLES and INSTANTIATIONS-FOR
  that implement this.

Additionally:
* Fix minor compatibility problems.  The program should now
  cleanly compile and load in CCL, CMUCL, and SBCL.
details, viel...
htaccess

Signed-off-by: Kevin Dibble <digitalskill@xtra.co.nz>
findTagNamesByBookCollection
App Base URL
Web Page change to douban style.
fix
Fixed the bugs of pom, run.sh, and add boost dependency.
libcmyth fixes
FIX: Store recorder ID in signal string.
FIX: Use ref counted string when testing database connecting.
ADD: More detailed log info when creating the addon
FIX: Added mutex to protec recorded. Prevents deadlocking when deleting recorder m_rec.
FIX: Added recorder id to MythSignal.cpp
FIX: Use refcounted string when testing database connection. Prevents heap corruption due to incompatible versions of free.
Merge remote-tracking branch 'upstream/Eden-pvr' into Eden-pvr

Conflicts:
	xbmc/pvrclients/mythtv-cmyth/cppmyth/MythDatabase.cpp
update with new environment variable infos
db lookup bug
should be run from RB_ROOT
refactor to make more useful for web app
Beginnings of a sinatra webapp for dealing with rubybot accounts
Added license

Copied GPLv3 into LICENSE file and added notice to setup.py.
Updated the required django version to 1.4.1
Added a User reference field and a unicode function
to print out the Stream name
Replace mit license
Bloody Chrome ...
Cause.... ye.. classes
Create database class and call it in the config
Event class
ORM adjustments and others
new file for protection
fixing a property naming bug
added setVal function
added CliqueTreeObserveEvidence function
testing CliqueTreeObserveEvidence
protocol: amendments
gyp: another fix
cleaned up the checkbox/percentage code
help documentation updates
renamed the body text syntax groups
Report updates
Merge branch 'master' of https://github.com/ipeet/mte481
Updated final report
Updated final report
Refactoring of the GPUData interface, it should be easier to use right
now.
create branch control
fixed data in popup window in ipad
цвет графиков в ipr
Signed-off-by:Andrey Oprokidnev <aa@oprokidnev.ru>
графики на главной, фикс опечатки в IPR
Signed-off-by:Andrey Oprokidnev <aa@oprokidnev.ru>
Added Rect<T> and Quad for drawing
Added main navigation example page
use a custom fork of jsdom (features optional closing tags and element.matchesSelector)
Throw a config exception if an optional and primitive query parameter is used by the controller.
add mark to base.html
Removed a test which isn't valid on all platforms
Removed SSE optimizations because they're more trouble than their worth for my purposes
Started adding integer suffixes
[t2158] Removed new media handlers and layout elements, added hiding for alternate sources
Revert "[t2158] Removed new media handlers and layout elements, added hiding for alternate sources"

This reverts commit 3aa43309024e911998f1c53b37fc663226784ce0.
[t2113] Resizable handle areas and style
[#2308] Update timeline when editor panel hides or displays.
[t1968] simple async (mostly js still)

[t1968] removed sync path from eventmanager

[t1968] ButterEvent and documentation

[t1968] review changes - comment typo

[t1968] duplicate events on each dispatch call

[t1968] review changes - naming & cloning event
Bug 2318 - Switch to our express-persona module
Merge pull request #114 from jbuck/t492

[#492] Rewrite timebar to use a fixed-width <canvas>
Add shelljs-based build system
Fixed usage of mux*by* and constants
Merge branch 'master' of github.com:jceipek/vALU
Make safety closure in index.coffee explicit

So that I can use --bare compilation flag everywhere.
Structured return from index.coffee safety closure
Convert eventdispatcher to coffee
version bump
fixed problem with basic auth, added new message window
First commit.
Merge branch 'master' of https://github.com/jeroen/cyrus
Added support for BIND
Added support for extension methods plus a bit more:

1) rrdf:pname extension is automatically added which converts an iri_value
to a string_value using prefixed form where possible.
2) Use latest rparse library (gives us much saner parse logging).
3) Fixed an annoying PN_PREFIX parse bug.
should fix a crash during import, was due to compiler bug
Moved the default project template from "/tools/command-line" to "/templates/default"

git-svn-id: https://nekonme.googlecode.com/svn/trunk@1917 1509560c-5e2a-0410-865c-31c25e1cfdef
[Issue #114] Add Sequence Operation
chaning camera topic
rm useless jasmine config file
Updated to latest tag library
29 with windows fails
Confirmed that he datastore and programid are saved as a preference
Update 'misfile' after site change
Inital code comit
fixes a css issue with IE with a fading gradient
secure fixes
Implemented structure map. Need to correct issue with buffering on server.
socket timeout = 5 seconds until better solution
mega patch, text corrections, improved web2py.js, thanks Anthony
fixed not x -> x is None, thanks Pai
solved some bugs in build_query, thanks Michele
test_router and test_routes patch, thanks Jonathan
patch related to registation_id, thanks Nik
gluon/contrib/login_methods/browserid_account.py, thanks Pai
removed fieldset from skeleton
fixed issue 649
fixed issue 649
added import STYLE in sqlhtml, thanks Robert
fixed problem with logout redirect, thanks mbelletti
fixed issue 1786 with row_is in sqlhtml, thanks simonm3
new syntax db(db.dog_id.belongs(db.dogs.owner=='james')).select(), thanks guruyaya
fixed issue 647, problem with is_in_db and multiple, thanks Manuele Presenti
sync languages patch, helps merging language files, thanks Yair
admin/languages/ja.py, thanks Omi
accidental infinite recursion in gluon/validators.py
fixed many small errors, thanks Marin Pranjić
http://groups.google.com/group/web2py/browse_thread/thread/54dde625a2a19d19#, thanks Roderick
fix location for .vimrc-local
test: prevent accidental division by zero
Merge branch 'master' into refcount
Update uv_getaddrinfo() documentation.
unix: malloc only once in uv_getaddrinfo()
ensure page_copy nodes are published on submit
add email field type
Upgrade ckeditor module and move js to sites/all/libraries
Add Display Suite module
Add Display Suite layout for Projects
Alter galleryformater js/css to display Projects in jquery UI dialog
Clean up main menu css and add styling for Projects
Export Display Suite settings for Projects
Expose node-edit form for Feature Content & Page Copy nodes as Blocks
Patch core form.inc to handle multiple node-edit forms on the same page
Add Quicktabs module
Duplicate Seven theme to make minor tweaks
Add heavily-modded empty_page module
Add Features Extra module to enable exporting blocks as features
Add Login Destination module
add _backup directory to gitignore
Recreate features with 'site-edit' panels implemented using Empty Page
Install Context module, Upgrade CTools & Features modules
Upgrade Date, Panels, Quicktabs, and Strongarm modules
Add jquery-ui css from CDN
Restore prompt after clearing console
Bugfix, don't attempt to release null object
Validate argument to kite--release-object
Refactor kite-send to accept keyword arguments; consistent use of plists for JSON-RPC parameters; new default error handler
update to latest FreakUSB
Revert:
1. Changes that make no sense.
2. Changes that are not tested.
Revert changes that make no sense.
Update HOMEPAGE url.
Update to 1.0.2

* Use shells/bash for post preparation script

Changelog:
unknown
Updated cad/librecad to 1.0.2
Remove firefox
games/scummvm-tools: Fix DragonFly regression

Add DragonFly to the list of POSIX systems to fix build.
Minor code cleanup
Merges separate nbtdump repo with this one.
nbtdump is a commandline program which prints out a human-readable
representation of an NBT file's contents to stdout.
Adding additional test units
Fix crash issues reported in the developer console
Separate demo from full game configurations
Finish the configuration stuff
Import the third map
General run, Adisk started
added new tree sprite to graphics.yml
plot now defaults to plotting all columns with lines
Updated and simplified manage menu
Replaced legacy hasPerms call with standard perms method.. Old method caused problem in combination with test data setup
Tidy up sub dets
Initial commit
Merge branch 'master' of https://github.com/k28/dotfiles

Conflicts:
	.bash_profile
changed 'mail -f' to 'mail'
intptr
copy css classes from original select to chosen container unless they starts with "chzn" substring
Action only for admins
Old SVP Django project materials initial commit
deleted tutorial screenshots
Измнения в интерфейсе
LIst COmprehension with a parameter.  Not well tested.
Add ValueStore Class as a global object store
Some ValueStore updates
Fix for alias url not appearing in navigation.
Merge branch 'develop'
Find player by name
Use exact arithmetic for LMMs.
Update license and README.
Linear PDE semidiscretization matrices (finite diff).
Update docs.
Update docs to use MathJax.
Remove useless line from snp.py.
Minor cleanup of RK symbolics.
Merge pull request #154 from kh4/master

OSD: show numbers of satellites for fix
some DCM improvement for gps purpose, need some more outdoor test!
Some GPS little stuff
Import done, ready to go on the field to see if the preliminary data are enough good to use it
Merge pull request #156 from Kenny9999/KennyAQDevelopment

Kenny aq development
Fix some gyro temp cal
Merge pull request #157 from Kenny9999/KennyAQDevelopment

Fix some gyro temp cal
GPS stuff probably completed and little distance refactoring, need review
Merge pull request #158 from Kenny9999/KennyAQDevelopment

GPS stuff probably completed and little distance refactoring, need revie...
User config and some option cleanup
Merge pull request #159 from Kenny9999/KennyAQDevelopment

User config and some option cleanup
fix compilation bug and disable gyro temp calibration for
Merge pull request #160 from Kenny9999/KennyAQDevelopment

fix compilation bug and disable gyro temp calibration for
Refine Fitnesse pages.
New fonts, animations, etc
Change color of resize outline
Remove option 'other' for VCS
Some simple clean-ups

Rename Modifiers and associated modifiers instance variable to the
singular version of the name; also, add a conv_chr to a conversion,
to track which conversion character was used.
Add a utility method to Conversion

Adds the escape() utility method to class Conversion.  This can be
used to escape log message fragments to pure ASCII.
Add the recognized conversions.
Made a todo list
Update project settings for iOS6
Update iOS Deployment Target of TiREST.framework to iOS 6.0
Fix shell script for target 'TiREST.framework' to build
Ugly first version based of https://github.com/rmcdonough/GELF-Daemon/
add full-screen mode
new alignment, new generator file
Copy model files to Monas directory under src/statecharts/models
Use a cubic scale for the volume slider

This matches PulseAudio's sliders and provides a smoother percieved
volume change.
clear localStorage before running benchmark suite
Fixed typo. Added better detection of the forked AWS library.
Added ability to detect and the first in a list of different versions of the AWS library. Not tested yet.
Progress on route53
Alias Stamp.dump() to go with Stamp.load()
Моар фиксов. Ну а хуле.
display errors next to incorrect form fields
prettier orga edit form
Corrected tache and groupetache form behavior and display
[mw/pocolibs] Generate a dummy cntrl poster for pocolibs overlay

Necessary for hyper simulation stuff to ``detect'' if the module has
succesfully started.
[sensors] Speed should be relative to the robot
[ros] Only send transform odom/base_link
[tutorial] Fixed interactive human tutorial
[tutorial] Improved text of interactive human tutorial
[human] Fixed transparency of human head for Blender2.63a
[doc] Changed remaining IMU references to Odometry
[doc] autoproj-based installation instructions
[src/robots] Remove useless bge use and replace useful one by blenderapi
[doc] Remove some sphinx warning
Removed duplicate 'ALWAYS' sensor in hummer model

Fix #131
Added 2 tools to help with doc generation

- generate_apidoc is a shell script that calls Sphinx apidoc to generate the API reference documentation
  based on the Python source of MORSE,
- generate_doc is a (under development) script to generate complete component documentation, including
  properties, exported fields, exported services, etc.
[src/core] Make request_id really unique

Contrary of what I thought, uuid.uuid3(...) does not return a random
identifier but a fixed one, so the uniqueness of request id is not
really guaranted ...

TODO : add some better test for service, to detect this kind of
stupidities ... Noted as issue #176.
Revert "log initl commit"

This reverts commit 0c3ee44045532338aef5c0cccbeaa55c8ac88499.
Добавлено:
-Подсчет и вывод результата
-Работа кнопок "Еще раз" и "Выход"
-Блокировка кнопок до "Старта".
Keep track of source ids, and start db dispatch system
Facet presentation
关于LogTrace代码小幅调整
Added divs to control Play, Replay and Loading state of WebNCL
Merge
Satan now red]
ARToolkit plus works for single marker
- initialize ARToolkit only once;
- add width and height parameters to the Camera class;
Prepare for local merge
Merge branch 'master' of github.com:ljhffmn/Life
Added the address class and started work on a more robust idea for addressing
repaired bugs, GREATLY increased bot strength
fixed some small bugs in heuristic
using redis for queueing, broken
Removing gull, since its unused.
Capture resolver pair programming with Bart
Merge
Merged again
Accomodate escalation renames
Sweetened up the RPC test because the server now returns a 403 instead of a 401
Nuked superfluous query
[maven-release-plugin] prepare release diffa_v1_4_4
Remove bash aliases for git

Conflicts:
	.bashrc.d/10-git-aliases
Save default port again
show delay time of deliverables while grading!
Foribid professor to change type of assignment for submitted deliverable
Merge branch 'master' of http://github.com/lydian/cmusv
customise the grade type
Merge branch 'master' of http://github.com/lydian/cmusv
811136 - Rendering error in production.log while editing the org's description
852460 - System Groups left pane list does not use ellipsis
fixes for BZ 835875: no longer possible to delete a repository if it's been promoted.
Test fix for changeset creation without env
Merge pull request #630 from Pajk/852320-fix

Test fix for changeset creation without env
adding .rbenv file into gitignore
856220 - improving service-wait wrapper script
Merge pull request #606 from Pajk/852460

852460 - System Groups left pane list does not use ellipsis
preserve enviroment variable, especiall RAILS_ENV
Merge pull request #632 from xsuchy/pull-req-katello-jobs-env

preserve enviroment variable, especially RAILS_ENV
Merge pull request #597 from Pajk/811136

811136 - Rendering error in production.log while editing the org's description
BZ 835875: a couple of small fixes based on pull comments
Merge pull request #631 from lzap/servicewait_856220

856220 - service-wait script improvement
Merge pull request #633 from witlessbird/835875

BZ 835875: no longer possible to delete a repository if it's been promoted
disconnected - adding pulp integration
Moving PlayerRing from .game to .network
added new strings
based on Montellese's changes for Network/Services in PR 666

fix
Job 등록과 Job 실행 부분을 JobQueue로 연결
DefaultResultCallbackFactory 및 HttpResultCallback 구현
JpaJobRepository 구현을 위해 스프링 의존 추가, 스프링 설정 등 추가 중
people page gender icon name fix
First version of PoC
Updated eeprom maps

	* Updated Version 6.0 and 6.1 to add constraints, change eeprom names
	* Added Version 6.2 mape
Removed rock.
switch away from require('sys') which is deprecated (this solves the TileMill startup warning)
Create ARCHIVO
Modified get() so it can deal with extended paths, like /markup/2
Version bump to 0.3.0
Update description
Regenerate gemspec for version 0.3.0
too many imports
Add input filter strategy.
Update View strategy. Views will output to browser with layout support
Update Mvc Package.
Update application. Add example layouts and views.
Update Model strategy
Update Model strategy
Update Model strategy
Update Datasources package. Registry has been removed.
Update Model strategy
Update Model Strategy
Update Db Api
Update Model strategy
Update Model strategy
My first git trial.

Just made a few cosmetic changes. Details in the history comment.
30.08.12	
Corrected errors in the Scanco header information
Updated a few comments
Added the most meaningful file header information to the
ImagePlus property "Info" which can be retrieved with the menu command
"Show Info"
Trying to format this information like the web interface from
Scanco would display them (example):
 			
			      Patient Name  : Syntricer_120620017_TCP06_ø16
			      Patient Index : 2721
			  Measurement Index : 3648
			
			      Creation Date : 14-AUG-2012 15:42:26.07
			
			          	
			         Scanner-ID :   4258
			       Scanner_type :     10
			
			    Slice Thickness :      8 [µm]
			    Slice Increment :      8 [µm]
			
			
			      Scan-Distance :  16384 [µm]
			         Sampletime : 300000 [µs]
			
			          µ-Scaling :   4096
			
			             Energy :  70000 [V]
			          Intensity :    114 [µA]

Hint: use monospaced fonts like Courier to display the output of "Show
Info"
Decoder for Creation Time in Scanco header implemeted (vms quadword, big
endian, converted to unix timestamp and finally Java date/time).
Solved "unmappable characters" on linux.

Mostly in Strings. Usually "to the power of 2" or "to the power of 3".
Windows character set ISO-8859-15 was used.

Converted with:

iconv -t UTF-8 -f ISO-8859-15 ResultsWriter.java > ResultsWriter.java 
Corrected the comment concerning: Calendar.MONTH

Calendar.MONTH displays the months from 0 to 11!
My first git trial.

Just made a few cosmetic changes. Details in the history comment.
Conflicts:

	src/org/bonej/io/ISQReader.java
Merge remote-tracking branch 'khk/for-michael' into from-khk

Conflicts:
	src/org/bonej/io/ISQReader.java
Merge KHK's changes and fix build errors
Finishing off restructuring and cleaning up code.
Starting to enable images.
Updating the README so the example composer.json includes the latest version of Munee
Merge branch 'master' into asset-type-image

Conflicts:
	README.md
Adding back in the Image Asset Class
Changed the .htaccess RewriteRule and how the Request class parses a request. Also changed how a client side cache is
 triggered.
Implemented resizing an image.
Improved params and  param parsing, and put in a stretch and fill option for images.
Put in security to stop people from trying to slam the server with resizes.
Creating a Utils class shared static methods and changed the Request::get variable to Request::params
Breaking up the resize stuff into a Factory Class called Filter. So later down the line,
the image could be further manipulated through the URL doing things like grayscale or reflection.
Fixed a caching issue, also fixed some legacy code in the JavaScript Asset Type.  Updating the README file with the
new image resize info as well.
Updating the README with the latest improvements and additions.
Changing some wording in the README.
- fixing wrong path to libsignal for a test case
Adicionando TCC
lagt till ljud
nu ar consumable inte abstract
Made changes asked in review by charettes https://github.com/meric/django/commit/2ef7d14040a261fe284a8b72490712d4019a5766#commitcomment-1848647
These are some file changes.
More test isolation: set HOME in spec_helper.
Don't return null for falsy values.
Something more...
Adds an example to README
Added -pipethrough option
Reworked file blacklisting
rg model profile .....
Write relation user <=> profile
Add login_required method
rg controller settings/profile show edit
Write tabulous config
Update ProfilesController
Add Profile validations
Modify favicon path
Modify Top Page
Write Hometown Setting
Add Columns for profiles

age, attend_parties
Add Profile Form
rg controller settings/talks ...
Add members#show
Add error handling
Write Flash Area
Modify error fields style
Modify profiles#show
Add UserLimit
Update Welcome index
create repo
rewrite for el-get
add clojure-mode
Added initial namespace framework.
Don't require pry since we don't include it in gem deps
Add login page support
Authentication code needs redirect bugfixes from mechanize 2.5.1
Merge pull request #2 from jwinter/login-url-support

Login url support
Small fix in test app
Switch the ajax error code to be 412. Removed the commons validator dependency and used try/catch blocks for conversions.
Locations bugs
fork demo
Merge pull request #1 from 1q/master

fork and pull request
DOCS-54 edits, including rs.status output
DOCS-54 replace rs.status with rs.config
merge: DOCS-54
DOCS-54 publishing and reorganizing the replica set documents
minor edits to syntax
fix AudioBufferList.ToString and simplify [empty] case
Fix AudioComponentDescription.ToString (format string)
Ensure the AudioBufferList.bufferCount count won't be removed by the linker since it's needed to match native representation
move http server/client into ptcp
z bla
usuniete bla
PO INTEGRACJI Z SSECURITY ALE BEZ AUTHENTICATION W BASIE BANYCH
działający ssecurity wraz z hibernate sukces
use urllib2 instead of curl
Whitelist more tags for wiki content in Bleach

Finding more tags in migrated wiki content that seem innocuous, yet are
not whitelisted:

* dfn, nobr, caption
Merge pull request #257 from lmorchard/more-whitelisted-tags

Whitelist nobr and dfn tags for wiki content
fix bug 784564 - Breadcrumbs look clickable
Merge pull request #607 from darkwing/breadcrumbs-784564

fix bug 784564 - Breadcrumbs look clickable
Minor grammar fixes
Merge pull request #201 from TannerFilip/master

Fix grammar on faq/about.html
rustc: Implement floating point literal inference. r=nmatsakis
Copyedit the macro tutorial

I hope I haven't introduced any grievous errors :-)
Rename some core::option functions

from_maybe => get_with_default
maybe => with_option
may => with_option_do

I know these names are kind of ridiculous, but it's the best I could think of.
Feel free to bikeshed. Closes #2081
rustc: Make region folding not descend into function types

Since region parameters are always universally quantified at the function
level, this would be incorrect.
rustc: Implement intra-crate static methods on anonymous trait implementations. r=nmatsakis
std: Partially demode uv::ll
std: Demode uv::iotask
std: Demode uv::global_loop
std: Mostly demode net::tcp
std: Demode test
rustdoc: Run the entire resolve pass
rustdoc: Document impl reexports
rustdoc: Refactor reexport_pass
only pay the meta tax when used as an actual value, queries return heapbytebuffers
bump nappy deps
Next version snapshot
express -e memo
do not include the properties file in vcs
Ignore the properties file, it doesn't need to be in vcs
Added bookmark test case
Updated linear playing test case

I've added a few minor cases to the linear playing user scenario, and removes books with images from the list of book types to test here. This because a book with images is in the same category as a comic, and will therefore be tested thoroughly there. 
Added a 'special cases' case for playing

I am adding a 'Miscellaneous' test case, for the cases that do not fit into reasonably normal use scenarios. 
Added scaling case to comics test
Merge remote-tracking branch 'nota/master'
Parsing XML instead of regex.
-모바일 앱에서 쓰일 배경(.png, 포토샵파일)
-모바일 앱에서 쓰일 아이콘(.png, 포토샵파일)
Clean up and fix noopen message
Fixed Glitch, added code improvements
Updated the storyline
Added debug build option to Makefile
Switched chars to unsigned

NB: This also skips warnings about char being used as an array
subscript
Make int main actually return int
Merge branch 'exp/issue5_termination' of github.com:nelfin/4x4x4 into state_functions
Revert "Merge branch 'exp/issue5_termination' of github.com:nelfin/4x4x4 into state_functions"

This reverts commit 9f0af2363adb146ccb62e3d12b0ff4d92e2fb371, reversing
changes made to 56d4fae8f64c5f359b0941e53b63dd5dcb05e8dd.

Didn't mean to pull the changes into this branch, whoops!
State functions returns struct

Provides a (slightly) more foolproof way of detecting termination
Cosmetic: corrected spelling of 'plies'
Start of a proper header file for state_functions
Fix warning about initialiser
WIP: skeleton minimax, new state structures
An actual implementation of alpha-beta

TODO: an evaluation function
Added a static state evaluation function

The function score_state was added, which takes a state and scores it based on
which player owns what square, like what the article in the paper on the wiki
suggests (which seems to make sense)
worker.c calls functions from state_functions.c

worker.c now uses state_functions.c as a library. The changes include,
* state_functions.c no longer inclues a main function (this conflicted with the one in worker.c. To use the code from the old main function for debugging, just put it in worker.c, it should still work)
* state_functions.h no longer contains the global variables. These were moved to state_functions.c (they were only used in state_functions.c anyway, and there were problems with global variables in the header file being declared twice)
* Makefile has been changed so that the code compiles correctly (It works on my machine, but I am a very inexperienced makefile user, so please correct anything if necessary)
* worker.c gets it's states to send to the visualiser from state_functions.c (at the moment it uses the first result from every ply, and continues straight down the game tree)
Funcion for checking victory lines "completed"

I am reasonably confident it works... but it relies on some assumptions;
in particular that there is no current winner.
Also kinda special-casey and reliant on a 4x4x4 board.
Works by checking lines relevant to the most recent move.
Multiplies each square in the line succsesively;
ending with 1 means noughts victory, 16 means crosses victory.
A bit of testing code added to worker.c but... need a better way to
test it. Ideas?
More victory

Itty bitty corrections
Even more victory

Added an alternative method (very similar) commented out.
Which do you lot think is better?
Started combining functions together

There's definitely a memory leak somewhere. If either of you can figure out where that would be excellent
I tried to fix it with free_retval but no luck so far
Reworked Makefile
Cosmetic: retabbed state_functions.c
Merge remote branch 'origin/state_functions' into state_functions
Made sure htmltest.py works
spring cleaning of utils folder
Added a polish translation
在收藏夹中添加数据库错误提示信息
CodeCoverage: source dir is optional (autodetected)
CodeCoverage: added full command-line interface
CodeCoverage: added optional title
CodeCoverage: template improvements
CodeCoverage: remove jQuery dependency
CodeCoverage: only .php files are parsed
CodeCoverage: added not-loaded file highlight
Add mikaelo logo to readme-imgs. Site - http://mikaelo.herokuapp.com/. I love Syte
Added photo to readme-imgs directory
venv folder ignore
readme image added color #F83E43
Merge pull request #28 from Mikaelo/upstream

My color #93BD20 and my site http://mikaelo.herokuapp.com/!
Fixed mikaelo pic and added to README
Merge pull request #29 from mikehodgson/master

Claiming color #d75701
Added mikehodgson pic to README
Merging pull request #30
Fixed a wording on README
Claiming color: #0181d7

It's mine!
add debug message and fix jlog macro
Merge branch 'master' of https://github.com/nicboul/DNDS
Adding schedule bucketing
13 commit
Hello
by nimesh
Anpassungen in Kantenfärbung
Merge branch 'chaot' of github.com:nireis/pferd into nireis
Anpassen der Vis
updated horsehead rotation
Merge branch 'invor' of github.com:nireis/pferd into nireis
Merge Vis / strukturiere Sim
Conf Parser bearbeitet und zugehörige Änderungen vorgenommen.
Merge branch 'dargaud' of github.com:nireis/pferd into chaot

Conflicts:
	src/travel.cpp
fixed missing readLine() in tconfreader
disabling some never used files
added text colors + CSS changes
Fix fullscreen handling on Mac OS X Lion
Don’t use off-black color

(it’s too light and I’ve gotten used to the pitch black.)
Disable alternate screen for xterm on Mac OS X
Add package support code (commented out)
Update backup-home prunes
weikiantis interaktyvus chartas.
2012-11-25--00-40-15
change3
Merge branch 'master' of https://github.com/ogahamu/test

Conflicts:
	controllers/test_re.txt
removed unused repos, added custom frameworks_base repo
version 1.0.4
Initial Linux epoll(7) implementation for test suite runs.
Install script
Update README
readme使用markdown格式
asdbasdbasdb
Added check for processors
don't generate MD5 for iframeHTML for ever request
Close Connection after sending a file.
Fix: giving correct exception when deploy with a unsupported language.
Fixed: Changing default context optimization level to 1 (originally optimization only apply to scripts loaded with load())
Fixed: Module loading failure due to new type detection code.
Merge branch 'master' of https://github.com/purplefox/vert.x
revert to previous version, since this is not likely a good patch.
Fix for using tcpkeepalive with groovy netserver
Merge pull request #255 from sjhorn/test-framework

Added check for less than 2 processors
Merge pull request #258 from cameronbraid/suggestions

don't generate MD5 for iframeHTML for ever request
Merge pull request #262 from aurelienmaury/groovy_netserver_tcpkeepalive_fix

Fix for using tcpkeepalive with groovy netserver
fixed return value in groovy HttpServer.setTCPKeepAlive
Merge pull request #259 from ashi009/master

Fix: non-closed connection after response.sendFile().
display source packgae name when searching for binaries
load any file extension as yaml
Fixed wrong duplicate entry in csv.
try running functional tests first

...should help avoid pollution of global state from unit tests
remove unit tests entirely to isolate real functional test failures
Revert "remove unit tests entirely to isolate real functional test failures"

This reverts commit 967635baebf81b066eec8646328e0ce450856bf7.
replace thin w/ webrick for func. test server
fix webrick-based tiny server for ruby 1.9
Revert "Revert "remove unit tests entirely to isolate real functional test failures""

This reverts commit 48b5b2d5bebefbc655c4ea2e3bbe4f82c8be6ae5.
Revert "Revert "Revert "remove unit tests entirely to isolate real functional test failures"""

This reverts commit 8b3928704515f95e4e5c07221690da682828b37c.

Actually the Ci config was busted and not using the batch file under ci/
Silence tiny server's access logs by default
fix units on boxes w/o diff or /tmp
Faster forum denormalization
Present the chess captcha from the current player pov
Fix time chart
Upgrade scalachess
Add H option
Simplified mangled URLs in elasticsearch.
Fixed bug that meant that facets with no label caused a 500.
Afegida llista de llocs sota el mapa
compil ok!
Fix test affected by bdda174af6 (set stop token even if exception occurs)
Fix test affected by 9c1e58db7c (add {} in primary alt block of LR rule)
Fix NPE when a grammar contains no rules (instead of appropriate error message)
Fix expected error/warning numbers
Fix expected output for testAmbigLR
Don't strip error numbers from lines because the numbers are constants of the public API
Merge branch 'no-rules-npe' of https://github.com/sharwell/antlr4
add -diagnostics option to test rig.
was looking for imports with .g not .g4
tweak to Gen.java so it looks in correct templates area.
added failing test so i go back and fix issue with op=('+'|'-') in LR rules
Add Tool.GRAMMAR_EXTENSION (.g4) and Tool.LEGACY_GRAMMAR_EXTENSION (.g), allow imported grammars to use either extension (favoring .g4 over .g).
Updated comments to indicate preference of .g4 over .g
Updated unit tests to use .g4 as the preferred grammar extension
op=(x|y) works as left-recur binary op now.
Merge branch 'master' into stack-graphs-integration
html-ные комменты для yate: <!-- ... -->
Fixed typo in linear hashing proof
Fractional version.

Can do "fling 2/3 1/2"  meaning middle third (horiz) top half (vert)
Merge branch 'master' of ssh://github.com/peadar/fling
Updating wsgi settings
Added the StreamData singleton used to pass the data entered by the user
between activities
update authentication.php
Updated minimax should work but waiting on hueristic changes
typo and rewrite of index
Merge branch 'master' of github.com:phatio/ideas
[ticket/10848] Redirect from adm to installer correctly.

PHPBB3-10848
[ticket/10848] Add phpbb_ prefix.

PHPBB3-10848
[ticket/10848] Move include up.

PHPBB3-10848
Merge remote-tracking branch 'p/ticket/10848' into develop-olympus

* p/ticket/10848:
  [ticket/10848] Move include up.
  [ticket/10848] Add phpbb_ prefix.
  [ticket/10848] Redirect from adm to installer correctly.
Merge branch 'develop-olympus' into develop

* develop-olympus:
  [ticket/10848] Move include up.
  [ticket/10848] Add phpbb_ prefix.
  [ticket/10848] Redirect from adm to installer correctly.

Conflicts:
	phpBB/includes/functions.php
[ticket/11268] Delete phpbb_db_driver_mysql4 as there is no such thing.

PHPBB3-11268
Merge remote-tracking branch 'p/ticket/11268' into develop

* p/ticket/11268:
  [ticket/11268] Delete phpbb_db_driver_mysql4 as there is no such thing.
no bangs
StateT refactor
hinted_find
semplificato cellinfo
Added new function to init file
Temporäre Dateien gelöscht
Wrote about chainable calls
fix - weak coupling form registered twice
Fixed all_runs.py
Update src/partials/inimesed.haml
Merge pull request #16 from curatorsintl/patch-1

Update src/partials/inimesed.haml
Fixed bug in the Back Press Button
Refactor tests further.
<checkbox> tag & stuff
Deserialize static and bugfix for JsonConverters not registering for deserializer.
Add gvimrc in init-symlink.bat
more simd intrinsics
fix C++ calling convention
more SIMD support
Wordcount: possession.scriv
- Content                   4589
- Synopsis                     7
- Notes                       45
- All                       4641
Wordcount: fairiesinthegarden.scriv
- Content                  39766
- Synopsis                     0
- Notes                        0
- All                      39766
Wordcount: kobosChronicles.scriv
- Content                  53276
- Synopsis                     0
- Notes                        0
- All                      53276
Wordcount: fiction/Ameli.scriv
- Content                 112042 (+29)
- Synopsis                  1500
- Notes                        0
- All                     113542 (+29)
Wordcount: timelines.scriv
- Content                    510
- Synopsis                     0
- Notes                        0
- All                        510
Wordcount: weddingPlans.scriv
- Content                   2197
- Synopsis                     0
- Notes                        0
- All                       2197
Wordcount: newStories.scriv
- Content                    286
- Synopsis                     0
- Notes                        0
- All                        286
Wordcount: ddKick.scriv
- Content                   9758
- Synopsis                     0
- Notes                        0
- All                       9758
Couldn't fetch current weather for city, Portland.
All of the plugins that use the network failed.
Your computer may not be connected to the network.
Wordcount: kobosChronicles.scriv
- Content                  23588
- Synopsis                     0
- Notes                        0
- All                      23588
Wordcount: fairiesinthegarden.scriv
- Content                  39766
- Synopsis                     0
- Notes                        0
- All                      39766
Wordcount: timelines.scriv
- Content                    510
- Synopsis                     0
- Notes                        0
- All                        510
Wordcount: ddKick.scriv
- Content                   3406
- Synopsis                     0
- Notes                        0
- All                       3406
Wordcount: fiction/Ameli.scriv
- Content                 104717
- Synopsis                  1500
- Notes                        0
- All                     106217
Current weather for Portland is Overcast (40F/4C) Humidity: 73%
gwt 2.5 rc2
persistence
Better path to logs
Add logrotate config file
Update install script to use symlinks
no more global PROJECTS!  Fixed all linting errors
probably maybe fixed our v1 url maker.  Also, removed hr from highscores page.
stress test doesnt need warmup
more debug messages.
more debug messages.
fix DOM exception 8
Allow looping through images

Now you don't have to close one image to see the next one
Merge pull request #72 from joekain/perf

Build self_hash up from INLINE_STYLES
Try to make emacsclient bahave "as wanted" all the time.
Add my erlang config for emacs.
I want xscreensaver to lock screen (and start, if it's not) when C-M-DEL.
Merge branch 'master' of github.com:rashack/skel

Conflicts:
	.emacs
fixes #3178

git-svn-id: svn://develop.studip.de/studip/trunk@25160 c5b85792-5220-0410-ad23-ed5b6b8ad999
add swauthkey and proxy server worker tuning
fix parsing of zero length DateTime; Get<string[]>() for single value string element
DICOM Dump example project
increment version number
We are now displaying animations
Added admin checkbox.
Merge branch 'master' of https://github.com/redhead/WeTK.git
Removed an unused variable from spec/helper
Removed an unused variable from the statsd spec
Merge pull request #25 from hannesg/test_cleanup

Test cleanup
no with usage info
OpTypes angepasst
removeScript() im Data-Backend-File hinzugefügt. In lcmd.py und lcm.py Kommentare zum besseren Verständnis der Arbeitsweise hinzugefügt. Prüfung beim Start des Netzwerks hinzugefügt
Modified the receiver to use GBN.
Fixing auto-import and README

The library didn't work for me as described in Python 2.7.2:

In [11]: from asana import AsanaAPI()
------------------------------------------------------------
   File "<ipython console>", line 1
     from asana import AsanaAPI()
                               ^
SyntaxError: invalid syntax

This does and I believe is more Pythonic, though.
Fixing adding followers when creating task
Implementing getting users for a single workspace
making uberjar
making uberjar
Revert "Try watching all files, not just the directories."

This reverts commit f6a161affcaede5e3b02465b6b0df2f4542c290e.
Use robfig/fsnotify, with the fix to directory watching on OSX
ftl jump buttons
allow empty cells at the ends
pass packagename via butch_package_name to build script
Merge branch 'master' of https://github.com/rpietro/eras

Conflicts:
	eras.R
Merge branch 'master' of https://github.com/rpietro/eras
LU-1303 build: bump warning on LOD/OSP workarounds

There are a number of generated compile warnings in the code
that need to be fixed due to LOD/OSP workarounds that need to
be removed.  I've bumped the version check to version 2.3.55,
to give the LOD/OSP patches a chance to land.

Signed-off-by: Andreas Dilger <adilger@whamcloud.com>
Change-Id: I41356848d7f1d0699bb0f01cb9302012ff386bc4
Reviewed-on: http://review.whamcloud.com/3741
Tested-by: Hudson
Reviewed-by: Oleg Drokin <green@whamcloud.com>
Updated WorkerLocalServiceImpl.
Adds osxkeychainhelper
Added user interface and updated all nuget packages
initial commit of acrylic ATtiny85 programmer shield
now working with grappelli
updated code to support php 5.4 and Zend Framework 2
updated code to support php 5.4 and Zend Framework 2
Site updated at 2012-07-20 03:39:30 UTC
added methods to get prev and next article slice
Merged in mediastuttgart/sallycms-0.6 (pull request #9)
backed out c73c65baa6c1 (the action is actually used inside the views)
Now works with a new database, fixes #1

Moved design documents into javascript files
Server creates databases if necessary at startup
Server updates views at startup if any map/reduce functions have changed
ENH: Whole-graph submission to Condor DAGMan

This is an initial implementation. it should work and should be
reasonable feature-complete. If this gets merged into master it should
replace the qsub-based Condor plugin, as this implementation requires no
additional software (qsub wrapper) it should be more efficient and
versatile.

The code needs to be considered experimental, as it has only been tested
with trivial workflows.

If the old Condor plugin gets removed a documentation update needs to
happen.
Merge remote-tracking branch 'gh-satra/enh/graphsubmission' into enh/graphsubmission
Merge pull request #8 from hanke/enh/graphsubmission

This is an initial implementation of a Condor DAGMan plugin
Update docs with 0.6 things

Pandas integration, export_metadata
netops: continue writing on SSL_ERROR_WANT_WRITE
netops: be more careful with SSL errors

SSL_get_error() allows to receive a result code for various SSL
operations. Depending on the return value (see man (3) SSL_get_error)
there might be additional information in the OpenSSL error queue. Return
the queued message if available, otherwise set an error message
corresponding to the return code.
URL Davisnet.com
removed highlighting of prev selected grid cell
Se agrego el archivo Probability.js que contiene todas las funciones para el calculo de las distribuciones de probablidad.
Северьянова
Properly build Command-t plug-in during setup.
change generated code: functions['Foo'] => functions.Foo
cut code with `identifier` helper
Minor fixes
Merge branch 'master' of github.com:shengd/cs345
Revert "creat readme"

This reverts commit 91329a505b72ec66bc8ed5c366a7e8b1480a48e1.
Revert "Removed all the cats"

This reverts commit e72e15c4cd78e718aa8b0bae3bd349e816a1f787.
Revert "Add all the octocat txt files"

This reverts commit 3d900552b975f22fb3609fafc785fb480ef206ee.
Fix a bug for background and border. Implement keypress method. Try out sample28.rb, 'Snake Game' and the following snippet.

Shoes.app do
  kp = keypress do |key|
    p key
    kp.clear if key == 'e'
  end
end
Can now detect imports in-flight (Issue #32)
Merge branch 'master' of github.com:shroff/pharc
created view and stub for functions
first commit
Merge branch 'master' of github.com:simonvy/ja3d
Fiasco.OC: always use fixed priority scheduler

The alternative weighted scheduler might lead to some threads don't make
any progress anymore (take for example the signal test). So we have to use
the fixed priority scheduler also in the kernel configuration for 64 Bit.
Increase timer ram_quota in lwip-test for 64bit
Timer: make ram_quota and stack platform-dependent
s
add_heroku
add_heroku
add pythonic
added #send_file and #attachment. removed File Server
working on @function section of grammar.
paramenter_list production written.
functions seem to be done.
removing the need for the init function
Merge branch 'beta-0.3' of github.com:smistad/SIPL into beta-0.3
removed unecessary init check
Extract defence constants and reduce duplication.
Made 'Decktet' in the title banner a link
checkout for cash reward
Merge branch 'master' of https://github.com/softweb/LMLP
测试目录改为绝对地址
增加phpunit的webpieTest.xml文件
修改webpie内部目录结构
[maven-release-plugin] prepare release b2-0.1.0-alpha-3-rc5
read/write/render processes for accumulation products. references #6
resolved dependency from package.json
Revert "resolved dependency from package.json"

This reverts commit 98fbb7e45b1dda51b501f7fed4f77f74b19caf23.
use package.json for exports.version
skip over non json results
added option of model selection without nested cross-validation
What's cooking (2012/05 #07)
iteration 2 minimum requirements
Get some standards

Signed-off-by: Ollie <dzineit@live.co.uk>
Merge pull request #52 from DziNeIT/master

Get some standards
Add custom events.
Merge pull request #53 from syamn/pull

Add custom events.
Merge branch 'master' into sakura

Conflicts:
	src/com/mcbans/firestar/mcbans/BukkitInterface.java
	src/com/mcbans/firestar/mcbans/commands/CommandHandler.java
	src/com/mcbans/firestar/mcbans/pluginInterface/Ban.java
	src/com/mcbans/firestar/mcbans/pluginInterface/Connect.java
	src/com/mcbans/firestar/mcbans/request/JsonHandler.java
[Form] added FormBuilderInterface in Tests namespace, so as to enable easy mocking
[Form] Camelize 'add' and 'remove' methods in the PropertyPath

This issue camelizes the 'add' and 'remove' methods,
as it is already done with the 'set' method.
This fixes a problem with properties like 'custom_messages',
where the 'add' and 'remove' methods are 'addCustom_message'
and 'removeCustom_message' instead of 'addCustomMessage'
and 'removeCustomMessage'.
merged branch shieldo/mockable_formbuilderinterface (PR #4572)

Commits
-------

6b5b625 [Form] added FormBuilderInterface in Tests namespace, so as to enable easy mocking

Discussion
----------

[Form] added FormBuilderInterface in Tests namespace, so as to enable ea...

...sy mocking

Adding a ``FormBuilderInterface`` in the ``Tests`` namespace, along same lines as ``FormInterface`` already there, for the purposes of being able to mock it straightforwardly (as ``FormBuilderInterface`` extends ``\Traversable``, and therefore creating a mock in PHPUnit causes a fatal error that the mock ``must implement interface Traversable as part of either Iterator or IteratorAggregate``).  Currently in the tests a ``FormBuilder`` object is used with a mock event dispatcher and form factory passed into the constructor, but this is long-winded to have to do in tests for code outside the framework.

---------------------------------------------------------------------------

by travisbot at 2012-06-13T22:03:12Z

This pull request [passes](http://travis-ci.org/symfony/symfony/builds/1613957) (merged 6b5b625a into c07e9163).

---------------------------------------------------------------------------

by bschussek at 2012-06-14T07:22:33Z

:+1:
change css faremwrok
fix miss comment out
Fix HTML handling in RSSWidget2
Merge pull request #8 from grakic/rsswidget-fix

Fix HTML handling in RSSWidget2
migrate db into main module

Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
further db module changes

Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
add generic backend_exec

Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
executing with args work

Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
support host deletion

Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
also allow host to be deleted

Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
add more backend calls, also for delete/add host

Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
begin generate

Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
setup and validate prefix

Signed-off-by: Nico Schottelius <nico@brief.schottelius.org>
Renew Gemfile.lock
Change null false for name
Change routes.rb
Create signin view
Add bootstrap
Quiet asset logger
Change using gems
Change layout
Add signin and signup view
just in case no realine
macos (macports probably) has broken strndup?!?
[ update ] factorize pcie_glue_send_xxx
* 実験～～～