Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
af3
AF3
Commits
e8ef0792
Commit
e8ef0792
authored
Nov 27, 2017
by
Sudeep Kanav
Browse files
changed ForTISS to fortiss
refs 2591
parent
e4a408de
Changes
111
Hide whitespace changes
Inline
Side-by-side
com.microsoft.z3/src/com/microsoft/z3/Z3Type.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2015 ForTISS GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2015 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
com.microsoft.z3/src/com/microsoft/z3/Z3javaAPIWrapper.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2015 ForTISS GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2015 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/AF3SpecificationUIActivator.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
/*-------------------------------------------------------------------------+
| Copyright 2011 ForTISS GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/compose/TraceCompositor.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2011 ForTISS GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2011 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/constraint/BoundsConstraintUI.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2016 ForTISS GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2016 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/constraint/ContractConstraintUI.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2016 ForTISS GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2016 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/constraint/DeterminismConstraintUI.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2016 ForTISS GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2016 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/constraint/InterfaceTraceMatchConstraintUI.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2016 ForTISS GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2016 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/constraint/ReachabilityConstraintUI.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2016 ForTISS GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2016 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/constraint/TLSpecificationConstraintUI.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2016 ForTISS GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2016 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/constraint/TopComponentSignalsConstraintUI.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2016 ForTISS GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2016 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/constraint/TraceSelectionDialog.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2017 fortiss GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2017 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/ListEditorSection.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2015 ForTISS GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2015 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/NonAtomicComponentVVDashboard.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2015 ForTISS GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2015 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/NonAtomicComponentVVDashboardEditorBinding.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2016 ForTISS GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2016 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/StateAutomatonVVDashboard.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2015 ForTISS GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2015 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/StateAutomatonVVDashboardEditorBinding.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2016 ForTISS GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2016 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/VVDashboardBase.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2015 ForTISS GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2015 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/trees/ConstraintsTree.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2016 ForTISS GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2016 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
org.fortiss.af3.specification.ui/trunk/src/org/fortiss/af3/specification/ui/editor/trees/OCRAContractTree.java
View file @
e8ef0792
/*--------------------------------------------------------------------------+
| |
| Copyright 2016 fortiss GmbH |
/*-------------------------------------------------------------------------+
| Copyright 2016 fortiss GmbH |
| |
| Licensed under the Apache License, Version 2.0 (the "License"); |
| you may not use this file except in compliance with the License. |
...
...
Prev
1
2
3
4
5
6
Next
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment
