├── .gitignore ├── .idea ├── .name ├── libraries │ ├── junit_4_10.xml │ ├── junit_4_10__2_.xml │ └── scala_actors_2_11_8.xml ├── misc.xml ├── modules.xml ├── sbt.xml ├── scala_compiler.xml ├── uiDesigner.xml └── vcs.xml ├── README.md ├── _config.yml ├── documentation ├── auxdoc │ ├── class-diagram.jpg │ ├── export.sh │ └── tracecontract-manual.html ├── doc │ ├── index.html │ ├── index.js │ ├── index │ │ ├── index-_.html │ │ ├── index-a.html │ │ ├── index-b.html │ │ ├── index-c.html │ │ ├── index-d.html │ │ ├── index-e.html │ │ ├── index-f.html │ │ ├── index-g.html │ │ ├── index-h.html │ │ ├── index-i.html │ │ ├── index-l.html │ │ ├── index-m.html │ │ ├── index-n.html │ │ ├── index-o.html │ │ ├── index-p.html │ │ ├── index-r.html │ │ ├── index-s.html │ │ ├── index-t.html │ │ ├── index-u.html │ │ ├── index-v.html │ │ └── index-w.html │ ├── lib │ │ ├── arrow-down.png │ │ ├── arrow-right.png │ │ ├── class.png │ │ ├── class_big.png │ │ ├── class_diagram.png │ │ ├── class_to_object_big.png │ │ ├── constructorsbg.gif │ │ ├── conversionbg.gif │ │ ├── defbg-blue.gif │ │ ├── defbg-green.gif │ │ ├── diagrams.css │ │ ├── diagrams.js │ │ ├── filter_box_left.png │ │ ├── filter_box_left2.gif │ │ ├── filter_box_right.png │ │ ├── filterbg.gif │ │ ├── filterboxbarbg.gif │ │ ├── filterboxbarbg.png │ │ ├── filterboxbg.gif │ │ ├── fullcommenttopbg.gif │ │ ├── index.css │ │ ├── index.js │ │ ├── jquery-ui.js │ │ ├── jquery.js │ │ ├── jquery.layout.js │ │ ├── modernizr.custom.js │ │ ├── navigation-li-a.png │ │ ├── navigation-li.png │ │ ├── object.png │ │ ├── object_big.png │ │ ├── object_diagram.png │ │ ├── object_to_class_big.png │ │ ├── object_to_trait_big.png │ │ ├── object_to_type_big.png │ │ ├── ownderbg2.gif │ │ ├── ownerbg.gif │ │ ├── ownerbg2.gif │ │ ├── package.png │ │ ├── package_big.png │ │ ├── packagesbg.gif │ │ ├── ref-index.css │ │ ├── remove.png │ │ ├── scheduler.js │ │ ├── selected-implicits.png │ │ ├── selected-right-implicits.png │ │ ├── selected-right.png │ │ ├── selected.png │ │ ├── selected2-right.png │ │ ├── selected2.png │ │ ├── signaturebg.gif │ │ ├── signaturebg2.gif │ │ ├── template.css │ │ ├── template.js │ │ ├── tools.tooltip.js │ │ ├── trait.png │ │ ├── trait_big.png │ │ ├── trait_diagram.png │ │ ├── trait_to_object_big.png │ │ ├── type.png │ │ ├── type_big.png │ │ ├── type_diagram.png │ │ ├── type_to_object_big.png │ │ ├── typebg.gif │ │ ├── unselected.png │ │ └── valuemembersbg.gif │ ├── package.html │ ├── sbt │ │ └── package.html │ └── tracecontract │ │ ├── DataBase$Fact.html │ │ ├── DataBase$FactOps.html │ │ ├── DataBase.html │ │ ├── Error.html │ │ ├── ErrorTrace.html │ │ ├── Formulas$BooleanOps.html │ │ ├── Formulas$ElsePart.html │ │ ├── Formulas$EventFormulaOps.html │ │ ├── Formulas$False$.html │ │ ├── Formulas$Formula.html │ │ ├── Formulas$IntOps.html │ │ ├── Formulas$IntPairOps.html │ │ ├── Formulas$ThenPart.html │ │ ├── Formulas$True$.html │ │ ├── Formulas.html │ │ ├── LivenessError.html │ │ ├── Message.html │ │ ├── Monitor.html │ │ ├── MonitorResult.html │ │ ├── PropertyResult.html │ │ ├── SafetyError.html │ │ ├── Severity$$ERROR$.html │ │ ├── Severity$$INFO$.html │ │ ├── Severity$$WARNING$.html │ │ ├── Severity$.html │ │ ├── Severity.html │ │ ├── Success.html │ │ └── package.html └── papers │ ├── tracecontract-fm-2011.pdf │ └── tracecontract-ladee.pdf ├── lib ├── junit-4.10.jar └── scala-2.12.1.tar ├── project ├── build.properties └── plugins.sbt └── src ├── main └── scala │ └── tracecontract │ ├── DataBase.scala │ ├── Debug.scala │ ├── Error.scala │ ├── ErrorTrace.scala │ ├── Formulas.scala │ ├── LivenessError.scala │ ├── Message.scala │ ├── Monitor.scala │ ├── MonitorResult.scala │ ├── Options.scala │ ├── PropertyResult.scala │ ├── SafetyError.scala │ ├── Severity.scala │ ├── Success.scala │ ├── Timer.scala │ ├── Util.scala │ └── package.scala └── test └── scala ├── examples ├── daut │ └── Main.scala ├── demo │ └── Example.scala ├── lncs10000 │ └── Example.scala ├── mesa │ ├── example1 │ │ └── Example.scala │ ├── example2 │ │ └── Example.scala │ └── example3 │ │ └── Example.scala ├── oneormany │ └── Example.scala ├── rv2020 │ └── Example.scala └── shortcircuit │ └── Example.scala └── tests ├── Contract.scala ├── README ├── test0 └── Test.scala ├── test1 └── Test.scala ├── test2 └── Test.scala ├── test3 ├── example │ └── Test.scala ├── flightrules │ └── Test.scala └── slides │ └── Test.scala ├── test4 └── Test.scala ├── test5 └── Test.scala ├── test6 └── Test.scala ├── test7 └── Test.scala ├── test8 └── Test.scala └── test9 └── Test.scala /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/.gitignore -------------------------------------------------------------------------------- /.idea/.name: -------------------------------------------------------------------------------- 1 | TraceContract -------------------------------------------------------------------------------- /.idea/libraries/junit_4_10.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/.idea/libraries/junit_4_10.xml -------------------------------------------------------------------------------- /.idea/libraries/junit_4_10__2_.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/.idea/libraries/junit_4_10__2_.xml -------------------------------------------------------------------------------- /.idea/libraries/scala_actors_2_11_8.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/.idea/libraries/scala_actors_2_11_8.xml -------------------------------------------------------------------------------- /.idea/misc.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/.idea/misc.xml -------------------------------------------------------------------------------- /.idea/modules.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/.idea/modules.xml -------------------------------------------------------------------------------- /.idea/sbt.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/.idea/sbt.xml -------------------------------------------------------------------------------- /.idea/scala_compiler.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/.idea/scala_compiler.xml -------------------------------------------------------------------------------- /.idea/uiDesigner.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/.idea/uiDesigner.xml -------------------------------------------------------------------------------- /.idea/vcs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/.idea/vcs.xml -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/README.md -------------------------------------------------------------------------------- /_config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/_config.yml -------------------------------------------------------------------------------- /documentation/auxdoc/class-diagram.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/auxdoc/class-diagram.jpg -------------------------------------------------------------------------------- /documentation/auxdoc/export.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/auxdoc/export.sh -------------------------------------------------------------------------------- /documentation/auxdoc/tracecontract-manual.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/auxdoc/tracecontract-manual.html -------------------------------------------------------------------------------- /documentation/doc/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index.html -------------------------------------------------------------------------------- /documentation/doc/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index.js -------------------------------------------------------------------------------- /documentation/doc/index/index-_.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-_.html -------------------------------------------------------------------------------- /documentation/doc/index/index-a.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-a.html -------------------------------------------------------------------------------- /documentation/doc/index/index-b.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-b.html -------------------------------------------------------------------------------- /documentation/doc/index/index-c.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-c.html -------------------------------------------------------------------------------- /documentation/doc/index/index-d.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-d.html -------------------------------------------------------------------------------- /documentation/doc/index/index-e.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-e.html -------------------------------------------------------------------------------- /documentation/doc/index/index-f.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-f.html -------------------------------------------------------------------------------- /documentation/doc/index/index-g.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-g.html -------------------------------------------------------------------------------- /documentation/doc/index/index-h.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-h.html -------------------------------------------------------------------------------- /documentation/doc/index/index-i.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-i.html -------------------------------------------------------------------------------- /documentation/doc/index/index-l.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-l.html -------------------------------------------------------------------------------- /documentation/doc/index/index-m.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-m.html -------------------------------------------------------------------------------- /documentation/doc/index/index-n.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-n.html -------------------------------------------------------------------------------- /documentation/doc/index/index-o.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-o.html -------------------------------------------------------------------------------- /documentation/doc/index/index-p.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-p.html -------------------------------------------------------------------------------- /documentation/doc/index/index-r.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-r.html -------------------------------------------------------------------------------- /documentation/doc/index/index-s.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-s.html -------------------------------------------------------------------------------- /documentation/doc/index/index-t.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-t.html -------------------------------------------------------------------------------- /documentation/doc/index/index-u.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-u.html -------------------------------------------------------------------------------- /documentation/doc/index/index-v.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-v.html -------------------------------------------------------------------------------- /documentation/doc/index/index-w.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/index/index-w.html -------------------------------------------------------------------------------- /documentation/doc/lib/arrow-down.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/arrow-down.png -------------------------------------------------------------------------------- /documentation/doc/lib/arrow-right.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/arrow-right.png -------------------------------------------------------------------------------- /documentation/doc/lib/class.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/class.png -------------------------------------------------------------------------------- /documentation/doc/lib/class_big.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/class_big.png -------------------------------------------------------------------------------- /documentation/doc/lib/class_diagram.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/class_diagram.png -------------------------------------------------------------------------------- /documentation/doc/lib/class_to_object_big.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/class_to_object_big.png -------------------------------------------------------------------------------- /documentation/doc/lib/constructorsbg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/constructorsbg.gif -------------------------------------------------------------------------------- /documentation/doc/lib/conversionbg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/conversionbg.gif -------------------------------------------------------------------------------- /documentation/doc/lib/defbg-blue.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/defbg-blue.gif -------------------------------------------------------------------------------- /documentation/doc/lib/defbg-green.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/defbg-green.gif -------------------------------------------------------------------------------- /documentation/doc/lib/diagrams.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/diagrams.css -------------------------------------------------------------------------------- /documentation/doc/lib/diagrams.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/diagrams.js -------------------------------------------------------------------------------- /documentation/doc/lib/filter_box_left.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/filter_box_left.png -------------------------------------------------------------------------------- /documentation/doc/lib/filter_box_left2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/filter_box_left2.gif -------------------------------------------------------------------------------- /documentation/doc/lib/filter_box_right.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/filter_box_right.png -------------------------------------------------------------------------------- /documentation/doc/lib/filterbg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/filterbg.gif -------------------------------------------------------------------------------- /documentation/doc/lib/filterboxbarbg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/filterboxbarbg.gif -------------------------------------------------------------------------------- /documentation/doc/lib/filterboxbarbg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/filterboxbarbg.png -------------------------------------------------------------------------------- /documentation/doc/lib/filterboxbg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/filterboxbg.gif -------------------------------------------------------------------------------- /documentation/doc/lib/fullcommenttopbg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/fullcommenttopbg.gif -------------------------------------------------------------------------------- /documentation/doc/lib/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/index.css -------------------------------------------------------------------------------- /documentation/doc/lib/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/index.js -------------------------------------------------------------------------------- /documentation/doc/lib/jquery-ui.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/jquery-ui.js -------------------------------------------------------------------------------- /documentation/doc/lib/jquery.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/jquery.js -------------------------------------------------------------------------------- /documentation/doc/lib/jquery.layout.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/jquery.layout.js -------------------------------------------------------------------------------- /documentation/doc/lib/modernizr.custom.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/modernizr.custom.js -------------------------------------------------------------------------------- /documentation/doc/lib/navigation-li-a.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/navigation-li-a.png -------------------------------------------------------------------------------- /documentation/doc/lib/navigation-li.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/navigation-li.png -------------------------------------------------------------------------------- /documentation/doc/lib/object.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/object.png -------------------------------------------------------------------------------- /documentation/doc/lib/object_big.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/object_big.png -------------------------------------------------------------------------------- /documentation/doc/lib/object_diagram.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/object_diagram.png -------------------------------------------------------------------------------- /documentation/doc/lib/object_to_class_big.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/object_to_class_big.png -------------------------------------------------------------------------------- /documentation/doc/lib/object_to_trait_big.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/object_to_trait_big.png -------------------------------------------------------------------------------- /documentation/doc/lib/object_to_type_big.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/object_to_type_big.png -------------------------------------------------------------------------------- /documentation/doc/lib/ownderbg2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/ownderbg2.gif -------------------------------------------------------------------------------- /documentation/doc/lib/ownerbg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/ownerbg.gif -------------------------------------------------------------------------------- /documentation/doc/lib/ownerbg2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/ownerbg2.gif -------------------------------------------------------------------------------- /documentation/doc/lib/package.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/package.png -------------------------------------------------------------------------------- /documentation/doc/lib/package_big.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/package_big.png -------------------------------------------------------------------------------- /documentation/doc/lib/packagesbg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/packagesbg.gif -------------------------------------------------------------------------------- /documentation/doc/lib/ref-index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/ref-index.css -------------------------------------------------------------------------------- /documentation/doc/lib/remove.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/remove.png -------------------------------------------------------------------------------- /documentation/doc/lib/scheduler.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/scheduler.js -------------------------------------------------------------------------------- /documentation/doc/lib/selected-implicits.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/selected-implicits.png -------------------------------------------------------------------------------- /documentation/doc/lib/selected-right-implicits.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/selected-right-implicits.png -------------------------------------------------------------------------------- /documentation/doc/lib/selected-right.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/selected-right.png -------------------------------------------------------------------------------- /documentation/doc/lib/selected.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/selected.png -------------------------------------------------------------------------------- /documentation/doc/lib/selected2-right.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/selected2-right.png -------------------------------------------------------------------------------- /documentation/doc/lib/selected2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/selected2.png -------------------------------------------------------------------------------- /documentation/doc/lib/signaturebg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/signaturebg.gif -------------------------------------------------------------------------------- /documentation/doc/lib/signaturebg2.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/signaturebg2.gif -------------------------------------------------------------------------------- /documentation/doc/lib/template.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/template.css -------------------------------------------------------------------------------- /documentation/doc/lib/template.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/template.js -------------------------------------------------------------------------------- /documentation/doc/lib/tools.tooltip.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/tools.tooltip.js -------------------------------------------------------------------------------- /documentation/doc/lib/trait.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/trait.png -------------------------------------------------------------------------------- /documentation/doc/lib/trait_big.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/trait_big.png -------------------------------------------------------------------------------- /documentation/doc/lib/trait_diagram.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/trait_diagram.png -------------------------------------------------------------------------------- /documentation/doc/lib/trait_to_object_big.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/trait_to_object_big.png -------------------------------------------------------------------------------- /documentation/doc/lib/type.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/type.png -------------------------------------------------------------------------------- /documentation/doc/lib/type_big.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/type_big.png -------------------------------------------------------------------------------- /documentation/doc/lib/type_diagram.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/type_diagram.png -------------------------------------------------------------------------------- /documentation/doc/lib/type_to_object_big.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/type_to_object_big.png -------------------------------------------------------------------------------- /documentation/doc/lib/typebg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/typebg.gif -------------------------------------------------------------------------------- /documentation/doc/lib/unselected.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/unselected.png -------------------------------------------------------------------------------- /documentation/doc/lib/valuemembersbg.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/lib/valuemembersbg.gif -------------------------------------------------------------------------------- /documentation/doc/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/package.html -------------------------------------------------------------------------------- /documentation/doc/sbt/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/sbt/package.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/DataBase$Fact.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/DataBase$Fact.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/DataBase$FactOps.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/DataBase$FactOps.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/DataBase.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/DataBase.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Error.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Error.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/ErrorTrace.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/ErrorTrace.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Formulas$BooleanOps.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Formulas$BooleanOps.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Formulas$ElsePart.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Formulas$ElsePart.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Formulas$EventFormulaOps.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Formulas$EventFormulaOps.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Formulas$False$.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Formulas$False$.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Formulas$Formula.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Formulas$Formula.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Formulas$IntOps.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Formulas$IntOps.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Formulas$IntPairOps.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Formulas$IntPairOps.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Formulas$ThenPart.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Formulas$ThenPart.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Formulas$True$.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Formulas$True$.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Formulas.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Formulas.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/LivenessError.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/LivenessError.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Message.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Message.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Monitor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Monitor.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/MonitorResult.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/MonitorResult.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/PropertyResult.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/PropertyResult.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/SafetyError.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/SafetyError.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Severity$$ERROR$.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Severity$$ERROR$.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Severity$$INFO$.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Severity$$INFO$.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Severity$$WARNING$.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Severity$$WARNING$.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Severity$.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Severity$.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Severity.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Severity.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/Success.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/Success.html -------------------------------------------------------------------------------- /documentation/doc/tracecontract/package.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/doc/tracecontract/package.html -------------------------------------------------------------------------------- /documentation/papers/tracecontract-fm-2011.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/papers/tracecontract-fm-2011.pdf -------------------------------------------------------------------------------- /documentation/papers/tracecontract-ladee.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/documentation/papers/tracecontract-ladee.pdf -------------------------------------------------------------------------------- /lib/junit-4.10.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/lib/junit-4.10.jar -------------------------------------------------------------------------------- /lib/scala-2.12.1.tar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/lib/scala-2.12.1.tar -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=1.3.10 -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /src/main/scala/tracecontract/DataBase.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/main/scala/tracecontract/DataBase.scala -------------------------------------------------------------------------------- /src/main/scala/tracecontract/Debug.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/main/scala/tracecontract/Debug.scala -------------------------------------------------------------------------------- /src/main/scala/tracecontract/Error.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/main/scala/tracecontract/Error.scala -------------------------------------------------------------------------------- /src/main/scala/tracecontract/ErrorTrace.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/main/scala/tracecontract/ErrorTrace.scala -------------------------------------------------------------------------------- /src/main/scala/tracecontract/Formulas.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/main/scala/tracecontract/Formulas.scala -------------------------------------------------------------------------------- /src/main/scala/tracecontract/LivenessError.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/main/scala/tracecontract/LivenessError.scala -------------------------------------------------------------------------------- /src/main/scala/tracecontract/Message.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/main/scala/tracecontract/Message.scala -------------------------------------------------------------------------------- /src/main/scala/tracecontract/Monitor.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/main/scala/tracecontract/Monitor.scala -------------------------------------------------------------------------------- /src/main/scala/tracecontract/MonitorResult.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/main/scala/tracecontract/MonitorResult.scala -------------------------------------------------------------------------------- /src/main/scala/tracecontract/Options.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/main/scala/tracecontract/Options.scala -------------------------------------------------------------------------------- /src/main/scala/tracecontract/PropertyResult.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/main/scala/tracecontract/PropertyResult.scala -------------------------------------------------------------------------------- /src/main/scala/tracecontract/SafetyError.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/main/scala/tracecontract/SafetyError.scala -------------------------------------------------------------------------------- /src/main/scala/tracecontract/Severity.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/main/scala/tracecontract/Severity.scala -------------------------------------------------------------------------------- /src/main/scala/tracecontract/Success.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/main/scala/tracecontract/Success.scala -------------------------------------------------------------------------------- /src/main/scala/tracecontract/Timer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/main/scala/tracecontract/Timer.scala -------------------------------------------------------------------------------- /src/main/scala/tracecontract/Util.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/main/scala/tracecontract/Util.scala -------------------------------------------------------------------------------- /src/main/scala/tracecontract/package.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/main/scala/tracecontract/package.scala -------------------------------------------------------------------------------- /src/test/scala/examples/daut/Main.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/examples/daut/Main.scala -------------------------------------------------------------------------------- /src/test/scala/examples/demo/Example.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/examples/demo/Example.scala -------------------------------------------------------------------------------- /src/test/scala/examples/lncs10000/Example.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/examples/lncs10000/Example.scala -------------------------------------------------------------------------------- /src/test/scala/examples/mesa/example1/Example.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/examples/mesa/example1/Example.scala -------------------------------------------------------------------------------- /src/test/scala/examples/mesa/example2/Example.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/examples/mesa/example2/Example.scala -------------------------------------------------------------------------------- /src/test/scala/examples/mesa/example3/Example.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/examples/mesa/example3/Example.scala -------------------------------------------------------------------------------- /src/test/scala/examples/oneormany/Example.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/examples/oneormany/Example.scala -------------------------------------------------------------------------------- /src/test/scala/examples/rv2020/Example.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/examples/rv2020/Example.scala -------------------------------------------------------------------------------- /src/test/scala/examples/shortcircuit/Example.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/examples/shortcircuit/Example.scala -------------------------------------------------------------------------------- /src/test/scala/tests/Contract.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/tests/Contract.scala -------------------------------------------------------------------------------- /src/test/scala/tests/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/tests/README -------------------------------------------------------------------------------- /src/test/scala/tests/test0/Test.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/tests/test0/Test.scala -------------------------------------------------------------------------------- /src/test/scala/tests/test1/Test.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/tests/test1/Test.scala -------------------------------------------------------------------------------- /src/test/scala/tests/test2/Test.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/tests/test2/Test.scala -------------------------------------------------------------------------------- /src/test/scala/tests/test3/example/Test.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/tests/test3/example/Test.scala -------------------------------------------------------------------------------- /src/test/scala/tests/test3/flightrules/Test.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/tests/test3/flightrules/Test.scala -------------------------------------------------------------------------------- /src/test/scala/tests/test3/slides/Test.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/tests/test3/slides/Test.scala -------------------------------------------------------------------------------- /src/test/scala/tests/test4/Test.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/tests/test4/Test.scala -------------------------------------------------------------------------------- /src/test/scala/tests/test5/Test.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/tests/test5/Test.scala -------------------------------------------------------------------------------- /src/test/scala/tests/test6/Test.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/tests/test6/Test.scala -------------------------------------------------------------------------------- /src/test/scala/tests/test7/Test.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/tests/test7/Test.scala -------------------------------------------------------------------------------- /src/test/scala/tests/test8/Test.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/havelund/tracecontract/HEAD/src/test/scala/tests/test8/Test.scala -------------------------------------------------------------------------------- /src/test/scala/tests/test9/Test.scala: -------------------------------------------------------------------------------- 1 | --------------------------------------------------------------------------------