Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
AVA
FloVer
Commits
f1957096
Commit
f1957096
authored
May 21, 2018
by
Heiko Becker
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Fix testcase naming, fforward daisy
parent
b463b9ac
Changes
4
Hide whitespace changes
Inline
Side-by-side
Showing
4 changed files
with
3 additions
and
3 deletions
+3
-3
daisy
daisy
+1
-1
testcases/fmcad2018/Himmilbeau.scala
testcases/fmcad2018/Himmilbeau.scala
+1
-1
testcases/fmcad2018/Kepler.scala
testcases/fmcad2018/Kepler.scala
+0
-0
testcases/fmcad2018/Turbine.scala
testcases/fmcad2018/Turbine.scala
+1
-1
No files found.
daisy
@
c0ebeac3
Compare
8394852a
...
c0ebeac3
Subproject commit
8394852ac2b28a5221749b4a604965fbd051d0f7
Subproject commit
c0ebeac30131f0040cfdcbed1f072f0675953070
testcases/fmcad2018/Himmilbeau
Let
.scala
→
testcases/fmcad2018/Himmilbeau.scala
View file @
f1957096
...
...
@@ -10,7 +10,7 @@ import Real._
Ali, Khompatraporn, Zabinsky, 2005
*/
object
Himmilbeau
Let
{
object
Himmilbeau
{
//15 operations
def
himmilbeau
(
x1
:
Real
,
x2
:
Real
)
=
{
...
...
testcases/fmcad2018/Kepler
Let
.scala
→
testcases/fmcad2018/Kepler.scala
View file @
f1957096
File moved
testcases/fmcad2018/Turbine
Let
.scala
→
testcases/fmcad2018/Turbine.scala
View file @
f1957096
...
...
@@ -4,7 +4,7 @@ import daisy.lang._
import
Real._
object
Turbine
Let
{
object
Turbine
{
def
turbine1
(
v
:
Real
,
w
:
Real
,
r
:
Real
)
:
Real
=
{
require
(-
4.5
<=
v
&&
v
<=
-
0.3
&&
0.4
<=
w
&&
w
<=
0.9
&&
3.8
<=
r
&&
r
<=
7.8
)
...
...
Write
Preview
Markdown
is supported
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