/dports/graphics/povray38/povunix-v3.8.0-beta.2-src/ini/ |
H A D | tgaflc.ini | 22 ;; There is an unsolved problem when running dta directly.
|
H A D | tgafli.ini | 22 ;; There is an unsolved problem when running dta directly.
|
H A D | pngfli.ini | 22 ;; There is an unsolved problem when running dta directly.
|
H A D | zipfli.ini | 22 ;; There is an unsolved problem when running dta directly.
|
H A D | zipflc.ini | 23 ;; There is an unsolved problem when running dta directly.
|
/dports/graphics/povray36/povray-3.6.1/ini/ |
H A D | tgaflc.ini | 22 ;; There is an unsolved problem when running dta directly.
|
H A D | tgafli.ini | 22 ;; There is an unsolved problem when running dta directly.
|
H A D | pngflc.ini | 22 ;; There is an unsolved problem when running dta directly.
|
H A D | pngfli.ini | 22 ;; There is an unsolved problem when running dta directly.
|
H A D | zipflc.ini | 23 ;; There is an unsolved problem when running dta directly.
|
H A D | zipfli.ini | 22 ;; There is an unsolved problem when running dta directly.
|
/dports/graphics/povray37/povray-3.7.0.10/distribution/ini/ |
H A D | tgaflc.ini | 22 ;; There is an unsolved problem when running dta directly.
|
H A D | tgafli.ini | 22 ;; There is an unsolved problem when running dta directly.
|
H A D | pngflc.ini | 22 ;; There is an unsolved problem when running dta directly.
|
H A D | pngfli.ini | 22 ;; There is an unsolved problem when running dta directly.
|
H A D | zipflc.ini | 23 ;; There is an unsolved problem when running dta directly.
|
H A D | zipfli.ini | 22 ;; There is an unsolved problem when running dta directly.
|
/dports/science/gnudatalanguage/gdl-1.0.1/testsuite/ |
H A D | test_chisqr_cvf.pro | 29 ; unsolved problems within 0. ...
|
/dports/textproc/p5-Tree-Suffix/Tree-Suffix-0.22/t/ |
H A D | 08_find.t | 29 local $TODO = 'RT #43650 is still unsolved';
|
/dports/www/ikiwiki/ikiwiki-3.20200202.3/doc/tips/optimising_ikiwiki/ |
H A D | discussion.mdwn | 20 …ning nytprofhtml does not help either as well. That leaves this problem unsolved still. --[[users/…
|
/dports/math/reduce/Reduce-svn5758-src/packages/crack/ |
H A D | crsimpso.red | 173 redund,flstart,fldrop,fldupli2,newfu,newcorres,unequ,unsolved, 302 % in remaining conditions `unsolved' is tested below 365 unsolved:=car b$ 382 freeof(unsolved,car el1) and freeof(unsolved,cdr el1) then << 384 % do not appear in an equation of `unsolved' which has only as 503 % remaining unsolved equations `unsolved'. The idea is to use them 514 if freeof(unsolved,el1) then << % only if el1 is truely free 516 % appear in an equation of `unsolved' which has only as 757 % % - A list of unsolved equations: ((plus (expt a11 2) ..) .. ) 789 % (unsolved equations and expressions u-v that stand for assignments [all …]
|
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Pretty/ |
H A D | Warning.hs | 490 unsolved <- getAllUnsolvedWarnings 494 not (null unsolved && onlyShowIfUnsolved w) 498 $ reverse $ unsolved ++ collectedTCWarnings
|
/dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/TypeChecker/ |
H A D | Types.hs | 95 (val', unsolved) <- replaceTypeClassDictionaries shouldGeneralize val 99 ty'' = constrain unsolved ty' 100 … unsolvedTypeVarsWithKinds <- unknownsWithKinds . IS.toList . unknowns $ constrain unsolved ty'' 111 when (bindingGroupType == RecursiveBindingGroup && not (null unsolved)) 118 conData <- forM unsolved $ \(_, _, con) -> do 168 …(foldr (Abs . VarBinder nullSourceSpan . (\(x, _, _) -> x)) val' unsolved, generalized)), unsolved)
|
/dports/math/osqp/osqp-0.6.2/docs/interfaces/ |
H A D | status_values.rst | 35 | unsolved | OSQP_UNSOLVED | -10 |
|
/dports/math/gap/gap-4.11.0/pkg/MajoranaAlgebras-1.4/gap/ |
H A D | MajoranaAlgebras.gi | 1283 unsolved, 1303 unsolved := []; 1333 Add(unsolved,i); 1337 system.mat := CertainColumns(system.mat, unsolved); 1338 system.unknowns := system.unknowns{unsolved}; 1409 local unsolved, i, j, elm, prod, nonzero_rows; 1411 unsolved := []; 1429 Add(unsolved, i); 1434 system.mat := CertainColumns(system.mat, unsolved); 1435 system.unknowns := system.unknowns{unsolved};
|