Search:
Login
Preferences
Help/Guide
About Trac
Wiki
Timeline
Roadmap
Browse Source
View Tickets
Search
Context Navigation
View Latest Revision
source:
src
/
LTL
/
LTL.ma
Revision Log Mode:
Stop on copy
Follow copies
Show only adds and deletes
View log starting at
and back to
Show at most
revisions per page.
Show full log messages
Legend:
Added
Modified
Copied or renamed
Diff
Rev
Age
Author
Log Message
(edit)
@1233
9 years
sacerdot
1) Ported to Brian's new dependent type for fullexec 2) Universe level …
(edit)
@1222
9 years
sacerdot
LTL fully ported to the joint syntax.
(edit)
@1183
9 years
mulligan
removed parameterised label types in the three lowest level languages
(edit)
@1179
9 years
mulligan
changes to ertl, ltl and lin to use new notion of joint params. ertl …
(edit)
@1171
9 years
mulligan
changes made on claudio's request: changed order of nesting in the …
(edit)
@1168
9 years
sacerdot
Joint statements parameterized over a record.
(edit)
@1166
9 years
mulligan
moved joint ltl lin files into their own directory. more changes to …
(edit)
@1164
9 years
mulligan
ltl to lin working again, more changes to joint syntax
(edit)
@1163
9 years
mulligan
even more streamlining and fixes to get things type checking
(edit)
@1161
10 years
mulligan
changes from today: merged ertl, ltl and lin into one datatype to …
(edit)
@1132
10 years
mulligan
reunified ltl and lin instruction type, removing lifting in ltl and …
(edit)
@1110
10 years
mulligan
changes to get ltl to lin pass to work properly
(edit)
@1089
10 years
mulligan
more changes from earlier in the week
(edit)
@1082
10 years
mulligan
work from today on ertl -> ltl pass
(edit)
@757
10 years
mulligan
Lots more fixing to get both front and backends using same conventions …
(edit)
@753
10 years
mulligan
Work from today.
(edit)
@723
10 years
mulligan
Added dependent type internalising the invariant that LIN function …
(edit)
@722
10 years
mulligan
Committing changes from today. Several files do not typecheck.
(edit)
@716
10 years
mulligan
Finished translating LTL statements to LIN statements. Need to …
(edit)
@714
10 years
mulligan
Work on translation from LTL to LIN.
(add)
@713
10 years
mulligan
Commit of initial LTL files.
Note:
See
TracRevisionLog
for help on using the revision log.
Download in other formats:
RSS Feed
ChangeLog