Skip to content
GitLab
Explore
Sign in
Register
Primary navigation
Search or go to…
Project
U
uppaal-code
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Container registry
Model registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Kristof
uppaal-code
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
master
Select Git revision
Branches
1
master
default
1 result
Begin with the selected commit
Created with Raphaël 2.2.0
18
May
16
14
11
10
9
22
Mar
4
Aug
3
2
29
Jul
28
27
26
25
12
11
5
23
Jun
22
21
17
16
10
9
25
May
20
11
10
9
29
Apr
28
29
Feb
12
11
10
9
8
6
5
29
Jan
28
26
25
5
4
Dec
3
2
1
30
Nov
27
- Changed up some Yggdrasil „Test Code“
master
master
- Formatting Changes (in v11)
- Meta variables etc.
- Fiddled around on version 10
- Annotations regarding optimization options
- Radically simplified the system — to not much avail regarding query times
- Re-sorted declarations (possible under Windows)
- Worked out several new versions
- Last work on Windows Machine
- Added some minor query descriptions
- More embellishments for presentation
- Automata embellishments for presentation
- Added treatment of disclosure delay
- Last minute at work: cleaned up set of queries so that now all are relevant, and also so that affirmative results always represent the respective hypothesis / expected behavior
- Lots of cleanup
- Success on re-introducing the attack: Error was in interval increments in Server Clock
- Attempt to solve via multiple broadcast synchronization "channels". Creates out-of-bound error, untraceable under OS X
- Last-minute modifications at work
- New version 7: lots of simplification, but attack cannot be shown anymore (drift never passes threshold of interval length, except if all at once)
- Eliminated dynamically determined broadcast_delay (now fixed to 2, which is equal to the only possible network delay)
- More broadcast optimization (still getting it to work with absolute time limit imposed on server_broadcast behavior automaton)
- Efficiency changes and queries regarding considerations about "stop_clock" transitions for all automata being unnecessary
- Introduced model of client clock as diff from server clock
- More sophisticated broadcast
- More optimization and command-line utility
- Optimization for state space
- Additional batch and query files
- Slight modifications in Automata
- Added query for bradcast precision evaluation
- Added broadcast clock adjustment
- Broadcast exchange included (so far without clock adjustment)
- More work towards broadcast analysis
- Added diagnostic finishability query
- Small embellishments to the source code format
- Unsaved progress intended for previous commit
- Further work towards broadcast:
- More work towards broadcast analysis (CAUTION: incomplete, current version has syntax errors)
- Started server broadcast module
- V4 (getting ready for broadcast)
QUERIES:
Loading