source: src/LIN @ 1593

Name Size Rev Age Author Last Change
../
semantics.ma 1.9 KB 1451   10 years sacerdot 1. All axioms in LIN/semantics.ma closed 2. succ_pc and …
LINToASM.ma 14.8 KB 1522   9 years mulligan changes to preamble and lin to asm pass, resolved conflict in interpret
LIN.ma 732 bytes 1379   10 years sacerdot Invariant on LIN code removed. In Paris it was decided that a simpler …
joint_LTL_LIN_semantics.ma 3.5 KB 1451   10 years sacerdot 1. All axioms in LIN/semantics.ma closed 2. succ_pc and …
joint_LTL_LIN.ma 416 bytes 1378   10 years sacerdot New file LIN/joint_LTL_LIN.ma to factorize out the syntactic …
Note: See TracBrowser for help on using the repository browser.