-
Notifications
You must be signed in to change notification settings - Fork 8
/
.gitignore
executable file
·61 lines (56 loc) · 997 Bytes
/
.gitignore
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
# SML/NJ
.cm
src/GENERATOR_SIG-nj.sml
src/RandGen-nj.sml
src/QCheckVersion.sml
tests/from-to-nj.sml
# MLton
mlton-basis.txt
tests/tests
src/GENERATOR_SIG-mlton.sml
src/RandGen-mlton.sml
tests/from-to-mlton.sml
# Moscow ML
*.ui
*.uo
*~
compose
mosmake.dep
src/GENERATOR_SIG-moscow.sml
src/RandGen-moscow.sml
tests/from-to-moscow.sml
# Poly/ML
src/GENERATOR_SIG.sml
src/RandGen.sml
tests/from-to-poly.sml
# SML#
*.o
*.d
src/GENERATOR_SIG-smlsharp.sml
src/RandGen-smlsharp.sml
tests/from-to-smlsharp.sml
/tests/from-to-smlsharp
/tests/from-to-str
/tests/reverse
/doc/sml-ver.texi
/doc/APPLICATIVE_RNG.texi
/doc/DATE_TIME_GENERATOR.texi
/doc/FILES_SIG.texi
/doc/GEN_TYPES.texi
/doc/INT_GENERATOR.texi
/doc/PREGEN_SIG.texi
/doc/PRETEXT_GENERATOR.texi
/doc/PROPERTY_SIG.texi
/doc/QCHECK_SIG.texi
/doc/REAL_GENERATOR.texi
/doc/SETTINGS_SIG.texi
/doc/WORD_GENERATOR.texi
/doc/mosml.texi
/doc/qcheck-ver.texi
/doc/qcheck.texi
/qcheck.aux
/qcheck.cp
/qcheck.cps
/qcheck.log
/qcheck.toc
/doc/qcheck.pdf