|
|
@2462
|
8 years |
tranquil |
separated in back end values program counters from code pointers …
|
|
|
@2457
|
8 years |
tranquil |
rewritten function handling in joint
swapped call_rel with ret_rel in …
|
|
|
@2437
|
8 years |
tranquil |
generalised calls to calls with pointers
|
|
|
@2422
|
8 years |
tranquil |
adapted joint to cl_call f
|
|
|
@2286
|
9 years |
tranquil |
Big update!
* merge of all _paolo variants
* reorganised some depends …
|
|
|
@1601
|
9 years |
sacerdot |
Files ported to new version of the standard library.
|
|
|
@1471
|
9 years |
mulligan |
finished erasure and generalised so as to work on arbitrary joint programs
|
|
|
@1380
|
9 years |
sacerdot |
LTL and LIN semantics factorized out in joint_LTL_LIN_semantics.ma. …
|
|
|
@1282
|
9 years |
sacerdot |
Cosmetic change: names of joint statements/instructions shortened and …
|
|
|
@1280
|
9 years |
sacerdot |
Some progress in the porting of RTLAbstoRTL to the joint syntax:
1) …
|
|
|
@1275
|
9 years |
sacerdot |
RTL ported to joint syntax, but:
1. bug discovered: opaccs should …
|
|
|
@1271
|
9 years |
mulligan |
finished, kind of
|
|
|
@1270
|
9 years |
sacerdot |
Making RTL syntax an instance of Joint.
|
|
|
@1260
|
9 years |
mulligan |
commit for csc
|
|
|
@1255
|
9 years |
sacerdot |
Major mistake fixed: op1 and op2 were assuming the source and dest …
|
|
|
@1254
|
9 years |
sacerdot |
More progress towards porting of RTLtoERTL to joint syntax.
|
|
|
@1252
|
9 years |
sacerdot |
graph_params added to joint/Joint.ma, together with useful common …
|
|
|
@1250
|
9 years |
sacerdot |
1. Sigma types projections moved to utilities/extralib.ma
2. Extended …
|
|
|
@1246
|
9 years |
sacerdot |
Yet another change to Joint.ma to accomodate all passes.
The concrete …
|
|
|
@1245
|
9 years |
sacerdot |
RTLtoERTL and LINToASM: porting to new Joint data type in progress. …
|
|
|
@1236
|
9 years |
sacerdot |
LTLToLin.ma completed (up to a couple of daemons used to provide dead …
|
|
|
@1233
|
9 years |
sacerdot |
1) Ported to Brian's new dependent type for fullexec
2) Universe level …
|
|
|
@1228
|
9 years |
mulligan |
some more changes
|
|
|
@1220
|
9 years |
sacerdot |
ERTL ported to the new joint syntax.
|
|
|
@1182
|
10 years |
mulligan |
changes to semantics: removing parameterised "next" element in joint …
|
|
|
@1176
|
10 years |
sacerdot |
…
|
|
|
@1171
|
10 years |
mulligan |
changes made on claudio's request: changed order of nesting in the …
|
|
|
@1169
|
10 years |
sacerdot |
JointRTLtoLIN moved to Joint
|
|
|
@1167
|
10 years |
mulligan |
…
|
|
copied from src/joint/JointLTLLIN.ma:
|
|
|
@1166
|
10 years |
mulligan |
moved joint ltl lin files into their own directory. more changes to …
|