Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
A
Actris
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Model registry
Operate
Environments
Monitor
Incidents
Service Desk
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
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Iris
Actris
Branches
Overview
Active
Stale
All
Updated date
Name
Oldest updated
Updated date
master
default
protected
7502c27c
·
Revert acidentally committed WIP stuff.
·
2 weeks ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
mixed_choice
d15f9f6a
·
More clean up
·
4 weeks ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
robbert/fold_iProto
72ba3b27
·
Change positions of unfold/fold to make things consistent with iProp.
·
2 months ago
!40
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
multiparty_synchronous
90edf737
·
Renamed multi_actris into multris
·
3 months ago
!39
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
robbert/truly_affine_iProto_le
0ecada82
·
WIP.
·
10 months ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
multiparty_synchronous_mpc_example
af6d8d5e
·
Refactoring
·
1 year ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
multiparty_synchronous_matrix
528c968c
·
Removed redundant _pers specs, and added missing matrix file
·
1 year ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
multiparty_synchronous_choice
5b3b1042
·
Simplified choice specs
·
1 year ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
multiparty_synchronous_recv_simpl
18c41f63
·
Simplified recv_spec
·
1 year ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
multiparty_synchronous_simple_inv
3cfa1678
·
Simplified invariant
·
1 year ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
multiparty_synchronous_list
684acce4
·
Added last attempted changes of proto_alt
·
1 year ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
multiparty_leader_election
06e771ee
·
Refactoring
·
1 year ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
step_proto
b5dfc4c0
·
Nits
·
1 year ago
!30
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
miniactris-init
99173546
·
Made README a bit more specific
·
2 years ago
!31
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
robbert/new_contractive
cf7f147f
·
Fixes for
iris!886
.
·
2 years ago
!29
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
msammler/new_contractive
719f50f6
·
fixes for
iris!886
·
2 years ago
!28
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
mini_actris1
54624a00
·
More later.
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
multiparty
61f4541c
·
Added a new file with simulation variant with progress properties
·
2 years ago
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
close_spec
1dd20dfc
·
Fixed wrong argument scope and clean up
·
3 years ago
!27
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
later_strip
755d82e8
·
Rebase and nits
·
3 years ago
!26
Download
Download source code
zip
tar.gz
tar.bz2
tar
More actions
Compare
Prev
1
2
Next