Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

C

colibrics
- Activity
- Members
- Labels
- Terraform modules
- Model experiments

Snippets Groups Projects

255d0745

Commit 255d0745 authored 3 years ago by François Bobot

Downloads
- Patches
- Plain Diff

Allows to propagate LastEffortUncontextual before their addition

parent ee407a07

No related branches found

No related tags found

Loading

Checking pipeline status

Changes 11
Pipelines 2

Hide whitespace changes

Inline Side-by-side

Showing

src_colibri2/core/colibri2_core.ml 2 additions, 2 deletions

src_colibri2/core/colibri2_core.ml
src_colibri2/core/colibri2_core.mli 4 additions, 1 deletion

src_colibri2/core/colibri2_core.mli
src_colibri2/core/events.ml 6 additions, 1 deletion

src_colibri2/core/events.ml
src_colibri2/core/events.mli 4 additions, 1 deletion

src_colibri2/core/events.mli
src_colibri2/solver/scheduler.ml 80 additions, 73 deletions

src_colibri2/solver/scheduler.ml
src_colibri2/stdlib/context.ml 56 additions, 0 deletions

src_colibri2/stdlib/context.ml
src_colibri2/stdlib/context.mli 22 additions, 0 deletions

src_colibri2/stdlib/context.mli
src_colibri2/tests/solve/models/function.smt2 14 additions, 0 deletions

src_colibri2/tests/solve/models/function.smt2
src_colibri2/tests/solve/models/function.smt2.oracle 5 additions, 0 deletions

src_colibri2/tests/solve/models/function.smt2.oracle
src_colibri2/theories/FP/interval32.ml 1 addition, 1 deletion

src_colibri2/theories/FP/interval32.ml
src_colibri2/theories/quantifier/trigger.ml 18 additions, 9 deletions

src_colibri2/theories/quantifier/trigger.ml

with 212 additions and 88 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment