/dports/lang/yap/yap-6.2.2/pl/ |
H A D | profile.yap | 73 '$profglobs'(Tot,GCs,HGrows,SGrows,Mallocs,ProfOns), 83 format(user_error,'~d ticks, ~d accounted for~n',[Tot,Accounted]) 88 '$display_preds'(Preds, Tot, 0, 1, A1), 101 '$get_all_profinfo'([],L,L,Tot,Tot) :- !. 126 '$display_preds'([NSum-P|Ps], Tot, SoFar, I, N) :- 128 Perc is (100*Sum)/Tot, 130 NextP is (100*Next)/Tot, 143 '$display_preds'(Ps,Tot,Next,I1, N). 145 '$sum_alls'([],Tot,Tot). 146 '$sum_alls'([C-_|Preds],Tot0,Tot) :- [all …]
|
/dports/devel/universal-ctags/ctags-p5.9.20211128.0/Units/review-needed.r/maze.erl.t/ |
H A D | input.erl | 48 Tot = generate(#maze{}), 49 tot_print(Tot). 78 tot_get(X, Y, Tot) -> 79 element(X, element(Y, Tot)). 81 tot_put(X, Y, Tot, V) -> 82 setelement(Y, Tot, setelement(X, element(Y, Tot), V)).
|
/dports/devel/geany-legacy/geany-1.37.1/tests/ctags/ |
H A D | maze.erl | 48 Tot = generate(#maze{}), 49 tot_print(Tot). 78 tot_get(X, Y, Tot) -> 79 element(X, element(Y, Tot)). 81 tot_put(X, Y, Tot, V) -> 82 setelement(Y, Tot, setelement(X, element(Y, Tot), V)).
|
/dports/devel/geany/geany-1.38/tests/ctags/ |
H A D | maze.erl | 48 Tot = generate(#maze{}), 49 tot_print(Tot). 78 tot_get(X, Y, Tot) -> 79 element(X, element(Y, Tot)). 81 tot_put(X, Y, Tot, V) -> 82 setelement(Y, Tot, setelement(X, element(Y, Tot), V)).
|
/dports/science/nwchem-data/nwchem-7.0.2-release/QA/tests/qmd_dft_h2o_svr/ |
H A D | qmd_dft_h2o_svr.out | 346 Tot. energy (a.u.): 1 -76.010060 391 Tot. energy (a.u.): 2 -76.009941 436 Tot. energy (a.u.): 3 -76.009890 481 Tot. energy (a.u.): 4 -76.009963 526 Tot. energy (a.u.): 5 -76.009747 571 Tot. energy (a.u.): 6 -76.009810 616 Tot. energy (a.u.): 7 -76.009612 661 Tot. energy (a.u.): 8 -76.009621 706 Tot. energy (a.u.): 9 -76.009594 751 Tot. energy (a.u.): 10 -76.009598 [all …]
|
/dports/science/nwchem-data/nwchem-7.0.2-release/QA/tests/qmd_dft_h2o_berendsen/ |
H A D | qmd_dft_h2o_berendsen.out | 344 Tot. energy (a.u.): 1 -76.010173 389 Tot. energy (a.u.): 2 -76.010169 434 Tot. energy (a.u.): 3 -76.010165 479 Tot. energy (a.u.): 4 -76.010160 524 Tot. energy (a.u.): 5 -76.010155 569 Tot. energy (a.u.): 6 -76.010149 614 Tot. energy (a.u.): 7 -76.010143 659 Tot. energy (a.u.): 8 -76.010137 704 Tot. energy (a.u.): 9 -76.010130 749 Tot. energy (a.u.): 10 -76.010123 [all …]
|
/dports/science/nwchem-data/nwchem-7.0.2-release/QA/tests/qmd_dft_h2o_langevin/ |
H A D | qmd_dft_h2o_langevin.out | 344 Tot. energy (a.u.): 1 -76.008929 389 Tot. energy (a.u.): 2 -76.007484 434 Tot. energy (a.u.): 3 -76.006849 479 Tot. energy (a.u.): 4 -76.007900 524 Tot. energy (a.u.): 5 -76.006879 569 Tot. energy (a.u.): 6 -76.009211 614 Tot. energy (a.u.): 7 -76.009366 659 Tot. energy (a.u.): 8 -76.009763 704 Tot. energy (a.u.): 9 -76.008788 749 Tot. energy (a.u.): 10 -76.009635 [all …]
|
/dports/science/nwchem-data/nwchem-7.0.2-release/QA/tests/qmd_dft_h2o_rescale/ |
H A D | qmd_dft_h2o_rescale.out | 343 Tot. energy (a.u.): 1 -76.009784 388 Tot. energy (a.u.): 2 -76.009748 433 Tot. energy (a.u.): 3 -76.009691 478 Tot. energy (a.u.): 4 -76.009614 523 Tot. energy (a.u.): 5 -76.009522 568 Tot. energy (a.u.): 6 -76.009419 613 Tot. energy (a.u.): 7 -76.009310 658 Tot. energy (a.u.): 8 -76.009201 703 Tot. energy (a.u.): 9 -76.009094 748 Tot. energy (a.u.): 10 -76.008992 [all …]
|
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/QA/tests/qmd_dft_h2o_berendsen/ |
H A D | qmd_dft_h2o_berendsen.out | 344 Tot. energy (a.u.): 1 -76.010173 389 Tot. energy (a.u.): 2 -76.010169 434 Tot. energy (a.u.): 3 -76.010165 479 Tot. energy (a.u.): 4 -76.010160 524 Tot. energy (a.u.): 5 -76.010155 569 Tot. energy (a.u.): 6 -76.010149 614 Tot. energy (a.u.): 7 -76.010143 659 Tot. energy (a.u.): 8 -76.010137 704 Tot. energy (a.u.): 9 -76.010130 749 Tot. energy (a.u.): 10 -76.010123 [all …]
|
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/QA/tests/qmd_dft_h2o_langevin/ |
H A D | qmd_dft_h2o_langevin.out | 344 Tot. energy (a.u.): 1 -76.008929 389 Tot. energy (a.u.): 2 -76.007484 434 Tot. energy (a.u.): 3 -76.006849 479 Tot. energy (a.u.): 4 -76.007900 524 Tot. energy (a.u.): 5 -76.006879 569 Tot. energy (a.u.): 6 -76.009211 614 Tot. energy (a.u.): 7 -76.009366 659 Tot. energy (a.u.): 8 -76.009763 704 Tot. energy (a.u.): 9 -76.008788 749 Tot. energy (a.u.): 10 -76.009635 [all …]
|
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/QA/tests/qmd_dft_h2o_svr/ |
H A D | qmd_dft_h2o_svr.out | 346 Tot. energy (a.u.): 1 -76.010060 391 Tot. energy (a.u.): 2 -76.009941 436 Tot. energy (a.u.): 3 -76.009890 481 Tot. energy (a.u.): 4 -76.009963 526 Tot. energy (a.u.): 5 -76.009747 571 Tot. energy (a.u.): 6 -76.009810 616 Tot. energy (a.u.): 7 -76.009612 661 Tot. energy (a.u.): 8 -76.009621 706 Tot. energy (a.u.): 9 -76.009594 751 Tot. energy (a.u.): 10 -76.009598 [all …]
|
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/QA/tests/qmd_dft_h2o_rescale/ |
H A D | qmd_dft_h2o_rescale.out | 343 Tot. energy (a.u.): 1 -76.009784 388 Tot. energy (a.u.): 2 -76.009748 433 Tot. energy (a.u.): 3 -76.009691 478 Tot. energy (a.u.): 4 -76.009614 523 Tot. energy (a.u.): 5 -76.009522 568 Tot. energy (a.u.): 6 -76.009419 613 Tot. energy (a.u.): 7 -76.009310 658 Tot. energy (a.u.): 8 -76.009201 703 Tot. energy (a.u.): 9 -76.009094 748 Tot. energy (a.u.): 10 -76.008992 [all …]
|
/dports/devel/asl/asl-current/ |
H A D | codevector.c | 103 tStrComp Tot, Left, Right; in DecodeXY() local 114 StrCompRefRight(&Tot, pArg, 1); in DecodeXY() 116 pEnd = Tot.Str + strlen(Tot.Str) - 1; in DecodeXY() 123 Tot.Pos.Len--; in DecodeXY() 125 pPos = strchr(Tot.Str, ','); in DecodeXY() 131 StrCompSplitRef(&Left, &Right, &Tot, pPos); in DecodeXY()
|
/dports/lang/spidermonkey60/firefox-60.9.0/security/nss/lib/freebl/verified/specs/ |
H A D | Spec.Poly1305.fst | 50 let rec poly (txt:text) (r:e:elem) : Tot elem (decreases (length txt)) = 60 let finish (a:elem) (s:word_16) : Tot tag = 64 let rec encode_bytes (txt:bytes) : Tot text (decreases (length txt)) = 70 let poly1305 (msg:bytes) (k:key) : Tot tag = 100 let test () : Tot bool = 101 assert_norm(List.Tot.length msg = 34); 102 assert_norm(List.Tot.length k = 32); 103 assert_norm(List.Tot.length expected = 16);
|
H A D | Spec.Curve25519.fst | 41 let rec ( ** ) (e:elem) (n:pos) : Tot elem (decreases n) = 83 : Tot proj_point (decreases ctr) = 95 let montgomery_ladder (init:elem) (k:scalar) : Tot proj_point = 98 let encodePoint (p:proj_point) : Tot serialized_point = 102 let scalarmult (k:scalar) (u:serialized_point) : Tot serialized_point = 155 assert_norm(List.Tot.length scalar1 = 32); 156 assert_norm(List.Tot.length scalar2 = 32); 157 assert_norm(List.Tot.length input1 = 32); 158 assert_norm(List.Tot.length input2 = 32); 159 assert_norm(List.Tot.length expected1 = 32); [all …]
|
H A D | Spec.Chacha20.fst | 44 type shuffle = state -> Tot state 46 let line (a:idx) (b:idx) (d:idx) (s:t{0 < v s /\ v s < 32}) (m:state) : Tot state = 74 let chacha20_core (s:state) : Tot state = 84 let setup (k:key) (n:nonce) (c:counter): Tot state = 90 let chacha20_block (k:key) (n:nonce) (c:counter): Tot block = 160 assert_norm(List.Tot.length test_plaintext = 114); 161 assert_norm(List.Tot.length test_ciphertext = 114); 162 assert_norm(List.Tot.length test_key = 32); 163 assert_norm(List.Tot.length test_nonce = 12);
|
/dports/games/scummvm/scummvm-2.5.1/engines/gob/ |
H A D | game.h | 107 struct Tot { struct 118 Tot _tots[kTotCount]; argument 120 bool loadTot(Tot &tot, const Common::String &file); 121 void freeTot(Tot &tot); 123 bool loadIDE(Tot &tot); 127 bool call(const Tot &tot, uint16 offset) const;
|
/dports/games/libretro-scummvm/scummvm-7b1e929/engines/gob/ |
H A D | game.h | 107 struct Tot { struct 118 Tot _tots[kTotCount]; argument 120 bool loadTot(Tot &tot, const Common::String &file); 121 void freeTot(Tot &tot); 123 bool loadIDE(Tot &tot); 127 bool call(const Tot &tot, uint16 offset) const;
|
/dports/net/rabbitmq/rabbitmq-server-3.9.11/deps/aten/src/ |
H A D | aten_detect.erl | 62 (_, S, {Tot, Smaller}) when S * A =< T -> 63 {Tot+1, Smaller+1}; 64 (_, _S, {Tot, Smaller}) -> 65 {Tot+1, Smaller}
|
/dports/science/nwchem-data/nwchem-7.0.2-release/QA/tests/qmd_dft_h2o_berendsen_props/ |
H A D | qmd_dft_h2o_berendsen_props.out | 352 Tot. energy (a.u.): 1 -76.010173 398 Tot. energy (a.u.): 2 -76.010169 444 Tot. energy (a.u.): 3 -76.010165 490 Tot. energy (a.u.): 4 -76.010160 536 Tot. energy (a.u.): 5 -76.010155 670 Tot. energy (a.u.): 6 -76.010149 716 Tot. energy (a.u.): 7 -76.010143 762 Tot. energy (a.u.): 8 -76.010137 808 Tot. energy (a.u.): 9 -76.010130 854 Tot. energy (a.u.): 10 -76.010123 [all …]
|
/dports/science/nwchem/nwchem-7b21660b82ebd85ef659f6fba7e1e73433b0bd0a/QA/tests/qmd_dft_h2o_berendsen_props/ |
H A D | qmd_dft_h2o_berendsen_props.out | 352 Tot. energy (a.u.): 1 -76.010173 398 Tot. energy (a.u.): 2 -76.010169 444 Tot. energy (a.u.): 3 -76.010165 490 Tot. energy (a.u.): 4 -76.010160 536 Tot. energy (a.u.): 5 -76.010155 670 Tot. energy (a.u.): 6 -76.010149 716 Tot. energy (a.u.): 7 -76.010143 762 Tot. energy (a.u.): 8 -76.010137 808 Tot. energy (a.u.): 9 -76.010130 854 Tot. energy (a.u.): 10 -76.010123 [all …]
|
/dports/graphics/wings/wings-8d019ebe48/plugins_src/import_export/ |
H A D | wpc_ply.erl | 219 read_elements([float|TR], T, {[V|VR],Fd}, No, Row, Tot) -> 220 read_elements(TR,T, {VR,Fd},No,[str2float(V)|Row],Tot); 221 read_elements([{LT, Type}|TR], T, {[V|VR0],Fd}, No, Row, Tot) 224 read_elements(TR,T, {VR1,Fd},No, [List|Row],Tot); 225 read_elements([int|TR], T, {[V|VR],Fd}, No, Row, Tot) -> 226 read_elements(TR,T, {VR,Fd},No,[list_to_integer(V)|Row],Tot); 227 read_elements([], T, {[],Fd}, No, Row, Tot) -> 229 read_elements(T,T,get_line(Fd),No-1,[],[reverse(Row)|Tot]); 231 {reverse([reverse(Row)|Tot]), Fd}
|
/dports/devel/py-cclib/cclib-1.7.1/data/NWChem/basicNWChem6.6/ |
H A D | dvb_bomd_ks.out | 409 Tot. energy (a.u.): 1 -382.267852 474 Tot. energy (a.u.): 2 -382.267736 539 Tot. energy (a.u.): 3 -382.267622 604 Tot. energy (a.u.): 4 -382.267572 669 Tot. energy (a.u.): 5 -382.267608 734 Tot. energy (a.u.): 6 -382.267704 799 Tot. energy (a.u.): 7 -382.267805 864 Tot. energy (a.u.): 8 -382.267863 929 Tot. energy (a.u.): 9 -382.267847 994 Tot. energy (a.u.): 10 -382.267748 [all …]
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/erts/emulator/test/ |
H A D | mtx_SUITE.erl | 372 hammer_ets_rwlock_ops(T, UW, N, C, SC, Tot) when N >= ?HAMMER_ETS_RWLOCK_TSIZE -> 373 hammer_ets_rwlock_ops(T, UW, 0, C, SC, Tot); 374 hammer_ets_rwlock_ops(T, UW, N, 0, SC, Tot) -> 377 true = ets:insert(T, {N, Tot, hammer_ets_rwlock_get_data()}); 381 hammer_ets_rwlock_ops(T, UW, N+1, SC, SC, Tot-1); 382 hammer_ets_rwlock_ops(T, UW, N, C, SC, Tot) -> 385 true = ets:insert(T, {N, Tot, hammer_ets_rwlock_get_data()}); 389 hammer_ets_rwlock_ops(T, UW, N+1, C-1, SC, Tot-1).
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/erts/emulator/test/ |
H A D | mtx_SUITE.erl | 372 hammer_ets_rwlock_ops(T, UW, N, C, SC, Tot) when N >= ?HAMMER_ETS_RWLOCK_TSIZE -> 373 hammer_ets_rwlock_ops(T, UW, 0, C, SC, Tot); 374 hammer_ets_rwlock_ops(T, UW, N, 0, SC, Tot) -> 377 true = ets:insert(T, {N, Tot, hammer_ets_rwlock_get_data()}); 381 hammer_ets_rwlock_ops(T, UW, N+1, SC, SC, Tot-1); 382 hammer_ets_rwlock_ops(T, UW, N, C, SC, Tot) -> 385 true = ets:insert(T, {N, Tot, hammer_ets_rwlock_get_data()}); 389 hammer_ets_rwlock_ops(T, UW, N+1, C-1, SC, Tot-1).
|