Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Replace Bindlib by de Bruijn indices #843

Open
wants to merge 100 commits into
base: master
Choose a base branch
from
Open

Replace Bindlib by de Bruijn indices #843

wants to merge 100 commits into from

Commits on Feb 4, 2022

  1. add Term.Db constructor

    @fblanqui
    fblanqui committed Feb 4, 2022
    Configuration menu
    Copy the full SHA
    3810bb5 View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2022

  1. remove Bindlib from terms (but not rhs)

    @fblanqui
    fblanqui committed Feb 8, 2022
    Configuration menu
    Copy the full SHA
    2dfeb71 View commit details
    Browse the repository at this point in the history

  2. change definition of Term.dtree to rule Tree_type.dtree

    @fblanqui
    fblanqui committed Feb 8, 2022
    Configuration menu
    Copy the full SHA
    3434aac View commit details
    Browse the repository at this point in the history

Commits on Feb 14, 2022

  1. remove Bindlib on rhs

    @fblanqui
    fblanqui committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    49ec8ab View commit details
    Browse the repository at this point in the history

  2. remove TEnv

    @fblanqui
    fblanqui committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    7efc5db View commit details
    Browse the repository at this point in the history

  3. remove bindlib from dependencies

    @fblanqui
    fblanqui committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    084ef7a View commit details
    Browse the repository at this point in the history

  4. remove mkfree

    @fblanqui
    fblanqui committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    b522ac7 View commit details
    Browse the repository at this point in the history

  5. remove new_mvar and do not export new_var

    @fblanqui
    fblanqui committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    23c7397 View commit details
    Browse the repository at this point in the history

  6. remove box type

    @fblanqui
    fblanqui committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    6730df0 View commit details
    Browse the repository at this point in the history

  7. remove bind_mvar3

    @fblanqui
    fblanqui committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    170ca77 View commit details
    Browse the repository at this point in the history

  8. Env: rename to_tbox into to_terms

    @fblanqui
    fblanqui committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    28e2508 View commit details
    Browse the repository at this point in the history

  9. remove fresh_box

    @fblanqui
    fblanqui committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    02ec00b View commit details
    Browse the repository at this point in the history

  10. cli: Term.* -> CLT.*

    @fblanqui
    fblanqui committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    3a8d502 View commit details
    Browse the repository at this point in the history

  11. remove bctxt

    @fblanqui
    fblanqui committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    74aefe9 View commit details
    Browse the repository at this point in the history

  12. dune-project: use cmdliner <= 1.0.4

    @fblanqui
    fblanqui committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    d7b6f00 View commit details
    Browse the repository at this point in the history

  13. lambdapi.opam: use cmdliner <= 1.0.4

    @fblanqui
    fblanqui committed Feb 14, 2022
    Configuration menu
    Copy the full SHA
    b93ccfd View commit details
    Browse the repository at this point in the history

Commits on Feb 15, 2022

  1. remove module Bindlib

    @fblanqui
    fblanqui committed Feb 15, 2022
    Configuration menu
    Copy the full SHA
    8ff86cd View commit details
    Browse the repository at this point in the history

  2. renamings: tvar -> var, tbinder -> binder, tmbinder -> mbinder

    @fblanqui
    fblanqui committed Feb 15, 2022
    Configuration menu
    Copy the full SHA
    83b1ec9 View commit details
    Browse the repository at this point in the history

  3. call mk_Appl in subst, and reorganize code in term

    @fblanqui
    fblanqui committed Feb 15, 2022
    Configuration menu
    Copy the full SHA
    3376e30 View commit details
    Browse the repository at this point in the history

  4. rename mk_Impl into mk_Arro

    @fblanqui
    fblanqui committed Feb 15, 2022
    Configuration menu
    Copy the full SHA
    2decd3e View commit details
    Browse the repository at this point in the history

  5. scope: remove useless call to is_closed

    @fblanqui
    fblanqui committed Feb 15, 2022
    Configuration menu
    Copy the full SHA
    6b5e980 View commit details
    Browse the repository at this point in the history

  6. fix comment

    @fblanqui
    fblanqui committed Feb 15, 2022
    Configuration menu
    Copy the full SHA
    6fff025 View commit details
    Browse the repository at this point in the history

  7. optimize link/unlink/reset by exposing binder

    @fblanqui
    fblanqui committed Feb 15, 2022
    Configuration menu
    Copy the full SHA
    18e5cd5 View commit details
    Browse the repository at this point in the history

  8. remove constraints on bound variable identifiers

    @fblanqui
    fblanqui committed Feb 15, 2022
    Configuration menu
    Copy the full SHA
    4a51e1c View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2022

  1. fix reset_term

    @fblanqui
    fblanqui committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    dbecfe9 View commit details
    Browse the repository at this point in the history

  2. record if a variable is bound

    @fblanqui
    fblanqui committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    3d6e948 View commit details
    Browse the repository at this point in the history

  3. details

    @fblanqui
    fblanqui committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    d46bcab View commit details
    Browse the repository at this point in the history

  4. details

    @fblanqui
    fblanqui committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    5f073ca View commit details
    Browse the repository at this point in the history

  5. detail

    @fblanqui
    fblanqui committed Feb 18, 2022
    Configuration menu
    Copy the full SHA
    fe9d807 View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Feb 22, 2022
    Configuration menu
    Copy the full SHA
    cfb0ee0 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Feb 22, 2022
    Configuration menu
    Copy the full SHA
    2b584d3 View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Feb 23, 2022
    Configuration menu
    Copy the full SHA
    a369ed3 View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Feb 24, 2022
    Configuration menu
    Copy the full SHA
    83e0998 View commit details
    Browse the repository at this point in the history

