All work
- Graphviz visualization issue in ProB: dot viewer configuration errorPROB-430Michael Leuschel
- Black ScreenPROB-429Michael Leuschel
- I encountered a problem when trying to use ProB co...PROB-428Michael Leuschel
- I have ActiveTcl-8.6.6.8606-MSWin32-x64-401995 & g...PROB-427Michael Leuschel
- The version TK8.5 is in incompatible with the my v...PROB-426Michael Leuschel
- Hi, I have ProB 1.9.2 installed on Windows 10 t...PROB-425Michael Leuschel
- Visualizing as Custom Predicate/Formula Tree and Expression Table are enabled before initialising a machinePROB-424Michael Leuschel
- Library archives for ProB 2 do not include fuzzPROB-423Michael Leuschel
- Enable graph dot display fails for CAN_BUS_tlcPROB-422Michael Leuschel
- As we know, Points = {s1,s2,s3} equal Poi...PROB-420Resolved issue: PROB-420Michael Leuschel
- B machine not precompiled for b_get_machine_const...PROB-419Resolved issue: PROB-419Michael Leuschel
- prob2_interface:extract_result/6 can produce incorrect error termsPROB-421
- Statically detect read of uninitialized variablesPROB-418Michael Leuschel
- probcli built for macOS 10.12, crashes on OS X 10.11PROB-417Resolved issue: PROB-417dgelessus
- Top-level sanity check should detect when machines are includedPROB-416Michael Leuschel
- Kodkod Bug with non-membership testPROB-415Michael Leuschel
- Evaluating INT results in a well-definedness errorPROB-414Resolved issue: PROB-414Michael Leuschel
- Explanation of REUSE_OPERATION is not clearPROB-413Michael Leuschel
- Wrong location in error messagePROB-412Resolved issue: PROB-412Michael Leuschel
- Kodkod Bug with Card OperatorPROB-411Michael Leuschel
- Add reified versions of is_sequence and is_total_function, is_partial_functionPROB-410Michael Leuschel
- Too verbose error messagePROB-409Resolved issue: PROB-409Michael Leuschel
- Heap Space Error with Parser on Windows for Test 810PROB-408Resolved issue: PROB-408Michael Leuschel
- constraint solving or >-> version of n-queens slowPROB-407Resolved issue: PROB-407Michael Leuschel
- Cannot use Formal machine parameters with multiple instantiationPROB-406Michael Leuschel
- released version 1.5.0 not available in JIRAPROB-405Resolved issue: PROB-405Jens Bendisposto
- error dialog does not display the file path of the error locationPROB-404Resolved issue: PROB-404Michael Leuschel
- incorrect error reported for constant defined in machine with multiple instancesPROB-403Michael Leuschel
- Kodkod translation failsPROB-402Resolved issue: PROB-402Michael Leuschel
- Kodkod process does not support a TimeoutPROB-401Resolved issue: PROB-401Michael Leuschel
- Report a readable error message when executing TLC4B with an inappropriate java version.PROB-400Ivaylo Dobrikov
- CTL formulae of the type "A(xUy)", "E(xWy)", and "A(xWy)" not supported yetPROB-399Michael Leuschel
- CTL Model Checking: Parser error for the CTL formula "E(xUy)"PROB-398Michael Leuschel
- CTL Model Checking (non-informative counterexamples)PROB-397Resolved issue: PROB-397Michael Leuschel
- missing argument in static_analysis.plPROB-396Resolved issue: PROB-396Ivaylo Dobrikov
- missing import of add_error_fail/3 in ast_cleanup_for_smt.plPROB-395Resolved issue: PROB-395Sebastian Krings
- missing dynamic declaration in b_machine_hierarchy.plPROB-394Resolved issue: PROB-394Michael Leuschel
- wrong arity call in ltl_fairness.plPROB-393Resolved issue: PROB-393Ivaylo Dobrikov
- missing import in state_space_open_nodes_cPROB-392Resolved issue: PROB-392Michael Leuschel
- misspelled predicate in model_translation.plPROB-391Resolved issue: PROB-391Sebastian Krings
- CTL parser does not provide support for using transition propositions [...] within CTL formulaePROB-390Michael Leuschel
- missing import in pge_algo.plPROB-389Resolved issue: PROB-389Ivaylo Dobrikov
- missing import in ltl_toolsPROB-388Resolved issue: PROB-388Michael Leuschel
- custom_expilicit_sets calls custom_explicit_set/1 which does not existPROB-387Resolved issue: PROB-387Michael Leuschel
- state_space asserts and retracts dynamic predicates from other modulePROB-386Resolved issue: PROB-386Michael Leuschel
- Missing predicate foldl/3 in ztransformationsPROB-385Resolved issue: PROB-385Michael Leuschel
- Call to non-existing add_error_fail/4 in pref_definitions.plPROB-384Resolved issue: PROB-384Michael Leuschel
- Missing predicate translate_enable_res/6PROB-383Resolved issue: PROB-383Ivaylo Dobrikov
- Missing argument in callPROB-382Resolved issue: PROB-382Ivaylo Dobrikov
- Duplicate field names in records should not be permittedPROB-381Resolved issue: PROB-381Michael Leuschel
50 of 265