-
Notifications
You must be signed in to change notification settings - Fork 1
/
ChangeLog
149 lines (99 loc) · 4.5 KB
/
ChangeLog
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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
Thu Apr 30 12:03:56 EST 2009 <baueran@gmail.com>
- Makefile, src/config.ml: update version number
- NEWS: reflect changes
- src/putils.ml:get_label: change endstring from "] to "
(Thanks to Rico Backasch!)
Wed Apr 1 10:29:57 EST 2009 <baueran@gmail.com>
- src/alphabet.ml: new file
- src/extractalphabet.ml: new file
- src/nevertosymbols.ml: remove
- src/fsmcrossprod.ml, src/nevertofsm.ml: use alphabet.ml, added -a
command line option for accepting external alphabet
- src/fsmcrossprod.ml, src/alphabet.ml, src/extractalphabet.ml:
added additional output explaining arguments,
added comments in the code
- NEWS, ltl2ba: update documentation
Sat Mar 14 10:53:31 EST 2009 <baueran@gmail.com>
- src/alphabet.ml, src/formulatosymbols.ml: new
- src/*.ml, src/Makefile: use new files
Tue Feb 17 09:41:44 EST 2009 <baueran@gmail.com>
- Makefile, NEWS, README: release clean-ups
Fri Jan 16 15:52:45 EST 2009 <baueran@gmail.com>
- src/putils.ml:sigma_filter: fix bug that would corrupt output when
the proposition in question was a substring of another proposition
in sigma
- src/putils.ml:act_contains: new
Fri Jan 16 12:52:48 EST 2009 <baueran@gmail.com>
- src/*.ml: rewrote almost every function slightly to improve performance
(too many little changes to remember or mention - sorry!)
- src/Makefile: call ocamlopt instead of ocamlc
Wed Jan 14 10:46:23 EST 2009 <baueran@gmail.com>
- src/mutils.ml:remove_doubles: change structure of recursion
- src/nevertofsm.ml:unfold_*: change structure of recursion
Fri Dec 26 04:24:06 EST 2008 <baueran@gmail.com>
- src/minimise.ml: make marked_states recursive
Thu Dec 25 22:51:01 EST 2008 <baueran@gmail.com>
- src/minimise.ml: fix bug in find_new_marked: add (s1, s2) to marked
states rather than the newly found state pairs
- ChangeLog, NEWS: reflect changes
Thu Dec 25 01:29:08 EST 2008 <baueran@gmail.com>
- Makefile, ChangeLog, NEWS: add release notes
- src/minimise.ml: add inline documentation
Tue Dec 23 06:19:03 EST 2008 <baueran@gmail.com>
- src/minimise.ml: new
- src/mutils.ml: add remove_doubles and explanation
- src/gutils.ml: add explanation
- src/putils.ml: add explanation
- src/config.ml: change version number
- src/fsmcrossprod.ml: use minimise.ml, add -m option
Thu Dec 18 03:29:20 EST 2008 <baueran@gmail.com>
- src/fsmcrossprod.ml: added merge_final function
Tue Aug 5 20:09:55 EST 2008 <baueran@gmail.com>
- README: small update
Wed Jul 23 09:21:31 EST 2008 <baueran@gmail.com>
- src/dot2fsm.ml: moved to src/tmp
- src/tmp/template.tml: added
- src/Makefile: reflect change
Tue Jul 22 20:03:51 EST 2008 <baueran@gmail.com>
- src/nevertofsm.ml: added normalise function
- src/fsmcrossprod.ml: made output conform better with dot-file format
specification
Mon Jul 21 10:04:05 EST 2008 <baueran@gmail.com>
- src/dot2fsm.ml: added (not part of main distribution)
- src/Makefile: reflect new file
- src/putils.ml: in get_label, replaced extfind deltap "\"];" with
extfind deltap "\"]"
- src/dot.ml: cosmetic clean-ups of parse2
- src/fsmcrossprod.ml: added a semicolon to transition output,
added label attribute to state output
Sun Jul 20 17:24:16 EST 2008 <baueran@gmail.com>
- src/dot.ml: added
- src/fsmcrossprod.ml: include dot.ml
Thu Jul 17 13:37:32 EST 2008 <baueran@gmail.com>
- README: updated installation instructions
- Makefile: changed dist target
Wed Jul 16 19:51:56 EST 2008 <baueran@gmail.com>
- src/gutils.ml: fixed bug mentioned in previous commit message
Wed Jul 16 19:37:39 EST 2008 <baueran@gmail.com>
- src/gutils.ml: documented bug for has_path in inline documentation, but
did not provide fix for it, yet
Wed Jul 16 16:37:26 EST 2008 <baueran@gmail.com>
- src/neverl.mll: glob comments
- src/neverp.mly: remove rule for dealing with comments
Sat Jul 12 16:37:06 EST 2008 <baueran@gmail.com>
- src/neverl.mll: add support for '_' in tokens
Sat Jul 12 16:13:43 EST 2008 <baueran@gmail.com>
- src/Makfile: added doc target
- src/ocamlweb.sty: ocamlweb style file added
- src/fsmcrossprod: updated inline documentation
Fri Jul 11 11:15:20 EST 2008 <baueran@gmail.com>
- Makefile: updated version from 0.0.2 to 0.0.3
- src/config.ml: updated version from 0.0.2 to 0.0.3
- src/fsmcrossprod.ml: changed help text
Thu Jul 10 13:18:08 EST 2008 <baueran@gmail.com>
- NEWS: added
- ChangeLog: added
- src/neverl.mll: switched off print_char statement that would print
unmatched characters and confuse the parser.
- src/config.ml: updated version from 0.0.1 to 0.0.2
- src/fsmcrossprod.ml: added -c option for colouring states