Skip to content

munidiff/fpvm-examples

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

3 Commits
 
 
 
 
 
 
 
 

Repository files navigation

FPVM workshop examples

This repository contains model evolution examples that have been used to demonstrate the Munidiff timeline explorer.

Accepted url types

Repository url

Providing the explorer with a url to a GitHub repository allows seeing a list of recent commits on the left-hand side. By clicking on the title of any of these commits, the models that contained changes are listed and can be further inspected.

Try it: paste the following link in the explorer's input: https://github.com/munidiff/fpvm-examples

You can also simply click into the following link to the explorer, which contains the previous url as a parameter: https://munidiff.github.io/?url=https://github.com/munidiff/fpvm-examples

Commit url

Providing a url pointing to a concrete commit automatically loads the details of that commit (apart from the list of commits).

The following links show the details of commits with model changes:

File url

If a file url is provided, the commits listed on the left-hand side are only those where the file received some changes. The details of the latest commit affecting the file are automatically loaded.

Examples of urls to concrete files:

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published