test/test-compile.sh · 94a9eddf7fa2dc25f93ff2b5dd660bd77bcf8ae3 · LustreC / Lustrec

9 years ago

Pierre Loic Garoche authored 9 years ago

Added fbyn(expr, n, init) to encode 
init -> pre (init -> pre (init -> ... pre expr))
with n occurences of init

ed736b69

Pierre Loic Garoche authored 9 years ago

Added fbyn(expr, n, init) to encode 
init -> pre (init -> pre (init -> ... pre expr))
with n occurences of init

Code owners

Assign users and groups as approvers for specific file changes. Learn more.