/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | remote_tools.pl | 7 % in compliance with the License. You may obtain a copy of the License 136 without interacting directly with the GUI. For example, placing a 155 and supplied with the hostname and port number. Once this is done, the 173 user with more control over the connection than attach_tools/0. The
|
/barrelfish-master/usr/eclipseclp/Opium/demo/ |
H A D | show_queens.pl | 3 * display of chess board with queens
|
/barrelfish-master/usr/eclipseclp/documents/tutorial/ |
H A D | programanalysis.tex | 6 % in compliance with the License. You may obtain a copy of the License 70 a program that are worth optimising. It can be used any time with any 145 The problem with the results displayed above is that the sampling 254 In order to add the coverage counters to code, it must be compiled with 261 predicate to compile a file with coverage counters. 314 the source, annotated with the values of the code coverage counters as 327 all files which have been compiled with coverage counters. 332 results for all files which have been compiled with coverage counters.
|
H A D | sample.tex | 6 % in compliance with the License. You may obtain a copy of the License 31 \item Make short paragraphs with meaningful headings.
|
H A D | tkdebug.tex | 6 % in compliance with the License. You may obtain a copy of the License 42 To keep things simple, the program is run with a very small 68 `map' of countries with four colours such that no two neighbours have the 92 The program used here is included with your {\eclipse} distribution. You 117 the file with the query \verb'[debugdemo]' from the query entry 133 countries 3 and 4 to the same colour (along with some that are correct). 192 identifies it. The `To Invoc:' button can be used to jump to the next port with 225 displayed with different colours: blue for a call port, green (success) for 315 debug ports so that the tracer will only stop at a port with the properties 318 with th [all...] |
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | protect.pl | 6 % in compliance with the License. You may obtain a copy of the License
|
H A D | umsparutil.tex | 6 % in compliance with the License. You may obtain a copy of the License 60 backwards and it does not cope with aliasing between the {\it In} and
|
H A D | umslanguage.tex | 6 % in compliance with the License. You may obtain a copy of the License 46 provides a way to use structures with 60 Structures with the functor \about{book/4} can then be written as% 62 \indextt{with/2} 105 (i.e., with \notation{\{...\}} and \notation{of}), then the struct-declaration 302 iterate \about{Goals} starting with \about{In=First} until 310 iterate \about{Goals} with \about{X} ranging over all elements of 317 iterate \about{Goals} with \about{X} ranging over all elements of 354 iterate \about{Goals} with \about{I} ranging over integers from 395 iterate \about{Goals} with \abou [all...] |
H A D | umsmemory.tex | 6 % in compliance with the License. You may obtain a copy of the License 137 the current number of entries can be queried with 168 (this can be checked with the debugger or the profiling facility). 179 %On many machines, the Local Stack shares with the Control Stack the 183 %The Local Stack shares with the Control Stack the area specified by the 218 %may be shared with the Local Stack. 227 were read in with the flag \notation{variable_names} being \notation{on}. 252 is garbage collected together with the Global Stack. 263 It is also equipped with a dictionary garbage 303 collector, together with th [all...] |
H A D | umsarith.tex | 6 % in compliance with the License. You may obtain a copy of the License 39 \notation{3 + 4} as a compound term with functor \notation{+} and two arguments. 42 unify with a number. The evaluation of an arithmetic expression has to be 58 This result is then unified with \about{Result}. 92 This chapter deals purely with the evaluation of arithmetic expressions 126 Note that integer range is unlimited if {\eclipse} was compiled with 152 Rationals are supported if {\eclipse} is compiled with bignum support. 161 Floats are written with decimal point and/or an exponent, e.g., 181 \about{interval} in order to avoid confusion with interval variables 200 All computations with bounde [all...] |
H A D | umscompiler.tex | 6 % in compliance with the License. You may obtain a copy of the License 73 The contents of the file is compiled with the default compiler options. 95 Like compile_stream/1 but with options list. 106 Like \predspec{compile_term/2} but with options list. 139 if they contain punctuation, blank space, or start with an upper case letter. 143 extension and no file with \notation{.ecl} extension is present. The list of 169 (on Windows), or with the single atom \notation{end_of_file}, followed by 213 Currently the integer 0 or 1, with 1 the default. Setting this to 0 219 The following options determine what is being done with the compilation result: 293 file end can also be simulated with [all...] |
/barrelfish-master/lib/tzcode/stdtime/ |
H A D | private.h | 26 ** This header is for use ONLY with the time conversion code. 144 ** (glibc 2.1 and later have stdint.h, even with pre-C99 compilers.) 163 you may need to compile with "-DHAVE_STDINT_H".
|
/barrelfish-master/usr/eclipseclp/Contrib/ |
H A D | project.pl | 39 % are all the same, and you want a list with just the Ak in the 52 % type-checked. project(Structs, K, Args) unifies Args with the
|
H A D | distfix.pl | 16 % Purpose: Read Prolog terms (with extended syntax). 20 and also fixes bugs concerning the curious interaction of cut with 45 distfixop(999, fy, [there,is,a,clause,with,head,H,and,body,B], 47 distfixop(999, fy, [there,is,a,clause,with,head,H], clause(H,_)) 90 % reads a term from the current input stream and unifies it with 121 % I want to experiment with having the operator information held as 266 with,precedence,Precedence], S0). 280 % mop is monadic and dop dyadic with higher Prolog priority. 387 % input list with a marker where the error was noticed. If subgoal_of 395 % report an error message and then decide that it is happy with th [all...] |
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | repairfd.pl | 6 % in compliance with the License. You may obtain a copy of the License
|
/barrelfish-master/hake/ |
H A D | hake.sh | 48 echo " build tree, cd into it, and run this script with the --source-dir" 219 # evaluation, which generally gets *slower* with more threads, as the GHC 237 -with-rtsopts="$HAKE_RTSOPTS" \
|
/barrelfish-master/usr/eclipseclp/ecrc_solvers/grace/ |
H A D | grace.pl | 6 % in compliance with the License. You may obtain a copy of the License 161 copy_term_grace(Var, Copy, grace with id:Id) :- 167 add_attribute(Copy, grace with [range:0, id:Id], grace). 195 % run(P) - stop only on breakpoints, run with prio P 640 % Fix the problem with minimize 644 concat_string(['Solution with cost ', Cost], Mess), 647 concat_string(['Optimal solution with cost ', Cost], Mess) 713 Attr = with(grace, [id:Id]), 723 Attr = grace with [matrix:Name], 726 reset_var(_{grace with [rang [all...] |
/barrelfish-master/usr/eclipseclp/documents/megalog/ |
H A D | multiuser-sec.tex | 6 % in compliance with the License. You may obtain a copy of the License 48 processes communicate with the server, possibly across a network. 63 a database server for it. A server is started with the command 112 with either all the updates of the goal being committed to the database for 221 written in such a way that they can cope with restarts. 222 One way to achieve this is to trap the {\em exit\_block/1} operation with 228 a private, all with a single attribute of type atom. 235 Such a program is unsafe with respect to transaction abort in the case 274 with any changes made by aborted or incomplete transactions being undone. 313 Therefore a predicate can be directed to work with th [all...] |
/barrelfish-master/doc/009-notifications/ |
H A D | Notify.tex | 57 messages. Each polls for a while and then yields, and with 3 domains 59 current mechanism will scale with the number of domains on the 113 contained a list of channels with \emph{new} incoming messages 137 shared FIFO with some agreed number of entries. Each entry can 160 timed 10000 invocations of the above sys$\_$notify() call (with the 161 receiver core in a tight polling loop) with a cost of 350 cycles per 179 at, with no polling overhead. We could use a single IPI vector, but 186 cycles (but may overlap with the cache coherence messages?) Taking 189 (I tried Richard's HLT in Ring0 with interrupts disabled trick and it 194 interleaved with norma [all...] |
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | extconjunto.tex | 6 % in compliance with the License. You may obtain a copy of the License 45 the library must start with the directive 49 For those who are already familiar with the \eclipse\ constraint library manual 96 with set operator symbols which are the standard ones coming from set 106 predicates deal with set terms thus with any of the three cases. 121 connection with arithmetic operators: 300 \subsection{Subset-sum computation with convergent weight} 380 term involved with a set term is propagated on the set domain. The 387 Found a solution with cos [all...] |
/barrelfish-master/usr/eclipseclp/icparc_solvers/ech/ |
H A D | domain.pl | 6 % in compliance with the License. You may obtain a copy of the License 33 % 940304 element/3 constraint loop due to finite domains with repeated 36 % 990316 fixed problem with imposing constraint with same domain 42 % or arbitrary ground terms (!), the domain is set with setval(domain,Kind), 49 % Simplifies domains together with inequalities and some more CHIP predicates: 188 % interaction with inequalities 198 % interaction with interval domain 218 % interaction with inequalities 293 % this version does not work with arithemti [all...] |
/barrelfish-master/doc/017-arm/ |
H A D | ARM.tex | 79 aim to make it easy to add new ARM-based platforms with a mixture of 82 The principal processors with 32-bit ARM support in Barrelfish at present are 106 Building Barrelfish with ARMv7 is straightforward; detailed 111 track the GNU toolchain shipped with Ubuntu LTS (14.04.3 at time of 114 Once you have the right tools, run hake with the correct options, 123 After running \code{hake} with appropriate architecture support 131 (these are the platforms available with your architecture choices) 168 added 9356 changesets with 53499 changes to 6576 files 201 (these are the targets available with your architecture choices) 341 Instead, TTBR0 is always loaded with th [all...] |
/barrelfish-master/doc/022-armv8/ |
H A D | report.tex | 54 derived from the existing ARMv7 codebase and running under GEM5, with generous 73 architecture has always been part of the project, beginning with the ARMv5 75 card to be integrated as a first-class part of the system, with its own CPU 105 years with supporting the great multiplicity of ARM platforms. The principal 118 themselves in to a complex SoC (system on a chip), with their own specialised, 140 APM & APM883208 & Mustang & 1P 8-core X-Gene 1 with serial trace. \\ 151 & & Foundation Platform & Freely available, compatible with FVP. \\ 187 have a running port, we are nevertheless continuing with a significant 195 For this reason, in addition to better integration with ARM debugging tools, 197 environment, with th [all...] |
/barrelfish-master/doc/002-mackerel/ |
H A D | Mackerel.tex | 150 start with \texttt{//} and continue until the end of the line. 156 must start with a letter or ``\texttt{\_}''. 169 literals have no specifier and hexadecimal literals start with 170 \texttt{0x}. Binary literals start with \texttt{0b}. 227 The \Mac compiler will search for a file with the appropriate name and 228 parse this at the same time as the main file, along with this file's 274 fields in a register or register type are listed starting with the 276 are listed starting with the one which includes the high bit in the 650 preceding the address specifier with the \texttt{also} keyword, you 669 \item the identifier of a register type previously declared with [all...] |
/barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
H A D | kernel.tex | 6 % in compliance with the License. You may obtain a copy of the License 31 Machine \cite{warren83}. Familiarity with its concepts will help 82 with associated data) 141 The MISC bit is used for different purposes with different kinds of tags, 180 atomic types and are represented with a TINT\index{TINT} tag. Larger integers are 184 Atoms\index{Atoms} are represented with a TDICT\index{TDICT} tag, the value part being a 188 up list operations by having only to deal with TLIST and TNIL tags. 193 On 64-bit machines, doubles\index{doubles} are represented like small integers, with 222 downward-compatible with C strings\index{strings}. As long as the strings are only 307 Variables with TNAM [all...] |