• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for tamarin-prover-0.4.0.0 source tarball

tamarin-prover-0.4.0.0/

• .ghci
• LICENSE
• Setup.hs
• tamarin-prover.cabal
• data/
  • AUTHORS
  • CHANGES
  • LICENSE
  • intruder_variants_dh.spthy
  • css/
    • jquery-contextmenu.css
    • tamarin-prover-ui.css
    • smoothness/
      • jquery-ui.css
      • images/
        • ui-bg_flat_0_aaaaaa_40x100.png
        • ui-bg_flat_75_ffffff_40x100.png
        • ui-bg_glass_55_fbf9ee_1x400.png
        • ui-bg_glass_65_ffffff_1x400.png
        • ui-bg_glass_75_dadada_1x400.png
        • ui-bg_glass_75_e6e6e6_1x400.png
        • ui-bg_glass_95_fef1ec_1x400.png
        • ui-bg_highlight-soft_75_cccccc_1x100.png
        • ui-icons_222222_256x240.png
        • ui-icons_2e83ff_256x240.png
        • ui-icons_454545_256x240.png
        • ui-icons_888888_256x240.png
        • ui-icons_cd0a0a_256x240.png
  • doc/
    • MANUAL
  • etc/
    • filetype.vim
    • spthy.vim
  • examples/
    • csf12/
      • Artificial.spthy
      • DH2_original.spthy
      • JKL_TS1_2004_KI.spthy
      • JKL_TS1_2008_KI.spthy
      • JKL_TS2_2004_KI_wPFS.spthy
      • JKL_TS2_2008_KI_wPFS.spthy
      • JKL_TS3_2004_KI_wPFS.spthy_nonterm
      • JKL_TS3_2008_KI_wPFS.spthy_nonterm
      • KAS1.spthy
      • KAS2_eCK.spthy
      • KAS2_original.spthy
      • KEA_plus_KI_KCI.spthy
      • KEA_plus_KI_KCI_wPFS.spthy
      • KEA_plus_eCK.spthy
      • NAXOS_eCK.spthy
      • NAXOS_eCK_PFS.spthy
      • STS_MAC.spthy
      • STS_MAC_fix1.spthy
      • STS_MAC_fix2.spthy
      • SignedDH_PFS.spthy
      • SignedDH_eCK.spthy
      • UM_PFS.spthy
      • UM_eCK.spthy
      • UM_eCK_noKCI.spthy
      • UM_wPFS.spthy
    • stable/
      • InvariantsExample.spthy
      • TLS.spthy
      • Tutorial.spthy
  • img/
    • ajax-loader.gif
    • autoprove.png
    • delete.png
    • edit.png
    • favicon.ico
    • option-off.png
    • option-on.png
    • tamarin-logo-128.png
    • tamarin-logo-3-0-0.png
    • tamarin-logo-3-1-0.png
    • tamarin-logo-32.png
    • tamarin-logo-64.png
    • tamarin-logo-96.png
  • js/
    • jquery-contextmenu.js
    • jquery-cookie.js
    • jquery-layout.js
    • jquery-superfish.js
    • jquery-ui.js
    • jquery.js
    • tamarin-prover-ui.js
• interactive-only-src/
  • Lexer.x
  • Paths_tamarin_prover.hs
• src/
  • Main.hs
  • Main_Full.hs
  • Main_NoGui.hs
  • Theory.hs
  • Main/
    • Console.hs
    • Environment.hs
    • TheoryLoader.hs
    • Utils.hs
    • Mode/
      • Batch.hs
      • Interactive.hs
      • Intruder.hs
      • Test.hs
  • Theory/
    • AbstractInterpretation.hs
    • Atom.hs
    • Fact.hs
    • Formula.hs
    • IntruderRules.hs
    • Lexer.hs
    • Parser.hs
    • Pretty.hs
    • Proof.hs
    • Rule.hs
    • RuleSet.hs
    • RuleVariants.hs
    • Signature.hs
    • Wellformedness.hs
    • Proof/
      • CaseDistinctions.hs
      • EquationStore.hs
      • Guarded.hs
      • Sequent.hs
      • SolveGuarded.hs
      • Types.hs
      • Sequent/
        • Dot.hs
  • Web/
    • Dispatch.hs
    • Hamlet.hs
    • Handler.hs
    • Instances.hs
    • Settings.hs
    • Theory.hs
    • Types.hs