March 1998 Commit Log

Number of Commits:

90

Number of Active Developers:

1

x97davka 1998-03-31 19:50 #90 Rev.: 238

Worked some more static expression analysis.

191 lines of code changed in 8 files:

• modeq: builtin.rml (+35 -41), classinf.rml (+49 -9), env.rml (+11 -11), exp.rml (+9 -134), inst.rml (+12 -12), staticexp.rml (+55 -9), types.rml (+12 -4)
• modeq/ast: modgram.g (+8 -8)

x97davka 1998-03-31 15:32 #89 Rev.: 237

Fixed static analysis and constant propagation of expressions.

819 lines of code changed in 13 files:

• modeq: Makefile (+1), builtin.rml (+33 -36), classinf.rml (+10 -1), connect.rml (+1 -1), dump.rml (+4 -102), env.rml (+55 -32), exp.rml (+311 -126), inst.rml (+43 -32), prefix.rml (+2 -1), staticexp.rml (new 336), types.rml (+13 -17)
• modeq/ast: attrib.c (+6 -2), modgram.g (+4 -2)

x97davka 1998-03-26 21:09 #88 Rev.: 236

*** empty log message ***

72 lines of code changed in 6 files:

• modeq/report: semantik (+28 -1), syntax (+17 -3)
• modeq/testsuite: connect.mdc (+2 -1), record.mdc (new 11), type-fail-1.mdc (new 5), type-fail-2.mdc (new 9)

x97davka 1998-03-26 21:08 #87 Rev.: 235

More on restrictions and stuff

141 lines of code changed in 1 file:

• modeq/report: report.tex (+141 -5)

x97davka 1998-03-26 21:08 #86 Rev.: 234

Check more restrictions

23 lines of code changed in 1 file:

• modeq: inst.rml (+23 -16)

x97davka 1998-03-26 21:08 #85 Rev.: 233

Treat predefined types separately.

52 lines of code changed in 1 file:

• modeq: classinf.rml (+52 -3)

x97davka 1998-03-26 21:07 #84 Rev.: 232

Use R_PREDEFINED.

7 lines of code changed in 1 file:

• modeq: builtin.rml (+7 -7)

x97davka 1998-03-25 17:22 #83 Rev.: 231

Updated with ClassInf

9 lines of code changed in 1 file:

• modeq/ast: modgram.g (+9 -8)

x97davka 1998-03-25 17:21 #82 Rev.: 230

Restructured with ClassInf

12 lines of code changed in 1 file:

• modeq: types.rml (+12 -8)

x97davka 1998-03-25 17:21 #81 Rev.: 229

# dump

1 lines of code changed in 1 file:

• modeq: main.rml (+1 -1)

x97davka 1998-03-25 17:21 #80 Rev.: 228

Keep a ClassInf.State and check it sometimes

119 lines of code changed in 1 file:

• modeq: inst.rml (+119 -93)

x97davka 1998-03-25 17:20 #79 Rev.: 227

# cosmetic

1 lines of code changed in 1 file:

• modeq: explode.rml (+1 -1)

x97davka 1998-03-25 17:20 #78 Rev.: 226

Save the ClassInf.State

28 lines of code changed in 1 file:

• modeq: env.rml (+28 -22)

x97davka 1998-03-25 17:20 #77 Rev.: 225

Use ClassInf.print_restr

5 lines of code changed in 1 file:

• modeq: dump.rml (+5 -31)

x97davka 1998-03-25 17:19 #76 Rev.: 224

New file

98 lines of code changed in 1 file:

• modeq: classinf.rml (new 98)

x97davka 1998-03-25 17:19 #75 Rev.: 223

Use ClassInf

8 lines of code changed in 1 file:

• modeq: builtin.rml (+8 -7)

x97davka 1998-03-25 17:19 #74 Rev.: 222

Moved ClassRestricion

1 lines of code changed in 1 file:

• modeq: absyn.rml (+1 -9)

x97davka 1998-03-25 17:19 #73 Rev.: 221

Added classinf.rml

1 lines of code changed in 1 file:

• modeq: Makefile (+1)

x97davka 1998-03-23 19:13 #72 Rev.: 220

Use arrays

4 lines of code changed in 1 file:

• modeq/testsuite: connect.mdc (+4 -4)

x97davka 1998-03-23 19:13 #71 Rev.: 219

Expanded

72 lines of code changed in 1 file:

