Hi
user
Admin Login:
Username:
Password:
Name:
Contract Based Programming in Ada 2012
--client
fosdem
--show
fosdem_2014
--room K4601 7880 --force
Next: 5 Formal Verification with Ada 2012: a Very Simple Case Study
show more...
Marks
Author(s):
Jacob Sparre Andersen
Location
K.4.601
10
Date
feb Sat 01
Days Raw Files
Start
15:00
First Raw Start
14:54
Duration
00:50:00
Offset
0:05:28
End
15:50
Last Raw End
16:03
Chapters
00:00
Total cuts_time
61 min.
https://fosdem.org/2014/schedule/event/ada_contracts/
raw-playlist
raw-mp4-playlist
encoded-files-playlist
public
mp4
svg
png
assets
release.pdf
Contract_Based_Programming_in_Ada_2012.json
logs
Admin:
episode
episode list
cut list
raw files day
marks day
marks day
image_files
State:
---------
borked
edit
encode
push to queue
post
richard
review 1
email
review 2
make public
tweet
to-miror
conf
done
Locked:
clear this to unlock
Locked by:
user/process that locked.
Start:
initially scheduled time from master, adjusted to match reality
Duration:
length in hh:mm:ss
Name:
Video Title (shows in video search results)
Emails:
email(s) of the presenter(s)
Released:
has someone authorised pubication
Unknown
Yes
No
Normalise:
Channelcopy:
m=mono, 01=copy left to right, 10=right to left, 00=ignore.
Thumbnail:
filename.png
Description:
markdown
<p>A tutorial on how to use the Ada 2012 features for specifying detailed, checked contracts for types and subprograms -- "classes, functions, and methods" if you aren't an Ada programmer already.</p>
Comment:
production notes
2014-02-01/13_54_32.dv
Apply:
14:54:32 - 15:01:43 ( 00:07:11 )
S:
14:54:32 -
E:
15:01:43
D:
00:07:11
show more...
vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/K4601/2014-02-01/13_54_32.dv :start-time=00.0 --audio-desync=0
Raw File
Cut List
14:54:32
seconds: 0.0
Wall: 14:54:32
Duration
00:07:11
15:01:43
seconds: 0.0
Wall: 14:54:32
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
2014-02-01/14_01_44.dv
Apply:
15:01:44 - 16:03:42 ( 01:01:58 )
S:
15:01:44 -
E:
16:03:42
D:
01:01:58
show more...
vlc ~/Videos/veyepar/fosdem/fosdem_2014/dv/K4601/2014-02-01/14_01_44.dv :start-time=00.0 --audio-desync=0
Raw File
Cut List
15:01:44
seconds: 0.0
Wall: 15:01:44
Duration
01:01:58
16:03:42
seconds: 0.0
Wall: 15:01:44
Comments:
mp4
mp4.m3u
dv.m3u
Split:
Sequence:
:
delete
Rf filename:
root is .../show/dv/location/, example: 2013-03-13/13:13:30.dv
Sequence:
get this:
check and save to add this
2014-02-01/13_54_32.dv
2014-02-01/14_01_44.dv
Veyepar
Video Eyeball Processor and Review