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

Plus #24

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

Plus #24

wants to merge 821 commits into from
This pull request is big! We’re only showing the most recent 250 commits.

Commits on Jul 19, 2019

  1. Some reformatting + more content

    Cesare Tinelli committed Jul 19, 2019
    Configuration menu
    Copy the full SHA
    a2ef2ad View commit details
    Browse the repository at this point in the history

  2. added build dir

    Cesare Tinelli committed Jul 19, 2019
    Configuration menu
    Copy the full SHA
    cc7c08d View commit details
    Browse the repository at this point in the history

  3. A few more edits and additions

    Cesare Tinelli committed Jul 19, 2019
    Configuration menu
    Copy the full SHA
    c02b2cb View commit details
    Browse the repository at this point in the history

  4. subset again

    @mudathirmahgoub
    mudathirmahgoub committed Jul 19, 2019
    Configuration menu
    Copy the full SHA
    2d479c0 View commit details
    Browse the repository at this point in the history

  5. towards using pos

    @mudathirmahgoub
    mudathirmahgoub committed Jul 19, 2019
    Configuration menu
    Copy the full SHA
    89b2dc6 View commit details
    Browse the repository at this point in the history

  6. towards using pos

    @mudathirmahgoub
    mudathirmahgoub committed Jul 19, 2019
    Configuration menu
    Copy the full SHA
    bd4863e View commit details
    Browse the repository at this point in the history

  7. Verified a few [checks]

    Cesare Tinelli committed Jul 19, 2019
    Configuration menu
    Copy the full SHA
    a7248be View commit details
    Browse the repository at this point in the history

  8. small change

    @mudathirmahgoub
    mudathirmahgoub committed Jul 19, 2019
    Configuration menu
    Copy the full SHA
    483ce86 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'replaceExpr' of https://github.com/CVC4/org.alloytools.… 

    …alloy into replaceExpr
    @mudathirmahgoub
    mudathirmahgoub committed Jul 19, 2019
    Configuration menu
    Copy the full SHA
    b6b1eff View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2019

  1. Used sort-based new fresh names

    @mudathirmahgoub
    mudathirmahgoub committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    f309db8 View commit details
    Browse the repository at this point in the history

  2. Fixed ExprVar equality in substitution

    @mudathirmahgoub
    mudathirmahgoub committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    a64857e View commit details
    Browse the repository at this point in the history

  3. Added Windows instructions 

    Modified gradle to use AlloyTools
    @mudathirmahgoub
    mudathirmahgoub committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    8b4a616 View commit details
    Browse the repository at this point in the history

  4. used r for fresh relations

    @mudathirmahgoub
    mudathirmahgoub committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    7ef0661 View commit details
    Browse the repository at this point in the history

  5. intUniverse -> intUniv

    @mudathirmahgoub
    mudathirmahgoub committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    e992f16 View commit details
    Browse the repository at this point in the history

  6. [mac] Makes Alloy run on Java 9 

    The special mac code is now ran in a try/catch block
so that the failing code on Java 9 does not abort
the process.
    @pkriens
    pkriens committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    cfab293 View commit details
    Browse the repository at this point in the history

  7. [tooltip] Do not use tableview in tooltip

    @pkriens
    pkriens committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    7c8c5c1 View commit details
    Browse the repository at this point in the history

  8. [RELEASE] 5.1.0 preparations

    @pkriens
    pkriens committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    395d4e5 View commit details
    Browse the repository at this point in the history

  9. disabled Predicate and Assertion links when the model is sat

    @mudathirmahgoub
    mudathirmahgoub committed Jul 20, 2019
    Configuration menu
    Copy the full SHA
    06dd9ad View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2019

  1. Added signature constraints for an instance returned by CVC4

    @mudathirmahgoub
    mudathirmahgoub committed Jul 21, 2019
    Configuration menu
    Copy the full SHA
    98870bf View commit details
    Browse the repository at this point in the history

  2. Changed timeout to seconds + Less verbosity

    @mudathirmahgoub
    mudathirmahgoub committed Jul 21, 2019
    Configuration menu
    Copy the full SHA
    9bc43c0 View commit details
    Browse the repository at this point in the history

  3. Added instance constraints for fields

    @mudathirmahgoub
    mudathirmahgoub committed Jul 21, 2019
    Configuration menu
    Copy the full SHA
    a105abe View commit details
    Browse the repository at this point in the history

  4. handled empty fields and empty signatures

    @mudathirmahgoub
    mudathirmahgoub committed Jul 21, 2019
    Configuration menu
    Copy the full SHA
    032d29d View commit details
    Browse the repository at this point in the history

  5. Merge pull request #6 from AlloyTools/master 

    Merge from AlloyTools master branch
    @mudathirmahgoub
    mudathirmahgoub authored Jul 21, 2019
    Configuration menu
    Copy the full SHA
    930cdc3 View commit details
    Browse the repository at this point in the history

  6. Fixed removeMultiplicity 

    towards fixing hotel1 example
    @mudathirmahgoub
    mudathirmahgoub committed Jul 21, 2019
    Configuration menu
    Copy the full SHA
    ab4a8f7 View commit details
    Browse the repository at this point in the history

