root/trunk/CspCASL @ 11231

Name Size Rev Age Last Change
../
Doku 3294 5 years gimblett: 2004.10.21.1115 AMG First stage of cleaning up CSP-CASL sources: added a …
test 9689 21 months gimblett: CspCASL - bugfix in static analysis
AS_CspCASL.der.hs 1.2 kB 11215 11 months csliam: Large commit - improved static analysis of cspcasl and translation of …
AS_CspCASL_Process.der.hs 3.4 kB 11228 11 months csliam: Added simplification of CspCASL sentences, currently this is turned off …
Core_CspCASL.hs 2.4 kB 10471 16 months gimblett: CspCASL - line wrapping fixes
CspCASL_Keywords.hs 2.1 kB 9495 22 months gimblett: CspCASL - integrating CspCASL symbols into LaTeX pretty printing
CspProver_Consts.hs 12.6 kB 11217 11 months csliam: Static analysis of CspCASL now returns some events as fully qualified …
ideas 1.9 kB 6425 3 years 5till: *** empty log message ***
LocalTop.hs 3.5 kB 10428 16 months maeder: removed more than two consecutive blank lines
Logic_CspCASL.hs 5.4 kB 11226 11 months csliam: Implemented SimplySen? for CspCASL
Makefile 1.0 kB 9689 21 months gimblett: CspCASL - bugfix in static analysis
Morphism.hs 1.9 kB 11231 11 months csliam: Static analysis of CspCASL now adds channel names and process names to the …
Parse_CspCASL.hs 2.9 kB 9618 21 months gimblett: CspCASL - parser tidying
Parse_CspCASL_Process.hs 7.7 kB 10298 17 months maeder: globally replaced PosItem? and UpPos? with GetRange?
Print_CspCASL.hs 8.0 kB 11228 11 months csliam: Added simplification of CspCASL sentences, currently this is turned off …
SignCSP.hs 8.7 kB 11228 11 months csliam: Added simplification of CspCASL sentences, currently this is turned off …
SimplifySen.hs 3.1 kB 11230 11 months csliam: improved formating of code
StatAnaCSP.hs 31.2 kB 11231 11 months csliam: Static analysis of CspCASL now adds channel names and process names to the …
testwrap.hs 12.0 kB 9689 21 months gimblett: CspCASL - bugfix in static analysis
Trans_Consts.hs 2.6 kB 11215 11 months csliam: Large commit - improved static analysis of cspcasl and translation of …
Trans_CspProver.hs 7.6 kB 11215 11 months csliam: Large commit - improved static analysis of cspcasl and translation of …
  • Property svn:ignore set to
    ATC_CspCASL.hs
    ATC_CspCASL.der.hs
    AS_CspCASL.hs
    AS_CspCASL_Process.hs
Note: See TracBrowser for help on using the browser.