Problem Reports:
1438

# Synopsis Date Category
17681 Violation of precondition `extendible' of {SD_MULTI_DOCK_AREA}.extend 2011/06/20 EiffelStudio
17677 Violation of precondition `executable' of {EB_EDITOR_PASTE_COMMAND}.execute 2011/06/17 EiffelStudio
17671 Violation of precondition `a_split_position_within_bounds' of {SD_VERTICAL_SPLIT_AREA}.set_split_pos 2011/06/17 EiffelStudio
13127 Violation of postcondition `bridge_ok' of {EB_VISION_WINDOW}.screen_x 2007/06/13 EiffelStudio
17705 Violation of assertion in {EB_EDITORS_MANAGER}.create_editor_beside_content 2011/06/24 EiffelStudio
17679 Violation of assertion `not_possible' in {SD_TOOL_BAR_RESIZABLE_ITEM}.on_pointer_press 2011/06/20 EiffelStudio
17674 Violation of assertion `new_tool_bar_is_caller' in {SD_TOOL_BAR_ROW_POSITIONER}.position_resize_on_e 2011/06/17 EiffelStudio
17692 Violation of assertion `l_type_is_valid' in {AST_DECORATED_OUTPUT_STRATEGY}.check_type 2011/06/22 EiffelStudio
13189 Violation of `not_outside' of {SD_TOOL_BAR_ROW_POSITIONER}.on_pointer_motion 2007/06/17 EiffelStudio
13188 Violation of `a_valid_value' of {EB_WINDOW_MANAGER}.display_message_and_percentage 2007/06/17 EiffelStudio
16704 Violation in {HASH_TABLE}.valid_iteration_index 2010/04/20 EiffelBase
13451 Views of class with long lines are blank or garbage 2007/10/15 EiffelStudio
13106 Viewpoints combo box always shows the resize cursor 2007/06/11 EiffelStudio
16614 Viewing dependencies after adding class with VMFN error causes crash 2010/02/05 EiffelStudio
12735 View/Open Layout and Save Layout As windows cannot be closed from title bar 2007/05/16 EiffelStudio
12187 View | Feature Views duplicated accelerator keys 2007/03/04 EiffelStudio
16348 VHPR error reported but no classes reported in cycle 2009/10/09 Compiler
12446 VGCC error message 2007/04/02 EiffelStudio
16576 VEVI errors with AutoTest automatically generated test cases 2010/01/20 EiffelTest
14474 Vertical scroll bar on Objects window is too small 2008/06/16 EiffelStudio
12845 VD80 warning does not give full file name in some cases 2007/05/23 Compiler
14859 Various editor/clickable improvements 2008/10/03 EiffelStudio
19499 VAPE not reported during incremental compilation 2018/11/09 Compiler
19372 Value of ISE_PRECOMP behaves like a sub-atomic particle (seriously) 2017/06/30 EiffelStudio
15505 valid_cursor_index in CIRCULAR 2009/03/13 EiffelBase
19170 Using the Unix Layout, the "Add precompile" dialog show no library 2015/12/08 EiffelStudio
14169 Using non-conforming generic class to effect polymorphic method causes segmentation fault 2008/04/03 Compiler
14652 Using debugger execution replay mechanism can change execution results 2008/07/23 Debugger
16330 Using "assign" with external routines crashes run-time 2009/10/02 Compiler
12127 User-defined shortcuts involving Shift+Alt activate menus 2007/02/24 EiffelStudio