Commits on Jul 22, 2019

  1. Handled facts that use multiplicity like (expr in A m -> n B)

    @mudathirmahgoub
    mudathirmahgoub committed Jul 22, 2019
    Configuration menu
    Copy the full SHA
    5b811cc View commit details
    Browse the repository at this point in the history

  2. small change

    @mudathirmahgoub
    mudathirmahgoub committed Jul 22, 2019
    Configuration menu
    Copy the full SHA
    266d6a8 View commit details
    Browse the repository at this point in the history

  3. doesn't compile

    @mudathirmahgoub
    mudathirmahgoub committed Jul 22, 2019
    Configuration menu
    Copy the full SHA
    75412f6 View commit details
    Browse the repository at this point in the history

  4. Separated alloy variables from generated variables

    @mudathirmahgoub
    mudathirmahgoub committed Jul 22, 2019
    Configuration menu
    Copy the full SHA
    0d27933 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2019

  1. Generated constraints for Kodkod instances

    @mudathirmahgoub
    mudathirmahgoub committed Jul 23, 2019
    Configuration menu
    Copy the full SHA
    3f481a4 View commit details
    Browse the repository at this point in the history

  2. Small change

    @mudathirmahgoub
    mudathirmahgoub committed Jul 23, 2019
    Configuration menu
    Copy the full SHA
    77bfff8 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2019

  1. Update guidelines.md

    @mudathirmahgoub
    mudathirmahgoub authored Jul 24, 2019
    Configuration menu
    Copy the full SHA
    6a8a684 View commit details
    Browse the repository at this point in the history

  2. changes

    @mudathirmahgoub
    mudathirmahgoub committed Jul 24, 2019
    Configuration menu
    Copy the full SHA
    0c8e290 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2019

  1. Added scope for integers

    @mudathirmahgoub
    mudathirmahgoub committed Jul 25, 2019
    Configuration menu
    Copy the full SHA
    d1d51d5 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2019

  1. update about panel text in SimpleGui.java

    @dnjackson
    dnjackson authored Jul 26, 2019
    Configuration menu
    Copy the full SHA
    9f57ffb View commit details
    Browse the repository at this point in the history

  2. SimpleGUI.java: removed logo 

    concerned about box will be too large
    @dnjackson
    dnjackson authored Jul 26, 2019
    Configuration menu
    Copy the full SHA
    9d0ca15 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2019

  1. [solvers] Added plingeling executable

    @pkriens
    pkriens committed Jul 30, 2019
    Configuration menu
    Copy the full SHA
    1e422d9 View commit details
    Browse the repository at this point in the history

  2. Naming

    @pkriens
    pkriens committed Jul 30, 2019
    Configuration menu
    Copy the full SHA
    8334179 View commit details
    Browse the repository at this point in the history

  3. [cosmetic] Tooltips/mac menus

    @pkriens
    pkriens committed Jul 30, 2019
    Configuration menu
    Copy the full SHA
    63aa8e2 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2019

  1. Merge pull request #8 from AlloyTools/master 

    Merge from AlloyTools
    @mudathirmahgoub
    mudathirmahgoub authored Aug 1, 2019
    Configuration menu
    Copy the full SHA
    2978adb View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into replaceExpr 

    # Conflicts:
#	cnf/build.bnd
#	org.alloytools.alloy.dist/build.gradle
    @mudathirmahgoub
    mudathirmahgoub committed Aug 1, 2019
    Configuration menu
    Copy the full SHA
    343c089 View commit details
    Browse the repository at this point in the history

  3. Renamed to AlloySolution

    @mudathirmahgoub
    mudathirmahgoub committed Aug 1, 2019
    Configuration menu
    Copy the full SHA
    e849d05 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #9 from CVC4/replaceExpr 

    Merging CVC4 relational solver to master
    @mudathirmahgoub
    mudathirmahgoub authored Aug 1, 2019
    Configuration menu
    Copy the full SHA
    633e39f View commit details
    Browse the repository at this point in the history

  5. changed the Main class from AlloyTools to Alloy

    @mudathirmahgoub
    mudathirmahgoub committed Aug 1, 2019
    Configuration menu
    Copy the full SHA
    726f52c View commit details
    Browse the repository at this point in the history

  6. small change

    @mudathirmahgoub
    mudathirmahgoub committed Aug 1, 2019
    Configuration menu
    Copy the full SHA
    70839e5 View commit details
    Browse the repository at this point in the history

  7. changes

    @mudathirmahgoub
    mudathirmahgoub committed Aug 1, 2019
    Configuration menu
    Copy the full SHA
    92d1057 View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2019

  1. restoring bnd files

    @mudathirmahgoub
    mudathirmahgoub committed Aug 5, 2019
    Configuration menu
    Copy the full SHA
    4ce1419 View commit details
    Browse the repository at this point in the history

  2. restoring bnd files

    @mudathirmahgoub
    mudathirmahgoub committed Aug 5, 2019
    Configuration menu
    Copy the full SHA
    61cc029 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2019

  1. small change

    @mudathirmahgoub
    mudathirmahgoub committed Aug 6, 2019
    Configuration menu
    Copy the full SHA
    37bca8b View commit details
    Browse the repository at this point in the history

  2. isPrivate

    @mudathirmahgoub
    mudathirmahgoub committed Aug 6, 2019
    Configuration menu
    Copy the full SHA
    cae3b1b View commit details
    Browse the repository at this point in the history

  3. isPrivate

    @mudathirmahgoub
    mudathirmahgoub committed Aug 6, 2019
    Configuration menu
    Copy the full SHA
    fbaaea9 View commit details
    Browse the repository at this point in the history

Commits on Aug 7, 2019

  1. added univInt and identInt to integer.als

    @mudathirmahgoub
    mudathirmahgoub committed Aug 7, 2019
    Configuration menu
    Copy the full SHA
    3ed5998 View commit details
    Browse the repository at this point in the history

Commits on Aug 12, 2019

  1. refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Aug 12, 2019
    Configuration menu
    Copy the full SHA
    2234007 View commit details
    Browse the repository at this point in the history

  2. refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Aug 12, 2019
    Configuration menu
    Copy the full SHA
    ddc9f64 View commit details
    Browse the repository at this point in the history

  3. Added positions to assertions

    @mudathirmahgoub
    mudathirmahgoub committed Aug 12, 2019
    Configuration menu
    Copy the full SHA
    9e909ee View commit details
    Browse the repository at this point in the history

  4. added Range and UnsatCore classes

    @mudathirmahgoub
    mudathirmahgoub committed Aug 12, 2019
    Configuration menu
    Copy the full SHA
    cf8d5d1 View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2019

  1. Added Bool to Abstrct Translator

    @mudathirmahgoub
    mudathirmahgoub committed Aug 13, 2019
    Configuration menu
    Copy the full SHA
    b0e813f View commit details
    Browse the repository at this point in the history

  2. Added function calls and quantified expressions to Smt.g4

    @mudathirmahgoub
    mudathirmahgoub committed Aug 13, 2019
    Configuration menu
    Copy the full SHA
    9068c93 View commit details
    Browse the repository at this point in the history