Commits on Mar 17, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Mar 17, 2022
    Configuration menu
    Copy the full SHA
    110eaf7 View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Mar 29, 2022
    Configuration menu
    Copy the full SHA
    0488ad9 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed May 9, 2022
    Configuration menu
    Copy the full SHA
    cf4aaef View commit details
    Browse the repository at this point in the history

Commits on May 12, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed May 12, 2022
    Configuration menu
    Copy the full SHA
    e4167af View commit details
    Browse the repository at this point in the history

Commits on May 18, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed May 18, 2022
    Configuration menu
    Copy the full SHA
    ead55ce View commit details
    Browse the repository at this point in the history

Commits on May 19, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed May 19, 2022
    Configuration menu
    Copy the full SHA
    60c75b8 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Jul 12, 2022
    Configuration menu
    Copy the full SHA
    eb2c957 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Jul 12, 2022
    Configuration menu
    Copy the full SHA
    3bde217 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Jul 12, 2022
    Configuration menu
    Copy the full SHA
    e5d646c View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Jul 28, 2022
    Configuration menu
    Copy the full SHA
    ff0f98e View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Jul 29, 2022
    Configuration menu
    Copy the full SHA
    813ae2f View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Aug 4, 2022
    Configuration menu
    Copy the full SHA
    d5a25a5 View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Sep 6, 2022
    Configuration menu
    Copy the full SHA
    6bf38b9 View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    9cc5937 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Sep 12, 2022
    Configuration menu
    Copy the full SHA
    b6eeaa3 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    65ba575 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Sep 28, 2022
    Configuration menu
    Copy the full SHA
    bbc1477 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    4085120 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    4d8ea21 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Dec 28, 2022
    Configuration menu
    Copy the full SHA
    d4ef7ad View commit details
    Browse the repository at this point in the history

Commits on Dec 30, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Dec 30, 2022
    Configuration menu
    Copy the full SHA
    7eeb49f View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Dec 30, 2022
    Configuration menu
    Copy the full SHA
    30cd837 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Dec 30, 2022
    Configuration menu
    Copy the full SHA
    5329381 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Dec 30, 2022
    Configuration menu
    Copy the full SHA
    f72ba2f View commit details
    Browse the repository at this point in the history

Commits on Dec 31, 2022

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Dec 31, 2022
    Configuration menu
    Copy the full SHA
    cc114b0 View commit details
    Browse the repository at this point in the history

  2. tests/regressions: update expected output of hrs and xtc

    @fblanqui
    fblanqui committed Dec 31, 2022
    Configuration menu
    Copy the full SHA
    804fc06 View commit details
    Browse the repository at this point in the history

  3. fix dk export

    @fblanqui
    fblanqui committed Dec 31, 2022
    Configuration menu
    Copy the full SHA
    7862dd8 View commit details
    Browse the repository at this point in the history

Commits on Jan 2, 2023

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Jan 2, 2023
    Configuration menu
    Copy the full SHA
    7a69b75 View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2023

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Jan 11, 2023
    Configuration menu
    Copy the full SHA
    eb228eb View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2023

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Jan 29, 2023
    Configuration menu
    Copy the full SHA
    7073352 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2023

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Jan 31, 2023
    Configuration menu
    Copy the full SHA
    b8980f4 View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2023

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Feb 27, 2023
    Configuration menu
    Copy the full SHA
    57d5686 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2023

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    3807cd1 View commit details
    Browse the repository at this point in the history

Commits on Mar 17, 2023

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    a34cc45 View commit details
    Browse the repository at this point in the history

Commits on Mar 30, 2023

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Mar 30, 2023
    Configuration menu
    Copy the full SHA
    858f1f3 View commit details
    Browse the repository at this point in the history

Commits on Apr 4, 2023

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Apr 4, 2023
    Configuration menu
    Copy the full SHA
    9790ee6 View commit details
    Browse the repository at this point in the history

Commits on Apr 14, 2023

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Apr 14, 2023
    Configuration menu
    Copy the full SHA
    4f651f3 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Apr 14, 2023
    Configuration menu
    Copy the full SHA
    7cbc2cd View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2023

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    a2491c2 View commit details
    Browse the repository at this point in the history

  2. add tests/OK/991.lp

    @fblanqui
    fblanqui committed Jun 9, 2023
    Configuration menu
    Copy the full SHA
    6babc67 View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2023

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Jun 12, 2023
    Configuration menu
    Copy the full SHA
    d0b7dde View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2023

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    e762e86 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    0b16862 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2023

  1. update doc

    @fblanqui
    fblanqui committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    68f62de View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2023

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    f137ca2 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2023

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    3a27af9 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    50a9075 View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2023

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    457a368 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2023

  1. Merge remote-tracking branch 'lp/master' into db

    @fblanqui
    fblanqui committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    e7ce853 View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2023

  1. Merge remote-tracking branch 'dk/master' into db

    @fblanqui
    fblanqui committed Nov 7, 2023
    Configuration menu
    Copy the full SHA
    0db4750 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2023

  1. Merge remote-tracking branch 'dk/master' into db

    @fblanqui
    fblanqui committed Nov 11, 2023
    Configuration menu
    Copy the full SHA
    4a3df34 View commit details
    Browse the repository at this point in the history

Commits on Dec 19, 2023

  1. Merge remote-tracking branch 'dk/master' into db

    @fblanqui
    fblanqui committed Dec 19, 2023
    Configuration menu
    Copy the full SHA
    24a54e8 View commit details
    Browse the repository at this point in the history

Commits on Jan 26, 2024

  1. enforce locally nameless convention (never deal with terms containing… 

    … free de Bruijn indices) of Term interface + avoid some unnecessary relocations
    @barras
    barras committed Jan 26, 2024
    Configuration menu
    Copy the full SHA
    c74325b View commit details
    Browse the repository at this point in the history

Commits on Feb 22, 2024

  1. Enforce locally nameless convention (Bruno)

    @fblanqui
    fblanqui committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    2eb6850 View commit details
    Browse the repository at this point in the history

  2. spaces

    @fblanqui
    fblanqui committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    d987930 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'dk/master' into db

    @fblanqui
    fblanqui committed Feb 22, 2024
    Configuration menu
    Copy the full SHA
    6094505 View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2024

  1. Merge remote-tracking branch 'dk/master' into db

    @fblanqui
    fblanqui committed Feb 28, 2024
    Configuration menu
    Copy the full SHA
    07b05ea View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2024

  1. Merge remote-tracking branch 'dk/master' into db

    @fblanqui
    fblanqui committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    dad144c View commit details
    Browse the repository at this point in the history

  2. exclude 991 in tests/export_raw_dk.sh

    @fblanqui
    fblanqui committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    2890ad1 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2024

  1. Merge remote-tracking branch 'dk/master' into db

    @fblanqui
    fblanqui committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    b00961f View commit details
    Browse the repository at this point in the history

Commits on Mar 29, 2024

  1. remove tests related to identifier restrictions due to bindlib

    @fblanqui
    fblanqui committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    7dd3baa View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'dk/master' into db

    @fblanqui
    fblanqui committed Mar 29, 2024
    Configuration menu
    Copy the full SHA
    641a46c View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2024

  1. Merge remote-tracking branch 'dk/master' into db

    @fblanqui
    fblanqui committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    4f260a9 View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2024

  1. Merge remote-tracking branch 'dk/master' into db

    @fblanqui
    fblanqui committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    fa42a15 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2024

  1. Merge remote-tracking branch 'dk/master' into db

    @fblanqui
    fblanqui committed May 3, 2024
    Configuration menu
    Copy the full SHA
    f58c24f View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

  1. Merge remote-tracking branch 'dk/master' into db

    @fblanqui
    fblanqui committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    4b4bcf7 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'dk/master' into db

    @fblanqui
    fblanqui committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    6e123bd View commit details
    Browse the repository at this point in the history