| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/Documentation/SBV/Examples/Lists/ |
| H A D | Fibonacci.hs | 33 genFibs = do fibs <- sList "fibs"
36 constrain $ L.length fibs .== 200
39 constrain $ fibs .!! 0 .== 1
40 constrain $ fibs .!! 1 .== 1
43 let constr i = constrain $ fibs .!! i + fibs .!! (i+1) .== fibs .!! (i+2)
53 Sat -> getValue fibs
|
| /dports/biology/stringtie/stringtie-2.1.1/SuperReads_RNA/global-1/SuperReadsR/src/ |
| H A D | fibonacci_coding.hpp | 28 static const uint64_t *fibs; member
32 const uint64_t * f = fibs + 8 * sizeof(T) - 1; in encode()
39 f = std::upper_bound(fibs, f, x) - 1; in encode()
40 int high_bit = f - fibs; in encode()
44 f = std::upper_bound(fibs, f, x) - 1; in encode()
45 res |= (T)1 << (f - fibs); in encode()
55 for(const uint64_t *f = fibs; x; x >>= 1, ++f) in decode()
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc80/ |
| H A D | Test10312.hs | 32 fibs :: [Int]
33 fibs = 0 : 1 : [ x + y function
34 | x <- fibs
35 | y <- tail fibs
40 | x <- fibs
41 | y <- tail fibs
42 | z <- tail (tail fibs)
|
| /dports/devel/hs-haskell-language-server/haskell-language-server-1.4.0/_cabal_deps/ghc-exactprint-0.6.4/tests/examples/ghc710/ |
| H A D | TH.hs | 17 fibs :: [Integer]
18 fibs = 0 : 1 : zipWith (+) fibs (tail fibs) function
21 fibQ n = [| fibs !! n |]
26 e4 = $(runQ [| fibs !! $( [| 8 |]) |])
|
| H A D | ListComprehensions.hs | 32 fibs :: [Int]
33 fibs = 0 : 1 : [ x + y function
34 | x <- fibs
35 | y <- tail fibs
40 | x <- fibs
41 | y <- tail fibs
42 | z <- tail (tail fibs)
|
| /dports/devel/p5-List-Gen/List-Gen-0.974/t/ |
| H A D | listgen_lazy_haskell.t | 279 my $fibs;
280 $fibs = lazy 0, 1, zipWith {&sum} $fibs, tail $fibs;
283 is => "@$fibs[0 .. 10]", '0 1 1 2 3 5 8 13 21 34 55';
288 $_ = lazy 0, 1, zipWith \&sum, $_, tail $_ for my $fibs;
291 is => "@$fibs[0 .. 10]", '0 1 1 2 3 5 8 13 21 34 55';
297 my $fibs;
298 $fibs = lazy 0, 1, zipWith {$_[0] + $_[1]} $fibs, tail $fibs;
301 is => "@$fibs[0 .. 10]", '0 1 1 2 3 5 8 13 21 34 55';
306 my $fibs;
307 $fibs = lazy 0, 1, gen {sum $fibs->($_, $_ + 1)};
[all …]
|
| /dports/lang/mosml/mosml-ver-2.10.1/examples/lexyacc/cl/ |
| H A D | fibs.cl | 21 fibs = pack{2, 1, pack{2, 1, zipwith add fibs (tail fibs)}};
27 in fibs
|
| /dports/devel/folly/folly-2021.12.27.00/folly/gen/test/ |
| H A D | ParallelBenchmark.cpp | 117 const int fibs = 1000; variable
118 BENCH_GEN(seq(1, fibs) | map([](int) { return fib(kFib); }) | sum); in __anonc7ea33910a02()
121 seq(1, fibs)
131 (i + 0) * fibs / FLAGS_threads, (i + 1) * fibs / FLAGS_threads) in __anonc7ea33910c02()
164 seq(1, fibs) | map([](int) { return fib(kFib); 1.49s 669.53m
165 seq(1, fibs) | parallel(map([](int) { return fi 1698.07% 87.96ms 11.37
|
| /dports/lang/gauche/Gauche-0.9.10/examples/ |
| H A D | lazyfib.scm | 19 (define fibs (list* 1 1 (delay (lmap + fibs (cdr fibs))))) unknown
|
| /dports/math/fricas/fricas-1.3.7/pre-generated/target/share/hypertex/pages/ |
| H A D | STREAM.pht | 50 \tab{5}\spadcommand{fibs := [i.2 for i in [stream(f, [1, 1])]]\bound{fibs }\free{f }}
60 \tab{5}\spadcommand{fibs := [i.2 for i in [stream(f, [1, 1])]]\bound{fibs }\free{f }}
178 \tab{5}\spadcommand{fibs 20\free{fibs }}
188 \tab{5}\spadcommand{fibs 20\free{fibs }}
|
| /dports/games/hyperrogue/hyperrogue-12.0f/rogueviz/ |
| H A D | sunflower.cpp | 58 vector<int> fibs = {1, 2}; variable
100 while(fibs.back() < iqty) { in sunflower_cell()
101 auto add = fibs.back() + *(fibs.end()-2); in sunflower_cell()
102 fibs.push_back(add); in sunflower_cell()
112 for(int a: fibs) { in sunflower_cell()
|
| /dports/lang/rust/rustc-1.58.1-src/src/test/ui/impl-trait/ |
| H A D | issue-49579.rs | 3 fn fibs(n: u32) -> impl Iterator<Item=u128> { in fibs() function
13 println!("{:?}", fibs(10).collect::<Vec<_>>()); in main()
|
| /dports/net/evans/evans-0.9.1/vendor/golang.org/x/tools/go/ssa/interp/testdata/ |
| H A D | coverage.go | 69 var fibs []int
71 fibs = append(fibs, v)
72 if len(fibs) == 10 {
76 if x := fmt.Sprint(fibs); x != "[0 1 1 2 3 5 8 13 21 34]" {
|
| /dports/www/bugzilla2atom/bugzilla2atom-56126912bf314a80744827758d582e5e60e7178c/vendor/golang.org/x/tools/go/ssa/interp/testdata/ |
| H A D | coverage.go | 69 var fibs []int
71 fibs = append(fibs, v)
72 if len(fibs) == 10 {
76 if x := fmt.Sprint(fibs); x != "[0 1 1 2 3 5 8 13 21 34]" {
|
| /dports/security/vault/vault-1.8.2/vendor/golang.org/x/tools/go/ssa/interp/testdata/ |
| H A D | coverage.go | 69 var fibs []int
71 fibs = append(fibs, v)
72 if len(fibs) == 10 {
76 if x := fmt.Sprint(fibs); x != "[0 1 1 2 3 5 8 13 21 34]" {
|
| /dports/devel/golint/lint-959b441/vendor/golang.org/x/tools/go/ssa/interp/testdata/ |
| H A D | coverage.go | 68 var fibs []int
70 fibs = append(fibs, v)
71 if len(fibs) == 10 {
75 if x := fmt.Sprint(fibs); x != "[0 1 1 2 3 5 8 13 21 34]" {
|
| /dports/www/gitlab-workhorse/gitlab-foss-0a901d60f8ae4a60c04ae82e6e9c3a03e9321417/workhorse/vendor/golang.org/x/tools/go/ssa/interp/testdata/ |
| H A D | coverage.go | 69 var fibs []int
71 fibs = append(fibs, v)
72 if len(fibs) == 10 {
76 if x := fmt.Sprint(fibs); x != "[0 1 1 2 3 5 8 13 21 34]" {
|
| /dports/devel/liteide/liteide-x37.4/liteidex/vendor/golang.org/x/tools/go/ssa/interp/testdata/ |
| H A D | coverage.go | 69 var fibs []int
71 fibs = append(fibs, v)
72 if len(fibs) == 10 {
76 if x := fmt.Sprint(fibs); x != "[0 1 1 2 3 5 8 13 21 34]" {
|
| /dports/security/snowflake-tor/snowflake-ead5a960d7fa19dc890ccbfc0765c5ab6629eaa9/vendor/golang.org/x/tools/go/ssa/interp/testdata/ |
| H A D | coverage.go | 69 var fibs []int
71 fibs = append(fibs, v)
72 if len(fibs) == 10 {
76 if x := fmt.Sprint(fibs); x != "[0 1 1 2 3 5 8 13 21 34]" {
|
| /dports/net-im/dendrite/dendrite-0.5.1/vendor/golang.org/x/tools/go/ssa/interp/testdata/ |
| H A D | coverage.go | 69 var fibs []int
71 fibs = append(fibs, v)
72 if len(fibs) == 10 {
76 if x := fmt.Sprint(fibs); x != "[0 1 1 2 3 5 8 13 21 34]" {
|
| /dports/security/aws-iam-authenticator/aws-iam-authenticator-0.5.2/vendor/golang.org/x/tools/tools-5eefd052ad72/go/ssa/interp/testdata/ |
| H A D | coverage.go | 69 var fibs []int
71 fibs = append(fibs, v)
72 if len(fibs) == 10 {
76 if x := fmt.Sprint(fibs); x != "[0 1 1 2 3 5 8 13 21 34]" {
|
| /dports/databases/cayley/cayley-0.7.5-2-gcf576ba/vendor/golang.org/x/tools/go/ssa/interp/testdata/ |
| H A D | coverage.go | 69 var fibs []int
71 fibs = append(fibs, v)
72 if len(fibs) == 10 {
76 if x := fmt.Sprint(fibs); x != "[0 1 1 2 3 5 8 13 21 34]" {
|
| /dports/security/xray-core/Xray-core-1.5.0/vendor/golang.org/x/tools/go/ssa/interp/testdata/ |
| H A D | coverage.go | 69 var fibs []int
71 fibs = append(fibs, v)
72 if len(fibs) == 10 {
76 if x := fmt.Sprint(fibs); x != "[0 1 1 2 3 5 8 13 21 34]" {
|
| /dports/security/vuls/vuls-0.13.7/vendor/golang.org/x/tools/go/ssa/interp/testdata/ |
| H A D | coverage.go | 69 var fibs []int
71 fibs = append(fibs, v)
72 if len(fibs) == 10 {
76 if x := fmt.Sprint(fibs); x != "[0 1 1 2 3 5 8 13 21 34]" {
|
| /dports/net-mgmt/promscale/promscale-0.6.2/vendor/golang.org/x/tools/go/ssa/interp/testdata/ |
| H A D | coverage.go | 69 var fibs []int
71 fibs = append(fibs, v)
72 if len(fibs) == 10 {
76 if x := fmt.Sprint(fibs); x != "[0 1 1 2 3 5 8 13 21 34]" {
|