Issues

AKA-Protocol-unlinkability
DeepSec-prover/deepsec#84 · opened on Dec 10, 2024
Deepsec UI crashes on initialisation
DeepSec-prover/deepsec#82 · opened on Feb 2, 2022
1
non deterministic bug with distribution
DeepSec-prover/deepsec#81 · opened on Oct 5, 2020
1
internal error with private constants + rewrite rules
DeepSec-prover/deepsec#80 · opened on Sep 5, 2020
Removal of pure names
DeepSec-prover/deepsec#78 · opened on Jul 23, 2020
Problem with if-then-else in determinate when the then branch is not accessible
DeepSec-prover/deepsec#77 · opened on Jul 23, 2020
internal error with private function in determinate processes
DeepSec-prover/deepsec#75 · opened on Jul 11, 2020
internal error with multiple rewrite rules
DeepSec-prover/deepsec#74 · opened on Jul 11, 2020
internal error [display_ui.ml >> get_name_id]
DeepSec-prover/deepsec#72 · opened on May 26, 2020
1
Intruiging performances of equivalence by session
DeepSec-prover/deepsec#68 · opened on May 6, 2020
2
Pure names on public channels with session and generic
DeepSec-prover/deepsec#56 · opened on Jan 23, 2020
Detection of physical cores at runtime
DeepSec-prover/deepsec#55 · opened on Jan 21, 2020
Detect determinate processes even with session equivalence
DeepSec-prover/deepsec#50 · opened on Jan 17, 2020
1
Gitcommit and gitbranch
DeepSec-prover/deepsec#48 · opened on Jan 17, 2020 · Opam packaging
1
DeepSec uses too much memory
DeepSec-prover/deepsec#44 · opened on Jan 14, 2020
1
Constraint solving with Exists/Forall status
DeepSec-prover/deepsec#42 · opened on Jan 11, 2020
Add the possibility to select different semantics per query.
DeepSec-prover/deepsec#41 · opened on Jan 9, 2020
[All] Type system
DeepSec-prover/deepsec#26 · opened on Nov 28, 2019
Improve the internal communication
DeepSec-prover/deepsec#25 · opened on Nov 28, 2019
Private function in rewrite rules
DeepSec-prover/deepsec#16 · opened on Nov 3, 2017