[/] [trunk/] - Rev 27

Filtering Options

Revisions
Search for
Clear current filter
Rev Log message Author Age Path
27 Bug fix: invertActionAndAddInvariant failed to add selection bindings to the
environment passed to TransitionFlipper.andExpr, resulting in
NonClockTerm exceptions for valid terms.		 tbourke 1880d 14h 14m /trunk/
26 The ClockExpression.fromExpr function was faulty because Expression.filter
did not properly respect forall and exists bindings. This has been fixed by
shifting filter into the Environment module.		 tbourke 1880d 16h 01m /trunk/
25 Improve the error message when an mcs51 file cannot be opened. tbourke 1959d 18h 41m /trunk/
24 Minor tuning to placement of labels.
Add items to TODO list.		 tbourke 1959d 18h 54m /trunk/
23 Minor changes to build files. tbourke 1969d 17h 01m /trunk/
22 Add path maps to allow for compilation under Unix and Windows. tbourke 1995d 07h 10m /trunk/
21 Hacks to work under Cygwin.
Fix for selection ids in multiple dimensions of channel array.		 tbourke 1995d 07h 26m /trunk/
20 Update compilation under MLton.
Add multiply clocks feature.		 tbourke 1996d 14h 27m /trunk/
19 Implement the new canswap version that checks for exist/forall conflicts.
Fixed a bug that prevented the layout of transitions for urgent channels.		 tbourke 2002d 19h 43m /trunk/
18 Create layout submodule and copy scattered functions into it.
Fix up layout of mcs51 models.		 tbourke 2009d 16h 34m /trunk/
17 Add MCS51 feature. tbourke 2020d 09h 39m /trunk/
16 Add .ml files for building with Poly/ML. tbourke 2023d 20h 57m /trunk/
15 Fix bugs in renaming. tbourke 2027d 14h 22m /trunk/
14 Cleanup mlyacc files. tbourke 2027d 14h 29m /trunk/
13 Rename into MoscowML/sml.net format. tbourke 2027d 14h 29m /trunk/
12 Rename into MoscowML/sml.net format. tbourke 2027d 14h 32m /trunk/
11 Rename into MoscowML/sml.net format. tbourke 2027d 14h 33m /trunk/
10 Add a workaround for the lack of a Windows structure in SML/NJ tbourke 2029d 09h 58m /trunk/
9 Add a mechanism for putting the subversion revision into the executable. tbourke 2029d 13h 59m /trunk/
8 Add Id to Makefile. tbourke 2029d 14h 17m /trunk/