-
$_adapter
-
Serializer
-
$_affectedConnections
-
-
$_allConnections
-
Pool of connections
-
$_allConnections
-
Pool of connections
-
$_argumentNames
-
Arguments name
-
$_arguments
-
Arguments
-
$_atomic
-
Atomic flag for pipelines
-
$_backends
-
-
$_backendsCount
-
-
$_cache
-
-
$_cacheCount
-
-
$_cacheMax
-
-
$_callback
-
Autoload callback
-
$_channel
-
Channel
-
$_channel
-
PubSub channel
-
$_channelsByConnections
-
Channels by connections
-
$_command
-
Command
-
$_command
-
-
$_command
-
-
$_command
-
-
$_command
-
-
$_command
-
-
$_command
-
-
$_command
-
-
$_commands
-
Commands buffer
-
$_commands
-
Redis commands
-
$_commands
-
Commands buffer
-
$_connection
-
Rediska specified connection instance
-
$_connection
-
Specified connection
-
$_connection
-
Rediska specified connection instance
-
$_connection
-
Rediska connection
-
$_connection
-
Rediska connection
-
$_connectionCount
-
-
$_connectionPositionCount
-
-
$_connectionPositions
-
-
$_connections
-
Connections
-
$_connections
-
Connections
-
$_connections
-
-
$_connections
-
The pool of subscription connections
-
$_connections
-
Connections
-
$_connections
-
-
$_connections
-
-
$_connections
-
Connections
-
$_credential
-
User credential
-
$_currentChannel
-
Current channel for iterator
-
$_currentCommand
-
Current command for iterator
-
$_currentMessage
-
Current message for iterator
-
$_currentTimestamp
-
Current timestamp for iterator
-
$_defaultConnection
-
Default pipeline connection
-
$_execs
-
Execs
-
$_fields
-
-
$_fields
-
-
$_fields
-
-
$_hashring
-
-
$_hashringCount
-
-
$_hashringIsInitialized
-
-
$_identity
-
User identity
-
$_instances
-
Rediska instances
-
$_isQueued
-
Is queued to transaction
-
$_isRegistered
-
Is registered Rediska autoload
-
$_isStarted
-
Is transaction started
-
$_isWrited
-
Command is writed to connection
-
$_isWrited
-
Is writed
-
$_key
-
Key object
-
$_keyDistributor
-
Object for distribution keys by servers
-
$_keys
-
-
$_keys
-
-
$_keysByConnections
-
-
$_list
-
Log list
-
$_message
-
Message
-
$_messages
-
Message buffer
-
$_monitor
-
Rediska Monitor
-
$_multi
-
-
$_multiple
-
-
$_name
-
Name of command
-
$_name
-
Key name
-
$_needStart
-
Need start time?
-
$_needStart
-
Need start time?
-
$_object
-
Object provider
-
$_oneTimeConnection
-
One time connection
-
$_options
-
-
$_options
-
Options
-
$_options
-
-
$_options
-
Configuration
-
$_options
-
Options:
-
$_options
-
Configuration
-
$_options
-
Configuration
-
$_options
-
Options
-
$_optionsException
-
Exception class name for options
-
$_optionsException
-
Exception class name for options
-
$_optionsException
-
Exception class name for options
-
$_optionsException
-
Exception class name for Rediska setter and getter
-
$_optionsException
-
Exception class name for options
-
$_optionsException
-
Exception class name for options
-
$_queueObjects
-
Queue Lists array
-
$_queues
-
Queues set
-
$_rediska
-
Rediska instance
-
$_rediska
-
Rediska instance
-
$_rediska
-
Rediska instance
-
$_rediska
-
Rediska instance
-
$_rediska
-
Rediska instance
-
$_rediska
-
Rediska instance
-
$_rediska
-
Rediska instance
-
$_rediska
-
Rediska instance
-
$_rediskaOptionName
-
Rediska instance option name
-
$_rediskaPath
-
Rediska path
-
$_replicas
-
-
$_saveHandler
-
Save handler instance
-
$_serializer
-
Serializer object
-
$_serverAlias
-
Server alias or connection object
-
$_serverAlias
-
Server alias or connection object
-
$_set
-
Sessions set
-
$_slicesCount
-
-
$_slicesDiv
-
-
$_slicesHalf
-
-
$_socket
-
Socket
-
$_specifiedConnection
-
Proxy object for specified connection
-
$_specifiedConnection
-
Rediska specified connection instance
-
$_specifiedConnection
-
Rediska specified connection instance
-
$_specifiedConnection
-
Specified by server alias connection
-
$_storeCommand
-
-
$_storeCommand
-
-
$_storeCommand
-
-
$_storeCommand
-
-
$_storeConnection
-
-
$_storeConnection
-
-
$_subscriptions
-
Subscriptions
-
$_timeout
-
Timeout in seconds
-
$_timeout
-
Timeout in seconds
-
$_timeStart
-
The unix timestamp when started getting a message
-
$_timeStart
-
The unix timestamp when started getting a message
-
$_unserialized
-
-
$_userData
-
User data
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_version
-
Supported version
-
$_weights
-
-
_addCommand
-
Add command to transaction
-
_addCommand
-
Add command to pipeline
-
_addMessageToBuffer
-
Add message response to buffer
-
_addNamespaceToGetIfNeeded
-
-
_cleanCache
-
-
_compareSets
-
-
_compareSets
-
-
_compareSets
-
-
_compareSets
-
-
_compareSets
-
-
_compareSets
-
-
_compareSets
-
-
_execCommand
-
Execute subscribe or unsubscribe command
-
_executeCommand
-
Execute command
-
_executeCommand
-
Execute command
-
_getCommandLowerNameAndThrowIfNotPresent
-
Get command lower name and throw exception if command not present
-
_getKeyName
-
Add prefix to session name
-
_getKeyName
-
-
_getRediskaOn
-
Get rediska and set specified connection
-
_getResponseFromConnection
-
Get response from connection
-
_getResponseFromConnection
-
Get response from connection
-
_initializeHashring
-
-
_prepareSetsForComapre
-
-
_prepareSetsForCompare
-
-
_readAndThrowException
-
Read and throw exception if somthing wrong
-
_sanitizeValue
-
Sanitize value
-
_throwExceptionIfManyConnections
-
-
_throwExceptionIfNotSupported
-
Throw exception if command not supported by this version of Redis
-
_throwIfNotSupported
-
Throw if PubSub not supported by Redis
-
_throwIfNotSupported
-
Throw if config not supported by Redis
-
_throwIfNotSupported
-
Throw if PubSub not supported by Redis
-
_throwIfNotSupported
-
Throw if transaction not supported by Redis
-
_validateArguments
-
Validate command arguments
-
_write
-
Write a message to the log.
-
__call
-
Magic method for adding command to transaction
-
__call
-
Magic method for execute command
-
__call
-
Magic methdo for execute command
-
__call
-
Magic method for add command to pipeline
-
__call
-
-
__clone
-
Do not clone socket
-
__construct
-
Constructor
-
__construct
-
Constructor
-
__construct
-
Session set constructor
-
__construct
-
Constructor
-
__construct
-
-
__construct
-
Construct key
-
__construct
-
Constuctor
-
__construct
-
Constructor
-
__construct
-
Writer constructor
-
__construct
-
-
__construct
-
Constructor
-
__construct
-
Constructor
-
__construct
-
Constructor
-
__construct
-
Contruct Rediska
-
__construct
-
Construct key
-
__construct
-
-
__construct
-
Construct GetOrSetValue provider
-
__construct
-
Constructor
-
__construct
-
Constructor
-
__construct
-
Constructor
-
__construct
-
Constructor
-
__construct
-
Construct save handler
-
__construct
-
Contruct Zend_Cache Redis backend
-
__construct
-
Constructor
-
__destruct
-
Disconnect on destrcuct connection object
-
__destruct
-
Destructor
-
__get
-
Magic method for get command argument
-
__get
-
-
__get
-
Magic for get a parameter
-
__get
-
-
__get
-
Magic for get a field
-
__get
-
-
__invoke
-
Magic method for execute
-
__invoke
-
Magic method for execute command in connection
-
__invoke
-
Magic method for execute
-
__invoke
-
Magic method for execute
-
__invoke
-
Magic method for execute
-
__isset
-
Magic for test if field is present in hash
-
__isset
-
Magic method for test if has command argument
-
__set
-
-
__set
-
Magic for set a field
-
__set
-
Magic for set a value to parameter
-
__set
-
-
__toString
-
Return alias to strings
-
__toString
-
-
__toString
-
-
__unset
-
Magic for remove field from hash
-
DECODE_TYPE_ARRAY
-
-
DECODE_TYPE_OBJECT
-
-
decrement
-
Decrement the number value of key by integer
-
decrement
-
Decrement integer value
-
decrement
-
Decrement the number value of key by integer
-
decrement
-
Decrement the number value of key by integer
-
decrement
-
Decrement the number value of key by integer
-
DEFAULT_DB
-
-
DEFAULT_HOST
-
-
DEFAULT_NAME
-
Default client name
-
DEFAULT_PORT
-
-
DEFAULT_REGISTRY_KEY
-
-
DEFAULT_WEIGHT
-
-
delete
-
Delete a key or keys
-
delete
-
Delete key
-
delete
-
Delete a key or keys
-
delete
-
Delete a key or keys
-
delete
-
Delete a queue and all of it's messages
-
delete
-
Delete a key or keys
-
deleteFromHash
-
Delete field from hash
-
deleteFromHash
-
Delete field from hash
-
deleteFromHash
-
Delete field from hash
-
deleteFromHash
-
Delete field from hash
-
deleteFromList
-
Delete element from list by member at key
-
deleteFromList
-
Delete element from list by member at key
-
deleteFromList
-
Delete element from list by member at key
-
deleteFromList
-
Delete element from list by member at key
-
deleteFromSet
-
Remove the specified member from the Set value at key
-
deleteFromSet
-
Remove the specified member from the Set value at key
-
deleteFromSet
-
Remove the specified member from the Set value at key
-
deleteFromSet
-
Remove the specified member from the Set value at key
-
deleteFromSortedSet
-
Delete the specified member from the sorted set by value
-
deleteFromSortedSet
-
Delete the specified member from the sorted set by value
-
deleteFromSortedSet
-
Delete the specified member from the sorted set by value
-
deleteFromSortedSet
-
Delete the specified member from the sorted set by value
-
deleteFromSortedSetByRank
-
Remove all elements in the sorted set at key with rank between start and end
-
deleteFromSortedSetByRank
-
Remove all elements in the sorted set at key with rank between start and end
-
deleteFromSortedSetByRank
-
Remove all elements in the sorted set at key with rank between start and end
-
deleteFromSortedSetByRank
-
Remove all elements in the sorted set at key with rank between start and end
-
deleteFromSortedSetByScore
-
Remove all the elements in the sorted set at key with a score between min and max (including elements with score equal to min or max).
-
deleteFromSortedSetByScore
-
Remove all the elements in the sorted set at key with a score between min and max (including elements with score equal to min or max).
-
deleteFromSortedSetByScore
-
Remove all the elements in the sorted set at key with a score between min and max (including elements with score equal to min or max).
-
deleteFromSortedSetByScore
-
Remove all the elements in the sorted set at key with a score between min and max (including elements with score equal to min or max).
-
deleteMessage
-
Delete a message from the queue
-
DESC
-
-
destroy
-
Destroy session
-
diff
-
Return the difference between the Sets
-
diffSets
-
Return the difference between the Set stored at key1 and all the Sets key2, ..., keyN
-
diffSets
-
Return the difference between the Set stored at key1 and all the Sets key2, ..., keyN
-
diffSets
-
Return the difference between the Set stored at key1 and all the Sets key2, ..., keyN
-
diffSets
-
Return the difference between the Set stored at key1 and all the Sets key2, ..., keyN
-
discard
-
Discard transaction
-
disconnect
-
Disconnect
-
Decrement.php
-
-
Delete.php
-
-
DeleteFromHash.php
-
-
DeleteFromList.php
-
-
DeleteFromSet.php
-
-
DeleteFromSortedSet.php
-
-
DeleteFromSortedSetByRank.php
-
-
DeleteFromSortedSetByScore.php
-
-
DiffSets.php
-
-
gc
-
Garbage Collection
-
get
-
Get value of key or array of values by array of keys
-
get
-
Get command instance
-
get
-
Get parameter or parameters by pattern
-
get
-
Get value of key or array of values by array of keys
-
get
-
Get value of key or array of values by array of keys
-
get
-
Get Rediska
-
get
-
Get value of key or array of values by array of keys
-
get
-
Return element of List by index
-
get
-
Get value from hash field or fields
-
getAdapter
-
Get adapter
-
getAlias
-
Connection alias
-
getAll
-
Get all Rediska instances
-
getByScore
-
Get Sorted set by score
-
getCapabilities
-
Return a list of queue capabilities functions
-
getCapabilities
-
Return an associative array of capabilities (booleans) of the backend
-
getChannel
-
Get channel
-
getChannelsByConnection
-
Get channels by connection
-
getCommand
-
Get command
-
getCommand
-
Get command
-
getConnection
-
Get connection
-
getConnection
-
Get connection
-
getConnection
-
Get connection
-
getConnectionByAlias
-
Get connection by alias
-
getConnectionByAlias
-
Get connection by alias
-
getConnectionByChannelName
-
Get connection by channel name
-
getConnectionByKeyName
-
(non-PHPdoc)
-
getConnectionByKeyName
-
Get connection by key name
-
getConnectionByKeyName
-
Get Rediska connection instance by key name
-
getConnectionByKeyName
-
(non-PHPdoc)
-
getConnections
-
Get all Rediska connection instances
-
getConnectionsByKeyName
-
Get a list of connections by key name
-
getCredential
-
Get credential (password)
-
getDefaultInstance
-
Get Rediska default instance
-
getExpire
-
Get expire seconds or timestamp
-
getFields
-
Get hash fields
-
getFillingPercentage
-
Return the filling percentage of the backend storage
-
getFromHash
-
Get value from hash field or fields
-
getFromHash
-
Get value from hash field or fields
-
getFromHash
-
Get value from hash field or fields
-
getFromHash
-
Get value from hash field or fields
-
getFromList
-
Return element of List by index at key
-
getFromList
-
Return element of List by index at key
-
getFromList
-
Return element of List by index at key
-
getFromList
-
Return element of List by index at key
-
getFromSortedSetByScore
-
Get members from sorted set by min and max score
-
getFromSortedSetByScore
-
Get members from sorted set by min and max score
-
getFromSortedSetByScore
-
Get members from sorted set by min and max score
-
getFromSortedSetByScore
-
Get members from sorted set by min and max score
-
getHash
-
Get hash fields and values
-
getHash
-
Get hash fields and values
-
getHash
-
Get hash fields and values
-
getHash
-
Get hash fields and values
-
getHashFields
-
Get hash fields
-
getHashFields
-
Get hash fields
-
getHashFields
-
Get hash fields
-
getHashFields
-
Get hash fields
-
getHashLength
-
Return the number of fields in hash
-
getHashLength
-
Return the number of fields in hash
-
getHashLength
-
Return the number of fields in hash
-
getHashLength
-
Return the number of fields in hash
-
getHashValues
-
Get hash values
-
getHashValues
-
Get hash values
-
getHashValues
-
Get hash values
-
getHashValues
-
Get hash values
-
getHost
-
Get option host
-
getIdentity
-
Get identity (login)
-
getIds
-
Return an array of stored cache ids
-
getIdsMatchingAnyTags
-
Return an array of stored cache ids which match any given tags
-
getIdsMatchingTags
-
Return an array of stored cache ids which match given tags
-
getIdsNotMatchingTags
-
Return an array of stored cache ids which don't match given tags
-
getIterator
-
Implement intrefaces
-
getIterator
-
-
getIterator
-
-
getIterator
-
-
getIterator
-
-
getIterator
-
Implement intrefaces
-
getIterator
-
Implement intrefaces
-
getKeysByPattern
-
Returns all the keys matching the glob-style pattern
-
getKeysByPattern
-
Returns all the keys matching the glob-style pattern
-
getKeysByPattern
-
Returns all the keys matching the glob-style pattern
-
getKeysByPattern
-
Returns all the keys matching the glob-style pattern
-
getKeysCount
-
Get the number of keys
-
getKeysCount
-
Get the number of keys
-
getKeysCount
-
Get the number of keys
-
getKeysCount
-
Get the number of keys
-
getLastSaveTime
-
Return the UNIX time stamp of the last successfully saving of the dataset on disk
-
getLastSaveTime
-
Return the UNIX time stamp of the last successfully saving of the dataset on disk
-
getLastSaveTime
-
Return the UNIX time stamp of the last successfully saving of the dataset on disk
-
getLastSaveTime
-
Return the UNIX time stamp of the last successfully saving of the dataset on disk
-
getLifetime
-
Get key lifetime
-
getLifetime
-
Get key lifetime
-
getLifetime
-
Get key lifetime
-
getLifetime
-
Get key lifetime
-
getLifetime
-
Get key lifetime
-
getList
-
Get List by key
-
getList
-
Get List by key
-
getList
-
Get command list
-
getList
-
Get List by key
-
getList
-
Get List by key
-
getListLength
-
Return the length of the List value at key
-
getListLength
-
Return the length of the List value at key
-
getListLength
-
Return the length of the List value at key
-
getListLength
-
Return the length of the List value at key
-
getMessage
-
Get message
-
getMessage
-
Get message
-
getMetadatas
-
Return an array of metadatas for the given cache id
-
getName
-
Get Rediska client name
-
getName
-
Get command name
-
getName
-
Get key name
-
getOption
-
Get option
-
getOptions
-
Get associative array of options
-
getOrSetValue
-
Get value, if value not present set it from chain method
-
getPassword
-
Get option password
-
getPort
-
Get option port
-
getQueues
-
Get an array of all available queues
-
getRandomFromSet
-
Get random element from the Set value at key
-
getRandomFromSet
-
Get random element from the Set value at key
-
getRandomFromSet
-
Get random element from the Set value at key
-
getRandomFromSet
-
Get random element from the Set value at key
-
getRandomKey
-
Return a random key from the key space
-
getRandomKey
-
Return a random key from the key space
-
getRandomKey
-
Return a random key from the key space
-
getRandomKey
-
Return a random key from the key space
-
getRank
-
Get rank of member
-
getRankFromSortedSet
-
Get rank of member from sorted set
-
getRankFromSortedSet
-
Get rank of member from sorted set
-
getRankFromSortedSet
-
Get rank of member from sorted set
-
getRankFromSortedSet
-
Get rank of member from sorted set
-
getRediska
-
Get Rediska instance
-
getRediska
-
-
getRediskaInstance
-
-
getRediskaPath
-
Get Rediska path
-
getResultUserData
-
Get result user data
-
getSaveHandler
-
Get Redis session save handler
-
getScore
-
Get member score from Sorted Set
-
getScoreFromSortedSet
-
Get member score from Sorted Set
-
getScoreFromSortedSet
-
Get member score from Sorted Set
-
getScoreFromSortedSet
-
Get member score from Sorted Set
-
getScoreFromSortedSet
-
Get member score from Sorted Set
-
getSerializer
-
Get Rediska serializer
-
getServerAlias
-
Get server alias
-
getServerAlias
-
Get server alias
-
getServerAlias
-
Get server alias
-
getSet
-
Return all the members of the Set value at key
-
getSet
-
Return all the members of the Set value at key
-
getSet
-
Return all the members of the Set value at key
-
getSet
-
Return all the members of the Set value at key
-
getSetLength
-
Return the number of elements (the cardinality) of the Set at key
-
getSetLength
-
Return the number of elements (the cardinality) of the Set at key
-
getSetLength
-
Return the number of elements (the cardinality) of the Set at key
-
getSetLength
-
Return the number of elements (the cardinality) of the Set at key
-
getSortedSet
-
Get all the members of the Sorted Set value at key
-
getSortedSet
-
Get all the members of the Sorted Set value at key
-
getSortedSet
-
Get all the members of the Sorted Set value at key
-
getSortedSet
-
Get all the members of the Sorted Set value at key
-
getSortedSetLength
-
Get length of Sorted Set
-
getSortedSetLength
-
Get length of Sorted Set
-
getSortedSetLength
-
Get length of Sorted Set
-
getSortedSetLength
-
Get length of Sorted Set
-
getSubscriptions
-
Get subscriptions
-
getTags
-
Return an array of stored tags
-
getTimeout
-
Get timeout
-
getTimeout
-
Get timeout
-
getTimeout
-
Get option timout
-
getType
-
Get key type
-
getType
-
Get key type
-
getType
-
Get key type
-
getType
-
Get key type
-
getType
-
Get key type
-
getValue
-
Get key value
-
getValues
-
Get hash values
-
getWeight
-
Get option weight
-
Get.php
-
-
GetFromHash.php
-
-
GetFromList.php
-
-
GetFromSortedSetByScore.php
-
-
GetHash.php
-
-
GetHashFields.php
-
-
GetHashLength.php
-
-
GetHashValues.php
-
-
GetKeysByPattern.php
-
-
GetKeysCount.php
-
-
GetLastSaveTime.php
-
-
GetLifetime.php
-
-
GetList.php
-
-
GetListLength.php
-
-
GetRandomFromSet.php
-
-
GetRandomKey.php
-
-
GetRankFromSortedSet.php
-
-
GetScoreFromSortedSet.php
-
-
GetSet.php
-
-
GetSetLength.php
-
-
GetSortedSet.php
-
-
GetSortedSetLength.php
-
-
GetType.php
-
-
increment
-
Increment field value in hash
-
increment
-
Increment the number value of key by integer
-
increment
-
Increment integer value
-
increment
-
Increment the number value of key by integer
-
increment
-
Increment the number value of key by integer
-
increment
-
Increment the number value of key by integer
-
incrementInHash
-
Increment field value in hash
-
incrementInHash
-
Increment field value in hash
-
incrementInHash
-
Increment field value in hash
-
incrementInHash
-
Increment field value in hash
-
incrementScore
-
Increment score of element
-
incrementScoreInSortedSet
-
Increment score of sorted set element
-
incrementScoreInSortedSet
-
Increment score of sorted set element
-
incrementScoreInSortedSet
-
Increment score of sorted set element
-
incrementScoreInSortedSet
-
Increment score of sorted set element
-
info
-
Provide information and statistics about the server
-
info
-
Provide information and statistics about the server
-
info
-
Provide information and statistics about the server
-
info
-
Provide information and statistics about the server
-
init
-
-
intersect
-
Store to key intersection between sorted sets
-
intersect
-
Return the intersection between the Sets
-
intersectSets
-
Return the intersection between the Sets stored at key1, key2, ..., keyN
-
intersectSets
-
Return the intersection between the Sets stored at key1, key2, ..., keyN
-
intersectSets
-
Return the intersection between the Sets stored at key1, key2, ..., keyN
-
intersectSets
-
Return the intersection between the Sets stored at key1, key2, ..., keyN
-
intersectSortedSets
-
Store to key intersection between sorted sets
-
intersectSortedSets
-
Store to key intersection between sorted sets
-
intersectSortedSets
-
Store to key intersection between sorted sets
-
intersectSortedSets
-
Store to key intersection between sorted sets
-
isAtomic
-
-
isAtomic
-
Check atomic command
-
isAutomaticCleaningAvailable
-
Return true if the automatic cleaning is available for the backend
-
isConnected
-
Is connected
-
isExists
-
Exists in db
-
isExists
-
Does a queue already exist?
-
isExpireTimestamp
-
Is expire is timestamp
-
isQueued
-
Is command queued in transaction
-
isQueued
-
-
isRegistered
-
Is Rediska autoload registered
-
isStarted
-
Is transaction started
-
Increment.php
-
-
IncrementInHash.php
-
-
IncrementScoreInSortedSet.php
-
-
Info.php
-
-
Interface.php
-
-
IntersectSets.php
-
-
IntersectSortedSets.php
-
-
Interface.php
-
-
Interface.php
-
-
read
-
-
read
-
-
read
-
Read response from connection
-
read
-
Read length bytes from connection stram
-
read
-
Read session data
-
read
-
Read reponses from connection
-
readLine
-
Read line from connection stream
-
readResponseFromConnection
-
Read response from connection
-
receive
-
Get messages in the queue
-
Rediska
-
Rediska (radish on russian) - PHP client for key-value database Redis (http://code.google.com/p/redis)
-
Rename.php
-
-
RewriteAppendOnlyFile.php
-
-
RediskaInstance.php
-
-
Rediska.php
-
-
Redis.php
-
-
Redis.php
-
-
Redis.php
-
-
Redis.php
-
-
Redis.php
-
-
Rediska.php
-
-
Rediska_Autoloader
-
Rediska autoloader
-
Rediska_Commands
-
Rediska commands
-
Rediska_Command_Abstract
-
Rediska command abstract class
-
Rediska_Command_AddToSet
-
Add the specified member to the Set value at key
-
Rediska_Command_AddToSortedSet
-
Add member to sorted set
-
Rediska_Command_Append
-
Append value to a end of string key
-
Rediska_Command_AppendToList
-
Append value to the end of List
-
Rediska_Command_CompareSets
-
Abstract class for union, intersection and diff of sets
-
Rediska_Command_CompareSortedSets
-
Abstract class for union and intersection of sorted sets
-
Rediska_Command_Decrement
-
Decrement the number value of key by integer
-
Rediska_Command_Delete
-
Delete a key or keys
-
Rediska_Command_DeleteFromHash
-
Delete field from hash
-
Rediska_Command_DeleteFromList
-
Delete element from list by member at key
-
Rediska_Command_DeleteFromSet
-
Remove the specified member from the Set value at key
-
Rediska_Command_DeleteFromSortedSet
-
Delete the specified member from the sorted set by value
-
Rediska_Command_DeleteFromSortedSetByRank
-
Remove all elements in the sorted set at key with rank between start and end
-
Rediska_Command_DeleteFromSortedSetByScore
-
Remove all the elements in the sorted set at key with a score between min and max (including elements with score equal to min or max).
-
Rediska_Command_DiffSets
-
Return the difference between the Set stored at key1 and all the Sets key2, ..., keyN
-
Rediska_Command_Exception
-
Rediska command exception
-
Rediska_Command_Exists
-
Test if a key exists
-
Rediska_Command_ExistsInHash
-
Test if field is present in hash
-
Rediska_Command_ExistsInSet
-
Test if the specified value is a member of the Set at key
-
Rediska_Command_Expire
-
Set a time to live in seconds or timestamp on a key
-
Rediska_Command_FlushDb
-
Remove all the keys of the currently selected DB
-
Rediska_Command_Get
-
Get value of key or array of values by array of keys
-
Rediska_Command_GetFromHash
-
Get value from hash field or fields
-
Rediska_Command_GetFromList
-
Return element of List by index at key
-
Rediska_Command_GetFromSortedSetByScore
-
Get members from sorted set by min and max score
-
Rediska_Command_GetHash
-
Get hash fields and values
-
Rediska_Command_GetHashFields
-
Get hash fields
-
Rediska_Command_GetHashLength
-
Return the number of fields in hash
-
Rediska_Command_GetHashValues
-
Get hash values
-
Rediska_Command_GetKeysByPattern
-
Returns all the keys matching the glob-style pattern
-
Rediska_Command_GetKeysCount
-
Get the number of keys
-
Rediska_Command_GetLastSaveTime
-
Return the UNIX time stamp of the last successfully saving of the dataset on disk
-
Rediska_Command_GetLifetime
-
Get key lifetime
-
Rediska_Command_GetList
-
Get List by key
-
Rediska_Command_GetListLength
-
Return the length of the List value at key
-
Rediska_Command_GetRandomFromSet
-
Get random element from the Set value at key
-
Rediska_Command_GetRandomKey
-
Return a random key from the key space
-
Rediska_Command_GetRankFromSortedSet
-
Get rank of member from sorted set
-
Rediska_Command_GetScoreFromSortedSet
-
Get member score from Sorted Set
-
Rediska_Command_GetSet
-
Return all the members of the Set value at key
-
Rediska_Command_GetSetLength
-
Return the number of elements (the cardinality) of the Set at key
-
Rediska_Command_GetSortedSet
-
Get all the members of the Sorted Set value at key
-
Rediska_Command_GetSortedSetLength
-
Get length of Sorted Set
-
Rediska_Command_GetType
-
Get key type
-
Rediska_Command_Increment
-
Increment the number value of key by integer
-
Rediska_Command_IncrementInHash
-
Increment field value in hash
-
Rediska_Command_IncrementScoreInSortedSet
-
Increment score of sorted set element
-
Rediska_Command_Info
-
Provide information and statistics about the server
-
Rediska_Command_Interface
-
Rediska command interface
-
Rediska_Command_IntersectSets
-
Return the intersection between the Sets stored at key1, key2, ..., keyN
-
Rediska_Command_IntersectSortedSets
-
Store to key intersection between sorted sets
-
Rediska_Command_MoveToDb
-
Move the key from the currently selected DB to the DB having as index dbindex
-
Rediska_Command_MoveToSet
-
Move the specified member from one Set to another atomically
-
Rediska_Command_PopFromList
-
Return and remove the last element of the List at key
-
Rediska_Command_PopFromListBlocking
-
Return and remove the last element of the List at key and block if list is empty or not exists
-
Rediska_Command_PrependToList
-
Append value to the head of List
-
Rediska_Command_Publish
-
Publish message to pubsub channel
-
Rediska_Command_Quit
-
Ask the server to silently close the connection.
-
Rediska_Command_Rename
-
Rename the old key in the new one
-
Rediska_Command_Response_ListNameAndValue
-
Rediska command list name and value response
-
Rediska_Command_Response_ValueAndScore
-
Rediska command value and score response
-
Rediska_Command_RewriteAppendOnlyFile
-
Rewrite the Append Only File in background when it gets too big
-
Rediska_Command_Save
-
Save the DB on disk
-
Rediska_Command_SelectDb
-
Select the DB having the specified index
-
Rediska_Command_Set
-
Set value to a key or muliple values to multiple keys
-
Rediska_Command_SetAndExpire
-
Set + Expire atomic command
-
Rediska_Command_SetAndGet
-
Atomic set value and return old
-
Rediska_Command_SetToHash
-
Set value to a hash field or fields
-
Rediska_Command_SetToList
-
Set a new value as the element at index position of the List at key
-
Rediska_Command_ShiftFromList
-
Return and remove the first element of the List at key
-
Rediska_Command_ShiftFromListBlocking
-
Return and remove the first element of the List at key and block if list is empty or not exists
-
Rediska_Command_Shutdown
-
Stop all the clients, save the DB, then quit the server
-
Rediska_Command_SlaveOf
-
Change the replication settings of a slave on the fly
-
Rediska_Command_Sort
-
Get sorted elements contained in the List, Set, or Sorted Set value at key.
-
Rediska_Command_Substring
-
Return a subset of the string from offset start to offset end (both offsets are inclusive)
-
Rediska_Command_TruncateList
-
Trim the list at key to the specified range of elements
-
Rediska_Command_UnionSets
-
Return the union between the Sets stored at key1, key2, ..., keyN
-
Rediska_Command_UnionSortedSets
-
Store to key union between the sorted sets
-
Rediska_Config
-
Redis server config
-
Rediska_Connection
-
Rediska connection
-
Rediska_Connection_Exception
-
Rediska connection exception
-
Rediska_Connection_Exec
-
Rediska connection exec
-
Rediska_Connection_Exec_Exception
-
Rediska connection exec exception
-
Rediska_Connection_Specified
-
Rediska specified connection
-
Rediska_Connection_TimeoutException
-
Rediska connection timeout exception
-
Rediska_Exception
-
Rediska exception
-
Rediska_Key
-
Rediska basic key
-
Rediska_KeyDistributor_ConsistentHashing
-
-
Rediska_KeyDistributor_Crc32
-
-
Rediska_KeyDistributor_Exception
-
Rediska key distributor exception
-
Rediska_KeyDistributor_Interface
-
Rediska key distributor interface
-
Rediska_Key_Abstract
-
Rediska key abstract class
-
Rediska_Key_Exception
-
Rediska key exception
-
Rediska_Key_GetOrSetValue
-
GetOrSetValue helper class
-
Rediska_Key_Hash
-
Rediska hash key
-
Rediska_Key_List
-
Rediska List key
-
Rediska_Key_Set
-
Rediska Set key
-
Rediska_Key_SortedSet
-
Rediska Sorted set key
-
Rediska_Manager
-
Rediska instances manager
-
Rediska_Monitor
-
Rediska monitor
-
Rediska_Monitor_Connections
-
This iterator is used by Rediska_PubSub_Channel to repeatedly iterate through available connections
-
Rediska_Monitor_Exception
-
Rediska Monitor exception
-
Rediska_Options
-
Abstract class for provide options to Rediska components
-
Rediska_Options_RediskaInstance
-
Abstract class for provide options and Rediska instanse setter and getter to Rediska components
-
Rediska_Pipeline
-
Rediska pipeline
-
Rediska_PubSub_Channel
-
Rediska PubSub channel
-
Rediska_PubSub_Connections
-
This iterator is used by Rediska_PubSub_Channel to repeatedly iterate through available connections
-
Rediska_PubSub_Exception
-
Rediska PubSub exception
-
Rediska_PubSub_Response_Abstract
-
Abstract PubSub response
-
Rediska_PubSub_Response_Exception
-
Rediska PubSub response exception
-
Rediska_PubSub_Response_Message
-
Rediska PubSub message response
-
Rediska_PubSub_Response_Subscribe
-
Rediska PubSub subscribe response
-
Rediska_PubSub_Response_Unsubscribe
-
Rediska PubSub unsubscribe response
-
Rediska_Serializer
-
Rediska Serializer
-
Rediska_Serializer_Adapter_Exception
-
Rediska serializer adapter exception
-
Rediska_Serializer_Adapter_Interface
-
Rediska serializer adapter interface
-
Rediska_Serializer_Adapter_Json
-
JSON adpter
-
Rediska_Serializer_Adapter_PhpSerialize
-
Default PHP serializer adapter
-
Rediska_Serializer_Adapter_ToString
-
ToString adapter convert all values to strings
-
Rediska_Serializer_Exception
-
Rediska serializer exception
-
Rediska_Transaction
-
Rediska transaction
-
Rediska_Transaction_Exception
-
Rediska Transaction exception
-
Rediska_Zend_Application_Resource_Rediska
-
Rediska Zend Application Resource for configure and initialize Rediska from application.ini
-
Rediska_Zend_Auth_Adapter_Redis
-
Redis adapter for Zend_Auth
-
Rediska_Zend_Cache_Backend_Redis
-
Redis adapter for Zend_Cache
-
Rediska_Zend_Log_Writer_Redis
-
Redis writer for Zend_Log
-
Rediska_Zend_Queue_Adapter_Redis
-
Redis adapter for Zend_Queue
-
Rediska_Zend_Session_SaveHandler_Redis
-
Redis save handler for Zend_Session
-
Rediska_Zend_Session_Set
-
Sessions set
-
register
-
Register Rediska autoload
-
remove
-
Remove the specified member from the Sorted set
-
remove
-
Remove the specified member from the Set
-
remove
-
Delete element from list by value
-
remove
-
Remove command
-
remove
-
Remove field from hash
-
remove
-
Remove a cache record
-
remove
-
Remove Rediska
-
removeAll
-
Remove all rediska Return count of removed instance
-
removeByRank
-
Remove all elements in the sorted set at key with rank between start and end
-
removeByScore
-
Remove members from sorted set by score
-
removeChannel
-
Remove channel
-
removeConnection
-
(non-PHPdoc)
-
removeConnection
-
Remove connection
-
removeConnection
-
(non-PHPdoc)
-
rename
-
Rename the old key in the new one
-
rename
-
Rename the old key in the new one
-
rename
-
Rename key
-
rename
-
Rename the old key in the new one
-
rename
-
Rename the old key in the new one
-
REPLY_BULK
-
-
REPLY_ERROR
-
-
REPLY_INTEGER
-
-
REPLY_MULTY_BULK
-
-
REPLY_STATUS
-
-
resetConnection
-
Reset connection
-
rewind
-
-
rewind
-
-
rewriteAppendOnlyFile
-
Rewrite the Append Only File in background when it gets too big
-
rewriteAppendOnlyFile
-
Rewrite the Append Only File in background when it gets too big
-
rewriteAppendOnlyFile
-
Rewrite the Append Only File in background when it gets too big
-
rewriteAppendOnlyFile
-
Rewrite the Append Only File in background when it gets too big
-
Save.php
-
-
SelectDb.php
-
-
Set.php
-
-
SetAndExpire.php
-
-
SetAndGet.php
-
-
SetToHash.php
-
-
SetToList.php
-
-
ShiftFromList.php
-
-
ShiftFromListBlocking.php
-
-
Shutdown.php
-
-
SlaveOf.php
-
-
Sort.php
-
-
Substring.php
-
-
Specified.php
-
-
Set.php
-
-
SortedSet.php
-
-
Subscribe.php
-
-
Serializer.php
-
-
Set.php
-
-
save
-
Save the DB on disk
-
save
-
Save some string datas into a cache record
-
save
-
Save the DB on disk
-
save
-
Save the DB on disk
-
save
-
Save the DB on disk
-
selectDb
-
Select the DB having the specified index
-
selectDb
-
Select the DB having the specified index
-
selectDb
-
Select the DB having the specified index
-
selectDb
-
Select the DB having the specified index
-
send
-
Send a message to the queue
-
serialize
-
Serialize value
-
serialize
-
Serialize value
-
serialize
-
Serialize value
-
serialize
-
Serialize value
-
serialize
-
Serialize value
-
serialize
-
Serialize value
-
set
-
Set value to parameter
-
set
-
Set value to a hash field or fields
-
set
-
Set value to a key or muliple values to multiple keys
-
set
-
Set value to a key or muliple values to multiple keys
-
set
-
Set a new value as the element at index position of the List
-
set
-
Set value to a key or muliple values to multiple keys
-
set
-
Set value to a key or muliple values to multiple keys
-
setAdapter
-
Set adapter
-
setAndExpire
-
Set + Expire atomic command
-
setAndExpire
-
Set + Expire atomic command
-
setAndExpire
-
Set + Expire atomic command
-
setAndExpire
-
Set + Expire atomic command
-
setAndGet
-
Atomic set value and return old
-
setAndGet
-
Atomic set value and return old
-
setAndGet
-
Atomic set value and return old
-
setAndGet
-
Atomic set value and return old
-
setAtomic
-
Set atomic command flag
-
setBlockingMode
-
Set blocking/non-blocking mode for reads
-
setConnection
-
Set connection
-
setCredential
-
Set credential (password)
-
setDefaultInstace
-
Set Rediska default instance
-
setDirectives
-
Set the frontend directives
-
setExpire
-
Set expire time
-
setFormatter
-
Formatting is not possible on this writer
-
setIdentity
-
Set identity (login)
-
setKeyDistributor
-
Set key distributor.
-
setName
-
Set Rediska client name
-
setName
-
Set key name
-
setOption
-
Set option
-
setOptions
-
Set options array
-
setReadTimeout
-
Set read timeout
-
setRediska
-
Set Rediska instance
-
setRediska
-
-
setSaveHandler
-
Set Redis session save handler
-
setSerializer
-
Set serializer callback For example: "unserializer" or array($object, "unserializer")
-
setSerializerAdapter
-
Set Rediska serializer adapter
-
setServerAlias
-
Set server alias
-
setServerAlias
-
Set server alias
-
setServerAlias
-
Set server alias
-
setServers
-
Set servers array:
-
setTimeout
-
Set timeout in seconds
-
setTimeout
-
Set timeout in seconds
-
setToHash
-
Set value to a hash field or fields
-
setToHash
-
Set value to a hash field or fields
-
setToHash
-
Set value to a hash field or fields
-
setToHash
-
Set value to a hash field or fields
-
setToList
-
Set a new value as the element at index position of the List at key
-
setToList
-
Set a new value as the element at index position of the List at key
-
setToList
-
Set a new value as the element at index position of the List at key
-
setToList
-
Set a new value as the element at index position of the List at key
-
setUnserializer
-
Set unserializer callback For example: "unserializer" or array($object, "unserializer")
-
setValue
-
Set key value
-
shift
-
Return and remove the first element of the List
-
shiftBlocking
-
Return and remove the first element of the List and block if list empty or not exists
-
shiftFromList
-
Return and remove the first element of the List at key
-
shiftFromList
-
Return and remove the first element of the List at key
-
shiftFromList
-
Return and remove the first element of the List at key
-
shiftFromList
-
Return and remove the first element of the List at key
-
shiftFromListBlocking
-
Return and remove the first element of the List at key and block if list is empty or not exists
-
shiftFromListBlocking
-
Return and remove the first element of the List at key and block if list is empty or not exists
-
shiftFromListBlocking
-
Return and remove the first element of the List at key and block if list is empty or not exists
-
shiftFromListBlocking
-
Return and remove the first element of the List at key and block if list is empty or not exists
-
shutdown
-
Remove reference to list
-
shutdown
-
Stop all the clients, save the DB, then quit the server
-
shutdown
-
Stop all the clients, save the DB, then quit the server
-
shutdown
-
Stop all the clients, save the DB, then quit the server
-
shutdown
-
Stop all the clients, save the DB, then quit the server
-
slaveOf
-
Change the replication settings of a slave on the fly
-
slaveOf
-
Change the replication settings of a slave on the fly
-
slaveOf
-
Change the replication settings of a slave on the fly
-
slaveOf
-
Change the replication settings of a slave on the fly
-
sort
-
Get sorted the elements
-
sort
-
Get sorted the elements
-
sort
-
Get sorted elements contained in the List, Set, or Sorted Set value at key.
-
sort
-
Get sorted elements contained in the List, Set, or Sorted Set value at key.
-
sort
-
Get sorted elements contained in the List, Set, or Sorted Set value at key.
-
sort
-
Get sorted the elements
-
sort
-
Get sorted elements contained in the List, Set, or Sorted Set value at key.
-
STABLE_REDIS_VERSION
-
Current stable Redis version
-
start
-
Start transaction
-
subscribe
-
Subscribe to PubSub channel or channels
-
subscribe
-
Subscribe to channel or channels
-
SUBSCRIBE
-
-
substring
-
Return a subset of the string from offset start to offset end (both offsets are inclusive)
-
substring
-
Return a subset of the string from offset start to offset end (both offsets are inclusive)
-
substring
-
Return a subset of the string from offset start to offset end (both offsets are inclusive)
-
substring
-
Return a subset of the string from offset start to offset end (both offsets are inclusive)
-
SUM
-


Munster & Ulster Close To Full Strength For Thomond Park Clash
by Michael CorryBoth Munster and Ulster will welcome back most of their international contingent as the two provinces clash in Thomond Park on Saturday (kickoff 5.15pm)
Peter O’Mahony returns to captain Munster in the back-row where he is joined by Chris Cloete and fellow Irish international CJ Stander.
Jean Kleyn also returns to the second row alongside Billy Holland while John Ryan and Niall Scannell are back in the front row with James Cronin.
Andrew Conway is named on the wing alongside Liam Coombes with Mike Haley continuing at full-back. Chris Farrell returns at 13 to partner Rory Scannell in the midfield while JJ Hanrahan starts at out-half with Alby Mathewson given the nod at scrum-half.
Meanwhile, Jordi Murphy is named at openside flanker on his Ulster return where he is partnered in the back-row by Sean Reidy and Nick Timoney. Sam Carter and Alan O’Connor get the nod in the second row while Marty Moore returns from injury to take up his role in the front row alongside Jack McGrath and Rob Herring.
Youngster Angus Curtis is given the nod out-half with the experienced John Cooney continuing at scrum-half. Stuart McCloskey also returns from injury to bolster Ulster’s attack, he is joined in the midfield by luke Marshall.
Meanwhile, Jacob Stockdale returns to the Ulster starting XV where he is partnered in the backfield by Matt Faddes at full-back and Rob Lyttle on the opposite wing.
___
Munster: Mike Haley, Andrew Conway, Chris Farrell, Rory Scannell, Liam Coombes, JJ Hanrahan, Alby Mathewson; James Cronin, Niall Scannell, John Ryan, Jean Kleyn, Billy Holland, Peter O’Mahony (capt), Chris Cloete, CJ Stander.
Replacements: Jeremy Loughman, Kevin O’Byrne, Stephen Archer, Fineen Wycherley, Jack O’Donoghue, Conor Murray, Tyler Bleyendaal, Arno Botha.
Ulster: Matt Faddes, Rob Lyttle, Luke Marshall, Stuart McCloskey, Jacob Stockdale, Angus Curtis, John Cooney; Jack McGrath, Rob Herring (capt), Marty Moore, Alan O’Connor, Sam Carter, Sean Reidy, Jordi Murphy, Nick Timoney.
Replacements: Adam McBurney, Eric O’Sullivan, Tom O’Toole, Kieran Treadwell, Matthew Rea, David Shanahan, Bill Johnston, Robert Baloucoune.


Configure which User role has permission to perform which action. Note that some actions cannot be disabled for Game Master users. Some changes may not take effect until the game is reloaded.
{{#each users }}
{{/each}}
{{#each users }}
{{/each}}
Allow players to hold cards in their hand.
{{#each users }}
{{/each}}
Allow players to always view other players cards.
{{#each users }}
{{/each}}
Allow players to view all available cards from the currently active Source.


📅 (2023-04-19 05:31:06 UTC)
# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-num base Num library distributed with the OCaml compiler base-threads base base-unix base conf-findutils 1 Virtual package relying on findutils conf-gmp 4 Virtual package relying on a GMP lib system installation coq 8.13.2 Formal proof management system num 0 The Num library for arbitrary-precision integer and rational arithmetic ocaml 4.05.0 The OCaml compiler (virtual package) ocaml-base-compiler 4.05.0 Official 4.05.0 release ocaml-config 1 OCaml Switch Configuration ocamlfind 1.9.6 A library manager for OCaml zarith 1.12 Implements arithmetic and logical operations over arbitrary-precision integers # opam file: opam-version: "2.0" authors: [ "Matthieu Sozeau<EMAIL_ADDRESS>"Cyprien Mangin<EMAIL_ADDRESS>] dev-repo: "git+https://github.com/mattam82/Coq-Equations.git" maintainer<EMAIL_ADDRESS>homepage: "https://mattam82.github.io/Coq-Equations" bug-reports: "https://github.com/mattam82/Coq-Equations/issues" license: "LGPL-2.1-only" synopsis: "A function definition package for Coq" description: """ Equations is a function definition plugin for Coq, that allows the definition of functions by dependent pattern-matching and well-founded, mutual or nested structural recursion and compiles them into core terms. It automatically derives the clauses equations, the graph of the function and its associated elimination principle. """ tags: [ "keyword:dependent pattern-matching" "keyword:functional elimination" "category:Miscellaneous/Coq Extensions" "logpath:Equations" ] build: [ ["./configure.sh"] [make "-j%{jobs}%"] ] install: [ [make "install"] ] run-test: [ [make "test-suite"] ] depends: [ "coq" {>= "8.13" & < "8.14~"} "ocamlfind" {build} ] url { src: "https://github.com/mattam82/Coq-Equations/archive/v1.2.4-8.13.tar.gz" checksum: "sha512=9083a340d4db87baf0b014dd6a82651f5dabcf81734ff58fb8386ee66da2570010b528e92c75992652d055405dc198169690e076ac067f907b2b7445b8b14130" }
true
Dry install with the current Coq version:
opam install -y --show-action coq-equations.1.2.4+8.13 coq.8.13.2
Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:
true
opam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-equations.1.2.4+8.13 coq.8.13.2
opam list; echo; ulimit -Sv 16000000; timeout 4h opam install -y -v coq-equations.1.2.4+8.13 coq.8.13.2
Total: 5 M
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/equations_plugin.cmxs
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Telescopes.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Telescopes.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/equations_plugin.cmxa
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/DepElim.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/DepElim.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/DepElim.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/NoConfusion.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/NoConfusion.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/EqDec.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/DepElim.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Relation.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/EqDecInstances.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/EqDec.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Subterm.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/EqDec.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/EqDecInstances.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Relation_Properties.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Equations.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Telescopes.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Telescopes.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/WellFoundedInstances.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Relation.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/equations_common.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/All.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/EqDec.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Relation_Properties.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/DepElim.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/DepElim.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Subterm.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/FunctionalInduction.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/FunctionalInduction.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Subterm.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/equations_common.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Logic.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Tactics.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Classes.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/CoreTactics.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Classes.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/splitting.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/covering.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Subterm.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/WellFounded.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/principles.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/context_map.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Loader.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/g_equations.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/simplify.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/splitting.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/syntax.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Tactics.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/context_map.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Init.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/principles.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/WellFounded.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Logic.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Classes.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Classes.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Relation_Properties.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/sigma_types.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/covering.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Subterm.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/principles_proofs.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/g_equations.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/WellFoundedInstances.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/EqDec.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/principles_proofs.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/syntax.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Subterm.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/sigma_types.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/EqDec.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Loader.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Constants.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Telescopes.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/depelim.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Telescopes.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/simplify.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Constants.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/depelim.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/equations.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/equations.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/FunctionalInduction.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/FunctionalInduction.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Relation.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/eqdec.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/noconf_hom.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/CoreTactics.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/subterm.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/eqdec.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Init.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/noconf.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/ederive.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Logic.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/extra_tactics.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Classes.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/EqDecInstances.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/ederive.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Tactics.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Classes.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/FunctionalInduction.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/noconf_hom.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Signature.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/noconf.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Tactics.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/subterm.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Tactics.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/WellFounded.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/FunctionalInduction.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Constants.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/equations_plugin_mod.cmx
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/equations_plugin_mod.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/FunctionalExtensionality.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Logic.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/EqDecInstances.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Logic.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Constants.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/OpaqueEquations.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/TransparentEquations.vo
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/extra_tactics.cmi
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/WellFoundedInstances.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Init.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/EqDecInstances.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Signature.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/EqDecInstances.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/CoreTactics.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/FunctionalExtensionality.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Loader.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Logic.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Tactics.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Signature.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/NoConfusion.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/NoConfusion.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Equations.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Loader.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/All.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/OpaqueEquations.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/NoConfusion.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/TransparentEquations.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/NoConfusion.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Loader.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Loader.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/FunctionalExtensionality.v
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/OpaqueEquations.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/Constants.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/TransparentEquations.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Prop/Constants.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Type/All.glob
../ocaml-base-compiler.4.05.0/lib/coq/user-contrib/Equations/Equations.glob
opam remove -y coq-equations.1.2.4+8.13


{{if USE_CDN}}
{{ else }}
{{end}}
Statup | Services
{{template "nav"}}
Services
Name
Status
{{range .}} {{ $s := .ToService }}
{{$s.Name}}
{{if $s.Online}}
ONLINE
{{else}}
OFFLINE
{{end}}
View
Delete
{{end}}
Create Service
Service Name
Service Check Type
HTTP Service
TCP Service
Application Endpoint (URL)
Service Check Type
GET
POST
Post Data (JSON)
Expected Response (Regex)
You can insert
Regex
to validate the response
Expected Status Code
TCP Port
Check Interval (Seconds)
Timeout in Seconds
Create Service
{{template "footer"}} {{if USE_CDN}} {{ else }} {{end}}


Module mod1
Test module providing bonzo.dog.
Rest is a longer description
| config |
general configuration table |
-
first_macro
-
A useful macro. This is an example of a custom 'kind'.
See also:
-
zero_fun (k1, k2)
-
zero function. Two new ldoc features here; item types
can be used directly as tags, and aliases for tags
can be defined in config.lp.
Parameters:
-
first_fun (p1, p2)
-
first function. Some description
Parameters:
- p1
first parameter
- p2
second parameter
-
second_function (...)
-
second function.
Parameters:
-
third_function (alpha, beta, gamma)
-
third function. Can also provide parameter comments inline,
provided they follow this pattern.
Parameters:
- alpha
correction A
- beta
correction B
- gamma
factor C
-
zero_function (p)
-
Another function. Using a Lua block comment
Parameters:
-
other (p, q, r)
-
Multiple params may match a varargs function.
Generally, ldoc tries to be strict about matching params and formal arguments,
but this is relaxed for varargs: `function other(p,...)`
Parameters:
-
typed (name, age)
-
A function with typed arguments.
The tparam tag is followed by the 'type'. There is no standard way
to represent Lua types, but you can adopt a convention. Type names
will be resolved. treturn must include a description after the type.
Parameters:
Returns:
string
modified age
-
config
-
general configuration table
Fields:


|
|
|
|
| |
Contract Details
| Vendor Name |
G.T.S. Construction Inc. |
| Reference Number |
E0211-06-0103 |
| Contract Date |
2006-10-18 |
| Description of Work |
1316 - Roads, Highways and Airport Runways |
| Contract Period - From |
2006-10-18 |
| Contract Period - To |
2007-05-01 |
| Delivery Date |
2007-05-01 |
| Contract Value |
$10,361,924.00 |
| Comments
|
Contract addition not disclosed in a previous quarter. |
|
|


{{ define "main" }} Credits Credits Built with {{ with .Site.Data.credits.Builtwith }} {{ range .items}} {{.title}} {{end}} {{end}} Image Credits {{ with .Site.Data.credits.Imagecredits }} {{ range .items}} {{.title}} {{end}} {{end}} Web Development Designed and Developed by Megamsolutions Team {{ end }}
Designed and Developed by Megamsolutions Team


AM an Android software developer with a keen interest in software development.By comprehensive exposure to the underlying concepts and applying them vividly to various projects.
The link contains downloadable resume
The github repository contains leetcode problems solution in python.
josephwangare253.com
+254 111 424934


The assingment for this rotation was to create a skateboard. We had to add an original unique design and create the skate board from scratch. To make these, we each had 7 thin pieces of wood to glue together to form the skateboard. If you wanted to put a laser design on the skaeboard, you had to do that first. I chose to construct my skateboard first. I had to work with a partner to create it, becuase you had to pour and roll the glue very quickly and then put on the next thin layer of wood. It was very challenging doing this, as you and your partner had to work quickly to build the board. Then when that was complete, we put the board on a mold, taped it, and then put it in a vaccum seal bag. Finally you had to pump out all the air, which gives the board its shape. After this, you wait about a day and your board is almost complete. The next task with this was to make it original. I decided to spray paint some cool design on it, which made it my own unique board. This was definitely one of the sections I enjoyed the most, who knew I could actually build my own skateboard!
Type in text here
Type Something About The Pictures (Images 1 and 2) | Type Something About The Pictures (Images 3 and 4)
More text here.
Type it here


Music All Access
Linear
Shuffle
Prev
Stop
Next
Go back
Track added
Search results
Artist
Song
Album
Current Track
Nobody
-
Nothing
Great Silence
Duration:
Infinite
Genre:
Worldsound
Playlist
Artist
Song
Album


| Product | Available | Quantity | Price | ||
|---|---|---|---|---|---|
| Product Name Model: AH18-0030 OPD | In stock | $432.00 | |||
| Product Name Model: AH18-0030 OPL | In stock | $432.00 | |||
| Sub-Total | $432.00 | ||||
| Shipping | $50.00 | ||||
| Total | $482.00 |
| Product | Available | Quantity | Price | ||
|---|---|---|---|---|---|
| Product Name Model: AH18-0030 OPD | In stock | $432.00 | |||
| Product Name Model: AH18-0030 OPL | In stock | $432.00 | |||
| Sub-Total | $432.00 | ||||
| Shipping | $50.00 | ||||
| Total | $482.00 |


HOME
ABOUT
CONTACT US
GALLERY
NEWS
FAQ
HI ! THIS IS DSC KOLKATA TECHNO INDIA EXTENDED.
JOIN US
Meet Our Team
Atri Das
DSC lead at Techno India University
Shaun Ray
Machine Learning Expert
Sayan Mandal
Member of DSC at Techno India University
Made by SUBHAJIT MAJI


StpCallback_EnableBpduTrapping
void StpCallback_EnableBpduTrapping
(
const STP_BRIDGE* bridge,
bool enable,
unsigned int timestamp
);
Summary
Application-defined function that must
instruct the switching hardware to enable or disable trapping of BPDUs. This is
typically done by writing a few hardware registers of the switch IC.
Parameters
- bridge
- The application receives in this parameter a pointer to the bridge object returned by
STP_CreateBridge.
- enable
- The application receives in this parameter
true
if BPDU trapping is to be enabled,
false
if it is to be disabled.
- timestamp
- The same parameter that the application passed to
STP_StartBridge or STP_StopBridge (these
are the only library functions that call this callback).
Remarks
Most swich chips, after power up, treat BPDUs like regular multicast frames,
flooding them between ports. This is the desired behavior when STP is not
enabled on a switch. When STP is enabled on a switch, the desired behavior is to:
- trap all incoming BPDUs and forward them only to the management port (the
port where the microcontroller running STP is wired), and also
- forward to a specific switch port those BPDUs generated by the STP library (the
switch IC receives these on its management port).
BPDUs in this context means frames whose
destination address is 01:80:C2:00:00:00.
The library calls this callback with enable = true
from within the
STP_StartBridge function, and with enable =
false
from within STP_StopBridge.
When enable
is true
, the application callback should perform the following
operations on the switch:
- Configure the management port as single destination for incoming BPDUs (the management
port in this context means the port where the microcontroller running STP is
wired).
- Configure the switch IC to insert source port information (typically a
few bytes) into BPDUs received from the network, before forwarding them to the
management port. Later on, when the application that includes the STP library receives such a BPDU, it will need to parse this information before passing the BPDU payload
to STP_OnBpduReceived.
- Configure the switch IC to decode and remove destination port information
from BPDUs received from the management port. (The STP library generates
these BPDUs and asks the application, via
StpCallback_TransmitGetBuffer and
StpCallback_TransmitReleaseBuffer, to send them to the switch IC, to be forwarded
by the switch IC to a specific port.)
When enable
is false
, the application must undo all
these operations. This step must not be omitted; once STP is disabled on a switch, that
switch must resume flooding BPDUs between its ports, or else loops will form.
Examples of implementations of this callback can be found in the embedded
applications provided with the library.
StpCallback_EnableBpduTrapping
is a placeholder name used throughout this documentation. The
application may name this callback differently.


Himanshu Mangla
ENFJ-A
Software Engineer at Snowflake, California | Graduated with MS in CS from GeorgiaTech
Former SDE Intern at Nordstrom Technology, Seattle | Former Software Engineer at Samsung R&D India
We're building the Data Cloud at Snowflake. I'm a Software Engineer, graduated with MS CS from GeorgiaTech interested in Cloud Computing, Problem solving, Data Structures, Cloud Computing, Big Data, Text Processing and Natural Language Processing.
I have prior research & Software Engineering experience through several projects, internships and publications across varied computer science fields.


The first [requirement for thinking Christianly about God’s holiness] is that we need to understand that theological thinking about holiness is itself an exercise of holiness. Theology is an aspect of the sanctification of reason, that is, of the process in which reason is put to death and made alive by the terrifying and merciful presence of the holy God. Without sanctification—without being caught up by God and cleansed for the service of God in the fellowship of the saints—the work of theological reason is profitless.


About
I chose to make this project about cats, because cats are one of the things I am both relatively knowledgeable about, and that I care about.
Updates
List of site modifications.
- V1: Basic site format created. CSS sheet filled out, to be modified and updated in future changes.
- V2: Site format improved, further CSS implementations.
- V3: N/A
- V4: Site information and formatting completed.


We aggregate interfaces!
- deploy proactive partnerships
- streamline open-source interfaces
- engineer value-added markets
- transition revolutionary applications
- incubate end-to-end niches
- morph web-enabled platforms
- exploit sexy web-readiness
- reinvent out-of-the-box web services


A set of beautiful svg social icons. Easily used in React. No images or external css dependencies.
Here are the available icons.
By default, pass the url
of your social network, and the icon will be detected from the url.
<SocialIcon url="http://linkedin.com/in/jaketrent" />
If you have a need to specify the network, you can. If you don't specify a url, your
href
attribute will be omitted. You can include props for both url
and network
. The network
prop takes precedence.
<SocialIcon url="http://jaketrent.com" network="tumblr" />
You can override the fill color associated with the network with the color
prop.
<SocialIcon network="twitter" color="#ff5a01" />
The full code required to render.
var React = require('react');
var { SocialIcon } = require('react-social-icons');
React.render(<SocialIcon url="http://linkedin.com/in/jaketrent" />, document.body);
As a convenience api for rendering a collection of icons, <SocialIcons />
is provided.
You can easily render a set of social icons from an array of urls
. Notice: the default icon is displayed for the url (jaketrent.com
) that is from an unsupported network.
var urls = [
'http://jaketrent.com',
'http://twitter.com/jaketrent',
'http://linkedin.com/in/jaketrent',
'http://www.pinterest.com/jaketrent/artsy-fartsy/'
];
<SocialIcons urls={urls} />
Or set a uniform color across your icons. Look at that nice, tight set of icons!
<SocialIcons urls={urls} color="black" />
Witness the beautiful SVG in action.
Note: this library injects on-page style
tags into the head
. This is great because you don't have to import any additional stylesheet to support this library. But more specificity in selectors will be required when overriding default styles from external stylesheets.
If you're interested in adding additional networks or helping make the library better, fork it on github and let the code fly!


PennOS Hardware Wrapper
OS Class
The OS class at my university has assignments and projects that run as an application under linux, unlike some OS classes in other universities that develop run on baremetal, which is immensely more difficult to debug.
The class was difficult and I learned a lot about how unix worked (Shells, pipes, redirection, signals, …) and OSes in general (virtual memory, scheduling, caching, threads, …).
For the final project, the goal was to create a file system, scheduler and shell, which took a lot of effort and was an awesome learning experience.
So, what’s wrong?
However, I wasn’t satisfied with not learning the more hardware-y side of things. Abstraction of topics are nice, but, for me, I want to dive a bit deeper. I had only five days before the deadline.
Let’s execute this bad boi on x86 baremetal.
Wait, how?
I used qmeu, an open source machine emulator that could emulate an x86 machine to test/run my code and cross compliation tool chain to compile the code, so we didn’t have to link with any libraries (that’s why it’s baremetal :))
Also used GRUB, so I didn’t have to deal with nasty super specific hardware specifications and GRUB also gives a lot of information about the machine like the memory range.
To run on an actual machine, I used rufus to format my image, since I’m on windows, but you can format the usb on the linux cli and install it like any other OS.
Please gimme details.
The final project had several dependencies.
Libraries
Remember booting on baremetal and linking with any libraries that is specific to the OS is a no-no.
No… I’m not kidding. GNU C Library wraps around system calls that are specific to the kernel.
Basically, what I did was try to implement every function I used by myself. So, for example, printf, malloc, and other standard library functions had to be implemented. (Very simple implementation)
CPU specific stuff
Unfortunately, I won’t be going into this much as it’s going to make this post 10x longer, but it’s a lot of CPU specific setup to get interrupts to work.
But, here’s the x86 OS dev link that provides a ton of information about everything OS dev related.
BTW, I only used physical memory and did not setup virtual memory.
Threading Library
Our “threading” (I guess you can call it that) library used for the project was a combination of ucontext, even though it is deprecated and the alarm signal.
ucontext is a user level thread context.
The alarm signal would be sent every x milliseconds and in the signal handler, ucontext would fetch the correct context (containing the saved registers, instruction being executed and flags) and go to that context. Think of this context as the very simplified version of the kernel thread structure like, for example, the ETHREAD structure in the windows kernel.
Here’s a really detailed explanation with cool pictures and everything, albeit in chinese and explaining the x64 version.
It’s actually quite awesome how it’s implemented.
I made my version a bit simplier version (does not perserve signals, etc).
In order to create a context, one needs to store the contents of the current stack into a ucontext_t structure and allocate memory for the new stack. If this is confusing, I’ll provide an example below and details about the ucontext_t structure.
Everything that is required for the simpliest ucontext_t structure (help from glibc source):
As you can see, it’s mostly about containing the register values and the stack.
Example of making a context
In the example above, we call getcontext(...)
in order to allocate memory for the ucontext_t
struct and store information such as the current register values into the structure.
Then, we call makecontext(...)
to setup a function call on the allocated stack to do_something(...)
.
setcontext(...)
actually switches the context to the other context.
WARNING: x86 assembly below
global getcontext
getcontext:
;get parameter (ucontext_t* ucp)
mov eax, [esp + 4]
;eax not preserved
;save general purpose registers
;mov [eax + ucontext_t.eax], 0
mov [eax + ucontext_t.ebx], ebx
mov [eax + ucontext_t.ecx], ecx
mov [eax + ucontext_t.edx], edx
mov [eax + ucontext_t.edi], edi
mov [eax + ucontext_t.esi], esi
mov [eax + ucontext_t.ebp], ebp
...
ret
To summarize, all this does is save the register values into the cpu_registers
struct
Now for makecontext(...)
global makecontext
makecontext:
;get parameter (ucontext_t* ucp)
mov eax, [esp + 4]
;get parameter (void (*function)())
mov ecx, [esp + 8]
;store the function of what we want to run
mov [eax + ucontext_t.eip], ecx
;get parameter (argc)
mov edx, [esp + 12]
...
;get each parameter and populate stack
;jump if ecx == 0
jecxz .done_args
.more_args:
;get from rightmost to leftmost
mov eax, [esp + ecx * 4 + 12]
mov [edx + ecx * 4], eax
dec ecx
jnz .more_args
...
ret
To summarize again, makecontext(...)
pushes everything on the stack, so it’s ready to swap.
Here’s the stack when makecontext is done. As you can see, it contains the parameters and return address. (The function address is stored in ucontext.eip)
;void makecontext(ucontext_t *ucp, void (*func)(), int argc, ...);
;https://code.woboq.org/userspace/glibc/sysdeps/unix/sysv/linux/i386/makecontext.S.html
;top of stack
;-------------
;ucontext_termination (return address)
;-------------
;parameters to func
;-------------
;termination function
;-------------
;uc_link
;-------------
setcontext(...)
actually switches to the other context.
global setcontext
setcontext:
...
;push return address context's eip
mov ecx, [eax + ucontext_t.eip]
push ecx
mov ecx, [eax + ucontext_t.cs]
;mov cs, cx ;doing so results in a general protection fault?
;restore eflags
mov ecx, [eax + ucontext_t.eflags]
push ecx
popf
;eax not preserved
;save general purpose registers
;mov [eax + ucontext_t.eax], 0
mov ebx, [eax + ucontext_t.ebx]
mov ecx, [eax + ucontext_t.ecx]
mov edx, [eax + ucontext_t.edx]
mov edi, [eax + ucontext_t.edi]
mov esi, [eax + ucontext_t.esi]
mov ebp, [eax + ucontext_t.ebp]
;return to the ucontext's eip we pushed earlier
ret
To summarize again, it restores all the register values and uses a push ret technique to push
the function address on the stack and then use the ret
to return to the function address, which is pretty neat.
Here is the state of the stack before ret
is called.
;-------------
;function to execute (from ucontext's eip, which is set by makecontext)
;------------- (assume everything down here is set from make context
;ucontext_termination (return address)
;-------------
;parameters to func
;-------------
;termination function
;-------------
;uc_link
;-------------
I learned a lot from doing this project on my own and it was pretty cool to see my own application run on a machine by itself! :)


Structured Query Language (SQL) is used to query, operate and administer databases systems such as Microsoft SQL Server, Oracle, or MySQL. What is a database? A database is just a collection of data. Database systems are commonly used to provide backend functionality to many types of web applications.
SQL Injection attacks consist of insertion of "injection" of a SQL query via the input data from the client to the application. How does SQL Injection happen? User-supplied data is often used to dynamically build SQL statements that interact directly with a database. A SQL injection attack is when SQL is attacked, that is aimed at subverting the original intent of application by submitting user attacker- SQL statements, which go directly to the backend database.
If you haven't guessed by now, that is very bad! The ramifications of a successful SQL injection attack can range from authentication bypass, information disclosure, and compromised data integrity, compromised availability of data, and remote command execution. (Below I will sum of what each of these means:)
- Authentication Bypass: Allows the attacker to bypass the application credentials, without supplying a valid username and password.
- Information Disclosure: Allows the attacker to access information, either directly or indirectly.
- Compromised Data Integrity: Attacker can change or deface a web page or add malicious content to sites.
- Remote Command Execution: Allows the attacker to compromise the host operating system.
- Always use accounts with the minimum privilege necessary for the application at hand, never "sa","dba","admin" or the equivalent.
- Avoid using dynamic table names if possible
- If you have a dynamic table name, do NOT accept them from the user
SQL Injection can cause havoc to a database, however they're two complementary and successful methods for mitigating SQL Injection attacks. Parameterized queries using bound and careful use of parameterized stored procedures.
The first one is to parameterize queries using bound, (typed parameters). What does that mean? That pretty much means, "don't keep all your eggs in one basket" keep the query and data separate through the use of placeholders, (aka "bound") parameters.
The second way, careful use of parameterized stored procedures, is an effective mechanism to avoid most forms of SQL Injection. In combination with parameterized bound queries, it is very unlikely that SQL injection will occur within your application.
Some good things to keep in mind:


CAVW: {{vd?.vd_cavw}} Position: {{vd?.vd_inf_slat}} (Lat) - {{vd?.vd_inf_slon}} (Long) Description: {{vd?.vd_inf_desc}}


Have you ever lost your temper? Did you yell and scream or want to hit someone? Maybe your little brother got into your room and played with your toys without permission. Or maybe your teacher gave you too much
homework
. Or maybe a friend borrowed your favorite video game and then broke it. That made you angry!
Everyone gets angry. Maybe you "lose your cool" or "hit the roof." Anger can even be a good thing. When kids are treated unfairly, anger can help them stand up for themselves. The hard part is learning
what to do
with these strong feelings.
What Is Anger?
You have lots of emotions. At different times, you may be happy,
sad
, or jealous. Anger is just another way we feel. It's perfectly OK to be angry at times — in fact, it's important to get angry sometimes. But anger must be released in the right way. Otherwise you'll be like a pot of boiling water with the lid left on. If the steam doesn't escape, the water will finally boil over and blow its top! When that happens to you, it's no fun for anyone.
What Makes You Angry?
Many things may make kids angry. You may get angry when something doesn't go your way. Maybe you get mad at yourself when you don't understand your homework or when your team loses an important game. When you have a hard time reaching a goal you might become frustrated. That frustration can lead to anger.
 Or you might get angry with your parents if you think one of their rules is unfair. Worst of all is when you are blamed for something you didn't do. But it's also possible to get angry and not even know why.
How Can I Tell When I'm Angry?
There are different ways people feel anger. Usually your body will tell you when you are angry. Are you breathing faster? Is your face bright red? Are your muscles tense and your fists clenched tight? Do you want to break something or hit someone? Anger can make you yell or scream at those around you, even people you like or love.
Some people keep their anger buried deep inside. If you do this, you might get a
headache
or your stomach might start to hurt. You may just feel crummy about yourself or start to cry. It's not good to hide your anger, so you should find a way to let it out without hurting yourself or others.
How Can I Tell When Someone Else Is Angry?
When someone you know is angry, he or she may stomp away or stop talking to you. He or she may become quiet and withdrawn. Some people scream and try to hit or harm anyone close by. If a person is this angry, you should get away as soon as possible.
Once you are away from the angry person, stop and think. Try to figure out what made that person so angry. Can you make the situation better? How does the other person feel? When the other person has cooled down, try to talk about the problem. Listen to what he or she has to say.

Don't lose control if you get angry. Taking it out on others never solves anything. Instead, admit to yourself that you are angry and try to figure out why. What can
you
do to keep the situation from happening again? If your little sister gets a toy and you don't, it's not OK to break that toy. Maybe you can ask her to share it with you. Or if your science homework is too hard, don't rip up your notebook. Ask your teacher or a parent for help instead.
It helps to
talk
about your anger with an adult, such as a parent, teacher, or relative. Once you talk about anger, those bad feelings usually start to go away.
Anger Busters
Here are some other things you can do when you start to feel angry:
-
talk to a friend you can trust
-
count to 10
-
get or give a hug
-
do jumping jacks or another exercise
-
draw a picture of your anger
-
play a video game
-
run around the outside of the house five times as fast as you can
-
sing along with the stereo
-
pull weeds in the garden
-
think good thoughts (maybe about a fun vacation or your favorite sport)
-
take a bike ride or go in-line skating
Never getting angry is impossible. Instead, remember that how you act when you're angry can make the situation better or worse.

Take charge of it!
Reviewed by:
W. Douglas Tynan, PhD
Date reviewed: July 2004
Originally reviewed by:
Steven Dowshen, MD, and Edward Woomer, LCSW


---
layout: post
title: 'Soccer: Acme (3) vs. U. of R. (5), I Quit'
categories: []
tags: []
status: publish
type: post
published: true
meta:
_original_post_id: ''
_original_import_author: John Duprey
author:
---
It was an ugly ugly night for soccer. The ref. made a serious error and did not count a goal against us. This may have contributed to the other teams angst. At one point two of the players were penalized 2 minutes - leaving 3 on the field. We got up by 2 or 3 points because of this. Eventually one player got so unruly that he was red carded. He then tried to pick a fight with us. The ref. kicked him out of the building and called the police! How exciting!
I quit. Our games are late - most have been 10PM or later. Its about a 20+ minute drive to the facility.  To top things off, I somehow managed to "exchange unpleasant words" with one of my own players after the game. That was the straw that broke the camel's back. I used to love to play soccer, but this is stressful. With a our first child on the way, I want a stress
reliever, not a stress
maker. I don't like quitting,
anything, so this wasn't an easy decision to make, but I made it quickly and I feel better already.


Zyph
Zyph - Redirecting you in 15 seconds..
Contact Us
You can contact me via my email<EMAIL_ADDRESS>or via
Discord Server


Line Width Optimization is a read-write DFM action designed to improve yield by increasing line and arc width to the optimal value without infringing on spacing rules.
Spacing violations occur when the distance between widened and optimal size lines to features in a different net is less than that specified by the Spacing Min parameter. In order to avoid spacing violations, a method referred to as `shaving' is used. The original line is separated into connected segments, each of which may be increased to the optimal width possible without causing spacing violations, as shown in the figure below:
Gaps between such segments are filled by line segments with a width defined by the Minimal Width parameter (referred to as Shaves). As result, the original line will be replaced with a combination of Optimal Width lines and Minimal Width lines.
Line Width Optimization operates on any layer, but is designed mainly for signal layers.
New categories were added to handle arc features in addition to lines.
When
an arc needs to be reduced in width, the connecting arcs are attached
to the thinned arc with the same radius on either end of the connection.
Arcs that need to be shaved are shaved on both sides of the arc. Genesis does not support one-sided arc reduction.
Histograms for all categories are produced.
The following attributes are produced once for each layer and
once (without layer name in the form of ...
) as a total for the checklist run:
|
Attribute |
Description |
|
...One_sided_neck_down
|
Measure count for the Shaved Conductor1 category for each
layer. |
|
...two_sided_neck_down
|
Measure count for the Shaved Conductor2 category for each
layer. |
|
...enlarged_without_shavings
|
Measure count for the Enlarged Conductor category for each
layer. |
|
...spacing_too_close
|
Measure count for the Not Enlarged Conductor category for
each layer. |
|
One_sided_neck_down
|
Total measure count for the Shaved Conductor1 category for
all layers. |
|
two_sided_neck_down
|
Total measure count for the Shaved Conductor2 category for
all layers. |
|
enlarged_without_shavings
|
Total measure count for the Enlarged Conductor category for
all layers. |
|
spacing_too_close
|
Total measure count for the Not Enlarged Conductor category
for all layers. |