Commits on Aug 14, 2019

  1. Refactoring options

    @mudathirmahgoub
    mudathirmahgoub committed Aug 14, 2019
    Configuration menu
    Copy the full SHA
    1a1d901 View commit details
    Browse the repository at this point in the history

  2. refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Aug 14, 2019
    Configuration menu
    Copy the full SHA
    283ac8f View commit details
    Browse the repository at this point in the history

  3. unsat core

    @mudathirmahgoub
    mudathirmahgoub committed Aug 14, 2019
    Configuration menu
    Copy the full SHA
    00614bc View commit details
    Browse the repository at this point in the history

  4. unsat core

    @mudathirmahgoub
    mudathirmahgoub committed Aug 14, 2019
    Configuration menu
    Copy the full SHA
    a21a821 View commit details
    Browse the repository at this point in the history

  5. unsat core

    @mudathirmahgoub
    mudathirmahgoub committed Aug 14, 2019
    Configuration menu
    Copy the full SHA
    61c0dbd View commit details
    Browse the repository at this point in the history

  6. unsat core

    @mudathirmahgoub
    mudathirmahgoub committed Aug 14, 2019
    Configuration menu
    Copy the full SHA
    0841829 View commit details
    Browse the repository at this point in the history

  7. Used block-model command

    @mudathirmahgoub
    mudathirmahgoub committed Aug 14, 2019
    Configuration menu
    Copy the full SHA
    20049db View commit details
    Browse the repository at this point in the history

  8. enabling and disabling menu items

    @mudathirmahgoub
    mudathirmahgoub committed Aug 14, 2019
    Configuration menu
    Copy the full SHA
    b09e811 View commit details
    Browse the repository at this point in the history

