Mantis - Alle Projekte
Probleme anzeigen ( 1 - 117 )
P
ID
#
Kategorie
Auswirkung
Status
Aktualisiert
Zusammenfassung
0000140
1
[
Bisect
]
general
Blocker
neu
2018-02-16
Bisect does not compile under ocaml >= 4.6.0
0000109
2
[
Bisect
]
general
kleinerer Fehler
neu
2017-04-08
Makefile should use PROJECT_NAME variable everywhere it is needed
0000139
[
Kaputt
]
general
kleinerer Fehler
neu
2016-12-21
Kaputt should check all specifications not only the first
0000138
[
Bolt
]
general
kleinerer Fehler
neu
2016-12-02
no CMX found
0000137
[
Bisect
]
general
kleinerer Fehler
neu
2016-08-12
Installing Kaputt on "brewed" systems
0000136
1
[
Bolt
]
general
Blocker
neu
2015-09-28
OPAM install under MacOS fails
0000135
[
Kaputt
]
general
Feature-Wunsch
neu
2015-07-03
More configurability of test outputs
0000134
[
Kaputt
]
general
Fehler im Text
neu
2015-05-26
Typo in the reference manual (Argot instead of Kaputt)
0000133
[
Bisect
]
general
kleinerer Fehler
neu
2015-03-10
Runtime.file_channel is not atomic
0000132
[
Bolt
]
general
Unschönheit
neu
2015-02-28
fichiers temporaires pas nettoyes
0000131
[
Bolt
]
general
kleinerer Fehler
neu
2015-02-22
missing camlp4of
0000130
[
Bisect
]
general
schwerer Fehler
neu
2015-02-13
Can't compile ppx version:
0000129
[
Mascot
]
general
Fehler im Text
neu
2014-06-14
Documentation source file is missing
0000128
[
Mascot
]
general
kleinerer Fehler
neu
2014-06-14
Mascot vel Argot - naming in the documentaion
0000127
1
[
OCaml-Java
]
Absturz
erledigt
(xclerc)
2014-01-28
Wrappers generated with errors
0000126
1
[
OCaml-Java
]
Absturz
erledigt
(xclerc)
2014-01-28
function arity is too large
0000125
1
[
OCaml-Java
]
Blocker
erledigt
(xclerc)
2014-01-28
ocamlwrap error
0000124
1
[
Kaputt
]
general
schwerer Fehler
neu
2013-10-26
fail to make tests in kaputt-1.2
0000123
[
Bolt
]
general
kleinerer Fehler
neu
2013-09-30
Version number incorrect in the source distribution
0000122
[
Mascot
]
general
kleinerer Fehler
neu
2013-08-28
order of outputs
0000121
1
[
Mascot
]
general
kleinerer Fehler
anerkannt
(xclerc)
2013-08-23
What is the official darcs repository
0000119
2
[
Bisect
]
general
kleinerer Fehler
Rückmeldung
(xclerc)
2013-08-08
What about adding a tracing feature?
0000082
1
[
OCamlScripting
]
general
schwerer Fehler
erledigt
(xclerc)
2013-04-24
Scripting Standalone has Camomile Dependency
0000118
[
OCaml-Java
]
kleinerer Fehler
erledigt
(xclerc)
2013-03-28
Sys.command should call a shell
0000117
[
OCaml-Java
]
kleinerer Fehler
erledigt
(xclerc)
2013-03-28
Ocamlbuild is not provided
0000102
3
[
Cadmium
]
general
schwerer Fehler
erledigt
(xclerc)
2013-03-28
Reports OS as 'Unix' in Windows
0000115
1
[
OCaml-Java
]
kleinerer Fehler
erledigt
(xclerc)
2013-03-07
ocaml cannot be used to execute .ml file
0000114
3
[
OCaml-Java
]
schwerer Fehler
erledigt
(xclerc)
2013-03-07
Error: Cannot compute stack frames
0000113
1
[
OCaml-Java
]
Absturz
erledigt
(xclerc)
2013-03-07
ocamllex fails on xml-light xml_lexer.mll
0000103
1
[
Cadmium
]
general
kleinerer Fehler
erledigt
(xclerc)
2013-03-07
Unix.descr_of_in_channel stdin fails in OcamlJava, works in OCaml
0000110
[
Barista
]
general
schwerer Fehler
erledigt
(xclerc)
2013-03-07
Error in annotation encoding of string value
0000111
[
Barista
]
general
schwerer Fehler
erledigt
(xclerc)
2013-03-07
Invalid stack frame when locals are changed in a protected block
0000116
[
Barista
]
general
schwerer Fehler
erledigt
(xclerc)
2013-03-07
Invalid stack frame after "invokespecial" instruction
0000106
[
Cafesterol
]
general
kleinerer Fehler
erledigt
(xclerc)
2013-02-02
java.lang.ArrayStoreException raised for almabench program from the OCaml test suite
0000108
1
[
Bisect
]
general
kleinerer Fehler
neu
2012-11-13
bisect 1.3: doesn't install bisectThread*
0000107
[
Bolt
]
general
schwerer Fehler
erledigt
(xclerc)
2012-10-26
When using syntax extension with level NONE, generated code should not depend on library
0000105
1
[
Bolt
]
general
Absturz
erledigt
(xclerc)
2012-09-09
Crashes with 'Not_found' when both BOLT_FILE and BOLT_CONFIG are not set
0000098
3
[
Kaputt
]
general
Feature-Wunsch
erledigt
(xclerc)
2012-08-30
Missing return value for launch_tests, run_tests, ...
0000091
1
[
Mascot
]
general
Feature-Wunsch
erledigt
(xclerc)
2012-08-29
feature wish : ocamlbuild integration
0000089
1
[
Mascot
]
general
kleinerer Fehler
erledigt
(xclerc)
2012-08-29
do not use -warn-error A in released version
0000090
1
[
Mascot
]
general
Feature-Wunsch
erledigt
(xclerc)
2012-08-29
feature wish : output available checks as a ready-to-use config
0000075
[
Mascot
]
general
kleinerer Fehler
erledigt
(xclerc)
2012-08-29
'?' should not be followed by whitespace when is refers to an optional label.
0000076
[
Mascot
]
general
kleinerer Fehler
erledigt
(xclerc)
2012-08-29
No mandatory spaces around range operator
0000077
[
Mascot
]
general
kleinerer Fehler
erledigt
(xclerc)
2012-08-29
Do not treat (-1) as an error
0000079
[
Mascot
]
general
kleinerer Fehler
erledigt
(xclerc)
2012-08-29
Treat [< ... >] and [| ... |] blocks like { ... } blocks
0000080
[
Mascot
]
general
kleinerer Fehler
erledigt
(xclerc)
2012-08-29
Check for whitespace after '.' used to denote polymorphic type
0000081
[
Mascot
]
general
kleinerer Fehler
erledigt
(xclerc)
2012-08-29
Allow list or parenthesis directly following a label
0000084
[
Mascot
]
general
kleinerer Fehler
erledigt
(xclerc)
2012-08-29
Invalid generated HTML, icons not working with Firefox
0000087
[
Mascot
]
general
kleinerer Fehler
erledigt
(xclerc)
2012-08-29
install shouldn't build anything
0000094
1
[
Mascot
]
general
kleinerer Fehler
erledigt
(xclerc)
2012-08-29
named and optional parameters
0000096
[
Mascot
]
general
Feature-Wunsch
erledigt
(xclerc)
2012-08-29
typography.trailing_white_space should provide a parameter
0000093
1
[
Mascot
]
general
kleinerer Fehler
erledigt
(xclerc)
2012-08-29
detect duplicate entries in mli
0000085
[
Kaputt
]
general
kleinerer Fehler
erledigt
(xclerc)
2012-08-29
Kaputt doesn't install .cmi file
0000095
[
Bisect
]
general
kleinerer Fehler
erledigt
(xclerc)
2012-08-14
pp_bisect prevents polymorphic recursion
0000104
[
Bisect
]
general
schwerer Fehler
erledigt
(xclerc)
2012-08-14
configure script is not executable after darcs checkout
0000099
[
Barista
]
general
kleinerer Fehler
erledigt
(xclerc)
2012-05-13
packing of int32 into in64 is wrong
0000086
[
Mascot
]
general
kleinerer Fehler
neu
2012-01-10
-ocaml-prefix doesn't really work
0000083
3
[
Barista
]
general
kleinerer Fehler
erledigt
(xclerc)
2011-12-21
encode x fails, where x = decode jre6
0000073
3
[
Barista
]
general
kleinerer Fehler
erledigt
(xclerc)
2011-12-21
does not compile when ocaml (and related dependencies) are in non-standard directory
0000074
1
[
Mascot
]
general
kleinerer Fehler
erledigt
(xclerc)
2011-08-07
typography.spaces_around_operators: check the '::' operator
0000072
2
[
Mascot
]
general
schwerer Fehler
erledigt
(xclerc)
2011-08-07
typography.spaces_around_blocks: Allow punctuation after closing a block
0000071
1
[
Mascot
]
general
Feature-Wunsch
erledigt
(xclerc)
2011-07-12
detect codeduplication
0000067
6
[
Mascot
]
general
Feature-Wunsch
erledigt
(xclerc)
2011-07-10
if (cond)
0000070
2
[
Mascot
]
general
Feature-Wunsch
erledigt
(xclerc)
2011-07-09
mascot could interpret camlp4 using -pp option
0000059
1
[
Bisect
]
general
Unschönheit
erledigt
(xclerc)
2011-02-12
instrumented code is 20times slower
0000068
1
[
Mascot
]
general
Feature-Wunsch
erledigt
(xclerc)
2011-01-11
if ( == )
0000066
1
[
Mascot
]
general
Feature-Wunsch
erledigt
(xclerc)
2011-01-11
open: allowed modules
0000065
3
[
Mascot
]
general
kleinerer Fehler
erledigt
(xclerc)
2011-01-09
ocamldep: unknown option `-for-pack'
0000064
3
[
Mascot
]
general
kleinerer Fehler
erledigt
(xclerc)
2011-01-09
xargs doe not work as expected
0000060
2
[
Bolt
]
general
schwerer Fehler
erledigt
(xclerc)
2010-10-01
produced XML non conform to expected logj-style, attribute "logger" should use "=" instead of ":"
0000048
1
[
Cadmium
]
general
kleinerer Fehler
erledigt
(xclerc)
2010-02-06
Error in "mod_float" primitive implementation
0000047
[
Barista
]
general
kleinerer Fehler
erledigt
(xclerc)
2010-02-06
The assembler generates invalid line number information
0000046
[
Barista
]
general
schwerer Fehler
erledigt
(xclerc)
2010-02-06
Invalid padding for 'tableswitch' and 'lookupswitch' instructions
0000028
1
[
Barista
]
general
Feature-Wunsch
erledigt
(xclerc)
2010-02-06
ocamlfind compatibility
0000057
1
[
Kaputt
]
general
schwerer Fehler
erledigt
(xclerc)
2010-01-16
Tests fail on 64-bit platform
0000056
1
[
Bolt
]
general
kleinerer Fehler
erledigt
(xclerc)
2010-01-16
Tests fail if "ocamljava" is not present
0000055
1
[
Bolt
]
general
schwerer Fehler
erledigt
(xclerc)
2010-01-12
Syntax extension de-parenthesizes first argument
0000054
1
[
Bolt
]
general
kleinerer Fehler
erledigt
(xclerc)
2010-01-10
META file does not contain all dependencies
0000053
1
[
Bolt
]
general
kleinerer Fehler
erledigt
(xclerc)
2010-01-09
Printf argument handling only supports 2 arguments
0000052
1
[
Bolt
]
general
schwerer Fehler
erledigt
(xclerc)
2009-12-29
Thread-compatibility module do not compile
0000051
2
[
Bisect
]
general
kleinerer Fehler
erledigt
(xclerc)
2009-12-29
Unportable use of 'which' in the Makefile
0000044
[
Cadmium
]
general
kleinerer Fehler
erledigt
(xclerc)
2009-09-19
Message associated with ScriptException is highly uninformative
0000043
[
Cadmium
]
general
kleinerer Fehler
erledigt
(xclerc)
2009-09-19
Cadmium allows marshalling of dynlinked closure
0000042
[
Cafesterol
]
general
kleinerer Fehler
erledigt
(xclerc)
2009-09-19
camlp4-standalone.jar does not what to do with ".cmjs" files
0000039
3
[
Barista
]
general
Feature-Wunsch
erledigt
(xclerc)
2009-06-29
Class files apparently not compatible with Java 1.5 -- but no control over target ...
0000034
1
[
Bisect
]
general
Feature-Wunsch
erledigt
(xclerc)
2009-05-04
Add a "plain text" output option
0000035
1
[
Bisect
]
general
Feature-Wunsch
erledigt
(xclerc)
2009-05-03
Add a way to hide covered code or a better way to jump to uncovered code
0000033
1
[
Bisect
]
general
Feature-Wunsch
erledigt
(xclerc)
2009-05-02
Add global statistics to the index page
0000032
1
[
Bisect
]
general
Unschönheit
erledigt
(xclerc)
2009-05-02
<code> markup not rendering properly
0000029
1
[
Barista
]
general
Absturz
erledigt
(xclerc)
2009-03-22
barista is unable to load java.lang.Throwable and java.awt.Container
0000031
1
[
Bisect
]
general
Unschönheit
erledigt
(xclerc)
2009-03-21
Default "make" target
0000036
1
[
Bisect
]
general
kleinerer Fehler
erledigt
(xclerc)
2009-03-21
Cannot instrument under -unsafe
0000037
1
[
Bisect
]
general
schwerer Fehler
erledigt
(xclerc)
2009-03-21
Compatibility with ocamllex & ocamlyacc
0000030
1
[
Bisect
]
general
kleinerer Fehler
erledigt
(xclerc)
2009-03-21
Makefile does not detect whether ocamljava is installed
0000027
1
[
Cadmium
]
general
kleinerer Fehler
erledigt
(xclerc)
2008-11-29
Duplicate entries in 'ocamlrun-scripting-standalone.jar'
0000026
[
Cadmium
]
general
kleinerer Fehler
erledigt
(xclerc)
2008-11-02
Functions registered with "at_exit" called twice
0000015
3
[
OCamlScripting
]
general
schwerer Fehler
erledigt
(xclerc)
2008-11-02
The OCaml-Java JSR-223 engine won't work with external ScriptContexts
0000020
1
[
OCamlScripting
]
general
schwerer Fehler
erledigt
(xclerc)
2008-11-02
Unable to get a script engine
0000021
2
[
OCamlScripting
]
general
kleinerer Fehler
erledigt
(xclerc)
2008-11-02
Returned extension is incoherent with other engines
0000025
[
Barista
]
general
schwerer Fehler
erledigt
(xclerc)
2008-10-23
Disassembling of LOOKUPSWITCH and TABLESWITCH is broken
0000022
1
[
Cafesterol
]
general
kleinerer Fehler
erledigt
(xclerc)
2008-10-12
"ocamljava -print-primitives" does not print anything
0000024
[
Barista
]
general
schwerer Fehler
erledigt
(xclerc)
2008-10-05
Support for inner-classes is broken
0000023
1
[
OCamlScripting
]
general
schwerer Fehler
erledigt
(xclerc)
2008-09-17
cadmiumLibrary.cma is missing in the standalone jar
0000017
2
[
Cafesterol
]
general
Absturz
erledigt
(xclerc)
2008-08-11
current darcs does not build with ocaml 3.10.2
0000019
3
[
Cafesterol
]
general
kleinerer Fehler
erledigt
(xclerc)
2008-08-11
Running jars compiled without '-standalone'
0000018
1
[
Barista
]
general
schwerer Fehler
erledigt
(xclerc)
2008-08-10
Cannot download Barista from darcs
0000016
3
[
OCamlScripting
]
general
Absturz
erledigt
(xclerc)
2008-08-09
cannot start standalone version
0000014
1
[
Cafesterol
]
general
schwerer Fehler
erledigt
(xclerc)
2008-06-27
float array literals produce zero-length arrays
0000012
1
[
Cafesterol
]
general
kleinerer Fehler
erledigt
(xclerc)
2008-05-10
"class not found" error from ocamljava while the class if actually present
0000011
1
[
Barista
]
general
schwerer Fehler
erledigt
(xclerc)
2008-05-10
Fails to produce class file when directories already exist
0000010
[
Cadmium
]
general
kleinerer Fehler
erledigt
(xclerc)
2008-03-24
Invalid string conversion of some float values.
0000009
1
[
Cadmium
]
general
schwerer Fehler
erledigt
(xclerc)
2008-03-17
Source does not compile under Java 1.6/1.7
0000004
[
Cadmium
]
general
Absturz
erledigt
(xclerc)
2008-03-09
ArrayIndexOutOfBoundsException when loading str.cma in ocaml.jar from ocamljava distribution announced on caml-list
0000007
[
Cadmium
]
general
kleinerer Fehler
erledigt
(xclerc)
2008-03-06
Unable to load embedded library
0000006
1
[
Cadmium
]
general
schwerer Fehler
erledigt
(xclerc)
2008-03-06
Writing to existing file in embedded mode
0000003
[
Cadmium
]
general
kleinerer Fehler
erledigt
(xclerc)
2007-09-14
Pervasives.do_at_exit not call when exit occurs in a callback
0000002
1
[
Cafesterol
]
general
kleinerer Fehler
erledigt
(xclerc)
2007-09-14
Jcompflags needs executable permission