issues
search
jeannin
/
zelus
A synchronous language with ODEs
http://zelus.di.ens.fr
Other
0
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
`not` not implemented
#85
jchen-cs
closed
1 hour ago
1
Magic number 42.0 in verification condition
#84
jlvargasme
opened
3 months ago
0
Added implementation for function application check
#83
jlvargasme
opened
11 months ago
0
Replacing magic number 42 with proper exceptions
#82
jlvargasme
closed
11 months ago
0
Function application failing at 'prove_function'
#81
jlvargasme
opened
1 year ago
0
Gguyo function verification
#80
GemechisUrgessa
closed
12 months ago
0
Error in translation custom refinement type to .ml
#79
EasonZ2022
opened
1 year ago
0
Non-refinement variables cause MARVeLus to break
#78
jlvargasme
opened
1 year ago
0
Nested function bug: function output not added to environment
#77
jlvargasme
opened
1 year ago
0
Combinatorial expression expected to be static
#76
jlvargasme
opened
1 year ago
0
Implicit type conversion bug [Lack of type inference]
#75
jlvargasme
opened
1 year ago
0
Add timestamp convenience function
#74
jchen-cs
closed
1 year ago
0
Add Timestamp Convenience Function
#73
jchen-cs
closed
1 year ago
0
mCheck.ml
#72
jlvargasme
opened
1 year ago
0
mVcGen.ml
#71
jlvargasme
opened
1 year ago
0
mUtils.ml
#70
jlvargasme
opened
1 year ago
0
mDefs.ml
#69
jlvargasme
opened
1 year ago
0
Let-and implementation
#68
jchen-cs
opened
1 year ago
1
ACC discrete example
#67
jchen-cs
closed
2 years ago
0
Updated code for pairs
#66
jchen-cs
closed
2 years ago
1
Feature/pairs
#65
jlvargasme
closed
2 years ago
0
Adding check to both type envs before creating new variable
#64
jlvargasme
closed
2 years ago
0
Implementing function typing rule
#63
EasonZ2022
opened
2 years ago
0
Pairs
#62
jchen-cs
closed
2 years ago
0
Implementing typing rule for if then else
#61
jlvargasme
closed
2 years ago
0
create_z3_var_typed shall be used throughout the code
#60
jlvargasme
opened
2 years ago
0
Feature/robot model
#59
jchen-cs
closed
2 years ago
0
`let rec` makes variables 42 if expression doesn't contain a `fby`
#58
jchen-cs
opened
2 years ago
0
Robot code
#57
jchen-cs
closed
2 years ago
0
Zyicheng dependent types new syntax task16
#56
EasonZ2022
opened
2 years ago
0
Compilation of Model and Robot Code
#55
jchen-cs
closed
2 years ago
2
Implement type aliasing for new syntax
#54
SharmPranjal
opened
2 years ago
1
Implementing stream typing rules
#53
jlvargasme
closed
2 years ago
0
Spranjal substitution new syntax
#52
SharmPranjal
closed
2 years ago
0
Implement pair typing rules for new syntax
#51
jlvargasme
closed
2 years ago
3
Implement rec typing rule for MARVeLus
#50
jlvargasme
closed
2 years ago
1
Implement fby typing rule for MARVeLus
#49
jlvargasme
closed
2 years ago
1
Implement if statement typing rule for MARVeLus
#48
jlvargasme
closed
2 years ago
1
Implement function input check typing rule for new syntax
#47
jlvargasme
opened
2 years ago
0
Implement function declaration typing rule for new syntax
#46
jlvargasme
opened
2 years ago
0
Zyicheng dependent types new syntax update all unit tests
#45
EasonZ2022
closed
2 years ago
0
Zyicheng dependent types optimize variable
#44
EasonZ2022
closed
2 years ago
0
[Summer] Parse new syntax for declaring refinement variables
#43
EasonZ2022
closed
2 years ago
1
Zyicheng dependent types optimize function data structure with new syntax
#42
EasonZ2022
opened
2 years ago
0
[Summer] Call Z3 substitution function when verifying the new-syntax refinement type
#41
EasonZ2022
closed
2 years ago
1
[Summer] Parse new syntax for defining refinement type in function
#40
EasonZ2022
opened
2 years ago
0
[Summer] Optimize the data structure for storing refinement/non-refinement variable declaration
#39
EasonZ2022
closed
2 years ago
1
Zyicheng dependent types optimize variable
#38
EasonZ2022
closed
2 years ago
0
Spranjal dependent types support for let rec declarations with refinement types
#37
SharmPranjal
opened
2 years ago
0
Adding support for pattern COLON type_expression [TASK 16]
#36
SharmPranjal
closed
2 years ago
0
Next