File: NEWS

package info (click to toggle)
maude 2.6-6
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 10,776 kB
  • ctags: 8,613
  • sloc: cpp: 87,637; sh: 3,468; ansic: 3,011; yacc: 1,414; makefile: 1,252; lex: 563
file content (475 lines) | stat: -rw-r--r-- 18,117 bytes parent folder | download | duplicates (2)
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
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
Overview of Changes in Maude alpha95b
=====================================
* fixed a bug in the profiler provoked by condition fragments in a
command or descent function invocation
* more overparsing
* avoid unnecessary right id sort checking for commutative symbols

Overview of Changes in Maude alpha95a
=====================================
* fixed sort bug with new memo mechanism
* added MAUDE_META_MODULE_CACHE_SIZE environment variable

Overview of Changes in Maude alpha95
====================================
* fixed bug where tokens starting in . that followed a . that might
have, but didn't terminate a statement or command were having their
initial . split off
* handle collapse down cases in order sorted unification
* hash consing used for srewrite
* fixed a bug in the ACU matcher where bad solutions could be
generated by the lazy red-black algorithm for certain nonlinear
patterns
* fixed a bug in the module system where errors in modules constructed
for module expressions could cause a crash
* memo attribute reimplemented using hash consing

Overview of Changes in Maude alpha94a
=====================================
* fixed bug where downTerm() could return terms in the wrong kind
* changed handling of operator names that are a single special
  character
* implemented compound cycle breaking for unification
* optimizations for ACU unification
* changed handling of variable bindings for unification

Overview of Changes in Maude alpha94
====================================
* fixed bug where hash consing wasn't being used for model checking
  after all.
* fixed bug where empty sort declaration crashed show module command
* fixed bug where op->op mapping in a theory-view could be ignored if
  followed by an op->term mapping in another view
* fixed bug in upView() where op->term mappings were not being lifted
  to the metalevel correctly.
* fixed potential bug in garbage collection of dags produced by
unification if rewriting takes place between the generation of two
unifiers
* partial implementation of ACU unification.

Overview of Changes in Maude 2.5 (alpha93d2)
============================================
* BOOL-OPS split off BOOL in prelude

Overview of Changes in Maude alpha93d
=====================================
* fixed bug where fail term attachments to polymorphs cause crash
* fixed bug where flattened meta-modules produced by upModule() still
  had parameters

Overview of Changes in Maude alpha93c
=====================================
* fixed bug where upView was producing bad metaViews

Overview of Changes in Maude alpha93b
=====================================
* fixed bug in handing of metaRenamings

Overview of Changes in Maude alpha93a
=====================================
* changed AC constraint propagation algorithm to reduce the risk of
  exponential blow up at semi-compile time
* changed free theory constraint propagation algorithm to reduce the
  risk of exponential blow up at semi-compile time

Overview of Changes in Maude alpha93
====================================
* fixed performance bug with huge AC/ACU right hand sides
* fixed symmetric performace bug in A/AU theory
* fixed a A/AU rewriting with extension bug
* graceful recovery from tabs in string literals
* optimizations for construction of rhs instances
* bug where single token op names containing a string part were
  considered to have mixfix syntax
* unification code cleanup and potential bug fixed

Overview of Changes in Maude alpha92c
=====================================
* fixed metaPrettyPrint() bug in assoc, with paren case
* tail recusion elimination for dag node comparison
* various low level optimizations

Overview of Changes in Maude alpha92b
=====================================
* fixed failure to GC in rules only search
* fixed unstackable flag bug in CUI theory
* first attempt at hash consing for search/model checking
* unrewritable/unstackable optimization for search/model checking

Overview of Changes in Maude alpha92a
=====================================
* fixed BDD variable bug introduced by lazy computation of symbol sort
  calculation BDDs in alpha92
* fixed bug where free, fresh variables were not constrained to have a
  valid sort