Commits on Aug 15, 2019

  1. Refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Aug 15, 2019
    Configuration menu
    Copy the full SHA
    04e88b7 View commit details
    Browse the repository at this point in the history

  2. refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Aug 15, 2019
    Configuration menu
    Copy the full SHA
    63839ba View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2019

  1. generate named formulas only when produceUnsatCore is true

    @mudathirmahgoub
    mudathirmahgoub committed Aug 16, 2019
    Configuration menu
    Copy the full SHA
    a8f29c2 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2019

  1. Draft SMT pretty printer

    @mudathirmahgoub
    mudathirmahgoub committed Aug 17, 2019
    Configuration menu
    Copy the full SHA
    2c5e962 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2019

  1. minor

    @mudathirmahgoub
    mudathirmahgoub committed Aug 19, 2019
    Configuration menu
    Copy the full SHA
    9d74525 View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2019

  1. options

    @mudathirmahgoub
    mudathirmahgoub committed Sep 21, 2019
    Configuration menu
    Copy the full SHA
    29c41c2 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/CVC4/org.alloytools.alloy

    @mudathirmahgoub
    mudathirmahgoub committed Sep 21, 2019
    Configuration menu
    Copy the full SHA
    376cc26 View commit details
    Browse the repository at this point in the history

  3. options

    @mudathirmahgoub
    mudathirmahgoub committed Sep 21, 2019
    Configuration menu
    Copy the full SHA
    8c69bdf View commit details
    Browse the repository at this point in the history

  4. options

    @mudathirmahgoub
    mudathirmahgoub committed Sep 21, 2019
    Configuration menu
    Copy the full SHA
    b70aa53 View commit details
    Browse the repository at this point in the history

  5. identity constraint simplified

    @mudathirmahgoub
    mudathirmahgoub committed Sep 21, 2019
    Configuration menu
    Copy the full SHA
    9423959 View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2019

  1. changes

    @mudathirmahgoub
    mudathirmahgoub committed Sep 23, 2019
    Configuration menu
    Copy the full SHA
    f3794fe View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2019

  1. Removed

    @tinelli
    tinelli committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    34de38e View commit details
    Browse the repository at this point in the history

  2. Moved to SMT-Extensions

    @tinelli
    tinelli committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    c05946a View commit details
    Browse the repository at this point in the history

  3. Also moved

    @tinelli
    tinelli committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    baab82e View commit details
    Browse the repository at this point in the history

  4. Replaced by SMT-extensions.md

    @tinelli
    tinelli committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    73ebff9 View commit details
    Browse the repository at this point in the history

  5. minor edits

    @tinelli
    tinelli committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    0576f75 View commit details
    Browse the repository at this point in the history

  6. Refactoring: moved alloy2smt/* to SMT-Extension/*

    @mudathirmahgoub
    mudathirmahgoub committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    563b5d3 View commit details
    Browse the repository at this point in the history

  7. Refactoring: restored some examples

    @mudathirmahgoub
    mudathirmahgoub committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    e820aec View commit details
    Browse the repository at this point in the history

  8. Added cvc4 license

    @mudathirmahgoub
    mudathirmahgoub committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    1b9b3f6 View commit details
    Browse the repository at this point in the history

  9. Fixed SMT-Extension.md

    @mudathirmahgoub
    mudathirmahgoub committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    54963d5 View commit details
    Browse the repository at this point in the history

  10. Fixed many issues

    @mudathirmahgoub
    mudathirmahgoub committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    febc71e View commit details
    Browse the repository at this point in the history

  11. Small change

    @mudathirmahgoub
    mudathirmahgoub committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    2383dba View commit details
    Browse the repository at this point in the history

  12. Commented out Int

    @mudathirmahgoub
    mudathirmahgoub committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    5c9b356 View commit details
    Browse the repository at this point in the history

  13. small changes

    @mudathirmahgoub
    mudathirmahgoub committed Sep 24, 2019
    Configuration menu
    Copy the full SHA
    9a00607 View commit details
    Browse the repository at this point in the history

Commits on Sep 25, 2019

  1. Updated section on quantification over Int.

    Cesare Tinelli committed Sep 25, 2019
    Configuration menu
    Copy the full SHA
    1fa92bf View commit details
    Browse the repository at this point in the history

  2. Minor edits

    Cesare Tinelli committed Sep 25, 2019
    Configuration menu
    Copy the full SHA
    3c20b69 View commit details
    Browse the repository at this point in the history

  3. Added README

    @tinelli
    tinelli authored Sep 25, 2019
    Configuration menu
    Copy the full SHA
    cbc6162 View commit details
    Browse the repository at this point in the history

  4. small changes

    @mudathirmahgoub
    mudathirmahgoub committed Sep 25, 2019
    Configuration menu
    Copy the full SHA
    eac689f View commit details
    Browse the repository at this point in the history

  5. updated projects dependency graph

    @mudathirmahgoub
    mudathirmahgoub committed Sep 25, 2019
    Configuration menu
    Copy the full SHA
    933bffd View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2019

  1. changew

    @mudathirmahgoub
    mudathirmahgoub committed Oct 11, 2019
    Configuration menu
    Copy the full SHA
    24a5a41 View commit details
    Browse the repository at this point in the history

  2. change

    @mudathirmahgoub
    mudathirmahgoub committed Oct 11, 2019
    Configuration menu
    Copy the full SHA
    e513c91 View commit details
    Browse the repository at this point in the history

  3. status

    @mudathirmahgoub
    mudathirmahgoub committed Oct 11, 2019
    Configuration menu
    Copy the full SHA
    7367448 View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2019

  1. Integer singletons only option

    @mudathirmahgoub
    mudathirmahgoub committed Oct 13, 2019
    Configuration menu
    Copy the full SHA
    7a303b4 View commit details
    Browse the repository at this point in the history

  2. small change

    @mudathirmahgoub
    mudathirmahgoub committed Oct 13, 2019
    Configuration menu
    Copy the full SHA
    a4dd6fc View commit details
    Browse the repository at this point in the history

  3. Argument quantifiers

    @mudathirmahgoub
    mudathirmahgoub committed Oct 13, 2019
    Configuration menu
    Copy the full SHA
    ef6698b View commit details
    Browse the repository at this point in the history

  4. Argument quantifiers

    @mudathirmahgoub
    mudathirmahgoub committed Oct 13, 2019
    Configuration menu
    Copy the full SHA
    c995b98 View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2019

  1. getFreeVariables

    @mudathirmahgoub
    mudathirmahgoub committed Oct 20, 2019
    Configuration menu
    Copy the full SHA
    e8de4f6 View commit details
    Browse the repository at this point in the history

  2. Argument quantifiers

    @mudathirmahgoub
    mudathirmahgoub committed Oct 20, 2019
    Configuration menu
    Copy the full SHA
    f24e776 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2019

  1. Added int value to its corresponding uninterpreted int name

    @mudathirmahgoub
    mudathirmahgoub committed Oct 21, 2019
    Configuration menu
    Copy the full SHA
    dd1bfb8 View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2019

  1. relational solver

    @mudathirmahgoub
    mudathirmahgoub committed Oct 24, 2019
    Configuration menu
    Copy the full SHA
    ac7ff53 View commit details
    Browse the repository at this point in the history

Commits on Dec 28, 2019

  1. Argument quantifiers

    @mudathirmahgoub
    mudathirmahgoub committed Dec 28, 2019
    Configuration menu
    Copy the full SHA
    1a14711 View commit details
    Browse the repository at this point in the history

Commits on Dec 31, 2019

  1. towards int singletons

    @mudathirmahgoub
    mudathirmahgoub committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    7e94408 View commit details
    Browse the repository at this point in the history

  2. refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Dec 31, 2019
    Configuration menu
    Copy the full SHA
    60593ba View commit details
    Browse the repository at this point in the history

Commits on Jan 1, 2020

  1. changing the model on the fly

    @mudathirmahgoub
    mudathirmahgoub committed Jan 1, 2020
    Configuration menu
    Copy the full SHA
    9c0ae50 View commit details
    Browse the repository at this point in the history

  2. finally some progress

    @mudathirmahgoub
    mudathirmahgoub committed Jan 1, 2020
    Configuration menu
    Copy the full SHA
    5826601 View commit details
    Browse the repository at this point in the history

  3. finally some progress

    @mudathirmahgoub
    mudathirmahgoub committed Jan 1, 2020
    Configuration menu
    Copy the full SHA
    ebf544e View commit details
    Browse the repository at this point in the history

Commits on Jan 9, 2020

  1. Fixed translating field multiplicity

    @mudathirmahgoub
    mudathirmahgoub committed Jan 9, 2020
    Configuration menu
    Copy the full SHA
    7dda2e5 View commit details
    Browse the repository at this point in the history

  2. betterThanAlloy

    @mudathirmahgoub
    mudathirmahgoub committed Jan 9, 2020
    Configuration menu
    Copy the full SHA
    7e98f91 View commit details
    Browse the repository at this point in the history

  3. makeSet

    @mudathirmahgoub
    mudathirmahgoub committed Jan 9, 2020
    Configuration menu
    Copy the full SHA
    b1c00a1 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2020

  1. bank account

    @mudathirmahgoub
    mudathirmahgoub committed Jan 10, 2020
    Configuration menu
    Copy the full SHA
    5db90e9 View commit details
    Browse the repository at this point in the history

  2. bank account

    @mudathirmahgoub
    mudathirmahgoub committed Jan 10, 2020
    Configuration menu
    Copy the full SHA
    f5ea2ad View commit details
    Browse the repository at this point in the history

  3. bank account

    @mudathirmahgoub
    mudathirmahgoub committed Jan 10, 2020
    Configuration menu
    Copy the full SHA
    fd6db80 View commit details
    Browse the repository at this point in the history

  4. comprehension test

    @mudathirmahgoub
    mudathirmahgoub committed Jan 10, 2020
    Configuration menu
    Copy the full SHA
    2c35ab6 View commit details
    Browse the repository at this point in the history

  5. refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Jan 10, 2020
    Configuration menu
    Copy the full SHA
    1ba997a View commit details
    Browse the repository at this point in the history

  6. refactoring no, lone, some, loneOf

    @mudathirmahgoub
    mudathirmahgoub committed Jan 10, 2020
    Configuration menu
    Copy the full SHA
    698e4a1 View commit details
    Browse the repository at this point in the history

  7. refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Jan 10, 2020
    Configuration menu
    Copy the full SHA
    c8ed3bb View commit details
    Browse the repository at this point in the history

  8. set equality

    @mudathirmahgoub
    mudathirmahgoub committed Jan 10, 2020
    Configuration menu
    Copy the full SHA
    adfec08 View commit details
    Browse the repository at this point in the history

  9. cardinality equality

    @mudathirmahgoub
    mudathirmahgoub committed Jan 10, 2020
    Configuration menu
    Copy the full SHA
    678f16d View commit details
    Browse the repository at this point in the history

  10. logical operators

    @mudathirmahgoub
    mudathirmahgoub committed Jan 10, 2020
    Configuration menu
    Copy the full SHA
    3572026 View commit details
    Browse the repository at this point in the history

  11. almost

    @mudathirmahgoub
    mudathirmahgoub committed Jan 10, 2020
    Configuration menu
    Copy the full SHA
    be91e7e View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2020

  1. added comment string to Expression

    @mudathirmahgoub
    mudathirmahgoub committed Jan 13, 2020
    Configuration menu
    Copy the full SHA
    eb6dc0f View commit details
    Browse the repository at this point in the history

  2. added comment string to Expression

    @mudathirmahgoub
    mudathirmahgoub committed Jan 13, 2020
    Configuration menu
    Copy the full SHA
    7a98de4 View commit details
    Browse the repository at this point in the history

  3. Fixed wrong translation

    @mudathirmahgoub
    mudathirmahgoub committed Jan 13, 2020
    Configuration menu
    Copy the full SHA
    fabf0d5 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2020

  1. refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Jan 24, 2020
    Configuration menu
    Copy the full SHA
    2dfa106 View commit details
    Browse the repository at this point in the history

  2. refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Jan 24, 2020
    Configuration menu
    Copy the full SHA
    1caf407 View commit details
    Browse the repository at this point in the history

Commits on Feb 2, 2020

  1. commit

    @mudathirmahgoub
    mudathirmahgoub committed Feb 2, 2020
    Configuration menu
    Copy the full SHA
    7e095f7 View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2020

  1. Bug Cardinality < 0 returns sat!!

    @mudathirmahgoub
    mudathirmahgoub committed Feb 20, 2020
    Configuration menu
    Copy the full SHA
    f3c71fa View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2020

  1. refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Feb 26, 2020
    Configuration menu
    Copy the full SHA
    39d79bd View commit details
    Browse the repository at this point in the history

  2. refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Feb 26, 2020
    Configuration menu
    Copy the full SHA
    efc059e View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2020

  1. refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Feb 27, 2020
    Configuration menu
    Copy the full SHA
    15e6915 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2020

  1. Supported rClosure for integers

    @mudathirmahgoub
    mudathirmahgoub committed Mar 19, 2020
    Configuration menu
    Copy the full SHA
    25edefc View commit details
    Browse the repository at this point in the history

  2. Refactored cardinality comparisons

    @mudathirmahgoub
    mudathirmahgoub committed Mar 19, 2020
    Configuration menu
    Copy the full SHA
    3e2144b View commit details
    Browse the repository at this point in the history

  3. Refactored cardinality comparisons

    @mudathirmahgoub
    mudathirmahgoub committed Mar 19, 2020
    Configuration menu
    Copy the full SHA
    2e158bb View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2020

  1. Update issue templates

    @tinelli
    tinelli authored Mar 26, 2020
    Configuration menu
    Copy the full SHA
    e88c802 View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2020

  1. Before major changes

    @mudathirmahgoub
    mudathirmahgoub committed Apr 2, 2020
    Configuration menu
    Copy the full SHA
    5c9226b View commit details
    Browse the repository at this point in the history

  2. renamed program to script

    @mudathirmahgoub
    mudathirmahgoub committed Apr 2, 2020
    Configuration menu
    Copy the full SHA
    789a0c4 View commit details
    Browse the repository at this point in the history

  3. SmtOptimizer

    @mudathirmahgoub
    mudathirmahgoub committed Apr 2, 2020
    Configuration menu
    Copy the full SHA
    e537976 View commit details
    Browse the repository at this point in the history

  4. towards removing integers if they are not used

    @mudathirmahgoub
    mudathirmahgoub committed Apr 2, 2020
    Configuration menu
    Copy the full SHA
    655310a View commit details
    Browse the repository at this point in the history

  5. towards removing integers if they are not used

    @mudathirmahgoub
    mudathirmahgoub committed Apr 2, 2020
    Configuration menu
    Copy the full SHA
    1617cda View commit details
    Browse the repository at this point in the history

  6. towards removing integers if they are not used

    @mudathirmahgoub
    mudathirmahgoub committed Apr 2, 2020
    Configuration menu
    Copy the full SHA
    9f2be8a View commit details
    Browse the repository at this point in the history

  7. towards removing integers if they are not used

    @mudathirmahgoub
    mudathirmahgoub committed Apr 2, 2020
    Configuration menu
    Copy the full SHA
    13a1bc3 View commit details
    Browse the repository at this point in the history

  8. small change

    @mudathirmahgoub
    mudathirmahgoub committed Apr 2, 2020
    Configuration menu
    Copy the full SHA
    fb7f3f8 View commit details
    Browse the repository at this point in the history

  9. Major refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Apr 2, 2020
    Configuration menu
    Copy the full SHA
    e02e509 View commit details
    Browse the repository at this point in the history

  10. Small changes

    @mudathirmahgoub
    mudathirmahgoub committed Apr 2, 2020
    Configuration menu
    Copy the full SHA
    cbfdd05 View commit details
    Browse the repository at this point in the history

  11. Fixed unavailable signatures and fields in an smt model

    @mudathirmahgoub
    mudathirmahgoub committed Apr 2, 2020
    Configuration menu
    Copy the full SHA
    af3eb6b View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2020

  1. 2 smt files

    @mudathirmahgoub
    mudathirmahgoub committed Apr 3, 2020
    Configuration menu
    Copy the full SHA
    3419f5c View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2020

  1. choose operator

    @mudathirmahgoub
    mudathirmahgoub committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    224bd29 View commit details
    Browse the repository at this point in the history

  2. refactored Expression to SmtExpr

    @mudathirmahgoub
    mudathirmahgoub committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    3d604ea View commit details
    Browse the repository at this point in the history

  3. refactored VariableDeclaration.java to SmtVariable

    @mudathirmahgoub
    mudathirmahgoub committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    23bf065 View commit details
    Browse the repository at this point in the history

  4. towards predicates and functions again

    @mudathirmahgoub
    mudathirmahgoub committed Apr 9, 2020
    Configuration menu
    Copy the full SHA
    36bbaef View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2020

  1. removed ConstantDeclaration.java

    @mudathirmahgoub
    mudathirmahgoub committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    336b36a View commit details
    Browse the repository at this point in the history

  2. one

    @mudathirmahgoub
    mudathirmahgoub committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    c5f9e7c View commit details
    Browse the repository at this point in the history

  3. Decl translation

    @mudathirmahgoub
    mudathirmahgoub committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    08b74fc View commit details
    Browse the repository at this point in the history

  4. Changed predicates and functions to sets

    @mudathirmahgoub
    mudathirmahgoub committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    8b9eba0 View commit details
    Browse the repository at this point in the history

  5. someof

    @mudathirmahgoub
    mudathirmahgoub committed Apr 16, 2020
    Configuration menu
    Copy the full SHA
    a15158c View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2020

  1. Documentation

    @mudathirmahgoub
    mudathirmahgoub committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    0feb6d2 View commit details
    Browse the repository at this point in the history

  2. Format

    @mudathirmahgoub
    mudathirmahgoub committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    b8bab18 View commit details
    Browse the repository at this point in the history

  3. Refactored quantifiers to use Decl translator

    @mudathirmahgoub
    mudathirmahgoub committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    d9831c7 View commit details
    Browse the repository at this point in the history

  4. Comprehension

    @mudathirmahgoub
    mudathirmahgoub committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    30255bd View commit details
    Browse the repository at this point in the history

  5. Fixed an error when a function is called multiple times

    @mudathirmahgoub
    mudathirmahgoub committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    80efe0b View commit details
    Browse the repository at this point in the history

  6. Fixed some quantifier

    @mudathirmahgoub
    mudathirmahgoub committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    120b486 View commit details
    Browse the repository at this point in the history

  7. Restored arithmetic functions

    @mudathirmahgoub
    mudathirmahgoub committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    813b8d1 View commit details
    Browse the repository at this point in the history

  8. Fixed when the constraint of a variable is null

    @mudathirmahgoub
    mudathirmahgoub committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    82d3143 View commit details
    Browse the repository at this point in the history

  9. Refactored Environment to SmtEnv

    @mudathirmahgoub
    mudathirmahgoub committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    3c1a08f View commit details
    Browse the repository at this point in the history

  10. Replaced translateAuxiliaryFormula with addAuxiliaryVaraibles

    @mudathirmahgoub
    mudathirmahgoub committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    c9c94ed View commit details
    Browse the repository at this point in the history

  11. Added arrow test

    @mudathirmahgoub
    mudathirmahgoub committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    f1cdd0c View commit details
    Browse the repository at this point in the history

  12. Fixed let test

    @mudathirmahgoub
    mudathirmahgoub committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    301eea4 View commit details
    Browse the repository at this point in the history

  13. Fixed scoping issues with integer constants

    @mudathirmahgoub
    mudathirmahgoub committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    a378576 View commit details
    Browse the repository at this point in the history

  14. Fixed ordering module

    @mudathirmahgoub
    mudathirmahgoub committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    4a87ff2 View commit details
    Browse the repository at this point in the history

  15. 30 seconds

    @mudathirmahgoub
    mudathirmahgoub committed Apr 23, 2020
    Configuration menu
    Copy the full SHA
    b95dea3 View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2020

  1. optimized tuplsel 0 for unary tuples

    @mudathirmahgoub
    mudathirmahgoub committed Apr 24, 2020
    Configuration menu
    Copy the full SHA
    af8018e View commit details
    Browse the repository at this point in the history

  2. optimized tuplsel 0 for unary tuples

    @mudathirmahgoub
    mudathirmahgoub committed Apr 24, 2020
    Configuration menu
    Copy the full SHA
    d05c64b View commit details
    Browse the repository at this point in the history

  3. refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Apr 24, 2020
    Configuration menu
    Copy the full SHA
    f79e04a View commit details
    Browse the repository at this point in the history

  4. small refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Apr 24, 2020
    Configuration menu
    Copy the full SHA
    8719bd2 View commit details
    Browse the repository at this point in the history

  5. Fixed subset translation when there is an auxiliary set variable

    @mudathirmahgoub
    mudathirmahgoub committed Apr 24, 2020
    Configuration menu
    Copy the full SHA
    8e3bcc2 View commit details
    Browse the repository at this point in the history

  6. Documentation

    @mudathirmahgoub
    mudathirmahgoub committed Apr 24, 2020
    Configuration menu
    Copy the full SHA
    6f9b22a View commit details
    Browse the repository at this point in the history

  7. Refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Apr 24, 2020
    Configuration menu
    Copy the full SHA
    2356ffc View commit details
    Browse the repository at this point in the history

  8. Added infinity time limit option

    @mudathirmahgoub
    mudathirmahgoub committed Apr 24, 2020
    Configuration menu
    Copy the full SHA
    be29d0f View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2020

  1. translate functions

    @mudathirmahgoub
    mudathirmahgoub committed Apr 29, 2020
    Configuration menu
    Copy the full SHA
    70ae7fa View commit details
    Browse the repository at this point in the history

  2. small change

    @mudathirmahgoub
    mudathirmahgoub committed Apr 29, 2020
    Configuration menu
    Copy the full SHA
    40a1b29 View commit details
    Browse the repository at this point in the history

  3. time limit

    @mudathirmahgoub
    mudathirmahgoub committed Apr 29, 2020
    Configuration menu
    Copy the full SHA
    123d859 View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2020

  1. small change

    @mudathirmahgoub
    mudathirmahgoub committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    fad0bf1 View commit details
    Browse the repository at this point in the history

  2. small change

    @mudathirmahgoub
    mudathirmahgoub committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    f51d588 View commit details
    Browse the repository at this point in the history

  3. Refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    e2ede60 View commit details
    Browse the repository at this point in the history

  4. containsExpr

    @mudathirmahgoub
    mudathirmahgoub committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    d335dd9 View commit details
    Browse the repository at this point in the history

  5. refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    8bb0137 View commit details
    Browse the repository at this point in the history

  6. toString

    @mudathirmahgoub
    mudathirmahgoub committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    aea4186 View commit details
    Browse the repository at this point in the history

  7. toString

    @mudathirmahgoub
    mudathirmahgoub committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    0c3ca8d View commit details
    Browse the repository at this point in the history

  8. Fixed Env bug

    @mudathirmahgoub
    mudathirmahgoub committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    ebbd891 View commit details
    Browse the repository at this point in the history

  9. Examples tests

    @mudathirmahgoub
    mudathirmahgoub committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    b6d6411 View commit details
    Browse the repository at this point in the history

  10. Add choose singleton constraint

    @mudathirmahgoub
    mudathirmahgoub committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    5e40559 View commit details
    Browse the repository at this point in the history

  11. reverted unintended changes

    @mudathirmahgoub
    mudathirmahgoub committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    b2507ab View commit details
    Browse the repository at this point in the history

  12. removed integer singletons only option

    @mudathirmahgoub
    mudathirmahgoub committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    b10dd07 View commit details
    Browse the repository at this point in the history

  13. cleanup

    @mudathirmahgoub
    mudathirmahgoub committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    98022d5 View commit details
    Browse the repository at this point in the history

  14. cleanup

    @mudathirmahgoub
    mudathirmahgoub committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    5edeceb View commit details
    Browse the repository at this point in the history

  15. cleanup

    @mudathirmahgoub
    mudathirmahgoub committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    7e109f6 View commit details
    Browse the repository at this point in the history

  16. Merge pull request #17 from CVC4/removeSetFunctions 

    Refactor SMT-Extension heavily and support choose operator
    @mudathirmahgoub
    mudathirmahgoub authored Apr 30, 2020
    Configuration menu
    Copy the full SHA
    a5a97c1 View commit details
    Browse the repository at this point in the history

  17. Added *.smt2 to .gitignore

    @mudathirmahgoub
    mudathirmahgoub committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    a0e6267 View commit details
    Browse the repository at this point in the history

  18. Updated CVC4 binary for linux

    @mudathirmahgoub
    mudathirmahgoub committed Apr 30, 2020
    Configuration menu
    Copy the full SHA
    cfe7529 View commit details
    Browse the repository at this point in the history

Commits on May 1, 2020

  1. Merge remote-tracking branch 'AlloyTools/master' 

    # Conflicts:
#	README.md
#	org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleGUI.java
    @mudathirmahgoub
    mudathirmahgoub committed May 1, 2020
    Configuration menu
    Copy the full SHA
    ad31180 View commit details
    Browse the repository at this point in the history

Commits on May 2, 2020

  1. SmtRewriter

    @mudathirmahgoub
    mudathirmahgoub committed May 2, 2020
    Configuration menu
    Copy the full SHA
    d4a2407 View commit details
    Browse the repository at this point in the history

  2. Some progress

    @mudathirmahgoub
    mudathirmahgoub committed May 2, 2020
    Configuration menu
    Copy the full SHA
    b51458c View commit details
    Browse the repository at this point in the history

  3. Some progress

    @mudathirmahgoub
    mudathirmahgoub committed May 2, 2020
    Configuration menu
    Copy the full SHA
    899863f View commit details
    Browse the repository at this point in the history

  4. Some progress

    @mudathirmahgoub
    mudathirmahgoub committed May 2, 2020
    Configuration menu
    Copy the full SHA
    c70fa85 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2020

  1. Some progress

    @mudathirmahgoub
    mudathirmahgoub committed May 3, 2020
    Configuration menu
    Copy the full SHA
    932918f View commit details
    Browse the repository at this point in the history

  2. Permissions

    @mudathirmahgoub
    mudathirmahgoub committed May 3, 2020
    Configuration menu
    Copy the full SHA
    c530343 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #18 from CVC4/SmtOptimizerVisitor 

    Added SMTRewriter
    @mudathirmahgoub
    mudathirmahgoub authored May 3, 2020
    Configuration menu
    Copy the full SHA
    29464da View commit details
    Browse the repository at this point in the history

Commits on May 4, 2020

  1. Some progress

    @mudathirmahgoub
    mudathirmahgoub committed May 4, 2020
    Configuration menu
    Copy the full SHA
    de548c7 View commit details
    Browse the repository at this point in the history

  2. small change

    @mudathirmahgoub
    mudathirmahgoub committed May 4, 2020
    Configuration menu
    Copy the full SHA
    9543687 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #19 from CVC4/SmtOptimizerVisitor 

    Flatten nested AND, OR expressions
    @mudathirmahgoub
    mudathirmahgoub authored May 4, 2020
    Configuration menu
    Copy the full SHA
    6ac3d51 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2020

  1. Optimized function translations

    @mudathirmahgoub
    mudathirmahgoub committed May 8, 2020
    Configuration menu
    Copy the full SHA
    eeef07c View commit details
    Browse the repository at this point in the history

Commits on May 14, 2020

  1. cegqi-all

    @mudathirmahgoub
    mudathirmahgoub committed May 14, 2020
    Configuration menu
    Copy the full SHA
    8cac6a4 View commit details
    Browse the repository at this point in the history

Commits on May 21, 2020

  1. Product multiplicity

    @mudathirmahgoub
    mudathirmahgoub committed May 21, 2020
    Configuration menu
    Copy the full SHA
    2685d10 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #21 from CVC4/multiplicity 

    Product multiplicity
    @mudathirmahgoub
    mudathirmahgoub authored May 21, 2020
    Configuration menu
    Copy the full SHA
    303ffb2 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2020

  1. cvc4 mac

    Mudathir Mahgoub Yahia Mohamed authored and Mudathir Mahgoub Yahia Mohamed committed May 23, 2020
    Configuration menu
    Copy the full SHA
    8b32a56 View commit details
    Browse the repository at this point in the history

  2. updated cvc4_mac

    Mudathir Mahgoub Yahia Mohamed authored and Mudathir Mahgoub Yahia Mohamed committed May 23, 2020
    Configuration menu
    Copy the full SHA
    eab27fb View commit details
    Browse the repository at this point in the history

Commits on May 27, 2020

  1. Updated gradle to 6.4

    @mudathirmahgoub
    mudathirmahgoub committed May 27, 2020
    Configuration menu
    Copy the full SHA
    ce274be View commit details
    Browse the repository at this point in the history

  2. removed gradle

    @mudathirmahgoub
    mudathirmahgoub committed May 27, 2020
    Configuration menu
    Copy the full SHA
    f938bf3 View commit details
    Browse the repository at this point in the history

  3. gradle

    @mudathirmahgoub
    mudathirmahgoub committed May 27, 2020
    Configuration menu
    Copy the full SHA
    1d73e3d View commit details
    Browse the repository at this point in the history

  4. cegqi-all false

    @mudathirmahgoub
    mudathirmahgoub committed May 27, 2020
    Configuration menu
    Copy the full SHA
    ab7c730 View commit details
    Browse the repository at this point in the history

Commits on May 28, 2020

  1. One arrow Any optimization

    @mudathirmahgoub
    mudathirmahgoub committed May 28, 2020
    Configuration menu
    Copy the full SHA
    d71ee6c View commit details
    Browse the repository at this point in the history

  2. Fixed the translation

    @mudathirmahgoub
    mudathirmahgoub committed May 28, 2020
    Configuration menu
    Copy the full SHA
    5bbb534 View commit details
    Browse the repository at this point in the history

  3. AnyArrowOne

    @mudathirmahgoub
    mudathirmahgoub committed May 28, 2020
    Configuration menu
    Copy the full SHA
    0915c41 View commit details
    Browse the repository at this point in the history

  4. functions

    @mudathirmahgoub
    mudathirmahgoub committed May 28, 2020
    Configuration menu
    Copy the full SHA
    86bfb76 View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2020

  1. Arithmetic optimization

    @mudathirmahgoub
    mudathirmahgoub committed Aug 24, 2020
    Configuration menu
    Copy the full SHA
    44226cb View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2020

  1. Towards manual translation for the file

    @mudathirmahgoub
    mudathirmahgoub committed Aug 25, 2020
    Configuration menu
    Copy the full SHA
    fc344b0 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2020

  1. finally some unsat answer

    @mudathirmahgoub
    mudathirmahgoub committed Aug 29, 2020
    Configuration menu
    Copy the full SHA
    262ce16 View commit details
    Browse the repository at this point in the history

  2. removing quantifiers improve performance

    @mudathirmahgoub
    mudathirmahgoub committed Aug 29, 2020
    Configuration menu
    Copy the full SHA
    cd9efb5 View commit details
    Browse the repository at this point in the history

  3. assert system

    @mudathirmahgoub
    mudathirmahgoub committed Aug 29, 2020
    Configuration menu
    Copy the full SHA
    17993f4 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2020

  1. doc

    @mudathirmahgoub
    mudathirmahgoub committed Aug 31, 2020
    Configuration menu
    Copy the full SHA
    57dc000 View commit details
    Browse the repository at this point in the history

  2. doc

    @mudathirmahgoub
    mudathirmahgoub committed Aug 31, 2020
    Configuration menu
    Copy the full SHA
    48681e6 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2020

  1. refactoring

    @mudathirmahgoub
    mudathirmahgoub committed Sep 1, 2020
    Configuration menu
    Copy the full SHA
    a733171 View commit details
    Browse the repository at this point in the history

Commits on Sep 7, 2020

  1. updated bank_account.als

    @mudathirmahgoub
    mudathirmahgoub committed Sep 7, 2020
    Configuration menu
    Copy the full SHA
    0c6b87f View commit details
    Browse the repository at this point in the history

Commits on Sep 10, 2020

  1. many improvements

    @mudathirmahgoub
    mudathirmahgoub committed Sep 10, 2020
    Configuration menu
    Copy the full SHA
    69f58cc View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2020

  1. is_singleton

    @mudathirmahgoub
    mudathirmahgoub committed Sep 14, 2020
    Configuration menu
    Copy the full SHA
    f47431c View commit details
    Browse the repository at this point in the history

  2. is_singleton cvc4_binary

    @mudathirmahgoub
    mudathirmahgoub committed Sep 14, 2020
    Configuration menu
    Copy the full SHA
    82c05f3 View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2020

  1. tlimit_per

    @mudathirmahgoub
    mudathirmahgoub committed Sep 20, 2020
    Configuration menu
    Copy the full SHA
    4198d33 View commit details
    Browse the repository at this point in the history

  2. updated cvc4 binary

    @mudathirmahgoub
    mudathirmahgoub committed Sep 20, 2020
    Configuration menu
    Copy the full SHA
    0fc245e View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2020

  1. some changes

    @mudathirmahgoub
    mudathirmahgoub committed Sep 21, 2020
    Configuration menu
    Copy the full SHA
    41733d0 View commit details
    Browse the repository at this point in the history

  2. some changes

    @mudathirmahgoub
    mudathirmahgoub committed Sep 21, 2020
    Configuration menu
    Copy the full SHA
    e5f4d66 View commit details
    Browse the repository at this point in the history

  3. some changes

    @mudathirmahgoub
    mudathirmahgoub committed Sep 21, 2020
    Configuration menu
    Copy the full SHA
    5c59172 View commit details
    Browse the repository at this point in the history

  4. removed command with run$

    @mudathirmahgoub
    mudathirmahgoub committed Sep 21, 2020
    Configuration menu
    Copy the full SHA
    21d9749 View commit details
    Browse the repository at this point in the history

  5. Generating int constants only

    @mudathirmahgoub
    mudathirmahgoub committed Sep 21, 2020
    Configuration menu
    Copy the full SHA
    0126440 View commit details
    Browse the repository at this point in the history

Commits on Oct 13, 2020

  1. after the presentation

    @mudathirmahgoub
    mudathirmahgoub committed Oct 13, 2020
    Configuration menu
    Copy the full SHA
    12b9768 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2021

  1. changes

    @mudathirmahgoub
    mudathirmahgoub committed Jun 23, 2021
    Configuration menu
    Copy the full SHA
    0d7f196 View commit details
    Browse the repository at this point in the history