• modeq/report: report.tex (+72 -12)

x97davka 1998-03-23 19:13 #70 Rev.: 218

New file

1 lines of code changed in 1 file:

• modeq/report: Makefile (new 1)

x97davka 1998-03-23 19:13 #69 Rev.: 217

# added ps

1 lines of code changed in 1 file:

• modeq/report: .cvsignore (+1)

x97davka 1998-03-23 19:12 #68 Rev.: 216

Use new Exp.Subscript definition

4 lines of code changed in 1 file:

• modeq/ast: modgram.g (+4 -12)

x97davka 1998-03-23 19:12 #67 Rev.: 215

# more tokens

3 lines of code changed in 1 file:

• modeq/ast: attrib.c (+3)

x97davka 1998-03-23 19:12 #66 Rev.: 214

# cosmetic

3 lines of code changed in 1 file:

• modeq: inst.rml (+3 -3)

x97davka 1998-03-23 19:12 #65 Rev.: 213

Added ceval

129 lines of code changed in 1 file:

• modeq: exp.rml (+129 -3)

x97davka 1998-03-23 19:11 #64 Rev.: 212

Added -lm to LDFLAGS

1 lines of code changed in 1 file:

• modeq: Makefile (+1 -1)

x97davka 1998-03-23 13:43 #63 Rev.: 211

Fixade lite.

17 lines of code changed in 1 file:

• modeq/testsuite: connect.mdc (+17 -3)

x97davka 1998-03-23 13:43 #62 Rev.: 210

*** empty log message ***

22 lines of code changed in 1 file:

• modeq/report: report.tex (+22)

x97davka 1998-03-23 13:43 #61 Rev.: 209

Specify inner and outer connectors.

59 lines of code changed in 1 file:

• modeq: inst.rml (+59 -41)

x97davka 1998-03-23 13:43 #60 Rev.: 208

Implemented outer and inner connectors.

29 lines of code changed in 1 file:

• modeq: connect.rml (+29 -18)

x97davka 1998-03-18 18:58 #59 Rev.: 207

Now apparently illegal.

20 lines of code changed in 1 file:

• modeq/testsuite: connect.mdc (+20 -4)

x97davka 1998-03-18 18:58 #58 Rev.: 206

New stuff about connections

32 lines of code changed in 2 files:

• modeq/report: report.tex (+28), semantik (+4)

x97davka 1998-03-18 18:58 #57 Rev.: 205

New path to rmlc

1 lines of code changed in 1 file:

• modeq/ast: Makefile (+1 -1)

x97davka 1998-03-18 18:57 #56 Rev.: 204

Added better support for flow variables.
Changed to new "fail" style.

156 lines of code changed in 7 files:

• modeq: absyn.rml (+3 -3), connect.rml (+85 -4), exp.rml (+2 -3), explode.rml (+3 -3), inst.rml (+54 -38), mod.rml (+6 -6), types.rml (+3 -5)

x97davka 1998-03-18 18:56 #55 Rev.: 203

*** empty log message ***

0 lines of code changed in 1 file:

• modeq: Makefile (-2)

x97davka 1998-03-17 19:35 #54 Rev.: 202

Build connection sets.

107 lines of code changed in 1 file:

• modeq: inst.rml (+107 -98)

x97davka 1998-03-17 19:35 #53 Rev.: 201

Export dump_list

2 lines of code changed in 1 file:

• modeq: dump.rml (+2 -1)

x97davka 1998-03-17 19:34 #52 Rev.: 200

Added dump relations

56 lines of code changed in 1 file:

• modeq: connect.rml (+56 -3)

x97davka 1998-03-17 17:55 #51 Rev.: 199

*** empty log message ***

9 lines of code changed in 1 file:

• modeq/report: semantik (+9)

x97davka 1998-03-17 17:55 #50 Rev.: 198

Added eq_cref

36 lines of code changed in 1 file:

• modeq: exp.rml (+36)

x97davka 1998-03-17 17:55 #49 Rev.: 197

New file

103 lines of code changed in 1 file:

• modeq: connect.rml (new 103)

x97davka 1998-03-17 17:55 #48 Rev.: 196

Fixed .SUFFIXES finally

3 lines of code changed in 1 file:

• modeq: Makefile (+3 -9)

x97davka 1998-03-13 12:04 #47 Rev.: 195

*** empty log message ***

0 lines of code changed in 1 file:

• modeq/report: .cvsignore (new)

x97davka 1998-03-13 12:04 #46 Rev.: 194

First stab

0 lines of code changed in 1 file:

• modeq/report: report.tex (new)

x97davka 1998-03-12 21:30 #45 Rev.: 193

*** empty log message ***

15 lines of code changed in 4 files:

• modeq: Makefile (+4 -10), builtin.rml (+1 -1)
• modeq/testsuite: connect.mdc (+2 -1), shadow.mdc (+8 -4)

x97davka 1998-03-12 21:29 #44 Rev.: 192

Update according to changes in absyn.rml.

17 lines of code changed in 1 file:

• modeq/ast: modgram.g (+17 -14)

x97davka 1998-03-12 21:29 #43 Rev.: 191

Fixed include files.

1 lines of code changed in 1 file:

• modeq/ast: Makefile (+1 -1)

x97davka 1998-03-12 21:29 #42 Rev.: 190

Lots of new types.

47 lines of code changed in 1 file:

• modeq: types.rml (+47 -9)

x97davka 1998-03-12 21:28 #41 Rev.: 189

Keep track of subscripts.

19 lines of code changed in 1 file:

• modeq: prefix.rml (+19 -8)

x97davka 1998-03-12 21:28 #40 Rev.: 188

Changed dump a little.

12 lines of code changed in 1 file:

• modeq: mod.rml (+12 -15)

x97davka 1998-03-12 21:28 #39 Rev.: 187

Lots of new stuff and fixes. Now does pseudoconnecting.

138 lines of code changed in 1 file:

• modeq: inst.rml (+138 -79)

x97davka 1998-03-12 21:27 #38 Rev.: 186

Use Types.VarAttr.

10 lines of code changed in 1 file:

• modeq: explode.rml (+10 -13)

x97davka 1998-03-12 21:27 #37 Rev.: 185

Subscript and ComponentRef now lives here

39 lines of code changed in 1 file:

• modeq: exp.rml (+39 -23)

x97davka 1998-03-12 21:26 #36 Rev.: 184

Use Types.VarAttr.
Some new lookup relations.

59 lines of code changed in 1 file:

• modeq: env.rml (+59 -15)

x97davka 1998-03-12 21:26 #35 Rev.: 183

Change path to component_ref in some places

31 lines of code changed in 1 file:

• modeq: dump.rml (+31 -33)

x97davka 1998-03-12 21:25 #34 Rev.: 182

Moved Subscript and ComponentRef to exp.rml

7 lines of code changed in 1 file:

• modeq: absyn.rml (+7 -16)

x97davka 1998-03-09 17:46 #33 Rev.: 181

*** empty log message ***

34 lines of code changed in 4 files:

• modeq: Makefile (+2 -2)
• modeq/testsuite: connect.mdc (new 13), partial.mdc (new 14), shadow.mdc (+5 -1)

x97davka 1998-03-09 17:45 #32 Rev.: 180

Why connect() should be a special construct.

16 lines of code changed in 1 file:

• modeq/report: syntax (+16)

x97davka 1998-03-09 17:45 #31 Rev.: 179

Added CONNECT

14 lines of code changed in 2 files:

• modeq/ast: attrib.c (+1), modgram.g (+13 -10)

x97davka 1998-03-09 17:44 #30 Rev.: 178

New RML version

1 lines of code changed in 1 file:

• modeq/ast: Makefile (+1 -1)

x97davka 1998-03-09 17:44 #29 Rev.: 177

New file

9 lines of code changed in 1 file:

• modeq: types.rml (new 9)

x97davka 1998-03-09 17:44 #28 Rev.: 176

Build Types.Type
Use lookup_var_local where appropriate

88 lines of code changed in 1 file:

• modeq: inst.rml (+88 -48)

x97davka 1998-03-09 17:43 #27 Rev.: 175

New relation lookup_var_local
Use Types.Type in FrameVar

27 lines of code changed in 1 file:

• modeq: env.rml (+27 -16)

x97davka 1998-03-09 17:43 #26 Rev.: 174

Dump EQ_CONNECT

5 lines of code changed in 1 file:

• modeq: dump.rml (+5)

x97davka 1998-03-09 17:43 #25 Rev.: 173

Use Explode

9 lines of code changed in 1 file:

• modeq: builtin.rml (+9 -1)

x97davka 1998-03-09 17:43 #24 Rev.: 172