* partly fixed a performance bug in constraint propagaion analysis
  phase of pattern compilation
* partial support for strat in metalevel builtins

Overview of Changes in Maude alpha92
====================================
* fixed a bug in unification sort calculations on polymorphic symbols
* if_then_else_fi now uses generic sort mechanism and can give
  preregularity warnings
* fixed module reparsing bug
* fixed CUI matcher bug
* fixed pending unification stack bug
* added rewrite condition fragments to search command
* fixed instantiation by theory-view bug
* added meta-view syntax and upView() operator
* first attempt at meta-interpreter

Overview of Changes in Maude 2.4 (alpha91d)
===========================================
* fixed AU term normalization bug

Overview of Changes in Maude alpha91c
=====================================
* Special case optimization for AC/ACU matching with extension

Overview of Changes in Maude alpha91b
=====================================
* Removed extranous debugging print statement

Overview of Changes in Maude alpha91a
=====================================
* Now solve diophantine equations over ints rather than mpzs for
  unification
* Extended unify command to handle systems
* Added print attribute
* Fixed Diophantine solver bug for results over 2^31 - 1
* Install .maude files in the data directory
* Fixed free theory discrimination net subsumption bug
* Fixed gcc4 incompatibilities
* Outlawed overloading operations from a parameter theory
* Fixed longstanding stdout/stderr synchonization bugs

Overview of Changes in Maude alpha91
====================================
* fixed bug where natSystemSolve() would lose hooks during importation
* fixed bug where unify command was not cleaning up after bad
  unification problem

Overview of Changes in Maude alpha90a
=====================================
* added stack overflow handling using libsigsegv
* semi-compilation of right hand sides optimized for huge right hand
  sides 
* construnction of free theory discrimination nets optimized for large
  numbers of equations

Overview of Changes in Maude alpha90
====================================
* new unification combination scheme to avoid AC cycling bug
* C unification is smarter about avoiding redundant unifiers
* reorganized surface syntax parser to allow deeply nested terms
* more overparsing 

Overview of Changes in Maude alpha89j (not released)
====================================================
* fixed bug that cause solved form subproblems to be lost in
  commutative unification
* added single redex per state narrowing option

Overview of Changes in Maude alpha89i
=====================================
* fixed two bugs which caused narrowing structures not to be deleted
* allow multiple calls to cached desent functions with same arguments
  to be efficient in most cases
* added another narrowing descent function

Overview of Changes in Maude alpha89h
=====================================
* crude support for narrowing
* fixed bug with condition fragment collapses during processing
* fixed memory leak in AU term collapses

Overview of Changes in Maude alpha89g
=====================================
* fixed selection from basis bug in AC unification algorithm
* allow unification to work on ground terms from unimplemented
  theories; made recovery in unimplemented cases consistent

Overview of Changes in Maude alpha89f
=====================================
* fixed bug where large AC dags could get normalized into tree form
  during unification with resulting chaos
* fixed C unification breakage from alpha89c

Overview of Changes in Maude alpha89e
=====================================
* fixed bug where we were deleting unification subproblems twice
* fixed module name in "no module" warning

Overview of Changes in Maude alpha89d
=====================================
* fixed bug where we were not reserving enough BDD variables for free
  variable sorts

Overview of Changes in Maude alpha89c
=====================================
* fixed bug iter theory matching with extension could return a match
  where the matched portion was alien
* added unification with extension
* reimplement meta-unification interface to support control over fresh
  variable names and disjoint unification
* allow spaces in file names using \ and "" conventions

Overview of Changes in Maude alpha89b
=====================================
* fixed bug where early unification failure caused memory corruption

Overview of Changes in Maude alpha89a
=====================================
* fixed bug where syntax could leave renaming in bad state
* fixed bug where were were passing variable->BDD mappings by value
rather than by reference
* fixed bug where we weren't clear new substitutions in CUI
unification
* fixed bug where we weren't deleting subproblems in unification
problems

Overview of Changes in Maude alpha89
====================================
* fixed bug where new unsorted unifier would not be look for after an
  unsorted unifier failed to have at least one sorted solution
* fixed bug where non-unifiers were generated in deeply nested
  commutative unification examples
* fixed bug where command line files were ignored with -no-prelude
  flag
* use dag solved forms for unification
* first support for AC unification

Overview of Changes in Maude 2.3 (alpha88f)
===========================================
* added commutative unification
* fixed free theory instantiation bug
* fixed sort calculation of S_Theory terms bug
* fixed unification with too many variables bug
* added iter theory unification

Overview of Changes in alpha88e
===============================
* string, qid and float constants allowed in unification
* fixed unify f(X, Y) =? f(Y, X)  bug

Overview of Changes in Maude alpha88d
=====================================
* set trace builtin on/off command
* state caching in strategy language
* first suppport for unification

Overview of Changes in Maude alpha88c
=====================================
* extra advisories in metalevel
* min/max operators in FLOAT
* slight change to search semantics
* metalevel projection functions now support parameterized metamodules
* fixed kind printing bug in metaPrettyPrint()
* erwrite supports limit and continue

Overview of Changes in Maude alpha88b
=====================================
* minor syntactic changes to appease gcc 4.1
* minor importation changes in prelude.maude and model-checker.maude
* fixed extension tracing bugs in search/model checker, strategy
  language and metalevel
* revised/extended strategy language; cont now works with srew
* fixed trace condition bug

Overview of Changes in Maude alpha88a
=====================================
* many changes to the prelude to fix unsoundness concerns
* process based reimplementation of strategy language
* better overparsing for operator declarations
* fixed bug with views mapping to terms from FLOAT/STRING/QID
* fixed bug in AU unique collapse matcher
* fixed bug that allowed parsing of parameterized theories
* fixed upModule() bug affecting renamings
* fixed metaXmatch() kind bug introduced by alpha86 fix
* subset tests for SET and SET*
* predefined term ordering module

Overview of Changes in Maude alpha88
====================================
* fixed more sufficient completeness issues
* search command now takes a depth bound
* added metaNormalize()
* added machine ints module

Overview of Changes in Maude alpha87a
=====================================
* fixed bug in ! strategy combinator
* fixed long standing bug in look up code for assoc ops

Overview of Changes in Maude alpha87
====================================
* crude first version of strategy language

Overview of Changes in Maude 2.2 (alpha86e)
===========================================
* fixed long standing metalevel prec bug

Overview of Changes in Maude alpha86d2
======================================
* reorganized metalevel list sorts to fix sufficient completeness
  problem 

Overview of Changes in Maude alpha86d
=====================================
* fixed stale pointer bug in view reevaluation
* minor fixes to prelude.maude
* fixed uninitialized format attribute bug
* fixed parameter theory module expression memory leak
* fixed polymorph identity memory leak
* fixed polymorph identity processing bug
* added and used QID-SET fmod
* fixed metamodule cache deletion bug
* sortLeq and lesserSort now work on types

Overview of Changes in Maude alpha86c
=====================================
* improved recovery from surface syntax errors
* added DEFAULT fth, various views and ARRAY fmod
* added LIST-AND-SET fmod
* added linear Diophantine solver
* warn about object level duplicate attributes
* fixed backquote in created module name bug
* fixed view ACU op->term mapping bug
* added -no-wrap command line option
* disallow parameter passing in nonfinal instantiations
* allow renaming of modules with bound parameters

Overview of Changes in Maude alpha86b
=====================================
* module garbage collection bug fixed
* metasummation bug fixed
* target modules with free parameters no longer allowed in views
* illegal importations no longer tolerated
* views can no longer map module defined stuff
* renamings can no longer map parameter defined stuff
* operator mappings now allowed in views
* dependency tracking supports views
* meta support for parameterization
* identity elements added for various structures in prelude

