Add files via upload#16
Conversation
|
Please delete all binary files from this PR (*.cmo, *.cmi, etc.) |
monadius
left a comment
monadius
left a comment
There was a problem hiding this comment.
Only files const.ml, eval.ml, and expr.ml (without relu) may be merged to the develop branch. Please edit these files and remove all other files.
Other files (excluding all binary files) should be placed in a separate branch (called relu or something else). My main concern is the changes in input_parse_env.ml which break the specification of rounding in FPTaylor.
| type t = Rat of num | Interval of interval | ||
|
|
||
| (* | ||
| input: num |
There was a problem hiding this comment.
Instead of writing input and output, it is better to add explicit type signatures:
let of_num (n : num) : t = ...| (* | ||
| input: num | ||
| output: t | ||
| description: cover num to constrant (t type) |
There was a problem hiding this comment.
cover -> converts
constrant -> constant
Also make these changes in other places.
| (* | ||
| input: string->float | ||
| output: float | ||
| description: estimate an expression and return a float value, the first argument is a function which return the value (float) of a variable's name |
There was a problem hiding this comment.
I think it is better to write: evaluates an expression.
| (* | ||
| input: no | ||
| output: no | ||
| description: general type of binary operators and double variable functions |
| (* | ||
| input: | ||
| output: | ||
| description: |
There was a problem hiding this comment.
These are general multivariate operators and functions
2 participants
Adding comments to code and relu activator function