Treat connect() as a special construct.

1 lines of code changed in 1 file:

• modeq: absyn.rml (+1)

x97davka 1998-03-07 20:33 #23 Rev.: 171

New test

1 lines of code changed in 1 file:

• modeq/testsuite: shadow.mdc (new 1)

x97davka 1998-03-07 20:32 #22 Rev.: 170

Build if expressions

6 lines of code changed in 1 file:

• modeq/ast: modgram.g (+6 -7)

x97davka 1998-03-07 20:32 #21 Rev.: 169

Added mod_assignment

13 lines of code changed in 1 file:

• modeq: mod.rml (+13)

x97davka 1998-03-07 20:32 #20 Rev.: 168

*** empty log message ***

0 lines of code changed in 1 file:

• modeq: lform.rml (-9)

x97davka 1998-03-07 20:32 #19 Rev.: 167

Shdow assignment equations.

12 lines of code changed in 1 file:

• modeq: inst.rml (+12 -4)

x97davka 1998-03-07 20:31 #18 Rev.: 166

Save assignment modifications in the environment.

2 lines of code changed in 1 file:

• modeq: env.rml (+2 -10)

x97davka 1998-03-04 21:14 #17 Rev.: 165

New file

21 lines of code changed in 2 files:

• modeq/testsuite: const.mdc (new 21), extends.mdc (new)

x97davka 1998-03-04 21:13 #16 Rev.: 163

*** empty log message ***

19 lines of code changed in 4 files:

• modeq: .cvsignore (+2 -33), Makefile (+3)
• modeq/testsuite: modification.mdc (+1), protect.mdc (+13 -6)

x97davka 1998-03-04 21:13 #15 Rev.: 162

Fixed EXTENDS

2 lines of code changed in 1 file:

• modeq/ast: modgram.g (+2 -3)

x97davka 1998-03-04 21:13 #14 Rev.: 161

Use Explode

30 lines of code changed in 3 files:

• modeq: builtin.rml (+7 -3), env.rml (+20 -22), main.rml (+3 -7)

x97davka 1998-03-04 21:12 #13 Rev.: 160

Use Explode
Started to check "protected". Not done yet.

100 lines of code changed in 1 file:

• modeq: inst.rml (+100 -64)

x97davka 1998-03-04 21:12 #12 Rev.: 159

Debug message

4 lines of code changed in 1 file:

• modeq: explode.rml (+4 -1)

x97davka 1998-03-04 21:11 #11 Rev.: 158

Removed explosion code

0 lines of code changed in 1 file:

• modeq: absyn.rml (-104)

x97davka 1998-03-04 19:15 #10 Rev.: 157

Removed references to modAST.h

5 lines of code changed in 2 files:

• modeq/ast: Makefile (+4 -4), modgram.g (+1 -1)

x97davka 1998-03-04 19:14 #9 Rev.: 156

New file

76 lines of code changed in 1 file:

• modeq: explode.rml (new 76)

x97davka 1998-03-04 19:06 #8 Rev.: 155

Removed

5 lines of code changed in 2 files:

• modeq: Makefile (+3), main.rml (+2 -2)

x97davka 1998-03-04 18:07 #7 Rev.: 154

New files

22 lines of code changed in 3 files:

• modeq/testsuite: modification.mdc (new), protect.mdc (new 6), real.mdc (new 16)

x97davka 1998-03-04 18:05 #6 Rev.: 152

Fixed PUBLIC and PROTECTED

4 lines of code changed in 1 file:

• modeq/ast: modgram.g (+4 -5)

x97davka 1998-03-04 18:05 #5 Rev.: 151

*** empty log message ***

1 lines of code changed in 1 file:

• modeq/ast: Makefile (+1 -1)

x97davka 1998-03-04 18:04 #4 Rev.: 150

Fixed bug in merge.

22 lines of code changed in 1 file:

• modeq: mod.rml (+22 -196)

x97davka 1998-03-04 18:04 #3 Rev.: 149

Improved modification handling

50 lines of code changed in 1 file:

• modeq: inst.rml (+50 -31)

x97davka 1998-03-04 18:03 #2 Rev.: 148

Typo

1 lines of code changed in 1 file:

• modeq: dump.rml (+1 -1)

x97davka 1998-03-04 18:03 #1 Rev.: 147

Added dependencies

8 lines of code changed in 1 file:

• modeq: Makefile (+8 -2)

February 1998 »