This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
../regex.c: In function ‘re_compile_fastmap’: | |
../regex.c:1183:26: warning: assignment from incompatible pointer type [-Wincompatible-poi | |
nter-types] | |
: ((fail_stack).stack = \ | |
^ | |
../regex.c:1199:9: note: in expansion of macro ‘DOUBLE_FAIL_STACK’ | |
&& !DOUBLE_FAIL_STACK (FAIL_STACK)) \ | |
^~~~~~~~~~~~~~~~~ | |
../regex.c:3341:20: note: in expansion of macro ‘PUSH_PATTERN_OP’ | |
if (!PUSH_PATTERN_OP (p + j, fail_stack)) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?xml version="1.0" standalone="no"?> | |
<!DOCTYPE book PUBLIC "-//OASIS//DTD DocBook XML V4.2//EN" | |
"http://www.oasis-open.org/docbook/xml/4.2/docbookx.dtd"> | |
<book> | |
<bookinfo> | |
<title>The Mutt E-Mail Client</title> | |
<author> | |
<firstname>Michael</firstname><surname>Elkins</surname> | |
<email>me@cs.hmc.edu</email> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
* Rebuilt URL to: https://git.weboob.org/ | |
* Trying 136.243.171.154... | |
* TCP_NODELAY set | |
* Connected to git.weboob.org (136.243.171.154) port 443 (#0) | |
* ALPN, offering http/1.1 | |
* Cipher selection: ALL:!EXPORT:!EXPORT40:!EXPORT56:!aNULL:!LOW:!RC4:@STRENGTH | |
* successfully set certificate verify locations: | |
* CAfile: /etc/ssl/certs/ca-certificates.crt | |
CApath: none | |
* TLSv1.2 (OUT), TLS header, Certificate Status (22): |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
+++++ | |
5 successes / 0 failures / 0 errors / 0 pending : 0.099498 seconds |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
+++++++++++++ | |
13 successes / 0 failures / 0 errors / 0 pending : 0.020419 seconds |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-> Found Makefile.archy | |
-> Found patch-configure.in | |
==> Validating source files with sha1sums... | |
57399662c7a447658e0affa8 ... Passed | |
Makefile.archy ... Passed | |
patch-configure.in ... Passed | |
==> Extracting sources... | |
-> Extracting 57399662c7a447658e0affa8 with bsdtar | |
==> Starting prepare()... | |
patching file configure.in |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
package Int_List_Pkg is | |
type Int_List (Max_Length : Natural) is private | |
with Type_Invariant => Is_Sorted (Int_List); | |
function Is_Sorted (List : Int_List) return Boolean; | |
type Int_array is array (Positive range <>) of Integer; | |
function To_Int_List (Ints : Int_Array) return Int_List; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
-- Consider a workshop where several workers (tasks) assembly details of some mechanism. When each of them completes his work they put the details together. There is no store, so a worker who finished its part first must wait for others before starting another one. Putting details together is the checkpoint at which tasks synchronize themselves before going their paths apart. | |
-- | |
-- The task | |
-- Implement checkpoint synchronization in your language. | |
-- Make sure that the solution is race condition-free. | |
-- Note that a straightforward solution based on events is exposed | |
-- to race condition. Let two tasks A and B need to be synchronized | |
-- at a checkpoint. Each signals its event (EA and EB correspondingly), | |
-- then waits for the AND-combination of the events (EA&EB) and resets | |
-- its event. Consider the following scenario: A signals EA first and |