Rename Context.Queue into Context.Push
Push only allow to add at the end, not dequeue
parent
8f9eddf3
No related branches found
No related tags found
Showing
- src_colibri2/core/datastructure.ml 10 additions, 10 deletionssrc_colibri2/core/datastructure.ml
- src_colibri2/core/datastructure.mli 1 addition, 1 deletionsrc_colibri2/core/datastructure.mli
- src_colibri2/core/ground.ml 3 additions, 3 deletionssrc_colibri2/core/ground.ml
- src_colibri2/core/interp.ml 13 additions, 13 deletionssrc_colibri2/core/interp.ml
- src_colibri2/stdlib/context.ml 1 addition, 1 deletionsrc_colibri2/stdlib/context.ml
- src_colibri2/stdlib/context.mli 1 addition, 1 deletionsrc_colibri2/stdlib/context.mli
- src_colibri2/theories/LRA/fourier.ml 3 additions, 3 deletionssrc_colibri2/theories/LRA/fourier.ml
- src_colibri2/theories/quantifier/InvertedPath.ml 2 additions, 2 deletionssrc_colibri2/theories/quantifier/InvertedPath.ml
- src_colibri2/theories/quantifier/InvertedPath.mli 1 addition, 1 deletionsrc_colibri2/theories/quantifier/InvertedPath.mli
- src_colibri2/theories/quantifier/pattern.ml 6 additions, 6 deletionssrc_colibri2/theories/quantifier/pattern.ml
- src_colibri2/theories/quantifier/pattern.mli 2 additions, 2 deletionssrc_colibri2/theories/quantifier/pattern.mli
- src_colibri2/theories/quantifier/quantifier.ml 4 additions, 4 deletionssrc_colibri2/theories/quantifier/quantifier.ml
- src_colibri2/theories/quantifier/trigger.ml 5 additions, 5 deletionssrc_colibri2/theories/quantifier/trigger.ml
- src_colibri2/theories/quantifier/trigger.mli 2 additions, 2 deletionssrc_colibri2/theories/quantifier/trigger.mli
- src_colibri2/theories/quantifier/uninterp.ml 5 additions, 5 deletionssrc_colibri2/theories/quantifier/uninterp.ml
- src_common/interval.mlw 1 addition, 0 deletionssrc_common/interval.mlw
- src_common/interval/why3session.xml 1065 additions, 601 deletionssrc_common/interval/why3session.xml
Loading
Please register or sign in to comment