| /dports/www/ikiwiki/ikiwiki-3.20200202.3/doc/todo/ |
| H A D | a_navbar_based_on_page_properties.mdwn | 45 > rebuilding remains unsolved but doesn't matter that much for me as I always
|
| /dports/textproc/kdiff3/kdiff3-1.9.4/src/ |
| H A D | diff.h | 449 inline void setUnsolvedConflicts(const int unsolved) { nofUnsolvedConflicts = unsolved; } in setUnsolvedConflicts() argument
|
| /dports/misc/otter/otter-3.3f/examples/wos/ |
| H A D | README.more | 50 more welcome are open questions and unsolved problems.
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/ |
| H A D | Imports.hs | 1013 unsolved <- getAllUnsolvedWarnings
1014 unless (null unsolved) $ reportSDoc "import.iface.create" 20 $
1015 "collected unsolved: " <> prettyTCM unsolved
1017 convert $ foldMap warningHighlighting $ unsolved ++ warnings
|
| /dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/TypeChecker/ |
| H A D | Entailment.hs | 276 Unsolved unsolved -> do
278 … ident <- freshIdent ("dict" <> runProperName (disqualify (constraintClass unsolved)))
282 newDicts <- lift . lift $ newDictionaries [] qident unsolved
286 tell (mempty, [(ident, context, unsolved)])
|
| H A D | Monad.hs | 448 debugSubstitution (Substitution solved unsolved) =
452 M.filterWithKey (\k _ -> M.notMember k solved) unsolved
|
| /dports/math/fricas/fricas-1.3.7/src/algebra/ |
| H A D | solverad.spad | 289 unsolved : List PR := []
305 unsolved := cons(ff, unsolved)
|
| /dports/cad/kicad-devel/kicad-a17a58203b33e08b966075833b177dad5740c236/thirdparty/pybind11/docs/ |
| H A D | limitations.rst | 31 unsolved. If you know how to help with one of these issues, contributions
|
| /dports/devel/pybind11/pybind11-2.8.1/docs/ |
| H A D | limitations.rst | 31 unsolved. If you know how to help with one of these issues, contributions
|
| /dports/misc/py-onnx/onnx-1.10.2/third_party/pybind11/docs/ |
| H A D | limitations.rst | 31 unsolved. If you know how to help with one of these issues, contributions
|
| /dports/science/smoldyn/smoldyn-2.67/source/pybind11/docs/ |
| H A D | limitations.rst | 31 unsolved. If you know how to help with one of these issues, contributions
|
| /dports/math/py-sympy/sympy-1.9/sympy/solvers/ |
| H A D | solveset.py | 2978 unsolved = (free - set(known_symbols)) & set(all_symbols)
2980 unsolved = list(unsolved)
2981 unsolved.sort(key=default_sort_key)
2982 return unsolved
3373 unsolved = list(filter(
3375 for unsolved_sym in unsolved:
|
| /dports/math/hs-Agda/Agda-2.6.2/doc/release-notes/ |
| H A D | 2.6.1.md | 79 `--allow-unsolved-metas`: modules containing partial function definitions
85 unsolved metas, warnings, errors.
278 lead to unsolved metavariables in previously working code. See issue
299 unsolved even in code that doesn't use run-time erasure (see issue
723 …thub.com/agda/agda/issues/3654): Show non-blocked constraints first in list of unsolved constraints
747 …- [#3825](https://github.com/agda/agda/issues/3825): record{M} syntax reports unsolved metas in m…
787 ….com/agda/agda/issues/4038): Rewriting sometimes fails to rewrite in the presence of unsolved metas
|
| /dports/misc/qt5-examples/qt-everywhere-src-5.15.2/qtscxml/examples/scxml/sudoku/doc/src/ |
| H A D | sudoku.qdoc | 48 of the \c idle state: \c solved or \c unsolved,
58 and enters the \c unsolved child state of the \c idle state.
129 \skipto id="unsolved"
|
| /dports/math/reduce/Reduce-svn5758-src/packages/crack/ |
| H A D | crequsol.red | 48 % solutions. None of both solutions should contain any unsolved
|
| /dports/games/epiphany-game/epiphany-0.7.0/ |
| H A D | ChangeLog | 77 Added configuration file, for storing last unsolved level;
|
| /dports/math/fricas/fricas-1.3.7/pre-generated/src/algebra/ |
| H A D | SOLVERAD.lsp | 646 (|unsolved| (|List| (|Polynomial| R))) (|n| (|NonNegativeInteger|))
662 (LETT |constants| NIL) (LETT |unsolved| NIL)
685 (LETT |unsolved| (CONS |ff| |unsolved|))
|
| /dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
| H A D | TcBackpack.hs | 227 unsolved <- simplifyWantedsTcM cts
229 (implic, _) <- buildImplicationFor tclvl skol_info tvs_skols [] unsolved
|
| /dports/devel/kf5-kdoctools/kdoctools-5.89.0/ |
| H A D | TODO | 7 graphic and when the library is used. The </P> problem is unsolved as yet,
|
| /dports/multimedia/v4l-utils/linux-5.13-rc2/arch/arm/boot/dts/ |
| H A D | armada-370-dlink-dns327l.dts | 8 /* Remaining unsolved:
|
| /dports/games/xorgramana/XorGramana-0.0.8/ |
| H A D | CHANGES | 30 the xorgramana map display blanks ('_') for unsolved
|
| /dports/multimedia/v4l_compat/linux-5.13-rc2/arch/arm/boot/dts/ |
| H A D | armada-370-dlink-dns327l.dts | 8 /* Remaining unsolved:
|
| /dports/multimedia/libv4l/linux-5.13-rc2/arch/arm/boot/dts/ |
| H A D | armada-370-dlink-dns327l.dts | 8 /* Remaining unsolved:
|
| /dports/math/reduce/Reduce-svn5758-src/doc/manual2/ |
| H A D | rlfi.tex | 85 There are still some problems unsolved in the present version of the
|
| /dports/games/crafty/crafty-25.2_1/ |
| H A D | option.c | 3585 FILE *unsolved = NULL; in Option() local
3600 unsolved = fopen(args[3], "w+"); in Option()
3601 Test(args[1], unsolved, 0, 0); in Option()
3607 if (unsolved) in Option()
3608 fclose(unsolved); in Option()
|