Overview of Changes in Maude alpha86a
=====================================
* fixed parameter checking bug for modules with both free and bound
  parameters
* structured sorts printed correctly in various places
* theory-views now pushed into parameterized sorts
* new naming convention for otf modules
* bound parameter instantiation now handled like Full Maude
* -no-advise command line flag
* declined messages to external objects generate advisories

Overview of Changes in Maude alpha86
====================================
* fixed loop mode \/ bug
* metaPrettyPrint() now supports options
* preregularity and constructor consistancy errors now produce a
  single informative warning
* set trace rewrite and set trace body options
* fixed metaXmatch() kind clash bug
* SO_REUSEADDR flag set on server sockets
* first attempt at parameterization in module system

Overview of Changes in Maude alpha85a
=====================================
* fixed more sufficient completeness issues in the prelude
* metadata attribute now allowed for operator declarations
* added crude support for sockets as external objects

Overview of Changes in Maude alpha85
====================================
* added min/max functions to number hierarchy
* fixed bug in up'ing FloatOpSymbol hook
* fixed sufficient completeness issues in the prelude
* fixed a bug in up'ing terms which gave kind variables the wrong
  sort
* glbSorts() now handles kinds
* show profile now includes percentages
* show path labels command added
* metaSearchPath() added
* set clear rules on/off command added
* maximalAritySet() added

Overview of Changes in Maude alpha84d
=====================================
* fixed 0.0 ^ -1.0 bug
* module selectors now support theories

Overview of Changes in Maude alpha84c
=====================================
* added random number generation
* added counters
* trace applications in metaApply()/metaXapply()

Overview of Changes in Maude 2.1.1 (alpha84b.2)
===============================================
* fixed op renaming bug

Overview of Changes in Maude alpha84b.1
=======================================
* fixed AU sort calculation bug

Overview of Changes in Maude alpha84b
=====================================
* set protect/extend <module> on/off added, BOOL now protected
* fixed upModule() bug wrt CUI_NumberSymbol and ACU_NumberSymbol hooks
* theory syntax and meta-syntax added
* fixed label renaming bug
* overparsing added
* warnings added for illegal ad hoc overloading
* rudimentary checking for bubble hooks
* fixed missing id importation bug

Overview of Changes in Maude 2.1 (alpha84)
==========================================
* added -no-banner flag
* fixed bug where syntax errors corrupted memory
* added rudimentary test suite

Overview of Changes in Maude alpha83a
=====================================
* fixed crash that occurred when bubbles are imported
* fixed memory corruption when copying persistent representations
* fixed crash on imported module overwrite following a descent
  function failure
* simple module expressions are now supported at both the object and
  metalevel 
* bashing together unrelated sorts and ops is now legal
* added show modules command

Overview of Changes in Maude alpha83
====================================
* made polymorphs explicit with poly attribute
* added many new metalevel functions
* fixed meta-context iter bug
* fixed object level Bubble-Exclude bug
* show all/show module now prints specials

Overview of Changes in Maude alpha82
====================================
* fixed crash that occurred when printing redeclaration of sort error
  from the metalevel
* extended quo/rem/gcd/lcm/divides to Rats
* made constructor coloring work corectly for iter operators
* changed operational semantics of owise equations wrt nondefault
  operator stategies
* fixed bugs in show module/show all commands
* fixed metaPrettyPrint kind variable bug
* fixed break point with builtin op seg fault
* added upTerm() and downTerm()
* Infinity/-Infinity now work on FreeBSD & MacOSX
* building with Tecla is now optional

Overview of Changes in Maude 2.0.1 (alpha81)
============================================
* switched build system to autoconf/automake
* many portability fixes
* added --help and --version flags
* fixed infinite recursion with unary empty syntax bug
* internal ordering on Qids is now alphabetical
* fixed serious bugs in the ACU matcher