swh:1:snp:74a5a51aad611eefc5591b7577682897bf1cf529
- HEAD
- refs/heads/cav_artifact
- refs/heads/closures_call_slots
- refs/heads/esop
- refs/heads/exclude_function_defs
- refs/heads/excluded_uneeded_predicate_bodies
- refs/heads/inference
- refs/heads/master
- refs/heads/meilers_version_bump
- refs/heads/modular_pred_fams
- refs/heads/py310
- refs/heads/py39
- refs/heads/quicksort
- refs/heads/rt_tcg_thesis
- refs/heads/sascha
- refs/heads/sascha_merge
- refs/heads/sascha_typesystem
- refs/heads/scion_verif_new
- refs/heads/sif_counterexamples
- refs/heads/sif_merge
- refs/heads/split
- refs/heads/thesis_scion
- refs/heads/update_12_22
- refs/heads/various_stuff
- refs/heads/various_stuff_new_silicon
- refs/heads/version_bump
- refs/import/heads/Class_translation
- refs/import/heads/advanced_loops
- refs/import/heads/all.sil
- refs/import/heads/alt_types_per_column
- refs/import/heads/boxed_primitives
- refs/import/heads/bug_fixes
- refs/import/heads/bugfix
- refs/import/heads/bugfix_and_seq
- refs/import/heads/build_fix
- refs/import/heads/build_fix_sif_v0.2
- refs/import/heads/complex_assign
- refs/import/heads/control_flow
- refs/import/heads/data_types
- refs/import/heads/declare_fields
- refs/import/heads/default_Var_fix
- refs/import/heads/disable_obligations
- refs/import/heads/fix_tuple_ident
- refs/import/heads/generic_types
- refs/import/heads/io
- refs/import/heads/io_experimentation
- refs/import/heads/master
- refs/import/heads/named_args
- refs/import/heads/namespaces
- refs/import/heads/new_type_system
- refs/import/heads/operators
- refs/import/heads/option_types
- refs/import/heads/performance
- refs/import/heads/pred_fams
- refs/import/heads/prime_ctx
- refs/import/heads/refactoring
- refs/import/heads/reset_translation_env
- refs/import/heads/scion_prep_2
- refs/import/heads/scion_verification_prep
- refs/import/heads/sif_functions
- refs/import/heads/sif_lists
- refs/import/heads/sif_v0.01
- refs/import/heads/sif_v0.1
- refs/import/heads/sif_v0.2
- refs/import/heads/silver_filter
- refs/import/heads/slicing
- refs/import/heads/soundness
- refs/import/heads/source_shuffling
- refs/import/heads/split_up_tests
- refs/import/heads/test_fixes
- refs/import/heads/test_mypy_fix
- refs/import/heads/translation_visitor
- refs/import/heads/type_axioms
- refs/import/heads/var_factory
- refs/import/heads/while_loops
- refs/import/heads/win-setup
- refs/reviewable/pr100/r1
- refs/reviewable/pr100/r2
- refs/reviewable/pr101/r1
- refs/reviewable/pr101/r2
- refs/reviewable/pr102/r1
- refs/reviewable/pr103/r1
- refs/reviewable/pr103/r2
- refs/reviewable/pr103/r3
- refs/reviewable/pr104/r1
- refs/reviewable/pr104/r2
- refs/reviewable/pr105/r1
- refs/reviewable/pr105/r2
- refs/reviewable/pr105/r3
- refs/reviewable/pr106/r1
- refs/reviewable/pr106/r2
- refs/reviewable/pr106/r3
- refs/reviewable/pr109/r1
- refs/reviewable/pr109/r2
- refs/reviewable/pr110/r1
- refs/reviewable/pr110/r2
- refs/reviewable/pr114/r1
- refs/reviewable/pr114/r10
- refs/reviewable/pr114/r2
- refs/reviewable/pr114/r3
- refs/reviewable/pr114/r4
- refs/reviewable/pr114/r5
- refs/reviewable/pr114/r6
- refs/reviewable/pr114/r7
- refs/reviewable/pr114/r8
- refs/reviewable/pr114/r9
- refs/reviewable/pr116/r1
- refs/reviewable/pr122/r1
- refs/reviewable/pr122/r2
- refs/reviewable/pr122/r3
- refs/reviewable/pr123/r1
- refs/reviewable/pr123/r2
- refs/reviewable/pr125/r1
- refs/reviewable/pr125/r2
- refs/reviewable/pr125/r3
- refs/reviewable/pr125/r4
- refs/reviewable/pr125/r5
- refs/reviewable/pr125/r6
- refs/reviewable/pr126/r1
- refs/reviewable/pr128/r1
- refs/reviewable/pr129/r1
- refs/reviewable/pr130/r1
- refs/reviewable/pr130/r2
- refs/reviewable/pr133/r1
- refs/reviewable/pr134/r1
- refs/reviewable/pr134/r2
- refs/reviewable/pr134/r3
- refs/reviewable/pr135/r1
- refs/reviewable/pr135/r2
- refs/reviewable/pr137/r1
- refs/reviewable/pr138/r1
- refs/reviewable/pr145/r1
- refs/reviewable/pr145/r2
- refs/reviewable/pr146/r1
- refs/reviewable/pr146/r2
- refs/reviewable/pr146/r3
- refs/reviewable/pr154/r1
- refs/reviewable/pr154/r2
- refs/reviewable/pr154/r3
- refs/reviewable/pr155/r1
- refs/reviewable/pr156/r1
- refs/reviewable/pr157/r1
- refs/reviewable/pr157/r2
- refs/reviewable/pr157/r3
- refs/reviewable/pr160/r1
- refs/reviewable/pr162/r1
- refs/reviewable/pr163/r1
- refs/reviewable/pr165/r1
- refs/reviewable/pr166/r1
- refs/reviewable/pr167/r1
- refs/reviewable/pr168/r1
- refs/reviewable/pr77/r1
- refs/reviewable/pr77/r2
- refs/reviewable/pr77/r3
- refs/reviewable/pr77/r4
- refs/reviewable/pr77/r5
- refs/reviewable/pr78/r1
- refs/reviewable/pr78/r2
- refs/reviewable/pr79/r1
- refs/reviewable/pr81/r1
- refs/reviewable/pr81/r2
- refs/reviewable/pr82/r1
- refs/reviewable/pr83/r1
- refs/reviewable/pr83/r2
- refs/reviewable/pr84/r1
- refs/reviewable/pr86/r1
- refs/reviewable/pr87/r1
- refs/reviewable/pr88/r1
- refs/reviewable/pr89/r1
- refs/reviewable/pr90/r1
- refs/reviewable/pr90/r2
- refs/reviewable/pr92/r1
- refs/reviewable/pr92/r2
- refs/reviewable/pr92/r3
- refs/reviewable/pr92/r4
- refs/reviewable/pr92/r5
- refs/reviewable/pr92/r6
- refs/reviewable/pr92/r7
- refs/reviewable/pr92/r8
- refs/reviewable/pr93/r1
- refs/reviewable/pr93/r2
- refs/reviewable/pr94/r1
- refs/reviewable/pr94/r2
- refs/reviewable/pr94/r3
- refs/reviewable/pr94/r4
- refs/reviewable/pr94/r5
- refs/reviewable/pr96/r1
- refs/reviewable/pr96/r2
- refs/reviewable/pr96/r3
- refs/reviewable/pr96/r4
- refs/reviewable/pr97/r1
- refs/reviewable/pr98/r1
- refs/reviewable/pr99/r1
- refs/tags/v0.8.6
- refs/tags/v0.9.0
No releases to show
History
Cook and download a directory from the Software Heritage Vault
You have requested the cooking of the directory with identifier swh:1:dir:0cc733a5051a7e1f254097a8244fb301e9bb90e8 into a standard tar.gz archive.
Are you sure you want to continue ?
Download a directory from the Software Heritage Vault
You have requested the download of the directory with identifier swh:1:dir:0cc733a5051a7e1f254097a8244fb301e9bb90e8 as a standard tar.gz archive.
Are you sure you want to continue ?
Cook and download a revision from the Software Heritage Vault
You have requested the cooking of the history heading to revision with identifier swh:1:rev:98a1d3cb19edcc56ef1fa9c85dd3f9aba7a7d42f into a bare git archive.
Are you sure you want to continue ?
Download a revision from the Software Heritage Vault
You have requested the download of the history heading to revision with identifier swh:1:rev:98a1d3cb19edcc56ef1fa9c85dd3f9aba7a7d42f as a bare git archive.
Are you sure you want to continue ?
Invalid Email !
The provided email is not well-formed.
Download link has expired
The requested archive is no longer available for download from the Software Heritage Vault.
Do you want to cook it again ?
Permalinks
To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Hash IDentifiers (SWHIDs) must be used.
Select below a type of object currently browsed in order to display its associated SWHID and permalink.
Tip revision: 98a1d3cb19edcc56ef1fa9c85dd3f9aba7a7d42f authored by Marco Eilers on 08 February 2024, 11:10:09 UTC
Merge pull request #166 from marcoeilers/viper_24_01
Merge pull request #166 from marcoeilers/viper_24_01
Tip revision: 98a1d3c
| File | Mode | Size |
|---|---|---|
| .github | ||
| .vscode | ||
| src | ||
| tests | ||
| .gitignore | -rw-r--r-- | 162 bytes |
| .hgignore | -rw-r--r-- | 152 bytes |
| .pylintrc | -rw-r--r-- | 12.6 KB |
| LICENSE.txt | -rw-r--r-- | 16.3 KB |
| README.rst | -rw-r--r-- | 5.4 KB |
| setup.py | -rw-r--r-- | 1.9 KB |
