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

Product multiplicity #21

Merged
merged 1 commit into from
May 21, 2020
Merged

Product multiplicity #21

merged 1 commit into from
May 21, 2020

Conversation

mudathirmahgoub
Copy link

No description provided.

@mudathirmahgoub mudathirmahgoub merged commit 303ffb2 into master May 21, 2020
mudathirmahgoub added a commit that referenced this pull request Sep 8, 2021
@mudathirmahgoub
SMT-Extension
5af5a90 
Squashed commit of the following:

commit bd7ea99d0eebc859984efff139e180275d7b3e64
Merge: 5a684db6 6d625171
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 8 09:10:12 2021 -0500

    Merge branch 'main_merge'

commit 6d6251716dab792f64d234d7b45e2603aeb56890
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 8 08:33:11 2021 -0500

    3

commit fc53ff24767941502f2bcd801e6a94ae8b3cb4d3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 8 07:59:05 2021 -0500

    2

commit 5d77dadd13e9d78a336ce8a7b9f29276e3b7e080
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 8 02:01:40 2021 -0500

    1

commit 50b559959d6639c38d464650119b551a6cb1f1c6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 8 00:06:15 2021 -0500

    merge

commit 13b4339970a841152b5ae252b110339b37da4c28
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 7 22:33:24 2021 -0500

    merge

commit 047eac66a4bc1c8e9ba14e123c4aae130a96f550
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 7 22:00:49 2021 -0500

    merge from alloytools

commit 86bfb76d28fbcfab045e7c347301e08b1850748f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu May 28 14:06:00 2020 -0500

    functions

commit 0915c41bdd6f13e2358d7dd651fd333daf56d2ff
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu May 28 01:08:05 2020 -0500

    AnyArrowOne

commit 5bbb534f64fe78bbaf588ac84dc4f24c18ffe828
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 23:55:17 2020 -0500

    Fixed the translation

commit d71ee6cffd90466f344d50e2bed751bb280f38b5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 22:49:05 2020 -0500

    One arrow Any optimization

commit ab7c73093a03fe8518a68735e25e6edfd8398433
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 17:49:48 2020 -0500

    cegqi-all false

commit 1d73e3d7da468dfbe4ca2f201258c53a548d6f8d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 17:10:57 2020 -0500

    gradle

commit f938bf39f871245da773bce025fbb35d3ee2d8d9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 17:10:40 2020 -0500

    removed gradle

commit ce274bee5419664c98e40007bea8740ae6ba73db
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 16:42:17 2020 -0500

    Updated gradle to 6.4

commit eab27fb79c54961d625c5678fd033db12e5635bf
Author: Mudathir Mahgoub Yahia Mohamed <mudathir@Mudathirs-MacBook-Pro.local>
Date:   Sat May 23 14:16:30 2020 -0500

    updated cvc4_mac

commit 8b32a5680872133826946002e6540430cf0297ee
Author: Mudathir Mahgoub Yahia Mohamed <mudathir@Mudathirs-MacBook-Pro.local>
Date:   Fri May 22 20:28:03 2020 -0500

    cvc4 mac

commit 303ffb207c402a03a5028f02796aef4753644446
Merge: 8cac6a4f 2685d100
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu May 21 16:40:37 2020 -0500

    Merge pull request #21 from CVC4/multiplicity

    Product multiplicity

commit 2685d1005ea5f5dc78c4be1f26a5449e0ef7fd13
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu May 21 16:37:55 2020 -0500

    Product multiplicity

commit 8cac6a4f9743fbfc23044a0945fa87ec52439fac
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu May 14 14:35:23 2020 -0500

    cegqi-all

commit eeef07cb4b8a80b7a0b60f06e03f83f501c464bf
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri May 8 00:52:18 2020 -0500

    Optimized function translations

commit 6ac3d51532e513fc056e2ebaab0b1f4115cd3a7f
Merge: 29464da7 9543687e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun May 3 21:42:11 2020 -0500

    Merge pull request #19 from CVC4/SmtOptimizerVisitor

    Flatten nested AND, OR expressions

commit 9543687e37b5ca0ef37a5d6c804d7efe94f9ffa9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun May 3 21:40:19 2020 -0500

    small change

commit de548c7673ae828651adc2dae2c88f56b17dfe3f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun May 3 19:37:23 2020 -0500

    Some progress

commit 29464da79cf6b23fcfd9bf2b36d5b2ec3d51e5d2
Merge: c5303438 932918f1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun May 3 13:48:03 2020 -0500

    Merge pull request #18 from CVC4/SmtOptimizerVisitor

    Added SMTRewriter

commit c53034388c10306705a71a614804b57e8c157aab
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 19:36:38 2020 -0500

    Permissions

commit 932918f12b3de8649cfc33e984f2ae1d3573b233
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 19:22:44 2020 -0500

    Some progress

commit c70fa8558d2263809463a437550239b6a287e746
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 18:20:56 2020 -0500

    Some progress

commit 899863f81f6e18d551239b4648901505d73986d3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 14:34:55 2020 -0500

    Some progress

commit b51458cd3fe55f72f8167d0502cf49058ba019c2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 11:56:34 2020 -0500

    Some progress

commit d4a2407912df5e4321d127a9ef6f6fdfc0373895
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 05:34:50 2020 -0500

    SmtRewriter

commit ad31180de4947af7cb5f04d0b68c11c22f5f0ed6
Merge: cfe75299 368f3cd5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 19:20:15 2020 -0500

    Merge remote-tracking branch 'AlloyTools/master'

    # Conflicts:
    #	README.md
    #	org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleGUI.java

commit cfe75299e7bb59a73eab6a64ffb42254bc97029e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 18:19:00 2020 -0500

    Updated CVC4 binary for linux

commit a0e6267b69e32e9f40c8a7d77e254dfad9b6cc02
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 18:13:31 2020 -0500

    Added *.smt2 to .gitignore

commit a5a97c10130e37c8b02aad7c73bf6e66972c4c26
Merge: e88c802e 7e109f63
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Thu Apr 30 16:19:09 2020 -0500

    Merge pull request #17 from CVC4/removeSetFunctions

    Refactor SMT-Extension heavily and support choose operator

commit 7e109f63c37c5a66da0354f7044972ff8262111a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 16:07:32 2020 -0500

    cleanup

commit 5edeceb2556086373db9d881eeaed24cc847d795
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 16:05:06 2020 -0500

    cleanup

commit 98022d58792caef0ec85b48f2fb4fd7c52effc04
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 16:02:14 2020 -0500

    cleanup

commit b10dd07b7f82cb10d12ebd0df8ec869cce82f489
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 15:52:50 2020 -0500

    removed integer singletons only option

commit b2507ab0f9a738ccaace9f4ebb7b0e7b5aad76f7
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 15:41:13 2020 -0500

    reverted unintended changes

commit 5e40559cc72ee0497f428fb5cf74cbf1ab23748f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 15:22:35 2020 -0500

    Add choose singleton constraint

commit b6d6411b3fe0b000d20bac098c824af900a806a7
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 14:49:56 2020 -0500

    Examples tests

commit ebbd89142cbe63d6c8c6f1ae878c3313ed4db779
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 08:19:42 2020 -0500

    Fixed Env bug

commit 0c3ca8d92f357bc42c9e29cab00d64f25a7a1461
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 07:26:07 2020 -0500

    toString

commit aea4186fc62f2e04a95aa77eaab21c5a7016ea0f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 06:36:03 2020 -0500

    toString

commit 8bb013783f079788f80889dc741d7607aebee7b4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 06:14:04 2020 -0500

    refactoring

commit d335dd9c95941e1cad1984a8c52dbdef04f45f19
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 06:05:29 2020 -0500

    containsExpr

commit e2ede60173edcb3addcadfc71d05d2372b2ec940
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 03:45:14 2020 -0500

    Refactoring

commit f51d588cf93f320c405f9cfb9f270d557e44be50
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 29 19:48:28 2020 -0500

    small change

commit fad0bf192022ecce8a4cf39ac562bfe6c117c73b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 29 19:16:59 2020 -0500

    small change

commit 123d859c995a9ba8ba91693d0a23a5cba268ac1b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 29 18:18:03 2020 -0500

    time limit

commit 40a1b291a239fcf445d6d110755e7a096c9403b8
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 29 17:59:42 2020 -0500

    small change

commit 70ae7fa7c24ca9fdf1647cb204670ede3e62822a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 29 17:41:20 2020 -0500

    translate functions

commit be29d0fcfbdca13e6a88a19ece191f77d335d62d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 04:12:55 2020 -0500

    Added infinity time limit option

commit 2356ffc745cd33cc9c6257acd414295028bcaf50
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 03:38:52 2020 -0500

    Refactoring

commit 6f9b22af5a267a4d00d967d5df0b109f48b27331
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 03:20:45 2020 -0500

    Documentation

commit 8e3bcc2f89ad20d4d1ddbd52e6e885c3cddd0b6d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 03:08:40 2020 -0500

    Fixed subset translation when there is an auxiliary set variable

commit 8719bd24125daa6cb2818e9b0ac3600d86cddf25
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 02:17:10 2020 -0500

    small refactoring

commit f79e04a7bd73f4904d594b638177d1969bce0598
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 00:42:23 2020 -0500

    refactoring

commit d05c64befc8e00c703f61ce07a05363847788f9e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 21:41:13 2020 -0500

    optimized tuplsel 0 for unary tuples

commit af8018ea4e9821629e67bf8a8193192846b27689
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 20:57:19 2020 -0500

    optimized tuplsel 0 for unary tuples

commit b95dea3279ceb3c2df231745f51b108ce01a96f7
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 18:19:07 2020 -0500

    30 seconds

commit 4a87ff217ff8a946d6d1295597770f83815eb385
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 18:18:09 2020 -0500

    Fixed ordering module

commit a3785768cfe2b982f3feb705d0e2b6b044c1b249
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 16:41:54 2020 -0500

    Fixed scoping issues with integer constants

commit 301eea4e199ba3113eb2bdd576f2396c38bec8f4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 15:42:44 2020 -0500

    Fixed let test

commit f1cdd0cba00d9373a8f50ad429751ae52292f809
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 15:18:34 2020 -0500

    Added arrow test

commit c9c94ed7e9c21969ac574aefbefbc00b5d773ae2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 14:43:22 2020 -0500

    Replaced translateAuxiliaryFormula with addAuxiliaryVaraibles

commit 3c1a08f9cc175b89903c655d61e30d4d55bf828c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 12:36:38 2020 -0500

    Refactored Environment to SmtEnv

commit 82d31439858a9e2adbc57644dc9853fd3a610c36
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 12:07:34 2020 -0500

    Fixed when the constraint of a variable is null

commit 813b8d19ff1f3f2065e200d6397a42557b0b82d9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 06:32:06 2020 -0500

    Restored arithmetic functions

commit 120b486d08b6dec685e1a31bf1883fe41fa6354f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 06:03:13 2020 -0500

    Fixed some quantifier

commit 80efe0bdb81359400468ca513eaa328a6cecd637
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 05:53:50 2020 -0500

    Fixed an error when a function is called multiple times

commit 30255bddad8ebcdea44e477fc9ba05e452963922
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 05:40:26 2020 -0500

    Comprehension

commit d9831c7c4fe71d8b0be8ee8ca19d44f1cbf20ea6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 04:09:11 2020 -0500

    Refactored quantifiers to use Decl translator

commit b8bab189addf24dc50c88f893e78c611724066c0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 02:33:23 2020 -0500

    Format

commit 0feb6d24cf502b6d93301b63d38fa2b52dd0c6a4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 01:19:37 2020 -0500

    Documentation

commit a15158ca4dec71b1e432f2b59b8abb400b8c244d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 16 16:45:46 2020 -0500

    someof

commit 8b9eba0f809c4b5daacb4ecdfc3c8d625d7e41c8
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 16 16:20:56 2020 -0500

    Changed predicates and functions to sets

commit 08b74fc651d3a66b5662b9435af7912186823db6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 16 16:01:14 2020 -0500

    Decl translation

commit c5f9e7cc421e6d7ea9e4655549b6c5964b6938c9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 16 14:42:45 2020 -0500

    one

commit 336b36a53397c4b40e60b069b95a5c3deda38ca5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 16 13:15:37 2020 -0500

    removed ConstantDeclaration.java

commit 36bbaefc4a99018e941a01d2b07f3cf403d40f21
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 9 15:53:55 2020 -0500

    towards predicates and functions again

commit 23bf065ef402a74d25abaf0fd03de387c636f610
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 9 12:58:37 2020 -0500

    refactored VariableDeclaration.java to SmtVariable

commit 3d604ea91e64b32da6a7978a762b806dcf12505b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 9 01:12:14 2020 -0500

    refactored Expression to SmtExpr

commit 224bd29836846dfb5d4f99fd7e940243fc3d7a5e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 8 22:46:08 2020 -0500

    choose operator

commit 3419f5cd6ee87b5a34183d647519c4c44a9ffe04
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 20:28:02 2020 -0500

    2 smt files

commit af3eb6bf7bc65fa10db18e3e721e442c15a49acb
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 14:12:54 2020 -0500

    Fixed unavailable signatures and fields in an smt model

commit cbfdd0564b8e2abc9f10ec6e945cadf6dddd96f4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 14:02:39 2020 -0500

    Small changes

commit e02e509435e1dd78e2c9b770a1aed24624e12201
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 13:59:19 2020 -0500

    Major refactoring

commit fb7f3f82720dd327c38b766ec05f72527ee6b8c0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 11:16:18 2020 -0500

    small change

commit 13a1bc30757ec28ac9b2b8cb339e4df62089fda9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 11:14:10 2020 -0500

    towards removing integers if they are not used

commit 9f2be8a82635fbfe46324cc5a9d7034c5177c2ce
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 10:32:19 2020 -0500

    towards removing integers if they are not used

commit 1617cdaac84c084b4acebf4f8acaa927441e611b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 06:17:32 2020 -0500

    towards removing integers if they are not used

commit 655310a4e282febc79cc8af970a931790c9bdaba
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 05:22:08 2020 -0500

    towards removing integers if they are not used

commit e5379760a8dd9369a715d864318a030bd72e09d1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 01:27:49 2020 -0500

    SmtOptimizer

commit 789a0c48bab8b1681bbdaf36d572f16d4800a729
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 00:17:19 2020 -0500

    renamed program to script

commit 5c9226b9d85e347a6e9cc2c7ed6fbd3fdae673d9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 1 23:19:03 2020 -0500

    Before major changes

commit e88c802e25522599140740398cb887c9af82c20f
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Thu Mar 26 11:06:49 2020 -0500

    Update issue templates

commit 2e158bbea65702be0d3f6b19bfdd27b5cd49c720
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Mar 19 14:28:58 2020 -0500

    Refactored cardinality comparisons

commit 3e2144bf8d672d07c9fbbd2797b98dd5bb51d432
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Mar 19 13:56:19 2020 -0500

    Refactored cardinality comparisons

commit 25edefcd5750dc0cf0602cb02daa6e6a0b52eb62
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Mar 19 12:26:09 2020 -0500

    Supported rClosure for integers

commit 15e69150eafbb3a5a09f34fbcb1e5843960d159e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Feb 27 14:49:35 2020 -0600

    refactoring

commit efc059ec96af328ce1807e53d4b57f35e94123fc
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Feb 26 15:31:14 2020 -0600

    refactoring

commit 39d79bd2b7ff130bf3ebd8a26e864d3bda5b2ae0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Feb 26 15:22:13 2020 -0600

    refactoring

commit f3c71fa8ceeb1afbd43605b2b5eaa0bb2bb2bdb4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Feb 20 01:17:30 2020 -0600

    Bug Cardinality < 0 returns sat!!

commit 7e095f787a8af7817bdc53ddeed4f5af51a49428
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Feb 1 21:50:41 2020 -0600

    commit

commit 1caf4079195b6b25f39c7c4b0de2a92f564c88fa
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 24 08:37:02 2020 -0600

    refactoring

commit 2dfa106e859622ee6c88dce1159e9674abf0b7c1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 24 08:28:32 2020 -0600

    refactoring

commit fabf0d5f299a13ae2d6ff94fd137c39f24964dd4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jan 13 15:27:50 2020 -0600

    Fixed wrong translation

commit 7a98de4d7f150a777c36fca1324628797c8ebbd0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jan 13 14:03:23 2020 -0600

    added comment string to Expression

commit eb6dc0fc563d9fc629a898b9c25db420034ade05
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jan 13 13:50:23 2020 -0600

    added comment string to Expression

commit be91e7eb5e44c4603da459bb4b63d9371d265881
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 13:21:15 2020 -0600

    almost

commit 35720262d8d551f654d9177767dbd617f7c51d86
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 08:54:09 2020 -0600

    logical operators

commit 678f16db72a6a1d150223e3f1396b2b3c0a400af
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 03:56:16 2020 -0600

    cardinality equality

commit adfec08bf80a80a5f7f50637674c9ccfd7cbc2bf
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 02:40:01 2020 -0600

    set equality

commit c8ed3bb4016d15f3401cb062a62183b6fe1a4405
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 02:23:40 2020 -0600

    refactoring

commit 698e4a1037f3af5909b90988467414bf9c11e046
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 01:54:34 2020 -0600

    refactoring no, lone, some, loneOf

commit 1ba997a41899358a468822470eeb42f38a103754
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 00:50:51 2020 -0600

    refactoring

commit 2c35ab6a2aa34e08d294f68d50eed7f6bace306b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 00:35:49 2020 -0600

    comprehension test

commit fd6db807448c7e5f3cde7279d5447e3fd253c4b7
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 19:11:50 2020 -0600

    bank account

commit f5ea2ad0cd385165e471e5d3611d6101f2e9f3c4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 18:46:57 2020 -0600

    bank account

commit 5db90e9cbe799d11e7126ad3e908634a4af11e32
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 18:45:59 2020 -0600

    bank account

commit b1c00a1555c867c03aba2cbbb0fc1ba3cd8b3ad3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 16:13:47 2020 -0600

    makeSet

commit 7e98f9194f959870c14304e587d29dec1e73a944
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 14:33:08 2020 -0600

    betterThanAlloy

commit 7dda2e5ddc3d82fe0e32f0f9b88de66afffe84ff
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 14:14:11 2020 -0600

    Fixed translating field multiplicity

commit ebf544e8a6f61466968cb04371aa2647440eea86
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Dec 31 23:02:39 2019 -0600

    finally some progress

commit 582660136db2bf1f03d41996f2db60f3adfc0581
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Dec 31 21:54:27 2019 -0600

    finally some progress

commit 9c0ae50d6f4876750d89480e1c6fe91852b25d86
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Dec 31 21:44:06 2019 -0600

    changing the model on the fly

commit 60593bafb989d25c29af38c5d23d09231f703982
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Dec 31 01:49:40 2019 -0600

    refactoring

commit 7e944083e3f2892e7aba1a56345de15bc45e2c8b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Dec 30 19:42:48 2019 -0600

    towards int singletons

commit 1a1471155f65f6331f65dee9013dccfd3b97149e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Dec 28 16:02:09 2019 -0600

    Argument quantifiers

commit ac7ff53f136d8e59d6d70b84de257002b235410a
Author: Mudathir <mudathirmahgoub@gmail.com>
Date:   Thu Oct 24 18:01:25 2019 -0500

    relational solver

commit dd1bfb86eca10ddac1a6b49d95f97138202c48b1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Oct 20 19:46:50 2019 -0500

    Added int value to its corresponding uninterpreted int name

commit f24e77615740b6990cc030378fc574b84cce7f2d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Oct 20 17:23:15 2019 -0500

    Argument quantifiers

commit e8de4f6bad0ee694156191dc79ead59bf946d47a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Oct 20 16:39:55 2019 -0500

    getFreeVariables

commit c995b9893e4d08fccbfbe4d8c8c7c3edfa4d1586
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Oct 12 23:16:45 2019 -0500

    Argument quantifiers

commit ef6698b50808d8fba31dae882510371786cebaa6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Oct 12 23:16:15 2019 -0500

    Argument quantifiers

commit a4dd6fce3a59270646e1c7b0eab0fdfff138c384
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Oct 12 22:44:29 2019 -0500

    small change

commit 7a303b41e1f85d36b2647c99b5300790e3cf5a50
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Oct 12 22:40:33 2019 -0500

    Integer singletons only option

commit 73674489ffdbe61df94e8c60dccee4a4b6acec0a
Author: Mudathir <mudathirmahgoub@gmail.com>
Date:   Fri Oct 11 17:31:59 2019 -0500

    status

commit e513c91a37372140adeb125bb8b1251d3c6f9356
Author: Mudathir <mudathirmahgoub@gmail.com>
Date:   Fri Oct 11 16:11:40 2019 -0500

    change

commit 24a5a41b2def59fbf674a95a572dad994a41e2d1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Oct 11 15:49:47 2019 -0500

    changew

commit 933bffdfa7eadf157715843423a4394c7e71438e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 25 13:56:57 2019 -0500

    updated projects dependency graph

commit eac689f639cbd9f0e8946cbb91c8f509b9b995a4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 25 13:39:52 2019 -0500

    small changes

commit cbc61625b60c9656a5cc8534dd00b1477b541edf
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Wed Sep 25 10:39:29 2019 -0500

    Added README

commit 3c20b690c66af91687ce65ab6004fcefb0e5919b
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Wed Sep 25 00:20:54 2019 -0500

    Minor edits

commit 1fa92bfb9b967b55c25b7f9a19989e6093c2f06c
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Wed Sep 25 00:15:45 2019 -0500

    Updated section on quantification over Int.

commit 9a006070e85b8f486be701882adf9e8681446e76
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 17:50:31 2019 -0500

    small changes

commit 5c9b356b012b5c4df3880e9c616e8612e5303604
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 17:41:24 2019 -0500

    Commented out Int

commit 2383dbaa458d72ffac69d7c4fad3622ae931ec62
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 17:18:46 2019 -0500

    Small change

commit febc71e12faa019da9e901ae74cc39119c14cdfd
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 16:39:01 2019 -0500

    Fixed many issues

commit 54963d5c5deb9dd451fa047eef033b41d2cb9d3c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 15:05:33 2019 -0500

    Fixed SMT-Extension.md

commit 1b9b3f603c5a75b903eaa7c96cd8779fae507e0b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 13:55:56 2019 -0500

    Added cvc4 license

commit e820aecc41e6066db2bdd751cdfce9153bac6c3a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 13:52:32 2019 -0500

    Refactoring: restored some examples

commit 563b5d3923626fe72179c993923501be3f4644d8
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 13:34:44 2019 -0500

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

commit 0576f756b475aad76c11979eba265b3a994d550b
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Tue Sep 24 12:36:25 2019 -0500

    minor edits

commit 73ebff942e87d58e376fed5cdf0ac2d73e21c4cc
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Tue Sep 24 12:14:22 2019 -0500

    Replaced by SMT-extensions.md

commit baab82e52fa71705379333cce155ca5e5a22d253
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Tue Sep 24 12:13:57 2019 -0500

    Also moved

commit c05946aa49c7691f73f4c6d53bea86346a94215c
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Tue Sep 24 12:13:29 2019 -0500

    Moved to SMT-Extensions

commit 34de38ebf7cfbe653d3c95218936b2501972b004
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Tue Sep 24 12:11:25 2019 -0500

    Removed

commit f3794fe4774006ec5da27205c806a47fcf908f3c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Sep 23 12:48:06 2019 -0500

    changes

commit 9423959e26716c9cc5c88dff4877cf78f361adfc
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Sep 21 06:24:41 2019 -0500

    identity constraint simplified

commit b70aa5311f8c96597cfb18660ceaf5db41570d2f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Sep 21 00:07:37 2019 -0500

    options

commit 8c69bdf96ee17d795d0a2fa20f0b7edb3aa06720
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Sep 20 23:12:49 2019 -0500

    options

commit 376cc268513e714232ae7694b1cedd2e018e9e8a
Merge: 29c41c20 9d745254
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Sep 20 23:10:56 2019 -0500

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

commit 29c41c207d64c09fb979c26284c2a22fd4cf32ea
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Sep 20 23:10:19 2019 -0500

    options

commit 9d7452540e28aac1538b6c0a21c65c6b6bedaffe
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 19 13:50:11 2019 -0500

    minor

commit 2c5e96232dae0547081f8617b00fcd8e91fae3f7
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Aug 16 21:09:53 2019 -0500

    Draft SMT pretty printer

commit a8f29c2191ee65395867e1978912e2a010249cf9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Aug 16 12:12:01 2019 -0500

    generate named formulas only when produceUnsatCore is true

commit 63839bac0a45fd0c40c767cc2753a386d22c346f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 15 16:55:28 2019 -0500

    refactoring

commit 04e88b724165d074f1577ac2ffffa7f5bfba3aa6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 15 16:43:05 2019 -0500

    Refactoring

commit b09e811da0c86fd039ecfe2e1dd1791d81836c97
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Aug 14 15:40:25 2019 -0500

    enabling and disabling menu items

commit 20049db7ee30cf8cf3e59f2a0419741908d0e2a0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Aug 14 12:51:27 2019 -0500

    Used block-model command

commit 08418297eab92baad8252526d1318cdbcaeb32a4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Aug 14 00:27:24 2019 -0500

    unsat core

commit 61c0dbda103b9e5747f9ce6e8a87f18e5add5449
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Aug 14 00:03:23 2019 -0500

    unsat core

commit a21a821273c12b0e3729832d62606a50af7dca74
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 13 23:06:24 2019 -0500

    unsat core

commit 00614bcc4032e48d17ebf8210cf0677fde29d5ce
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 13 22:48:41 2019 -0500

    unsat core

commit 283ac8f7c92fb308ccea101e924ace9c815fbd9c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 13 19:44:57 2019 -0500

    refactoring

commit 1a1d9010e0b952aa69464851db5d9eee1c281e4a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 13 19:41:22 2019 -0500

    Refactoring options

commit 9068c93a1059926b06c1b795e4b49ef148487eb5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 13 04:54:24 2019 -0500

    Added function calls and quantified expressions to Smt.g4

commit b0e813fd4e2c97172cc945ce644e4b1b941dae31
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 12 22:38:05 2019 -0500

    Added Bool to Abstrct Translator

commit cf8d5d1dfd0993d52e015b0e3da51b53879ed7a4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 12 18:42:29 2019 -0500

    added Range and UnsatCore classes

commit 9e909eef9795c6e0c6dc68e536801aa7009e57e9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 12 16:58:48 2019 -0500

    Added positions to assertions

commit ddc9f6463e453dbb2880803c2430a7108530a951
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 12 09:45:42 2019 -0500

    refactoring

commit 2234007b094b31f5f058c3dfbd59981b47956579
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 12 09:41:39 2019 -0500

    refactoring

commit 3ed59989e6ddc5b9040d9dee9c04a51827019ba6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 6 19:07:07 2019 -0500

    added univInt and identInt to integer.als

commit fbaaea98db460657b26f6603e98f376694c99657
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 5 21:46:45 2019 -0500

    isPrivate

commit cae3b1bbbcbf9a2e9ab7dac224cefb72ddad228d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 5 21:36:54 2019 -0500

    isPrivate

commit 37bca8b952a7ead88a95500b042d36fe5b398082
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 5 20:58:29 2019 -0500

    small change

commit 61cc0297223a05ad952a7a70605ee06a3f132646
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 5 11:03:05 2019 -0500

    restoring bnd files

commit 4ce1419510b57f5fee6362848b12a0292f84b573
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 5 10:59:22 2019 -0500

    restoring bnd files

commit 92d1057763f0d58145884d897b0482aac4770381
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 1 14:56:56 2019 -0500

    changes

commit 70839e542d55363ab451acf5a58f6cbf6a1667f5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 1 14:56:14 2019 -0500

    small change

commit 726f52ce5f530b1dde89be577a8a1aa5d5fdd094
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 1 14:21:10 2019 -0500

    changed the Main class from AlloyTools to Alloy

commit 633e39fafdb3aa7e9b955fc46bffabd6af1bb71b
Merge: 2978adb9 e849d05a
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Thu Aug 1 13:40:32 2019 -0500

    Merge pull request #9 from CVC4/replaceExpr

    Merging CVC4 relational solver to master

commit e849d05a9837c176efb6e4832b18e1391ff25714
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 1 13:33:36 2019 -0500

    Renamed to AlloySolution

commit 343c0896067f55dad3ae787b90048d63237906ea
Merge: d1d51d58 2978adb9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 1 13:01:32 2019 -0500

    Merge branch 'master' into replaceExpr

    # Conflicts:
    #	cnf/build.bnd
    #	org.alloytools.alloy.dist/build.gradle

commit 2978adb99d50676a19736292c778b7af8c8916a4
Merge: 930cdc39 63aa8e28
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Thu Aug 1 12:42:45 2019 -0500

    Merge pull request #8 from AlloyTools/master

    Merge from AlloyTools

commit 63aa8e28f3ed7a2437d85ac700edb9d8cb8ce498
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Tue Jul 30 18:02:31 2019 +0200

    [cosmetic] Tooltips/mac menus

commit 83341793fb420b1087b98e90bc1a82498ac5ec9d
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Tue Jul 30 18:01:15 2019 +0200

    Naming

commit 1e422d9501dc103405ee249c2a1bc89bb44b5244
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Tue Jul 30 18:00:43 2019 +0200

    [solvers] Added plingeling executable

commit 9d0ca15892cdc2b610ac1bd02173474c3141115f
Author: dnjackson <dnj@mit.edu>
Date:   Fri Jul 26 10:38:39 2019 -0400

    SimpleGUI.java: removed logo

    concerned about box will be too large

commit 9f57ffb62de793415084bd64235bd1c2751dcf4a
Author: dnjackson <dnj@mit.edu>
Date:   Fri Jul 26 10:32:30 2019 -0400

    update about panel text in SimpleGui.java

commit d1d51d58aad4c2bea7c1ee4ca77a69e1303881a1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 25 11:11:37 2019 -0500

    Added scope for integers

commit 0c8e290b3f7d8f79bb6cf85d0be6ab9368d7bf54
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 24 15:26:37 2019 -0500

    changes

commit 6a8a684656df182f4990e77309a149417c2b8a12
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Wed Jul 24 15:25:36 2019 -0500

    Update guidelines.md

commit 77bfff800d178fa6707b6a1c21fc42b23d349c0c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jul 22 20:43:23 2019 -0500

    Small change

commit 3f481a44994e12c115e81b25a763c2b42d65cd43
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jul 22 20:23:16 2019 -0500

    Generated constraints for Kodkod instances

commit 0d2793321e61faf340f97064a990965f97cfa672
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jul 22 13:45:09 2019 -0500

    Separated alloy variables from generated variables

commit 75412f66021eeb1b177b05edb1d889ac5465d422
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jul 22 11:52:11 2019 -0500

    doesn't compile

commit 266d6a83307ee025ecb17e27430d154be3a69e0b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 21:33:22 2019 -0500

    small change

commit 5b811cc8ea5306eb7c464d22edb18d1d1f828af5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 20:31:47 2019 -0500

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

commit ab4a8f7e17556d8511436204ba30f37c6bd45177
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 18:49:12 2019 -0500

    Fixed removeMultiplicity
    towards fixing hotel1 example

commit 930cdc393a6b69cee940a9d74263ce8ee1d12402
Merge: 4328f43b 395d4e50
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Sun Jul 21 17:17:58 2019 -0500

    Merge pull request #6 from AlloyTools/master

    Merge from AlloyTools master branch

commit 032d29de59c75424ce4ccf872e89b9b614b3509d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 16:54:06 2019 -0500

    handled empty fields and empty signatures

commit a105abea5a8eee6bd9c6b6dd45e45243c50ac782
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 16:18:07 2019 -0500

    Added instance constraints for fields

commit 9bc43c00fac49665ee63c54d9e8bdb591d21308c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 15:55:32 2019 -0500

    Changed timeout to seconds + Less verbosity

commit 98870bf6f193ae113a7e9182965c6b6943fd8de5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 14:50:59 2019 -0500

    Added signature constraints for an instance returned by CVC4

commit 06dd9add7da193071af6b264a6acffffa0d37c05
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 18:45:52 2019 -0500

    disabled Predicate and Assertion links when the model is sat

commit 395d4e50a3c301f29fae5d8144d41a1f6498a660
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Sat Jul 20 14:39:49 2019 +0200

    [RELEASE] 5.1.0 preparations

commit 7c8c5c1a433b3d6134544a8d6575a26fd9ed6aa1
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Sat Jul 20 12:55:00 2019 +0200

    [tooltip] Do not use tableview in tooltip

commit cfab293edfdf260126aeae2c4d6f0b720899f393
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Sat Jul 20 12:19:52 2019 +0200

    [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.

commit e992f165fb77055127d5a2eb3055a736cb4ec839
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 05:00:13 2019 -0500

    intUniverse -> intUniv

commit 7ef066136ce19fb7cdc70284f6e157d5efdd0b24
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 04:56:19 2019 -0500

    used r for fresh relations

commit 8b4a616c0f1b4727b46d3c07d7de1e71fc2f80ef
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 04:09:25 2019 -0500

    Added Windows instructions
    Modified gradle to use AlloyTools

commit a64857ef7e72e05edc5663896742fb1a5ff96704
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 04:00:14 2019 -0500

    Fixed ExprVar equality in substitution

commit f309db8ac9ff652227615a97b98f66d5a1622309
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 03:48:20 2019 -0500

    Used sort-based new fresh names

commit b6b1eff53596c9d24cf86aeac661f6ca7348773b
Merge: 483ce861 a7248be8
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 19 17:07:26 2019 -0500

    Merge branch 'replaceExpr' of https://github.com/CVC4/org.alloytools.alloy into replaceExpr

commit 483ce86180f71de6a68b855b18550eb3a3b061d2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 19 17:06:46 2019 -0500

    small change

commit a7248be861aaa2ec7a4b372f5b944bcd7af77de0
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Fri Jul 19 16:01:10 2019 -0500

    Verified a few [checks]

commit bd4863e8239edf306de3c526b8f157e2d0b30a22
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 19 13:49:09 2019 -0500

    towards using pos

commit 89b2dc69faf248f3b7192b5d2560853f153bc4b1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 19 11:55:17 2019 -0500

    towards using pos

commit 2d479c04008c3c79c9845ed00c1ef86244121902
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 19 11:26:32 2019 -0500

    subset again

commit c02b2cb017d27205b9bb9b095d4cb71a9e48d5d8
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Fri Jul 19 02:21:51 2019 -0500

    A few more edits and additions

commit cc7c08db616dcc8edc8571052b896a6e7431f384
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Thu Jul 18 23:42:02 2019 -0500

    added build dir

commit a2ef2adc5daba4209983329b686edb8141f77f89
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Thu Jul 18 22:42:23 2019 -0500

    Some reformatting + more content

commit bb4be23e1a4fdbbf2c56ff62605f8a6d082c3ee4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 18 20:22:25 2019 -0500

    Added ExprVarTranslator

commit 3bee1742660edde57735351f126631a2abcd4e57
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 18 16:10:39 2019 -0500

    More changes

commit c62d93ea854ff16f66b590f50f2afc57ddb83a9e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 18 08:42:14 2019 -0500

    many changes

commit eb9fa2f41d944e3d7d1b65aaa92c83b969aeccf3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 14 11:51:43 2019 -0500

    nested comprehension

commit 0233be7497faf8e50abf54c6aabe5e17ec7e19ca
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 11 17:12:04 2019 -0500

    Fixed a bug when the SMT model has functions that accepts int arguments

commit 021b921b67cb198c15414f8f4d343700ad9b1ef5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 11 16:48:05 2019 -0500

    added $ to the parser

commit 6cc8293f8f0c9079fae987caebfb2083ebf954bb
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 11 12:32:19 2019 -0500

    example bank accounts

commit 4d82b4dbf2846f4d5806d7b0b2616d58f5fc833d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 10 16:31:06 2019 -0500

    example bank accounts

commit dc3cea7bec2f24ca37fe241439ccd399079af799
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 10 16:24:34 2019 -0500

    Translated ExprLet as macro 2

commit 83c9332dd9d2189bc2c2d89962fadb93dc1ec42e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 10 15:55:55 2019 -0500

    Translated ExprLet as macro 1

commit 3670553dba18ce01ac16ddfeb1ab43b051cf7a20
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 10 05:29:07 2019 -0500

    Towards fixing sets quantifiers in integer functions

commit ec26b97c7b24b9b2312b930853be298a60430446
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Fri Jul 5 14:22:52 2019 -0500

    Update guidelines.md

commit 1c095a1c890240c862ea1acb636bec64acda1841
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 5 11:40:05 2019 -0500

    Refactored VariableDeclaration

commit dcee9550931c3c6adca668962989366fdbbe61b5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 4 23:20:26 2019 -0500

    Added more tests

commit 28512d1bc3563e59e635655a99ff56500e5c4045
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 4 11:47:02 2019 -0500

    small changes

commit 959de2923fb3056135b06a4975762bde98b94648
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 4 11:44:42 2019 -0500

    small changes

commit aede68aee0198839466dfa4628ca70a8f313a77b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 4 11:36:40 2019 -0500

    util/ordering

commit 8ee76f1cde915f16547ab07df2e2f02b04bab804
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 4 11:18:01 2019 -0500

    Added more tests

commit a81b1a84e623e951729cdd8164a6e8d697e6cdb5
Merge: 4c4bedc1 fc26b3cf
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 18:17:14 2019 -0500

    Merge branch 'replaceExpr' of https://github.com/CVC4/org.alloytools.alloy into replaceExpr

commit 4c4bedc113cc44b11fb0261ad206b121fb378987
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 18:16:23 2019 -0500

    examples

commit fc26b3cf9d4588cd5a8e48093ffe5885864f15d5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 18:01:20 2019 -0500

    small change

commit 6f5eb7f4a7f5acbe82951e98826fae9e9cd79c0b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 17:01:58 2019 -0500

    refactoring

commit 22e545ef6bb307ca4e0aa66e6e64e363f3597502
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 15:30:16 2019 -0500

    Fixed field

commit da6d5326aba6c60c4ba7fba525597691ac33dd87
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 13:10:40 2019 -0500

    Refactoring

commit dfcf6b6ed2ed7454cf4f340fe19102f5732f7113
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 13:01:43 2019 -0500

    Fixed substitution for ExprQt declared Expr

commit 39e71ea506f88bb7c33039f2b20925c6dd83fe95
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 11:32:50 2019 -0500

    Added missing environment

commit a2bbe35c025ad3b877533c75d509e01c4c57b013
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 11:20:56 2019 -0500

    Fixed || body instanceof Sig.Field

commit 09105677cfc1ea2f65e66641fe61845e4070ebcb
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 20:13:06 2019 -0500

    refactored ExprCallTranslator

commit e5f9403c647242d22dec112119a1bde3c2849879
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 19:46:47 2019 -0500

    Added command generated assertions between push and pop

commit 9145cb78b4e226d6bca04b3686c00edb7e36a90e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 19:01:22 2019 -0500

    Removed function translation

commit f38edc97a664c9056e0cb53044b7c65ea0677fd3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 18:13:46 2019 -0500

    ExprITE

commit d74deec5dc675b9110562485a059a5c54d436aef
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 18:04:15 2019 -0500

    Fix disjoint2 when there is no field

commit e1d7068bc516fee7c937c7dc8637a2163445c335
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 17:27:17 2019 -0500

    ExprConstant

commit f50779b0ea5e15f65c457f156817e12397f00368
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 17:15:47 2019 -0500

    ExprLet

commit 734aa16fc3f5986f95bf8a29ccb4155d666bf24f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 16:19:51 2019 -0500

    expr substitute

commit e2a6e22e054c3f45af516f87681dcdc617580a09
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 12:13:56 2019 -0500

    small changes

commit 02f3ab16c7a5388a9efe3cdf2c7dd7b49c665943
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 11:44:21 2019 -0500

    refactored CVC4

commit 3163a680239d9b06f06cfecec8b47b2b96a32a1a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 11:14:22 2019 -0500

    For testing

commit 364098ecd6e8a20db4c1358f5c739b136f0e265d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 28 19:05:29 2019 -0500

    Some changes

commit 59b77e6acf8da41c462ed5ee523ddc19016232b4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 27 19:18:19 2019 -0500

    changes

commit 31da7ef69d471504ba40cbaac91328fc882cc675
Merge: 20993fd3 4328f43b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 25 18:27:07 2019 -0500

    Merge from master branch

commit 4328f43bd25a774a0eb2595b19e59db90cc4efb5
Merge: a56c9f17 886f744d
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Tue Jun 25 16:53:16 2019 -0500

    Merge pull request #3 from AlloyTools/master

    Glucose41

commit 20993fd3285d387e4184d79a3dbf11b46f5bd361
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 25 14:18:23 2019 -0500

    weird

commit 3edda981611334c0b3dec965a6ab0d962568feee
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 25 12:28:11 2019 -0500

    Scope warning

commit 2a4eb2b1989433e6f400c0368146513aaa120a89
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 16:10:40 2019 -0500

    weird

commit a255b62119c514ad89ee79aadab8f4b1ff04356c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 16:08:37 2019 -0500

    Full Command string

commit 79ae98203fe4b2e515d3d0457104cc0b56406322
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 12:39:45 2019 -0500

    small change

commit 8f0a4a4c8183d70973d2a22b16dd573816f71e40
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 12:19:30 2019 -0500

    Fixed a bug

commit e067f6c034d6378ed97ca4d27a2d45cf2ef1e429
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 06:28:28 2019 -0500

    Refactoring

commit a2e417b5985e203dd0d5fbf9477047510881c3e1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 06:10:02 2019 -0500

    Refactored BoolConstant

commit e041ceae84095c49074d7ac628bf7ff23407b838
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 05:56:43 2019 -0500

    disjoint quantifiers

commit ec6aa23ce7da464ac4265cf2a73d2bccbdd75f3e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 05:37:07 2019 -0500

    refactoring

commit 88d393fc5e2e2bd62ab27276d85bde45467e585d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jun 23 19:31:09 2019 -0500

    refactoring

commit 5755cd0b8a4e61e4f50abd1e96dbcc4c7c524ce9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jun 23 18:54:56 2019 -0500

    refactoring

commit aa82b8c306519f5bacce5de66e16868f7dff0d2c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jun 23 18:18:35 2019 -0500

    refactoring

commit dda48301dce2b9bb6333c6401602f4064cba9856
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jun 23 12:24:42 2019 -0500

    refactoring

commit d28144ce632c824017ad560571b31030b852ad74
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 14:48:04 2019 -0500

    refactoring

commit 86e9207eaa8b2792f67e5c65c4252e9aa3ee4d52
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 13:57:56 2019 -0500

    refactored BinaryExpression

commit 2e965394f8218860762ff1a77e29a53198866c9f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 07:06:07 2019 -0500

    refactored ITEExpression

commit 4907fd4f3c4ac3d836959340ba05f4bc9dfa9553
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 07:02:09 2019 -0500

    refactored LetExpression

commit efc47ae2dd3843460c204854cf886c4671771d4f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 06:56:32 2019 -0500

    refactored MultiArityExpression

commit 86c9b17f16ede4d9f3681cbb35c10ce16dd90351
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 06:48:48 2019 -0500

    refactored UnaryExpression and QuantifiedExpression

commit 5016c7b85a519e656f37f61ac72ebe2569b75f27
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 05:42:37 2019 -0500

    Optimized Tuple quantifiers

commit 6e87d9889f8a5fdf12de5041ad9d0ce974486f37
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 00:24:24 2019 -0500

    (define-fun this/A () (Set (Tuple Atom)) (as emptyset (Set (Tuple Atom))))
    (define-fun |this/A'| () (Set (Tuple Atom)) (as emptyset (Set (Tuple Atom))))
    (define-fun |this/A"| () (Set (Tuple Atom)) (as emptyset (Set (Tuple Atom))))

commit 4fbb3f62053add97d101f1ffe4c66324db51248c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 00:10:10 2019 -0500

    used smt lib bars |identifier|

commit ef86e98b47a26e94777a81f4671d982abfc87c69
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 20 21:38:09 2019 -0500

    disjoint2 fields values

commit a3d521f7bbeb6fd3c24176b8e8267d9a46891d94
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 20 13:08:42 2019 -0500

    disjoint fields

commit b973f0834978ada1e44e1d69b5ffff1a288e3ba9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 20 11:02:57 2019 -0500

    Fixed " special translation

commit 6318bd94975a4c6ecd66c78758d83db20b703b7c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 19 22:09:44 2019 -0500

    Fixed disjointness constraints for grandchildren

commit ad6ab066d812706493434557fcba492a2aaba48c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 19 21:58:39 2019 -0500

    Fixed disjointness constraints for grandchildren

commit 3414859c359494ae5a9b7bfac5f144ba7bfe3044
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 19 19:50:04 2019 -0500

    Fixed disjointness constraints for grandchildren

commit 5c76f2451d29a93788b5cf3e2e019cd8e619ef35
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 19 18:20:23 2019 -0500

    updated translation for unary fields

commit dc0744f085e277c2e7aeb780ee18be89f2fe672e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 19 10:11:37 2019 -0500

    draft changes

commit 886f744d5742cbbfd9d4f2450c750135be831aa7
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Wed Jun 19 12:06:49 2019 +0200

    [title] Uses main class name that looks better in the menu bar

commit cefafcdf27e76a0f87e9869c153b0c5e11ec9eb2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 18 22:22:44 2019 -0500

    Fixed one scope signature case

commit 8457b0c6ae2b3b54d218896d69e4e493b9c2bf34
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 18 22:13:46 2019 -0500

    a lot of changes to support constraints for variables

commit ecebfe03360159e57e26a9a21f56f6c2b120c870
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 18 01:00:41 2019 -0500

    Progress

commit af68b9435780f8c8a396a8e7d67f003f608f10f0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jun 16 12:31:53 2019 -0500

    Fixed systems/views type bug
    Replaced quantified arguments in membership expressions

commit d7af05a8d0c39c142481096b9c03b088027aad99
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 19:15:27 2019 -0500

    annoying scope rules

commit f926dd1826775e88451aa00f6da5af595effc8c6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 19:01:07 2019 -0500

    annoying scope rules

commit 4da6bb506719456e0e4b4824f2cfb9fa6f577346
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 07:25:33 2019 -0500

    small change

commit b8f3d41382fe41c21fbd953e5fcad8af43dc9572
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 06:50:07 2019 -0500

    small change

commit 263fe69dfeb4f5177c8d2df7e9ed33c5751d675c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 05:24:57 2019 -0500

    Fixed parsing function return sort in Smt.g4 file

commit 62a137b4a172ea94613dab7228c26d3a89f14d6d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 05:11:00 2019 -0500

    handle different types for quantifiers in comprehensions

commit 5b65cea54f05bd5e4c0f902aa572a3df2eb11756
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 23:51:21 2019 -0500

    added replace function

commit 6a6ce37955c5704e0126bdd8669a1fe1918b9602
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 20:41:18 2019 -0500

    refactoring (Introducing Environment)

commit a26d4a69a55dd6ca6ceb93209fcc54250f40d729
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 18:08:52 2019 -0500

    Fixed a unit test

commit 0cd9e7beb9770633a33cfb4492f2c0206887537e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 17:01:27 2019 -0500

    ExprQt and ExprBinary ranges

commit 1661d6114ae53405f794d5056fbc31263108170c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 14:40:34 2019 -0500

    comprehension first attempt

commit a9b7bf88fd3250c6fd4e8d6c162dbe81f1131212
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 14:39:06 2019 -0500

    comprehension first attempt

commit 688f12d1474f2319ec1c0bb96ae41a548cc4b2d2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 23:50:33 2019 -0500

    ExprQt multiplicity one

commit e69fc333bd8bfde860a3d4435c6485fa80d85cc6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 22:28:39 2019 -0500

    ExprQt multiplicity all

commit 73e7df1f684d4b0100b6345fb13b2e9139c577a3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 22:16:03 2019 -0500

    ExprQt multiplicity some

commit a6d0975e37c0cb9bec53c3442a0b7208a9ae1471
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 20:39:10 2019 -0500

    New translation for ExprQt (lone)

commit d4fd694b9b069278d779000c66c8b45908508fe3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 20:32:41 2019 -0500

    New translation for ExprQt (one)

commit 9d4025cee809805bd2eb183026e5f08929d9b940
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 17:24:01 2019 -0500

    New translation for ExprQt (one)

commit 3473fd6b05b6025e96a9ed4444e4622a769a6b76
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 16:19:09 2019 -0500

    New translation for ExprQt (some)

commit 84f8d3f14db589e9fd8c1a6009d05650d8128b66
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 15:48:14 2019 -0500

    New translation for ExprQt

commit d1be2de52aa54ef13f88f0adad9f120622de3c2a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 11 09:46:09 2019 -0500

    small change

commit 518171032d3aa3995264452dc9d836ad66f5705c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 11 09:44:18 2019 -0500

    handling pipe being closed

commit b77cae45758e793e2a358377d0543efebf2f25a1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 10 16:09:58 2019 -0500

    more tests

commit 403bed478e752d6a55a144cedd80ba98d578ca35
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 10 14:00:27 2019 -0500

    more tests

commit 2964978b3ba9740aeb91b6db82cc599c62f31101
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 10 12:18:38 2019 -0500

    functions dependencies across modules

commit ccb2d39d924b4a803cb0a55b9b68b6462d524c8b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 8 21:28:10 2019 -0500

    functions dependencies across modules

commit 0a49a7f55105c8acc0be325b464694c579a99360
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 8 07:10:11 2019 -0500

    nasty bug

commit e1ea358a80ff8378dd7fee483476831dd708e847
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 8 06:35:17 2019 -0500

    small changes

commit 4fd62bef53e8e37c80ef8f7a5701eca126508eaa
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 7 22:07:29 2019 -0500

    Replaced old field translation with Alloy semantics

commit 8684e878d77cc25083f3e0b817bd6b0986a2597c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 7 18:06:45 2019 -0500

    Fixed type bug

commit e5496b49e0468cd3042d9831fe5d9b87374e34d4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 7 14:56:45 2019 -0500

    trying to fix "this" expression

commit 591020f08cf0ba71275d8d876d4b2244929bb702
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 6 16:59:06 2019 -0500

    New untranslated cases

commit fac494c853f33372b1a6471c05916723fbb2d50f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 6 12:54:47 2019 -0500

    Fixed let expression bug

commit 5754bb88abf1dd75801a02651d976bf50c814e70
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 17:36:46 2019 -0500

    Fixed fields with multiple types

commit 55719c1ece47313065c411f66822f558588de5f0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 13:09:54 2019 -0500

    addr: Name -> (Name ++ Name)

commit a86faa6466201d4657aaecb281c4aabc18566a5a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:57:41 2019 -0500

    intUniverse

commit a87fa0743cc7317f5d758fdf52d2b321863cb6a5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:46:30 2019 -0500

    Only ISSEQ_ARROW_LONE remain

commit 3b03ca7dd21d162477a6e996f20b1abdfacaedd3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:37:40 2019 -0500

    A some -> set A
    A set -> some A

commit bbaea25a7005ac6b4bab97c414b6245204d59750
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:30:40 2019 -0500

    A lone -> set A
    A set -> lone A

commit 37bbcfd1171ac289acfa5044b2684d9402f12636
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:24:04 2019 -0500

    A one -> set A
    A set -> one A

commit 352d73d6c45acda59752d309053e616cfce594cf
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:14:18 2019 -0500

    A lone -> some A
    A some -> lone A

commit 3fd37e36d07a30ef3efc57232ebd4f9a7bf9b626
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:05:41 2019 -0500

    A some -> one A

commit 484b020943aa15e6454d34e6213d03358543ea32
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 00:58:55 2019 -0500

    A some -> some A

commit 2879634a5c0e68c3bd9a72db844158f021c455c6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 00:55:24 2019 -0500

    A one -> some A

commit e729dacd5288bce5523e525275b276cb4e9b795b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 00:46:58 2019 -0500

    A lone -> one A

commit 62fb10fdb6d3531f78e646f3c6cc55d6801d7297
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 00:44:26 2019 -0500

    A one -> lone A
    A lone -> lone A

commit fd9a45797f84ca6a3f0a054aa7811acd32da9c79
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 23:45:16 2019 -0500

    Finally supported sig A {r: A} fact f {#A = 2 and r in A one -> one A }

commit bcd4a789628ab12e8e3c5758c5db4c410219cf85
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 20:06:09 2019 -0500

    Cvc4Process Assertion failure with tlimit

commit 61bee4ede4b5cd70ee97a797cf14d753915bad15
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 12:19:36 2019 -0500

    arity > 3

commit 400c2ac632782d3cff4377e84591d3f3d5fcdba0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 11:16:10 2019 -0500

    changes

commit 77a75d79ed1ed01f27bbe409a51f58a9147db34d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 08:03:57 2019 -0500

    updated guidelines

commit bcc24d9582b968e6be6202a99fdf6165d2aa191f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 02:15:24 2019 -0500

    Supported intUniv

commit fd52587bae8837629e92905e6f30a99d11516fc8
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 01:41:19 2019 -0500

    Fixed bug related to multiple declared quantifiers

commit 511a3c2aab85f417e3a730ffdd394fa432fa4979
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 00:48:05 2019 -0500

    Refactored ExprQtTranslator

commit f4ad21d4ae782c38bd26cb357205e437012b45f2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 1 16:45:16 2019 -0500

    fixing predicates quantified expression

commit a56c9f176d58120bcba4e132e5770afa3f6d3373
Merge: 30b41ae8 9a2c89d2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 1 13:22:56 2019 -0500

    Merge pull request #1 from AlloyTools/master

    Merge from AlloyTools repository master branch

commit 598626673af2fb94ab5cad0decb43cd4d6d4938a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue May 21 19:39:52 2019 -0500

    course examples

commit 18ec0a82b621437daa080274d0630ff1069786d3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue May 21 19:16:44 2019 -0500

    Fixed cardinality 0
    scope semantics issue with family 3

commit 90f8320f0dcba8566e0a7f42d22d0b252ba87a45
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue May 21 18:31:33 2019 -0500

    Bug fixing

commit 79cc0b5200f9e4a19a8998c413bb46778fd0eb44
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon May 20 20:22:41 2019 -0500

    abstract scope

commit 11dba9a9900998cae53281c152805e937b5d6f65
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon May 20 20:07:21 2019 -0500

    abstract scope

commit a31b57782d1881cc2078f29ca8b7fdf6c9af99dd
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon May 20 18:51:29 2019 -0500

    tests

commit ae7472cf460340304ce08baba9c1f20d06e6adc0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon May 20 17:49:39 2019 -0500

    sanitized name

commit 68b84811c8ab363bcaf81ac4386fc03742da0cb6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon May 20 15:01:54 2019 -0500

    tests

commit 524ecd76376c3ddd91126de5…
mudathirmahgoub added a commit that referenced this pull request Sep 8, 2021
@mudathirmahgoub
SMT-Extension
505cb5c 
Squashed commit of the following:

commit bd7ea99d0eebc859984efff139e180275d7b3e64
Merge: 5a684db6 6d625171
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 8 09:10:12 2021 -0500

    Merge branch 'main_merge'

commit 6d6251716dab792f64d234d7b45e2603aeb56890
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 8 08:33:11 2021 -0500

    3

commit fc53ff24767941502f2bcd801e6a94ae8b3cb4d3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 8 07:59:05 2021 -0500

    2

commit 5d77dadd13e9d78a336ce8a7b9f29276e3b7e080
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 8 02:01:40 2021 -0500

    1

commit 50b559959d6639c38d464650119b551a6cb1f1c6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 8 00:06:15 2021 -0500

    merge

commit 13b4339970a841152b5ae252b110339b37da4c28
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 7 22:33:24 2021 -0500

    merge

commit 047eac66a4bc1c8e9ba14e123c4aae130a96f550
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 7 22:00:49 2021 -0500

    merge from alloytools

commit 86bfb76d28fbcfab045e7c347301e08b1850748f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu May 28 14:06:00 2020 -0500

    functions

commit 0915c41bdd6f13e2358d7dd651fd333daf56d2ff
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu May 28 01:08:05 2020 -0500

    AnyArrowOne

commit 5bbb534f64fe78bbaf588ac84dc4f24c18ffe828
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 23:55:17 2020 -0500

    Fixed the translation

commit d71ee6cffd90466f344d50e2bed751bb280f38b5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 22:49:05 2020 -0500

    One arrow Any optimization

commit ab7c73093a03fe8518a68735e25e6edfd8398433
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 17:49:48 2020 -0500

    cegqi-all false

commit 1d73e3d7da468dfbe4ca2f201258c53a548d6f8d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 17:10:57 2020 -0500

    gradle

commit f938bf39f871245da773bce025fbb35d3ee2d8d9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 17:10:40 2020 -0500

    removed gradle

commit ce274bee5419664c98e40007bea8740ae6ba73db
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 16:42:17 2020 -0500

    Updated gradle to 6.4

commit eab27fb79c54961d625c5678fd033db12e5635bf
Author: Mudathir Mahgoub Yahia Mohamed <mudathir@Mudathirs-MacBook-Pro.local>
Date:   Sat May 23 14:16:30 2020 -0500

    updated cvc4_mac

commit 8b32a5680872133826946002e6540430cf0297ee
Author: Mudathir Mahgoub Yahia Mohamed <mudathir@Mudathirs-MacBook-Pro.local>
Date:   Fri May 22 20:28:03 2020 -0500

    cvc4 mac

commit 303ffb207c402a03a5028f02796aef4753644446
Merge: 8cac6a4f 2685d100
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu May 21 16:40:37 2020 -0500

    Merge pull request #21 from CVC4/multiplicity

    Product multiplicity

commit 2685d1005ea5f5dc78c4be1f26a5449e0ef7fd13
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu May 21 16:37:55 2020 -0500

    Product multiplicity

commit 8cac6a4f9743fbfc23044a0945fa87ec52439fac
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu May 14 14:35:23 2020 -0500

    cegqi-all

commit eeef07cb4b8a80b7a0b60f06e03f83f501c464bf
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri May 8 00:52:18 2020 -0500

    Optimized function translations

commit 6ac3d51532e513fc056e2ebaab0b1f4115cd3a7f
Merge: 29464da7 9543687e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun May 3 21:42:11 2020 -0500

    Merge pull request #19 from CVC4/SmtOptimizerVisitor

    Flatten nested AND, OR expressions

commit 9543687e37b5ca0ef37a5d6c804d7efe94f9ffa9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun May 3 21:40:19 2020 -0500

    small change

commit de548c7673ae828651adc2dae2c88f56b17dfe3f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun May 3 19:37:23 2020 -0500

    Some progress

commit 29464da79cf6b23fcfd9bf2b36d5b2ec3d51e5d2
Merge: c5303438 932918f1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun May 3 13:48:03 2020 -0500

    Merge pull request #18 from CVC4/SmtOptimizerVisitor

    Added SMTRewriter

commit c53034388c10306705a71a614804b57e8c157aab
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 19:36:38 2020 -0500

    Permissions

commit 932918f12b3de8649cfc33e984f2ae1d3573b233
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 19:22:44 2020 -0500

    Some progress

commit c70fa8558d2263809463a437550239b6a287e746
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 18:20:56 2020 -0500

    Some progress

commit 899863f81f6e18d551239b4648901505d73986d3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 14:34:55 2020 -0500

    Some progress

commit b51458cd3fe55f72f8167d0502cf49058ba019c2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 11:56:34 2020 -0500

    Some progress

commit d4a2407912df5e4321d127a9ef6f6fdfc0373895
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 05:34:50 2020 -0500

    SmtRewriter

commit ad31180de4947af7cb5f04d0b68c11c22f5f0ed6
Merge: cfe75299 368f3cd5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 19:20:15 2020 -0500

    Merge remote-tracking branch 'AlloyTools/master'

    # Conflicts:
    #	README.md
    #	org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleGUI.java

commit cfe75299e7bb59a73eab6a64ffb42254bc97029e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 18:19:00 2020 -0500

    Updated CVC4 binary for linux

commit a0e6267b69e32e9f40c8a7d77e254dfad9b6cc02
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 18:13:31 2020 -0500

    Added *.smt2 to .gitignore

commit a5a97c10130e37c8b02aad7c73bf6e66972c4c26
Merge: e88c802e 7e109f63
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Thu Apr 30 16:19:09 2020 -0500

    Merge pull request #17 from CVC4/removeSetFunctions

    Refactor SMT-Extension heavily and support choose operator

commit 7e109f63c37c5a66da0354f7044972ff8262111a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 16:07:32 2020 -0500

    cleanup

commit 5edeceb2556086373db9d881eeaed24cc847d795
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 16:05:06 2020 -0500

    cleanup

commit 98022d58792caef0ec85b48f2fb4fd7c52effc04
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 16:02:14 2020 -0500

    cleanup

commit b10dd07b7f82cb10d12ebd0df8ec869cce82f489
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 15:52:50 2020 -0500

    removed integer singletons only option

commit b2507ab0f9a738ccaace9f4ebb7b0e7b5aad76f7
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 15:41:13 2020 -0500

    reverted unintended changes

commit 5e40559cc72ee0497f428fb5cf74cbf1ab23748f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 15:22:35 2020 -0500

    Add choose singleton constraint

commit b6d6411b3fe0b000d20bac098c824af900a806a7
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 14:49:56 2020 -0500

    Examples tests

commit ebbd89142cbe63d6c8c6f1ae878c3313ed4db779
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 08:19:42 2020 -0500

    Fixed Env bug

commit 0c3ca8d92f357bc42c9e29cab00d64f25a7a1461
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 07:26:07 2020 -0500

    toString

commit aea4186fc62f2e04a95aa77eaab21c5a7016ea0f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 06:36:03 2020 -0500

    toString

commit 8bb013783f079788f80889dc741d7607aebee7b4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 06:14:04 2020 -0500

    refactoring

commit d335dd9c95941e1cad1984a8c52dbdef04f45f19
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 06:05:29 2020 -0500

    containsExpr

commit e2ede60173edcb3addcadfc71d05d2372b2ec940
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 03:45:14 2020 -0500

    Refactoring

commit f51d588cf93f320c405f9cfb9f270d557e44be50
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 29 19:48:28 2020 -0500

    small change

commit fad0bf192022ecce8a4cf39ac562bfe6c117c73b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 29 19:16:59 2020 -0500

    small change

commit 123d859c995a9ba8ba91693d0a23a5cba268ac1b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 29 18:18:03 2020 -0500

    time limit

commit 40a1b291a239fcf445d6d110755e7a096c9403b8
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 29 17:59:42 2020 -0500

    small change

commit 70ae7fa7c24ca9fdf1647cb204670ede3e62822a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 29 17:41:20 2020 -0500

    translate functions

commit be29d0fcfbdca13e6a88a19ece191f77d335d62d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 04:12:55 2020 -0500

    Added infinity time limit option

commit 2356ffc745cd33cc9c6257acd414295028bcaf50
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 03:38:52 2020 -0500

    Refactoring

commit 6f9b22af5a267a4d00d967d5df0b109f48b27331
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 03:20:45 2020 -0500

    Documentation

commit 8e3bcc2f89ad20d4d1ddbd52e6e885c3cddd0b6d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 03:08:40 2020 -0500

    Fixed subset translation when there is an auxiliary set variable

commit 8719bd24125daa6cb2818e9b0ac3600d86cddf25
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 02:17:10 2020 -0500

    small refactoring

commit f79e04a7bd73f4904d594b638177d1969bce0598
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 00:42:23 2020 -0500

    refactoring

commit d05c64befc8e00c703f61ce07a05363847788f9e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 21:41:13 2020 -0500

    optimized tuplsel 0 for unary tuples

commit af8018ea4e9821629e67bf8a8193192846b27689
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 20:57:19 2020 -0500

    optimized tuplsel 0 for unary tuples

commit b95dea3279ceb3c2df231745f51b108ce01a96f7
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 18:19:07 2020 -0500

    30 seconds

commit 4a87ff217ff8a946d6d1295597770f83815eb385
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 18:18:09 2020 -0500

    Fixed ordering module

commit a3785768cfe2b982f3feb705d0e2b6b044c1b249
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 16:41:54 2020 -0500

    Fixed scoping issues with integer constants

commit 301eea4e199ba3113eb2bdd576f2396c38bec8f4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 15:42:44 2020 -0500

    Fixed let test

commit f1cdd0cba00d9373a8f50ad429751ae52292f809
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 15:18:34 2020 -0500

    Added arrow test

commit c9c94ed7e9c21969ac574aefbefbc00b5d773ae2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 14:43:22 2020 -0500

    Replaced translateAuxiliaryFormula with addAuxiliaryVaraibles

commit 3c1a08f9cc175b89903c655d61e30d4d55bf828c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 12:36:38 2020 -0500

    Refactored Environment to SmtEnv

commit 82d31439858a9e2adbc57644dc9853fd3a610c36
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 12:07:34 2020 -0500

    Fixed when the constraint of a variable is null

commit 813b8d19ff1f3f2065e200d6397a42557b0b82d9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 06:32:06 2020 -0500

    Restored arithmetic functions

commit 120b486d08b6dec685e1a31bf1883fe41fa6354f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 06:03:13 2020 -0500

    Fixed some quantifier

commit 80efe0bdb81359400468ca513eaa328a6cecd637
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 05:53:50 2020 -0500

    Fixed an error when a function is called multiple times

commit 30255bddad8ebcdea44e477fc9ba05e452963922
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 05:40:26 2020 -0500

    Comprehension

commit d9831c7c4fe71d8b0be8ee8ca19d44f1cbf20ea6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 04:09:11 2020 -0500

    Refactored quantifiers to use Decl translator

commit b8bab189addf24dc50c88f893e78c611724066c0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 02:33:23 2020 -0500

    Format

commit 0feb6d24cf502b6d93301b63d38fa2b52dd0c6a4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 01:19:37 2020 -0500

    Documentation

commit a15158ca4dec71b1e432f2b59b8abb400b8c244d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 16 16:45:46 2020 -0500

    someof

commit 8b9eba0f809c4b5daacb4ecdfc3c8d625d7e41c8
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 16 16:20:56 2020 -0500

    Changed predicates and functions to sets

commit 08b74fc651d3a66b5662b9435af7912186823db6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 16 16:01:14 2020 -0500

    Decl translation

commit c5f9e7cc421e6d7ea9e4655549b6c5964b6938c9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 16 14:42:45 2020 -0500

    one

commit 336b36a53397c4b40e60b069b95a5c3deda38ca5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 16 13:15:37 2020 -0500

    removed ConstantDeclaration.java

commit 36bbaefc4a99018e941a01d2b07f3cf403d40f21
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 9 15:53:55 2020 -0500

    towards predicates and functions again

commit 23bf065ef402a74d25abaf0fd03de387c636f610
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 9 12:58:37 2020 -0500

    refactored VariableDeclaration.java to SmtVariable

commit 3d604ea91e64b32da6a7978a762b806dcf12505b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 9 01:12:14 2020 -0500

    refactored Expression to SmtExpr

commit 224bd29836846dfb5d4f99fd7e940243fc3d7a5e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 8 22:46:08 2020 -0500

    choose operator

commit 3419f5cd6ee87b5a34183d647519c4c44a9ffe04
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 20:28:02 2020 -0500

    2 smt files

commit af3eb6bf7bc65fa10db18e3e721e442c15a49acb
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 14:12:54 2020 -0500

    Fixed unavailable signatures and fields in an smt model

commit cbfdd0564b8e2abc9f10ec6e945cadf6dddd96f4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 14:02:39 2020 -0500

    Small changes

commit e02e509435e1dd78e2c9b770a1aed24624e12201
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 13:59:19 2020 -0500

    Major refactoring

commit fb7f3f82720dd327c38b766ec05f72527ee6b8c0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 11:16:18 2020 -0500

    small change

commit 13a1bc30757ec28ac9b2b8cb339e4df62089fda9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 11:14:10 2020 -0500

    towards removing integers if they are not used

commit 9f2be8a82635fbfe46324cc5a9d7034c5177c2ce
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 10:32:19 2020 -0500

    towards removing integers if they are not used

commit 1617cdaac84c084b4acebf4f8acaa927441e611b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 06:17:32 2020 -0500

    towards removing integers if they are not used

commit 655310a4e282febc79cc8af970a931790c9bdaba
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 05:22:08 2020 -0500

    towards removing integers if they are not used

commit e5379760a8dd9369a715d864318a030bd72e09d1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 01:27:49 2020 -0500

    SmtOptimizer

commit 789a0c48bab8b1681bbdaf36d572f16d4800a729
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 00:17:19 2020 -0500

    renamed program to script

commit 5c9226b9d85e347a6e9cc2c7ed6fbd3fdae673d9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 1 23:19:03 2020 -0500

    Before major changes

commit e88c802e25522599140740398cb887c9af82c20f
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Thu Mar 26 11:06:49 2020 -0500

    Update issue templates

commit 2e158bbea65702be0d3f6b19bfdd27b5cd49c720
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Mar 19 14:28:58 2020 -0500

    Refactored cardinality comparisons

commit 3e2144bf8d672d07c9fbbd2797b98dd5bb51d432
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Mar 19 13:56:19 2020 -0500

    Refactored cardinality comparisons

commit 25edefcd5750dc0cf0602cb02daa6e6a0b52eb62
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Mar 19 12:26:09 2020 -0500

    Supported rClosure for integers

commit 15e69150eafbb3a5a09f34fbcb1e5843960d159e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Feb 27 14:49:35 2020 -0600

    refactoring

commit efc059ec96af328ce1807e53d4b57f35e94123fc
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Feb 26 15:31:14 2020 -0600

    refactoring

commit 39d79bd2b7ff130bf3ebd8a26e864d3bda5b2ae0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Feb 26 15:22:13 2020 -0600

    refactoring

commit f3c71fa8ceeb1afbd43605b2b5eaa0bb2bb2bdb4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Feb 20 01:17:30 2020 -0600

    Bug Cardinality < 0 returns sat!!

commit 7e095f787a8af7817bdc53ddeed4f5af51a49428
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Feb 1 21:50:41 2020 -0600

    commit

commit 1caf4079195b6b25f39c7c4b0de2a92f564c88fa
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 24 08:37:02 2020 -0600

    refactoring

commit 2dfa106e859622ee6c88dce1159e9674abf0b7c1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 24 08:28:32 2020 -0600

    refactoring

commit fabf0d5f299a13ae2d6ff94fd137c39f24964dd4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jan 13 15:27:50 2020 -0600

    Fixed wrong translation

commit 7a98de4d7f150a777c36fca1324628797c8ebbd0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jan 13 14:03:23 2020 -0600

    added comment string to Expression

commit eb6dc0fc563d9fc629a898b9c25db420034ade05
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jan 13 13:50:23 2020 -0600

    added comment string to Expression

commit be91e7eb5e44c4603da459bb4b63d9371d265881
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 13:21:15 2020 -0600

    almost

commit 35720262d8d551f654d9177767dbd617f7c51d86
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 08:54:09 2020 -0600

    logical operators

commit 678f16db72a6a1d150223e3f1396b2b3c0a400af
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 03:56:16 2020 -0600

    cardinality equality

commit adfec08bf80a80a5f7f50637674c9ccfd7cbc2bf
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 02:40:01 2020 -0600

    set equality

commit c8ed3bb4016d15f3401cb062a62183b6fe1a4405
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 02:23:40 2020 -0600

    refactoring

commit 698e4a1037f3af5909b90988467414bf9c11e046
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 01:54:34 2020 -0600

    refactoring no, lone, some, loneOf

commit 1ba997a41899358a468822470eeb42f38a103754
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 00:50:51 2020 -0600

    refactoring

commit 2c35ab6a2aa34e08d294f68d50eed7f6bace306b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 00:35:49 2020 -0600

    comprehension test

commit fd6db807448c7e5f3cde7279d5447e3fd253c4b7
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 19:11:50 2020 -0600

    bank account

commit f5ea2ad0cd385165e471e5d3611d6101f2e9f3c4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 18:46:57 2020 -0600

    bank account

commit 5db90e9cbe799d11e7126ad3e908634a4af11e32
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 18:45:59 2020 -0600

    bank account

commit b1c00a1555c867c03aba2cbbb0fc1ba3cd8b3ad3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 16:13:47 2020 -0600

    makeSet

commit 7e98f9194f959870c14304e587d29dec1e73a944
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 14:33:08 2020 -0600

    betterThanAlloy

commit 7dda2e5ddc3d82fe0e32f0f9b88de66afffe84ff
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 14:14:11 2020 -0600

    Fixed translating field multiplicity

commit ebf544e8a6f61466968cb04371aa2647440eea86
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Dec 31 23:02:39 2019 -0600

    finally some progress

commit 582660136db2bf1f03d41996f2db60f3adfc0581
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Dec 31 21:54:27 2019 -0600

    finally some progress

commit 9c0ae50d6f4876750d89480e1c6fe91852b25d86
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Dec 31 21:44:06 2019 -0600

    changing the model on the fly

commit 60593bafb989d25c29af38c5d23d09231f703982
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Dec 31 01:49:40 2019 -0600

    refactoring

commit 7e944083e3f2892e7aba1a56345de15bc45e2c8b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Dec 30 19:42:48 2019 -0600

    towards int singletons

commit 1a1471155f65f6331f65dee9013dccfd3b97149e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Dec 28 16:02:09 2019 -0600

    Argument quantifiers

commit ac7ff53f136d8e59d6d70b84de257002b235410a
Author: Mudathir <mudathirmahgoub@gmail.com>
Date:   Thu Oct 24 18:01:25 2019 -0500

    relational solver

commit dd1bfb86eca10ddac1a6b49d95f97138202c48b1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Oct 20 19:46:50 2019 -0500

    Added int value to its corresponding uninterpreted int name

commit f24e77615740b6990cc030378fc574b84cce7f2d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Oct 20 17:23:15 2019 -0500

    Argument quantifiers

commit e8de4f6bad0ee694156191dc79ead59bf946d47a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Oct 20 16:39:55 2019 -0500

    getFreeVariables

commit c995b9893e4d08fccbfbe4d8c8c7c3edfa4d1586
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Oct 12 23:16:45 2019 -0500

    Argument quantifiers

commit ef6698b50808d8fba31dae882510371786cebaa6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Oct 12 23:16:15 2019 -0500

    Argument quantifiers

commit a4dd6fce3a59270646e1c7b0eab0fdfff138c384
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Oct 12 22:44:29 2019 -0500

    small change

commit 7a303b41e1f85d36b2647c99b5300790e3cf5a50
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Oct 12 22:40:33 2019 -0500

    Integer singletons only option

commit 73674489ffdbe61df94e8c60dccee4a4b6acec0a
Author: Mudathir <mudathirmahgoub@gmail.com>
Date:   Fri Oct 11 17:31:59 2019 -0500

    status

commit e513c91a37372140adeb125bb8b1251d3c6f9356
Author: Mudathir <mudathirmahgoub@gmail.com>
Date:   Fri Oct 11 16:11:40 2019 -0500

    change

commit 24a5a41b2def59fbf674a95a572dad994a41e2d1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Oct 11 15:49:47 2019 -0500

    changew

commit 933bffdfa7eadf157715843423a4394c7e71438e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 25 13:56:57 2019 -0500

    updated projects dependency graph

commit eac689f639cbd9f0e8946cbb91c8f509b9b995a4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 25 13:39:52 2019 -0500

    small changes

commit cbc61625b60c9656a5cc8534dd00b1477b541edf
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Wed Sep 25 10:39:29 2019 -0500

    Added README

commit 3c20b690c66af91687ce65ab6004fcefb0e5919b
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Wed Sep 25 00:20:54 2019 -0500

    Minor edits

commit 1fa92bfb9b967b55c25b7f9a19989e6093c2f06c
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Wed Sep 25 00:15:45 2019 -0500

    Updated section on quantification over Int.

commit 9a006070e85b8f486be701882adf9e8681446e76
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 17:50:31 2019 -0500

    small changes

commit 5c9b356b012b5c4df3880e9c616e8612e5303604
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 17:41:24 2019 -0500

    Commented out Int

commit 2383dbaa458d72ffac69d7c4fad3622ae931ec62
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 17:18:46 2019 -0500

    Small change

commit febc71e12faa019da9e901ae74cc39119c14cdfd
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 16:39:01 2019 -0500

    Fixed many issues

commit 54963d5c5deb9dd451fa047eef033b41d2cb9d3c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 15:05:33 2019 -0500

    Fixed SMT-Extension.md

commit 1b9b3f603c5a75b903eaa7c96cd8779fae507e0b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 13:55:56 2019 -0500

    Added cvc4 license

commit e820aecc41e6066db2bdd751cdfce9153bac6c3a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 13:52:32 2019 -0500

    Refactoring: restored some examples

commit 563b5d3923626fe72179c993923501be3f4644d8
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 13:34:44 2019 -0500

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

commit 0576f756b475aad76c11979eba265b3a994d550b
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Tue Sep 24 12:36:25 2019 -0500

    minor edits

commit 73ebff942e87d58e376fed5cdf0ac2d73e21c4cc
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Tue Sep 24 12:14:22 2019 -0500

    Replaced by SMT-extensions.md

commit baab82e52fa71705379333cce155ca5e5a22d253
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Tue Sep 24 12:13:57 2019 -0500

    Also moved

commit c05946aa49c7691f73f4c6d53bea86346a94215c
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Tue Sep 24 12:13:29 2019 -0500

    Moved to SMT-Extensions

commit 34de38ebf7cfbe653d3c95218936b2501972b004
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Tue Sep 24 12:11:25 2019 -0500

    Removed

commit f3794fe4774006ec5da27205c806a47fcf908f3c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Sep 23 12:48:06 2019 -0500

    changes

commit 9423959e26716c9cc5c88dff4877cf78f361adfc
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Sep 21 06:24:41 2019 -0500

    identity constraint simplified

commit b70aa5311f8c96597cfb18660ceaf5db41570d2f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Sep 21 00:07:37 2019 -0500

    options

commit 8c69bdf96ee17d795d0a2fa20f0b7edb3aa06720
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Sep 20 23:12:49 2019 -0500

    options

commit 376cc268513e714232ae7694b1cedd2e018e9e8a
Merge: 29c41c20 9d745254
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Sep 20 23:10:56 2019 -0500

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

commit 29c41c207d64c09fb979c26284c2a22fd4cf32ea
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Sep 20 23:10:19 2019 -0500

    options

commit 9d7452540e28aac1538b6c0a21c65c6b6bedaffe
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 19 13:50:11 2019 -0500

    minor

commit 2c5e96232dae0547081f8617b00fcd8e91fae3f7
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Aug 16 21:09:53 2019 -0500

    Draft SMT pretty printer

commit a8f29c2191ee65395867e1978912e2a010249cf9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Aug 16 12:12:01 2019 -0500

    generate named formulas only when produceUnsatCore is true

commit 63839bac0a45fd0c40c767cc2753a386d22c346f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 15 16:55:28 2019 -0500

    refactoring

commit 04e88b724165d074f1577ac2ffffa7f5bfba3aa6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 15 16:43:05 2019 -0500

    Refactoring

commit b09e811da0c86fd039ecfe2e1dd1791d81836c97
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Aug 14 15:40:25 2019 -0500

    enabling and disabling menu items

commit 20049db7ee30cf8cf3e59f2a0419741908d0e2a0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Aug 14 12:51:27 2019 -0500

    Used block-model command

commit 08418297eab92baad8252526d1318cdbcaeb32a4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Aug 14 00:27:24 2019 -0500

    unsat core

commit 61c0dbda103b9e5747f9ce6e8a87f18e5add5449
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Aug 14 00:03:23 2019 -0500

    unsat core

commit a21a821273c12b0e3729832d62606a50af7dca74
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 13 23:06:24 2019 -0500

    unsat core

commit 00614bcc4032e48d17ebf8210cf0677fde29d5ce
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 13 22:48:41 2019 -0500

    unsat core

commit 283ac8f7c92fb308ccea101e924ace9c815fbd9c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 13 19:44:57 2019 -0500

    refactoring

commit 1a1d9010e0b952aa69464851db5d9eee1c281e4a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 13 19:41:22 2019 -0500

    Refactoring options

commit 9068c93a1059926b06c1b795e4b49ef148487eb5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 13 04:54:24 2019 -0500

    Added function calls and quantified expressions to Smt.g4

commit b0e813fd4e2c97172cc945ce644e4b1b941dae31
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 12 22:38:05 2019 -0500

    Added Bool to Abstrct Translator

commit cf8d5d1dfd0993d52e015b0e3da51b53879ed7a4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 12 18:42:29 2019 -0500

    added Range and UnsatCore classes

commit 9e909eef9795c6e0c6dc68e536801aa7009e57e9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 12 16:58:48 2019 -0500

    Added positions to assertions

commit ddc9f6463e453dbb2880803c2430a7108530a951
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 12 09:45:42 2019 -0500

    refactoring

commit 2234007b094b31f5f058c3dfbd59981b47956579
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 12 09:41:39 2019 -0500

    refactoring

commit 3ed59989e6ddc5b9040d9dee9c04a51827019ba6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 6 19:07:07 2019 -0500

    added univInt and identInt to integer.als

commit fbaaea98db460657b26f6603e98f376694c99657
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 5 21:46:45 2019 -0500

    isPrivate

commit cae3b1bbbcbf9a2e9ab7dac224cefb72ddad228d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 5 21:36:54 2019 -0500

    isPrivate

commit 37bca8b952a7ead88a95500b042d36fe5b398082
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 5 20:58:29 2019 -0500

    small change

commit 61cc0297223a05ad952a7a70605ee06a3f132646
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 5 11:03:05 2019 -0500

    restoring bnd files

commit 4ce1419510b57f5fee6362848b12a0292f84b573
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 5 10:59:22 2019 -0500

    restoring bnd files

commit 92d1057763f0d58145884d897b0482aac4770381
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 1 14:56:56 2019 -0500

    changes

commit 70839e542d55363ab451acf5a58f6cbf6a1667f5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 1 14:56:14 2019 -0500

    small change

commit 726f52ce5f530b1dde89be577a8a1aa5d5fdd094
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 1 14:21:10 2019 -0500

    changed the Main class from AlloyTools to Alloy

commit 633e39fafdb3aa7e9b955fc46bffabd6af1bb71b
Merge: 2978adb9 e849d05a
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Thu Aug 1 13:40:32 2019 -0500

    Merge pull request #9 from CVC4/replaceExpr

    Merging CVC4 relational solver to master

commit e849d05a9837c176efb6e4832b18e1391ff25714
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 1 13:33:36 2019 -0500

    Renamed to AlloySolution

commit 343c0896067f55dad3ae787b90048d63237906ea
Merge: d1d51d58 2978adb9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 1 13:01:32 2019 -0500

    Merge branch 'master' into replaceExpr

    # Conflicts:
    #	cnf/build.bnd
    #	org.alloytools.alloy.dist/build.gradle

commit 2978adb99d50676a19736292c778b7af8c8916a4
Merge: 930cdc39 63aa8e28
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Thu Aug 1 12:42:45 2019 -0500

    Merge pull request #8 from AlloyTools/master

    Merge from AlloyTools

commit 63aa8e28f3ed7a2437d85ac700edb9d8cb8ce498
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Tue Jul 30 18:02:31 2019 +0200

    [cosmetic] Tooltips/mac menus

commit 83341793fb420b1087b98e90bc1a82498ac5ec9d
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Tue Jul 30 18:01:15 2019 +0200

    Naming

commit 1e422d9501dc103405ee249c2a1bc89bb44b5244
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Tue Jul 30 18:00:43 2019 +0200

    [solvers] Added plingeling executable

commit 9d0ca15892cdc2b610ac1bd02173474c3141115f
Author: dnjackson <dnj@mit.edu>
Date:   Fri Jul 26 10:38:39 2019 -0400

    SimpleGUI.java: removed logo

    concerned about box will be too large

commit 9f57ffb62de793415084bd64235bd1c2751dcf4a
Author: dnjackson <dnj@mit.edu>
Date:   Fri Jul 26 10:32:30 2019 -0400

    update about panel text in SimpleGui.java

commit d1d51d58aad4c2bea7c1ee4ca77a69e1303881a1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 25 11:11:37 2019 -0500

    Added scope for integers

commit 0c8e290b3f7d8f79bb6cf85d0be6ab9368d7bf54
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 24 15:26:37 2019 -0500

    changes

commit 6a8a684656df182f4990e77309a149417c2b8a12
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Wed Jul 24 15:25:36 2019 -0500

    Update guidelines.md

commit 77bfff800d178fa6707b6a1c21fc42b23d349c0c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jul 22 20:43:23 2019 -0500

    Small change

commit 3f481a44994e12c115e81b25a763c2b42d65cd43
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jul 22 20:23:16 2019 -0500

    Generated constraints for Kodkod instances

commit 0d2793321e61faf340f97064a990965f97cfa672
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jul 22 13:45:09 2019 -0500

    Separated alloy variables from generated variables

commit 75412f66021eeb1b177b05edb1d889ac5465d422
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jul 22 11:52:11 2019 -0500

    doesn't compile

commit 266d6a83307ee025ecb17e27430d154be3a69e0b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 21:33:22 2019 -0500

    small change

commit 5b811cc8ea5306eb7c464d22edb18d1d1f828af5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 20:31:47 2019 -0500

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

commit ab4a8f7e17556d8511436204ba30f37c6bd45177
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 18:49:12 2019 -0500

    Fixed removeMultiplicity
    towards fixing hotel1 example

commit 930cdc393a6b69cee940a9d74263ce8ee1d12402
Merge: 4328f43b 395d4e50
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Sun Jul 21 17:17:58 2019 -0500

    Merge pull request #6 from AlloyTools/master

    Merge from AlloyTools master branch

commit 032d29de59c75424ce4ccf872e89b9b614b3509d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 16:54:06 2019 -0500

    handled empty fields and empty signatures

commit a105abea5a8eee6bd9c6b6dd45e45243c50ac782
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 16:18:07 2019 -0500

    Added instance constraints for fields

commit 9bc43c00fac49665ee63c54d9e8bdb591d21308c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 15:55:32 2019 -0500

    Changed timeout to seconds + Less verbosity

commit 98870bf6f193ae113a7e9182965c6b6943fd8de5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 14:50:59 2019 -0500

    Added signature constraints for an instance returned by CVC4

commit 06dd9add7da193071af6b264a6acffffa0d37c05
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 18:45:52 2019 -0500

    disabled Predicate and Assertion links when the model is sat

commit 395d4e50a3c301f29fae5d8144d41a1f6498a660
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Sat Jul 20 14:39:49 2019 +0200

    [RELEASE] 5.1.0 preparations

commit 7c8c5c1a433b3d6134544a8d6575a26fd9ed6aa1
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Sat Jul 20 12:55:00 2019 +0200

    [tooltip] Do not use tableview in tooltip

commit cfab293edfdf260126aeae2c4d6f0b720899f393
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Sat Jul 20 12:19:52 2019 +0200

    [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.

commit e992f165fb77055127d5a2eb3055a736cb4ec839
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 05:00:13 2019 -0500

    intUniverse -> intUniv

commit 7ef066136ce19fb7cdc70284f6e157d5efdd0b24
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 04:56:19 2019 -0500

    used r for fresh relations

commit 8b4a616c0f1b4727b46d3c07d7de1e71fc2f80ef
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 04:09:25 2019 -0500

    Added Windows instructions
    Modified gradle to use AlloyTools

commit a64857ef7e72e05edc5663896742fb1a5ff96704
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 04:00:14 2019 -0500

    Fixed ExprVar equality in substitution

commit f309db8ac9ff652227615a97b98f66d5a1622309
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 03:48:20 2019 -0500

    Used sort-based new fresh names

commit b6b1eff53596c9d24cf86aeac661f6ca7348773b
Merge: 483ce861 a7248be8
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 19 17:07:26 2019 -0500

    Merge branch 'replaceExpr' of https://github.com/CVC4/org.alloytools.alloy into replaceExpr

commit 483ce86180f71de6a68b855b18550eb3a3b061d2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 19 17:06:46 2019 -0500

    small change

commit a7248be861aaa2ec7a4b372f5b944bcd7af77de0
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Fri Jul 19 16:01:10 2019 -0500

    Verified a few [checks]

commit bd4863e8239edf306de3c526b8f157e2d0b30a22
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 19 13:49:09 2019 -0500

    towards using pos

commit 89b2dc69faf248f3b7192b5d2560853f153bc4b1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 19 11:55:17 2019 -0500

    towards using pos

commit 2d479c04008c3c79c9845ed00c1ef86244121902
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 19 11:26:32 2019 -0500

    subset again

commit c02b2cb017d27205b9bb9b095d4cb71a9e48d5d8
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Fri Jul 19 02:21:51 2019 -0500

    A few more edits and additions

commit cc7c08db616dcc8edc8571052b896a6e7431f384
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Thu Jul 18 23:42:02 2019 -0500

    added build dir

commit a2ef2adc5daba4209983329b686edb8141f77f89
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Thu Jul 18 22:42:23 2019 -0500

    Some reformatting + more content

commit bb4be23e1a4fdbbf2c56ff62605f8a6d082c3ee4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 18 20:22:25 2019 -0500

    Added ExprVarTranslator

commit 3bee1742660edde57735351f126631a2abcd4e57
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 18 16:10:39 2019 -0500

    More changes

commit c62d93ea854ff16f66b590f50f2afc57ddb83a9e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 18 08:42:14 2019 -0500

    many changes

commit eb9fa2f41d944e3d7d1b65aaa92c83b969aeccf3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 14 11:51:43 2019 -0500

    nested comprehension

commit 0233be7497faf8e50abf54c6aabe5e17ec7e19ca
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 11 17:12:04 2019 -0500

    Fixed a bug when the SMT model has functions that accepts int arguments

commit 021b921b67cb198c15414f8f4d343700ad9b1ef5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 11 16:48:05 2019 -0500

    added $ to the parser

commit 6cc8293f8f0c9079fae987caebfb2083ebf954bb
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 11 12:32:19 2019 -0500

    example bank accounts

commit 4d82b4dbf2846f4d5806d7b0b2616d58f5fc833d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 10 16:31:06 2019 -0500

    example bank accounts

commit dc3cea7bec2f24ca37fe241439ccd399079af799
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 10 16:24:34 2019 -0500

    Translated ExprLet as macro 2

commit 83c9332dd9d2189bc2c2d89962fadb93dc1ec42e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 10 15:55:55 2019 -0500

    Translated ExprLet as macro 1

commit 3670553dba18ce01ac16ddfeb1ab43b051cf7a20
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 10 05:29:07 2019 -0500

    Towards fixing sets quantifiers in integer functions

commit ec26b97c7b24b9b2312b930853be298a60430446
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Fri Jul 5 14:22:52 2019 -0500

    Update guidelines.md

commit 1c095a1c890240c862ea1acb636bec64acda1841
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 5 11:40:05 2019 -0500

    Refactored VariableDeclaration

commit dcee9550931c3c6adca668962989366fdbbe61b5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 4 23:20:26 2019 -0500

    Added more tests

commit 28512d1bc3563e59e635655a99ff56500e5c4045
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 4 11:47:02 2019 -0500

    small changes

commit 959de2923fb3056135b06a4975762bde98b94648
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 4 11:44:42 2019 -0500

    small changes

commit aede68aee0198839466dfa4628ca70a8f313a77b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 4 11:36:40 2019 -0500

    util/ordering

commit 8ee76f1cde915f16547ab07df2e2f02b04bab804
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 4 11:18:01 2019 -0500

    Added more tests

commit a81b1a84e623e951729cdd8164a6e8d697e6cdb5
Merge: 4c4bedc1 fc26b3cf
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 18:17:14 2019 -0500

    Merge branch 'replaceExpr' of https://github.com/CVC4/org.alloytools.alloy into replaceExpr

commit 4c4bedc113cc44b11fb0261ad206b121fb378987
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 18:16:23 2019 -0500

    examples

commit fc26b3cf9d4588cd5a8e48093ffe5885864f15d5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 18:01:20 2019 -0500

    small change

commit 6f5eb7f4a7f5acbe82951e98826fae9e9cd79c0b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 17:01:58 2019 -0500

    refactoring

commit 22e545ef6bb307ca4e0aa66e6e64e363f3597502
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 15:30:16 2019 -0500

    Fixed field

commit da6d5326aba6c60c4ba7fba525597691ac33dd87
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 13:10:40 2019 -0500

    Refactoring

commit dfcf6b6ed2ed7454cf4f340fe19102f5732f7113
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 13:01:43 2019 -0500

    Fixed substitution for ExprQt declared Expr

commit 39e71ea506f88bb7c33039f2b20925c6dd83fe95
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 11:32:50 2019 -0500

    Added missing environment

commit a2bbe35c025ad3b877533c75d509e01c4c57b013
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 11:20:56 2019 -0500

    Fixed || body instanceof Sig.Field

commit 09105677cfc1ea2f65e66641fe61845e4070ebcb
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 20:13:06 2019 -0500

    refactored ExprCallTranslator

commit e5f9403c647242d22dec112119a1bde3c2849879
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 19:46:47 2019 -0500

    Added command generated assertions between push and pop

commit 9145cb78b4e226d6bca04b3686c00edb7e36a90e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 19:01:22 2019 -0500

    Removed function translation

commit f38edc97a664c9056e0cb53044b7c65ea0677fd3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 18:13:46 2019 -0500

    ExprITE

commit d74deec5dc675b9110562485a059a5c54d436aef
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 18:04:15 2019 -0500

    Fix disjoint2 when there is no field

commit e1d7068bc516fee7c937c7dc8637a2163445c335
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 17:27:17 2019 -0500

    ExprConstant

commit f50779b0ea5e15f65c457f156817e12397f00368
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 17:15:47 2019 -0500

    ExprLet

commit 734aa16fc3f5986f95bf8a29ccb4155d666bf24f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 16:19:51 2019 -0500

    expr substitute

commit e2a6e22e054c3f45af516f87681dcdc617580a09
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 12:13:56 2019 -0500

    small changes

commit 02f3ab16c7a5388a9efe3cdf2c7dd7b49c665943
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 11:44:21 2019 -0500

    refactored CVC4

commit 3163a680239d9b06f06cfecec8b47b2b96a32a1a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 11:14:22 2019 -0500

    For testing

commit 364098ecd6e8a20db4c1358f5c739b136f0e265d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 28 19:05:29 2019 -0500

    Some changes

commit 59b77e6acf8da41c462ed5ee523ddc19016232b4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 27 19:18:19 2019 -0500

    changes

commit 31da7ef69d471504ba40cbaac91328fc882cc675
Merge: 20993fd3 4328f43b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 25 18:27:07 2019 -0500

    Merge from master branch

commit 4328f43bd25a774a0eb2595b19e59db90cc4efb5
Merge: a56c9f17 886f744d
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Tue Jun 25 16:53:16 2019 -0500

    Merge pull request #3 from AlloyTools/master

    Glucose41

commit 20993fd3285d387e4184d79a3dbf11b46f5bd361
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 25 14:18:23 2019 -0500

    weird

commit 3edda981611334c0b3dec965a6ab0d962568feee
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 25 12:28:11 2019 -0500

    Scope warning

commit 2a4eb2b1989433e6f400c0368146513aaa120a89
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 16:10:40 2019 -0500

    weird

commit a255b62119c514ad89ee79aadab8f4b1ff04356c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 16:08:37 2019 -0500

    Full Command string

commit 79ae98203fe4b2e515d3d0457104cc0b56406322
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 12:39:45 2019 -0500

    small change

commit 8f0a4a4c8183d70973d2a22b16dd573816f71e40
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 12:19:30 2019 -0500

    Fixed a bug

commit e067f6c034d6378ed97ca4d27a2d45cf2ef1e429
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 06:28:28 2019 -0500

    Refactoring

commit a2e417b5985e203dd0d5fbf9477047510881c3e1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 06:10:02 2019 -0500

    Refactored BoolConstant

commit e041ceae84095c49074d7ac628bf7ff23407b838
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 05:56:43 2019 -0500

    disjoint quantifiers

commit ec6aa23ce7da464ac4265cf2a73d2bccbdd75f3e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 05:37:07 2019 -0500

    refactoring

commit 88d393fc5e2e2bd62ab27276d85bde45467e585d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jun 23 19:31:09 2019 -0500

    refactoring

commit 5755cd0b8a4e61e4f50abd1e96dbcc4c7c524ce9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jun 23 18:54:56 2019 -0500

    refactoring

commit aa82b8c306519f5bacce5de66e16868f7dff0d2c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jun 23 18:18:35 2019 -0500

    refactoring

commit dda48301dce2b9bb6333c6401602f4064cba9856
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jun 23 12:24:42 2019 -0500

    refactoring

commit d28144ce632c824017ad560571b31030b852ad74
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 14:48:04 2019 -0500

    refactoring

commit 86e9207eaa8b2792f67e5c65c4252e9aa3ee4d52
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 13:57:56 2019 -0500

    refactored BinaryExpression

commit 2e965394f8218860762ff1a77e29a53198866c9f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 07:06:07 2019 -0500

    refactored ITEExpression

commit 4907fd4f3c4ac3d836959340ba05f4bc9dfa9553
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 07:02:09 2019 -0500

    refactored LetExpression

commit efc47ae2dd3843460c204854cf886c4671771d4f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 06:56:32 2019 -0500

    refactored MultiArityExpression

commit 86c9b17f16ede4d9f3681cbb35c10ce16dd90351
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 06:48:48 2019 -0500

    refactored UnaryExpression and QuantifiedExpression

commit 5016c7b85a519e656f37f61ac72ebe2569b75f27
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 05:42:37 2019 -0500

    Optimized Tuple quantifiers

commit 6e87d9889f8a5fdf12de5041ad9d0ce974486f37
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 00:24:24 2019 -0500

    (define-fun this/A () (Set (Tuple Atom)) (as emptyset (Set (Tuple Atom))))
    (define-fun |this/A'| () (Set (Tuple Atom)) (as emptyset (Set (Tuple Atom))))
    (define-fun |this/A"| () (Set (Tuple Atom)) (as emptyset (Set (Tuple Atom))))

commit 4fbb3f62053add97d101f1ffe4c66324db51248c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 00:10:10 2019 -0500

    used smt lib bars |identifier|

commit ef86e98b47a26e94777a81f4671d982abfc87c69
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 20 21:38:09 2019 -0500

    disjoint2 fields values

commit a3d521f7bbeb6fd3c24176b8e8267d9a46891d94
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 20 13:08:42 2019 -0500

    disjoint fields

commit b973f0834978ada1e44e1d69b5ffff1a288e3ba9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 20 11:02:57 2019 -0500

    Fixed " special translation

commit 6318bd94975a4c6ecd66c78758d83db20b703b7c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 19 22:09:44 2019 -0500

    Fixed disjointness constraints for grandchildren

commit ad6ab066d812706493434557fcba492a2aaba48c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 19 21:58:39 2019 -0500

    Fixed disjointness constraints for grandchildren

commit 3414859c359494ae5a9b7bfac5f144ba7bfe3044
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 19 19:50:04 2019 -0500

    Fixed disjointness constraints for grandchildren

commit 5c76f2451d29a93788b5cf3e2e019cd8e619ef35
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 19 18:20:23 2019 -0500

    updated translation for unary fields

commit dc0744f085e277c2e7aeb780ee18be89f2fe672e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 19 10:11:37 2019 -0500

    draft changes

commit 886f744d5742cbbfd9d4f2450c750135be831aa7
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Wed Jun 19 12:06:49 2019 +0200

    [title] Uses main class name that looks better in the menu bar

commit cefafcdf27e76a0f87e9869c153b0c5e11ec9eb2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 18 22:22:44 2019 -0500

    Fixed one scope signature case

commit 8457b0c6ae2b3b54d218896d69e4e493b9c2bf34
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 18 22:13:46 2019 -0500

    a lot of changes to support constraints for variables

commit ecebfe03360159e57e26a9a21f56f6c2b120c870
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 18 01:00:41 2019 -0500

    Progress

commit af68b9435780f8c8a396a8e7d67f003f608f10f0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jun 16 12:31:53 2019 -0500

    Fixed systems/views type bug
    Replaced quantified arguments in membership expressions

commit d7af05a8d0c39c142481096b9c03b088027aad99
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 19:15:27 2019 -0500

    annoying scope rules

commit f926dd1826775e88451aa00f6da5af595effc8c6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 19:01:07 2019 -0500

    annoying scope rules

commit 4da6bb506719456e0e4b4824f2cfb9fa6f577346
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 07:25:33 2019 -0500

    small change

commit b8f3d41382fe41c21fbd953e5fcad8af43dc9572
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 06:50:07 2019 -0500

    small change

commit 263fe69dfeb4f5177c8d2df7e9ed33c5751d675c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 05:24:57 2019 -0500

    Fixed parsing function return sort in Smt.g4 file

commit 62a137b4a172ea94613dab7228c26d3a89f14d6d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 05:11:00 2019 -0500

    handle different types for quantifiers in comprehensions

commit 5b65cea54f05bd5e4c0f902aa572a3df2eb11756
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 23:51:21 2019 -0500

    added replace function

commit 6a6ce37955c5704e0126bdd8669a1fe1918b9602
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 20:41:18 2019 -0500

    refactoring (Introducing Environment)

commit a26d4a69a55dd6ca6ceb93209fcc54250f40d729
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 18:08:52 2019 -0500

    Fixed a unit test

commit 0cd9e7beb9770633a33cfb4492f2c0206887537e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 17:01:27 2019 -0500

    ExprQt and ExprBinary ranges

commit 1661d6114ae53405f794d5056fbc31263108170c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 14:40:34 2019 -0500

    comprehension first attempt

commit a9b7bf88fd3250c6fd4e8d6c162dbe81f1131212
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 14:39:06 2019 -0500

    comprehension first attempt

commit 688f12d1474f2319ec1c0bb96ae41a548cc4b2d2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 23:50:33 2019 -0500

    ExprQt multiplicity one

commit e69fc333bd8bfde860a3d4435c6485fa80d85cc6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 22:28:39 2019 -0500

    ExprQt multiplicity all

commit 73e7df1f684d4b0100b6345fb13b2e9139c577a3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 22:16:03 2019 -0500

    ExprQt multiplicity some

commit a6d0975e37c0cb9bec53c3442a0b7208a9ae1471
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 20:39:10 2019 -0500

    New translation for ExprQt (lone)

commit d4fd694b9b069278d779000c66c8b45908508fe3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 20:32:41 2019 -0500

    New translation for ExprQt (one)

commit 9d4025cee809805bd2eb183026e5f08929d9b940
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 17:24:01 2019 -0500

    New translation for ExprQt (one)

commit 3473fd6b05b6025e96a9ed4444e4622a769a6b76
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 16:19:09 2019 -0500

    New translation for ExprQt (some)

commit 84f8d3f14db589e9fd8c1a6009d05650d8128b66
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 15:48:14 2019 -0500

    New translation for ExprQt

commit d1be2de52aa54ef13f88f0adad9f120622de3c2a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 11 09:46:09 2019 -0500

    small change

commit 518171032d3aa3995264452dc9d836ad66f5705c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 11 09:44:18 2019 -0500

    handling pipe being closed

commit b77cae45758e793e2a358377d0543efebf2f25a1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 10 16:09:58 2019 -0500

    more tests

commit 403bed478e752d6a55a144cedd80ba98d578ca35
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 10 14:00:27 2019 -0500

    more tests

commit 2964978b3ba9740aeb91b6db82cc599c62f31101
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 10 12:18:38 2019 -0500

    functions dependencies across modules

commit ccb2d39d924b4a803cb0a55b9b68b6462d524c8b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 8 21:28:10 2019 -0500

    functions dependencies across modules

commit 0a49a7f55105c8acc0be325b464694c579a99360
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 8 07:10:11 2019 -0500

    nasty bug

commit e1ea358a80ff8378dd7fee483476831dd708e847
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 8 06:35:17 2019 -0500

    small changes

commit 4fd62bef53e8e37c80ef8f7a5701eca126508eaa
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 7 22:07:29 2019 -0500

    Replaced old field translation with Alloy semantics

commit 8684e878d77cc25083f3e0b817bd6b0986a2597c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 7 18:06:45 2019 -0500

    Fixed type bug

commit e5496b49e0468cd3042d9831fe5d9b87374e34d4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 7 14:56:45 2019 -0500

    trying to fix "this" expression

commit 591020f08cf0ba71275d8d876d4b2244929bb702
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 6 16:59:06 2019 -0500

    New untranslated cases

commit fac494c853f33372b1a6471c05916723fbb2d50f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 6 12:54:47 2019 -0500

    Fixed let expression bug

commit 5754bb88abf1dd75801a02651d976bf50c814e70
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 17:36:46 2019 -0500

    Fixed fields with multiple types

commit 55719c1ece47313065c411f66822f558588de5f0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 13:09:54 2019 -0500

    addr: Name -> (Name ++ Name)

commit a86faa6466201d4657aaecb281c4aabc18566a5a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:57:41 2019 -0500

    intUniverse

commit a87fa0743cc7317f5d758fdf52d2b321863cb6a5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:46:30 2019 -0500

    Only ISSEQ_ARROW_LONE remain

commit 3b03ca7dd21d162477a6e996f20b1abdfacaedd3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:37:40 2019 -0500

    A some -> set A
    A set -> some A

commit bbaea25a7005ac6b4bab97c414b6245204d59750
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:30:40 2019 -0500

    A lone -> set A
    A set -> lone A

commit 37bbcfd1171ac289acfa5044b2684d9402f12636
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:24:04 2019 -0500

    A one -> set A
    A set -> one A

commit 352d73d6c45acda59752d309053e616cfce594cf
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:14:18 2019 -0500

    A lone -> some A
    A some -> lone A

commit 3fd37e36d07a30ef3efc57232ebd4f9a7bf9b626
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:05:41 2019 -0500

    A some -> one A

commit 484b020943aa15e6454d34e6213d03358543ea32
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 00:58:55 2019 -0500

    A some -> some A

commit 2879634a5c0e68c3bd9a72db844158f021c455c6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 00:55:24 2019 -0500

    A one -> some A

commit e729dacd5288bce5523e525275b276cb4e9b795b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 00:46:58 2019 -0500

    A lone -> one A

commit 62fb10fdb6d3531f78e646f3c6cc55d6801d7297
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 00:44:26 2019 -0500

    A one -> lone A
    A lone -> lone A

commit fd9a45797f84ca6a3f0a054aa7811acd32da9c79
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 23:45:16 2019 -0500

    Finally supported sig A {r: A} fact f {#A = 2 and r in A one -> one A }

commit bcd4a789628ab12e8e3c5758c5db4c410219cf85
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 20:06:09 2019 -0500

    Cvc4Process Assertion failure with tlimit

commit 61bee4ede4b5cd70ee97a797cf14d753915bad15
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 12:19:36 2019 -0500

    arity > 3

commit 400c2ac632782d3cff4377e84591d3f3d5fcdba0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 11:16:10 2019 -0500

    changes

commit 77a75d79ed1ed01f27bbe409a51f58a9147db34d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 08:03:57 2019 -0500

    updated guidelines

commit bcc24d9582b968e6be6202a99fdf6165d2aa191f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 02:15:24 2019 -0500

    Supported intUniv

commit fd52587bae8837629e92905e6f30a99d11516fc8
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 01:41:19 2019 -0500

    Fixed bug related to multiple declared quantifiers

commit 511a3c2aab85f417e3a730ffdd394fa432fa4979
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 00:48:05 2019 -0500

    Refactored ExprQtTranslator

commit f4ad21d4ae782c38bd26cb357205e437012b45f2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 1 16:45:16 2019 -0500

    fixing predicates quantified expression

commit a56c9f176d58120bcba4e132e5770afa3f6d3373
Merge: 30b41ae8 9a2c89d2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 1 13:22:56 2019 -0500

    Merge pull request #1 from AlloyTools/master

    Merge from AlloyTools repository master branch

commit 598626673af2fb94ab5cad0decb43cd4d6d4938a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue May 21 19:39:52 2019 -0500

    course examples

commit 18ec0a82b621437daa080274d0630ff1069786d3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue May 21 19:16:44 2019 -0500

    Fixed cardinality 0
    scope semantics issue with family 3

commit 90f8320f0dcba8566e0a7f42d22d0b252ba87a45
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue May 21 18:31:33 2019 -0500

    Bug fixing

commit 79cc0b5200f9e4a19a8998c413bb46778fd0eb44
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon May 20 20:22:41 2019 -0500

    abstract scope

commit 11dba9a9900998cae53281c152805e937b5d6f65
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon May 20 20:07:21 2019 -0500

    abstract scope

commit a31b57782d1881cc2078f29ca8b7fdf6c9af99dd
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon May 20 18:51:29 2019 -0500

    tests

commit ae7472cf460340304ce08baba9c1f20d06e6adc0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon May 20 17:49:39 2019 -0500

    sanitized name

commit 68b84811c8ab363bcaf81ac4386fc03742da0cb6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon May 20 15:01:54 2019 -0500

    tests

commit 524ecd76376c3ddd91126de5…
mudathirmahgoub added a commit that referenced this pull request Sep 8, 2021
@mudathirmahgoub
SMT-Extension
8b5cfd4 
Squashed commit of the following:

commit bd7ea99d0eebc859984efff139e180275d7b3e64
Merge: 5a684db6 6d625171
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 8 09:10:12 2021 -0500

    Merge branch 'main_merge'

commit 6d6251716dab792f64d234d7b45e2603aeb56890
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 8 08:33:11 2021 -0500

    3

commit fc53ff24767941502f2bcd801e6a94ae8b3cb4d3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 8 07:59:05 2021 -0500

    2

commit 5d77dadd13e9d78a336ce8a7b9f29276e3b7e080
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 8 02:01:40 2021 -0500

    1

commit 50b559959d6639c38d464650119b551a6cb1f1c6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 8 00:06:15 2021 -0500

    merge

commit 13b4339970a841152b5ae252b110339b37da4c28
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 7 22:33:24 2021 -0500

    merge

commit 047eac66a4bc1c8e9ba14e123c4aae130a96f550
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 7 22:00:49 2021 -0500

    merge from alloytools

commit 86bfb76d28fbcfab045e7c347301e08b1850748f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu May 28 14:06:00 2020 -0500

    functions

commit 0915c41bdd6f13e2358d7dd651fd333daf56d2ff
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu May 28 01:08:05 2020 -0500

    AnyArrowOne

commit 5bbb534f64fe78bbaf588ac84dc4f24c18ffe828
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 23:55:17 2020 -0500

    Fixed the translation

commit d71ee6cffd90466f344d50e2bed751bb280f38b5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 22:49:05 2020 -0500

    One arrow Any optimization

commit ab7c73093a03fe8518a68735e25e6edfd8398433
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 17:49:48 2020 -0500

    cegqi-all false

commit 1d73e3d7da468dfbe4ca2f201258c53a548d6f8d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 17:10:57 2020 -0500

    gradle

commit f938bf39f871245da773bce025fbb35d3ee2d8d9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 17:10:40 2020 -0500

    removed gradle

commit ce274bee5419664c98e40007bea8740ae6ba73db
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed May 27 16:42:17 2020 -0500

    Updated gradle to 6.4

commit eab27fb79c54961d625c5678fd033db12e5635bf
Author: Mudathir Mahgoub Yahia Mohamed <mudathir@Mudathirs-MacBook-Pro.local>
Date:   Sat May 23 14:16:30 2020 -0500

    updated cvc4_mac

commit 8b32a5680872133826946002e6540430cf0297ee
Author: Mudathir Mahgoub Yahia Mohamed <mudathir@Mudathirs-MacBook-Pro.local>
Date:   Fri May 22 20:28:03 2020 -0500

    cvc4 mac

commit 303ffb207c402a03a5028f02796aef4753644446
Merge: 8cac6a4f 2685d100
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu May 21 16:40:37 2020 -0500

    Merge pull request #21 from CVC4/multiplicity

    Product multiplicity

commit 2685d1005ea5f5dc78c4be1f26a5449e0ef7fd13
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu May 21 16:37:55 2020 -0500

    Product multiplicity

commit 8cac6a4f9743fbfc23044a0945fa87ec52439fac
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu May 14 14:35:23 2020 -0500

    cegqi-all

commit eeef07cb4b8a80b7a0b60f06e03f83f501c464bf
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri May 8 00:52:18 2020 -0500

    Optimized function translations

commit 6ac3d51532e513fc056e2ebaab0b1f4115cd3a7f
Merge: 29464da7 9543687e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun May 3 21:42:11 2020 -0500

    Merge pull request #19 from CVC4/SmtOptimizerVisitor

    Flatten nested AND, OR expressions

commit 9543687e37b5ca0ef37a5d6c804d7efe94f9ffa9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun May 3 21:40:19 2020 -0500

    small change

commit de548c7673ae828651adc2dae2c88f56b17dfe3f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun May 3 19:37:23 2020 -0500

    Some progress

commit 29464da79cf6b23fcfd9bf2b36d5b2ec3d51e5d2
Merge: c5303438 932918f1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun May 3 13:48:03 2020 -0500

    Merge pull request #18 from CVC4/SmtOptimizerVisitor

    Added SMTRewriter

commit c53034388c10306705a71a614804b57e8c157aab
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 19:36:38 2020 -0500

    Permissions

commit 932918f12b3de8649cfc33e984f2ae1d3573b233
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 19:22:44 2020 -0500

    Some progress

commit c70fa8558d2263809463a437550239b6a287e746
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 18:20:56 2020 -0500

    Some progress

commit 899863f81f6e18d551239b4648901505d73986d3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 14:34:55 2020 -0500

    Some progress

commit b51458cd3fe55f72f8167d0502cf49058ba019c2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 11:56:34 2020 -0500

    Some progress

commit d4a2407912df5e4321d127a9ef6f6fdfc0373895
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat May 2 05:34:50 2020 -0500

    SmtRewriter

commit ad31180de4947af7cb5f04d0b68c11c22f5f0ed6
Merge: cfe75299 368f3cd5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 19:20:15 2020 -0500

    Merge remote-tracking branch 'AlloyTools/master'

    # Conflicts:
    #	README.md
    #	org.alloytools.alloy.application/src/main/java/edu/mit/csail/sdg/alloy4whole/SimpleGUI.java

commit cfe75299e7bb59a73eab6a64ffb42254bc97029e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 18:19:00 2020 -0500

    Updated CVC4 binary for linux

commit a0e6267b69e32e9f40c8a7d77e254dfad9b6cc02
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 18:13:31 2020 -0500

    Added *.smt2 to .gitignore

commit a5a97c10130e37c8b02aad7c73bf6e66972c4c26
Merge: e88c802e 7e109f63
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Thu Apr 30 16:19:09 2020 -0500

    Merge pull request #17 from CVC4/removeSetFunctions

    Refactor SMT-Extension heavily and support choose operator

commit 7e109f63c37c5a66da0354f7044972ff8262111a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 16:07:32 2020 -0500

    cleanup

commit 5edeceb2556086373db9d881eeaed24cc847d795
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 16:05:06 2020 -0500

    cleanup

commit 98022d58792caef0ec85b48f2fb4fd7c52effc04
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 16:02:14 2020 -0500

    cleanup

commit b10dd07b7f82cb10d12ebd0df8ec869cce82f489
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 15:52:50 2020 -0500

    removed integer singletons only option

commit b2507ab0f9a738ccaace9f4ebb7b0e7b5aad76f7
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 15:41:13 2020 -0500

    reverted unintended changes

commit 5e40559cc72ee0497f428fb5cf74cbf1ab23748f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 15:22:35 2020 -0500

    Add choose singleton constraint

commit b6d6411b3fe0b000d20bac098c824af900a806a7
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 14:49:56 2020 -0500

    Examples tests

commit ebbd89142cbe63d6c8c6f1ae878c3313ed4db779
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 08:19:42 2020 -0500

    Fixed Env bug

commit 0c3ca8d92f357bc42c9e29cab00d64f25a7a1461
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 07:26:07 2020 -0500

    toString

commit aea4186fc62f2e04a95aa77eaab21c5a7016ea0f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 06:36:03 2020 -0500

    toString

commit 8bb013783f079788f80889dc741d7607aebee7b4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 06:14:04 2020 -0500

    refactoring

commit d335dd9c95941e1cad1984a8c52dbdef04f45f19
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 06:05:29 2020 -0500

    containsExpr

commit e2ede60173edcb3addcadfc71d05d2372b2ec940
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 30 03:45:14 2020 -0500

    Refactoring

commit f51d588cf93f320c405f9cfb9f270d557e44be50
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 29 19:48:28 2020 -0500

    small change

commit fad0bf192022ecce8a4cf39ac562bfe6c117c73b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 29 19:16:59 2020 -0500

    small change

commit 123d859c995a9ba8ba91693d0a23a5cba268ac1b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 29 18:18:03 2020 -0500

    time limit

commit 40a1b291a239fcf445d6d110755e7a096c9403b8
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 29 17:59:42 2020 -0500

    small change

commit 70ae7fa7c24ca9fdf1647cb204670ede3e62822a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 29 17:41:20 2020 -0500

    translate functions

commit be29d0fcfbdca13e6a88a19ece191f77d335d62d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 04:12:55 2020 -0500

    Added infinity time limit option

commit 2356ffc745cd33cc9c6257acd414295028bcaf50
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 03:38:52 2020 -0500

    Refactoring

commit 6f9b22af5a267a4d00d967d5df0b109f48b27331
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 03:20:45 2020 -0500

    Documentation

commit 8e3bcc2f89ad20d4d1ddbd52e6e885c3cddd0b6d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 03:08:40 2020 -0500

    Fixed subset translation when there is an auxiliary set variable

commit 8719bd24125daa6cb2818e9b0ac3600d86cddf25
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 02:17:10 2020 -0500

    small refactoring

commit f79e04a7bd73f4904d594b638177d1969bce0598
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Apr 24 00:42:23 2020 -0500

    refactoring

commit d05c64befc8e00c703f61ce07a05363847788f9e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 21:41:13 2020 -0500

    optimized tuplsel 0 for unary tuples

commit af8018ea4e9821629e67bf8a8193192846b27689
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 20:57:19 2020 -0500

    optimized tuplsel 0 for unary tuples

commit b95dea3279ceb3c2df231745f51b108ce01a96f7
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 18:19:07 2020 -0500

    30 seconds

commit 4a87ff217ff8a946d6d1295597770f83815eb385
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 18:18:09 2020 -0500

    Fixed ordering module

commit a3785768cfe2b982f3feb705d0e2b6b044c1b249
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 16:41:54 2020 -0500

    Fixed scoping issues with integer constants

commit 301eea4e199ba3113eb2bdd576f2396c38bec8f4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 15:42:44 2020 -0500

    Fixed let test

commit f1cdd0cba00d9373a8f50ad429751ae52292f809
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 15:18:34 2020 -0500

    Added arrow test

commit c9c94ed7e9c21969ac574aefbefbc00b5d773ae2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 14:43:22 2020 -0500

    Replaced translateAuxiliaryFormula with addAuxiliaryVaraibles

commit 3c1a08f9cc175b89903c655d61e30d4d55bf828c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 12:36:38 2020 -0500

    Refactored Environment to SmtEnv

commit 82d31439858a9e2adbc57644dc9853fd3a610c36
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 12:07:34 2020 -0500

    Fixed when the constraint of a variable is null

commit 813b8d19ff1f3f2065e200d6397a42557b0b82d9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 06:32:06 2020 -0500

    Restored arithmetic functions

commit 120b486d08b6dec685e1a31bf1883fe41fa6354f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 06:03:13 2020 -0500

    Fixed some quantifier

commit 80efe0bdb81359400468ca513eaa328a6cecd637
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 05:53:50 2020 -0500

    Fixed an error when a function is called multiple times

commit 30255bddad8ebcdea44e477fc9ba05e452963922
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 05:40:26 2020 -0500

    Comprehension

commit d9831c7c4fe71d8b0be8ee8ca19d44f1cbf20ea6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 04:09:11 2020 -0500

    Refactored quantifiers to use Decl translator

commit b8bab189addf24dc50c88f893e78c611724066c0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 02:33:23 2020 -0500

    Format

commit 0feb6d24cf502b6d93301b63d38fa2b52dd0c6a4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 23 01:19:37 2020 -0500

    Documentation

commit a15158ca4dec71b1e432f2b59b8abb400b8c244d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 16 16:45:46 2020 -0500

    someof

commit 8b9eba0f809c4b5daacb4ecdfc3c8d625d7e41c8
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 16 16:20:56 2020 -0500

    Changed predicates and functions to sets

commit 08b74fc651d3a66b5662b9435af7912186823db6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 16 16:01:14 2020 -0500

    Decl translation

commit c5f9e7cc421e6d7ea9e4655549b6c5964b6938c9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 16 14:42:45 2020 -0500

    one

commit 336b36a53397c4b40e60b069b95a5c3deda38ca5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 16 13:15:37 2020 -0500

    removed ConstantDeclaration.java

commit 36bbaefc4a99018e941a01d2b07f3cf403d40f21
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 9 15:53:55 2020 -0500

    towards predicates and functions again

commit 23bf065ef402a74d25abaf0fd03de387c636f610
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 9 12:58:37 2020 -0500

    refactored VariableDeclaration.java to SmtVariable

commit 3d604ea91e64b32da6a7978a762b806dcf12505b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 9 01:12:14 2020 -0500

    refactored Expression to SmtExpr

commit 224bd29836846dfb5d4f99fd7e940243fc3d7a5e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 8 22:46:08 2020 -0500

    choose operator

commit 3419f5cd6ee87b5a34183d647519c4c44a9ffe04
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 20:28:02 2020 -0500

    2 smt files

commit af3eb6bf7bc65fa10db18e3e721e442c15a49acb
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 14:12:54 2020 -0500

    Fixed unavailable signatures and fields in an smt model

commit cbfdd0564b8e2abc9f10ec6e945cadf6dddd96f4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 14:02:39 2020 -0500

    Small changes

commit e02e509435e1dd78e2c9b770a1aed24624e12201
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 13:59:19 2020 -0500

    Major refactoring

commit fb7f3f82720dd327c38b766ec05f72527ee6b8c0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 11:16:18 2020 -0500

    small change

commit 13a1bc30757ec28ac9b2b8cb339e4df62089fda9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 11:14:10 2020 -0500

    towards removing integers if they are not used

commit 9f2be8a82635fbfe46324cc5a9d7034c5177c2ce
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 10:32:19 2020 -0500

    towards removing integers if they are not used

commit 1617cdaac84c084b4acebf4f8acaa927441e611b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 06:17:32 2020 -0500

    towards removing integers if they are not used

commit 655310a4e282febc79cc8af970a931790c9bdaba
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 05:22:08 2020 -0500

    towards removing integers if they are not used

commit e5379760a8dd9369a715d864318a030bd72e09d1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 01:27:49 2020 -0500

    SmtOptimizer

commit 789a0c48bab8b1681bbdaf36d572f16d4800a729
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Apr 2 00:17:19 2020 -0500

    renamed program to script

commit 5c9226b9d85e347a6e9cc2c7ed6fbd3fdae673d9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Apr 1 23:19:03 2020 -0500

    Before major changes

commit e88c802e25522599140740398cb887c9af82c20f
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Thu Mar 26 11:06:49 2020 -0500

    Update issue templates

commit 2e158bbea65702be0d3f6b19bfdd27b5cd49c720
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Mar 19 14:28:58 2020 -0500

    Refactored cardinality comparisons

commit 3e2144bf8d672d07c9fbbd2797b98dd5bb51d432
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Mar 19 13:56:19 2020 -0500

    Refactored cardinality comparisons

commit 25edefcd5750dc0cf0602cb02daa6e6a0b52eb62
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Mar 19 12:26:09 2020 -0500

    Supported rClosure for integers

commit 15e69150eafbb3a5a09f34fbcb1e5843960d159e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Feb 27 14:49:35 2020 -0600

    refactoring

commit efc059ec96af328ce1807e53d4b57f35e94123fc
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Feb 26 15:31:14 2020 -0600

    refactoring

commit 39d79bd2b7ff130bf3ebd8a26e864d3bda5b2ae0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Feb 26 15:22:13 2020 -0600

    refactoring

commit f3c71fa8ceeb1afbd43605b2b5eaa0bb2bb2bdb4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Feb 20 01:17:30 2020 -0600

    Bug Cardinality < 0 returns sat!!

commit 7e095f787a8af7817bdc53ddeed4f5af51a49428
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Feb 1 21:50:41 2020 -0600

    commit

commit 1caf4079195b6b25f39c7c4b0de2a92f564c88fa
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 24 08:37:02 2020 -0600

    refactoring

commit 2dfa106e859622ee6c88dce1159e9674abf0b7c1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 24 08:28:32 2020 -0600

    refactoring

commit fabf0d5f299a13ae2d6ff94fd137c39f24964dd4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jan 13 15:27:50 2020 -0600

    Fixed wrong translation

commit 7a98de4d7f150a777c36fca1324628797c8ebbd0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jan 13 14:03:23 2020 -0600

    added comment string to Expression

commit eb6dc0fc563d9fc629a898b9c25db420034ade05
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jan 13 13:50:23 2020 -0600

    added comment string to Expression

commit be91e7eb5e44c4603da459bb4b63d9371d265881
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 13:21:15 2020 -0600

    almost

commit 35720262d8d551f654d9177767dbd617f7c51d86
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 08:54:09 2020 -0600

    logical operators

commit 678f16db72a6a1d150223e3f1396b2b3c0a400af
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 03:56:16 2020 -0600

    cardinality equality

commit adfec08bf80a80a5f7f50637674c9ccfd7cbc2bf
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 02:40:01 2020 -0600

    set equality

commit c8ed3bb4016d15f3401cb062a62183b6fe1a4405
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 02:23:40 2020 -0600

    refactoring

commit 698e4a1037f3af5909b90988467414bf9c11e046
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 01:54:34 2020 -0600

    refactoring no, lone, some, loneOf

commit 1ba997a41899358a468822470eeb42f38a103754
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 00:50:51 2020 -0600

    refactoring

commit 2c35ab6a2aa34e08d294f68d50eed7f6bace306b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jan 10 00:35:49 2020 -0600

    comprehension test

commit fd6db807448c7e5f3cde7279d5447e3fd253c4b7
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 19:11:50 2020 -0600

    bank account

commit f5ea2ad0cd385165e471e5d3611d6101f2e9f3c4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 18:46:57 2020 -0600

    bank account

commit 5db90e9cbe799d11e7126ad3e908634a4af11e32
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 18:45:59 2020 -0600

    bank account

commit b1c00a1555c867c03aba2cbbb0fc1ba3cd8b3ad3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 16:13:47 2020 -0600

    makeSet

commit 7e98f9194f959870c14304e587d29dec1e73a944
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 14:33:08 2020 -0600

    betterThanAlloy

commit 7dda2e5ddc3d82fe0e32f0f9b88de66afffe84ff
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jan 9 14:14:11 2020 -0600

    Fixed translating field multiplicity

commit ebf544e8a6f61466968cb04371aa2647440eea86
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Dec 31 23:02:39 2019 -0600

    finally some progress

commit 582660136db2bf1f03d41996f2db60f3adfc0581
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Dec 31 21:54:27 2019 -0600

    finally some progress

commit 9c0ae50d6f4876750d89480e1c6fe91852b25d86
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Dec 31 21:44:06 2019 -0600

    changing the model on the fly

commit 60593bafb989d25c29af38c5d23d09231f703982
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Dec 31 01:49:40 2019 -0600

    refactoring

commit 7e944083e3f2892e7aba1a56345de15bc45e2c8b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Dec 30 19:42:48 2019 -0600

    towards int singletons

commit 1a1471155f65f6331f65dee9013dccfd3b97149e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Dec 28 16:02:09 2019 -0600

    Argument quantifiers

commit ac7ff53f136d8e59d6d70b84de257002b235410a
Author: Mudathir <mudathirmahgoub@gmail.com>
Date:   Thu Oct 24 18:01:25 2019 -0500

    relational solver

commit dd1bfb86eca10ddac1a6b49d95f97138202c48b1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Oct 20 19:46:50 2019 -0500

    Added int value to its corresponding uninterpreted int name

commit f24e77615740b6990cc030378fc574b84cce7f2d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Oct 20 17:23:15 2019 -0500

    Argument quantifiers

commit e8de4f6bad0ee694156191dc79ead59bf946d47a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Oct 20 16:39:55 2019 -0500

    getFreeVariables

commit c995b9893e4d08fccbfbe4d8c8c7c3edfa4d1586
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Oct 12 23:16:45 2019 -0500

    Argument quantifiers

commit ef6698b50808d8fba31dae882510371786cebaa6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Oct 12 23:16:15 2019 -0500

    Argument quantifiers

commit a4dd6fce3a59270646e1c7b0eab0fdfff138c384
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Oct 12 22:44:29 2019 -0500

    small change

commit 7a303b41e1f85d36b2647c99b5300790e3cf5a50
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Oct 12 22:40:33 2019 -0500

    Integer singletons only option

commit 73674489ffdbe61df94e8c60dccee4a4b6acec0a
Author: Mudathir <mudathirmahgoub@gmail.com>
Date:   Fri Oct 11 17:31:59 2019 -0500

    status

commit e513c91a37372140adeb125bb8b1251d3c6f9356
Author: Mudathir <mudathirmahgoub@gmail.com>
Date:   Fri Oct 11 16:11:40 2019 -0500

    change

commit 24a5a41b2def59fbf674a95a572dad994a41e2d1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Oct 11 15:49:47 2019 -0500

    changew

commit 933bffdfa7eadf157715843423a4394c7e71438e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 25 13:56:57 2019 -0500

    updated projects dependency graph

commit eac689f639cbd9f0e8946cbb91c8f509b9b995a4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Sep 25 13:39:52 2019 -0500

    small changes

commit cbc61625b60c9656a5cc8534dd00b1477b541edf
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Wed Sep 25 10:39:29 2019 -0500

    Added README

commit 3c20b690c66af91687ce65ab6004fcefb0e5919b
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Wed Sep 25 00:20:54 2019 -0500

    Minor edits

commit 1fa92bfb9b967b55c25b7f9a19989e6093c2f06c
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Wed Sep 25 00:15:45 2019 -0500

    Updated section on quantification over Int.

commit 9a006070e85b8f486be701882adf9e8681446e76
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 17:50:31 2019 -0500

    small changes

commit 5c9b356b012b5c4df3880e9c616e8612e5303604
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 17:41:24 2019 -0500

    Commented out Int

commit 2383dbaa458d72ffac69d7c4fad3622ae931ec62
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 17:18:46 2019 -0500

    Small change

commit febc71e12faa019da9e901ae74cc39119c14cdfd
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 16:39:01 2019 -0500

    Fixed many issues

commit 54963d5c5deb9dd451fa047eef033b41d2cb9d3c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 15:05:33 2019 -0500

    Fixed SMT-Extension.md

commit 1b9b3f603c5a75b903eaa7c96cd8779fae507e0b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 13:55:56 2019 -0500

    Added cvc4 license

commit e820aecc41e6066db2bdd751cdfce9153bac6c3a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 13:52:32 2019 -0500

    Refactoring: restored some examples

commit 563b5d3923626fe72179c993923501be3f4644d8
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Sep 24 13:34:44 2019 -0500

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

commit 0576f756b475aad76c11979eba265b3a994d550b
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Tue Sep 24 12:36:25 2019 -0500

    minor edits

commit 73ebff942e87d58e376fed5cdf0ac2d73e21c4cc
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Tue Sep 24 12:14:22 2019 -0500

    Replaced by SMT-extensions.md

commit baab82e52fa71705379333cce155ca5e5a22d253
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Tue Sep 24 12:13:57 2019 -0500

    Also moved

commit c05946aa49c7691f73f4c6d53bea86346a94215c
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Tue Sep 24 12:13:29 2019 -0500

    Moved to SMT-Extensions

commit 34de38ebf7cfbe653d3c95218936b2501972b004
Author: Cesare Tinelli <cesare-tinelli@uiowa.edu>
Date:   Tue Sep 24 12:11:25 2019 -0500

    Removed

commit f3794fe4774006ec5da27205c806a47fcf908f3c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Sep 23 12:48:06 2019 -0500

    changes

commit 9423959e26716c9cc5c88dff4877cf78f361adfc
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Sep 21 06:24:41 2019 -0500

    identity constraint simplified

commit b70aa5311f8c96597cfb18660ceaf5db41570d2f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Sep 21 00:07:37 2019 -0500

    options

commit 8c69bdf96ee17d795d0a2fa20f0b7edb3aa06720
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Sep 20 23:12:49 2019 -0500

    options

commit 376cc268513e714232ae7694b1cedd2e018e9e8a
Merge: 29c41c20 9d745254
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Sep 20 23:10:56 2019 -0500

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

commit 29c41c207d64c09fb979c26284c2a22fd4cf32ea
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Sep 20 23:10:19 2019 -0500

    options

commit 9d7452540e28aac1538b6c0a21c65c6b6bedaffe
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 19 13:50:11 2019 -0500

    minor

commit 2c5e96232dae0547081f8617b00fcd8e91fae3f7
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Aug 16 21:09:53 2019 -0500

    Draft SMT pretty printer

commit a8f29c2191ee65395867e1978912e2a010249cf9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Aug 16 12:12:01 2019 -0500

    generate named formulas only when produceUnsatCore is true

commit 63839bac0a45fd0c40c767cc2753a386d22c346f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 15 16:55:28 2019 -0500

    refactoring

commit 04e88b724165d074f1577ac2ffffa7f5bfba3aa6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 15 16:43:05 2019 -0500

    Refactoring

commit b09e811da0c86fd039ecfe2e1dd1791d81836c97
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Aug 14 15:40:25 2019 -0500

    enabling and disabling menu items

commit 20049db7ee30cf8cf3e59f2a0419741908d0e2a0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Aug 14 12:51:27 2019 -0500

    Used block-model command

commit 08418297eab92baad8252526d1318cdbcaeb32a4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Aug 14 00:27:24 2019 -0500

    unsat core

commit 61c0dbda103b9e5747f9ce6e8a87f18e5add5449
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Aug 14 00:03:23 2019 -0500

    unsat core

commit a21a821273c12b0e3729832d62606a50af7dca74
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 13 23:06:24 2019 -0500

    unsat core

commit 00614bcc4032e48d17ebf8210cf0677fde29d5ce
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 13 22:48:41 2019 -0500

    unsat core

commit 283ac8f7c92fb308ccea101e924ace9c815fbd9c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 13 19:44:57 2019 -0500

    refactoring

commit 1a1d9010e0b952aa69464851db5d9eee1c281e4a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 13 19:41:22 2019 -0500

    Refactoring options

commit 9068c93a1059926b06c1b795e4b49ef148487eb5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 13 04:54:24 2019 -0500

    Added function calls and quantified expressions to Smt.g4

commit b0e813fd4e2c97172cc945ce644e4b1b941dae31
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 12 22:38:05 2019 -0500

    Added Bool to Abstrct Translator

commit cf8d5d1dfd0993d52e015b0e3da51b53879ed7a4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 12 18:42:29 2019 -0500

    added Range and UnsatCore classes

commit 9e909eef9795c6e0c6dc68e536801aa7009e57e9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 12 16:58:48 2019 -0500

    Added positions to assertions

commit ddc9f6463e453dbb2880803c2430a7108530a951
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 12 09:45:42 2019 -0500

    refactoring

commit 2234007b094b31f5f058c3dfbd59981b47956579
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 12 09:41:39 2019 -0500

    refactoring

commit 3ed59989e6ddc5b9040d9dee9c04a51827019ba6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Aug 6 19:07:07 2019 -0500

    added univInt and identInt to integer.als

commit fbaaea98db460657b26f6603e98f376694c99657
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 5 21:46:45 2019 -0500

    isPrivate

commit cae3b1bbbcbf9a2e9ab7dac224cefb72ddad228d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 5 21:36:54 2019 -0500

    isPrivate

commit 37bca8b952a7ead88a95500b042d36fe5b398082
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 5 20:58:29 2019 -0500

    small change

commit 61cc0297223a05ad952a7a70605ee06a3f132646
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 5 11:03:05 2019 -0500

    restoring bnd files

commit 4ce1419510b57f5fee6362848b12a0292f84b573
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Aug 5 10:59:22 2019 -0500

    restoring bnd files

commit 92d1057763f0d58145884d897b0482aac4770381
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 1 14:56:56 2019 -0500

    changes

commit 70839e542d55363ab451acf5a58f6cbf6a1667f5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 1 14:56:14 2019 -0500

    small change

commit 726f52ce5f530b1dde89be577a8a1aa5d5fdd094
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 1 14:21:10 2019 -0500

    changed the Main class from AlloyTools to Alloy

commit 633e39fafdb3aa7e9b955fc46bffabd6af1bb71b
Merge: 2978adb9 e849d05a
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Thu Aug 1 13:40:32 2019 -0500

    Merge pull request #9 from CVC4/replaceExpr

    Merging CVC4 relational solver to master

commit e849d05a9837c176efb6e4832b18e1391ff25714
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 1 13:33:36 2019 -0500

    Renamed to AlloySolution

commit 343c0896067f55dad3ae787b90048d63237906ea
Merge: d1d51d58 2978adb9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Aug 1 13:01:32 2019 -0500

    Merge branch 'master' into replaceExpr

    # Conflicts:
    #	cnf/build.bnd
    #	org.alloytools.alloy.dist/build.gradle

commit 2978adb99d50676a19736292c778b7af8c8916a4
Merge: 930cdc39 63aa8e28
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Thu Aug 1 12:42:45 2019 -0500

    Merge pull request #8 from AlloyTools/master

    Merge from AlloyTools

commit 63aa8e28f3ed7a2437d85ac700edb9d8cb8ce498
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Tue Jul 30 18:02:31 2019 +0200

    [cosmetic] Tooltips/mac menus

commit 83341793fb420b1087b98e90bc1a82498ac5ec9d
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Tue Jul 30 18:01:15 2019 +0200

    Naming

commit 1e422d9501dc103405ee249c2a1bc89bb44b5244
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Tue Jul 30 18:00:43 2019 +0200

    [solvers] Added plingeling executable

commit 9d0ca15892cdc2b610ac1bd02173474c3141115f
Author: dnjackson <dnj@mit.edu>
Date:   Fri Jul 26 10:38:39 2019 -0400

    SimpleGUI.java: removed logo

    concerned about box will be too large

commit 9f57ffb62de793415084bd64235bd1c2751dcf4a
Author: dnjackson <dnj@mit.edu>
Date:   Fri Jul 26 10:32:30 2019 -0400

    update about panel text in SimpleGui.java

commit d1d51d58aad4c2bea7c1ee4ca77a69e1303881a1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 25 11:11:37 2019 -0500

    Added scope for integers

commit 0c8e290b3f7d8f79bb6cf85d0be6ab9368d7bf54
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 24 15:26:37 2019 -0500

    changes

commit 6a8a684656df182f4990e77309a149417c2b8a12
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Wed Jul 24 15:25:36 2019 -0500

    Update guidelines.md

commit 77bfff800d178fa6707b6a1c21fc42b23d349c0c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jul 22 20:43:23 2019 -0500

    Small change

commit 3f481a44994e12c115e81b25a763c2b42d65cd43
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jul 22 20:23:16 2019 -0500

    Generated constraints for Kodkod instances

commit 0d2793321e61faf340f97064a990965f97cfa672
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jul 22 13:45:09 2019 -0500

    Separated alloy variables from generated variables

commit 75412f66021eeb1b177b05edb1d889ac5465d422
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jul 22 11:52:11 2019 -0500

    doesn't compile

commit 266d6a83307ee025ecb17e27430d154be3a69e0b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 21:33:22 2019 -0500

    small change

commit 5b811cc8ea5306eb7c464d22edb18d1d1f828af5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 20:31:47 2019 -0500

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

commit ab4a8f7e17556d8511436204ba30f37c6bd45177
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 18:49:12 2019 -0500

    Fixed removeMultiplicity
    towards fixing hotel1 example

commit 930cdc393a6b69cee940a9d74263ce8ee1d12402
Merge: 4328f43b 395d4e50
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Sun Jul 21 17:17:58 2019 -0500

    Merge pull request #6 from AlloyTools/master

    Merge from AlloyTools master branch

commit 032d29de59c75424ce4ccf872e89b9b614b3509d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 16:54:06 2019 -0500

    handled empty fields and empty signatures

commit a105abea5a8eee6bd9c6b6dd45e45243c50ac782
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 16:18:07 2019 -0500

    Added instance constraints for fields

commit 9bc43c00fac49665ee63c54d9e8bdb591d21308c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 15:55:32 2019 -0500

    Changed timeout to seconds + Less verbosity

commit 98870bf6f193ae113a7e9182965c6b6943fd8de5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 21 14:50:59 2019 -0500

    Added signature constraints for an instance returned by CVC4

commit 06dd9add7da193071af6b264a6acffffa0d37c05
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 18:45:52 2019 -0500

    disabled Predicate and Assertion links when the model is sat

commit 395d4e50a3c301f29fae5d8144d41a1f6498a660
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Sat Jul 20 14:39:49 2019 +0200

    [RELEASE] 5.1.0 preparations

commit 7c8c5c1a433b3d6134544a8d6575a26fd9ed6aa1
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Sat Jul 20 12:55:00 2019 +0200

    [tooltip] Do not use tableview in tooltip

commit cfab293edfdf260126aeae2c4d6f0b720899f393
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Sat Jul 20 12:19:52 2019 +0200

    [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.

commit e992f165fb77055127d5a2eb3055a736cb4ec839
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 05:00:13 2019 -0500

    intUniverse -> intUniv

commit 7ef066136ce19fb7cdc70284f6e157d5efdd0b24
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 04:56:19 2019 -0500

    used r for fresh relations

commit 8b4a616c0f1b4727b46d3c07d7de1e71fc2f80ef
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 04:09:25 2019 -0500

    Added Windows instructions
    Modified gradle to use AlloyTools

commit a64857ef7e72e05edc5663896742fb1a5ff96704
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 04:00:14 2019 -0500

    Fixed ExprVar equality in substitution

commit f309db8ac9ff652227615a97b98f66d5a1622309
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jul 20 03:48:20 2019 -0500

    Used sort-based new fresh names

commit b6b1eff53596c9d24cf86aeac661f6ca7348773b
Merge: 483ce861 a7248be8
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 19 17:07:26 2019 -0500

    Merge branch 'replaceExpr' of https://github.com/CVC4/org.alloytools.alloy into replaceExpr

commit 483ce86180f71de6a68b855b18550eb3a3b061d2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 19 17:06:46 2019 -0500

    small change

commit a7248be861aaa2ec7a4b372f5b944bcd7af77de0
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Fri Jul 19 16:01:10 2019 -0500

    Verified a few [checks]

commit bd4863e8239edf306de3c526b8f157e2d0b30a22
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 19 13:49:09 2019 -0500

    towards using pos

commit 89b2dc69faf248f3b7192b5d2560853f153bc4b1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 19 11:55:17 2019 -0500

    towards using pos

commit 2d479c04008c3c79c9845ed00c1ef86244121902
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 19 11:26:32 2019 -0500

    subset again

commit c02b2cb017d27205b9bb9b095d4cb71a9e48d5d8
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Fri Jul 19 02:21:51 2019 -0500

    A few more edits and additions

commit cc7c08db616dcc8edc8571052b896a6e7431f384
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Thu Jul 18 23:42:02 2019 -0500

    added build dir

commit a2ef2adc5daba4209983329b686edb8141f77f89
Author: Cesare Tinelli <cesare-tinellli@uiowa.edu>
Date:   Thu Jul 18 22:42:23 2019 -0500

    Some reformatting + more content

commit bb4be23e1a4fdbbf2c56ff62605f8a6d082c3ee4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 18 20:22:25 2019 -0500

    Added ExprVarTranslator

commit 3bee1742660edde57735351f126631a2abcd4e57
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 18 16:10:39 2019 -0500

    More changes

commit c62d93ea854ff16f66b590f50f2afc57ddb83a9e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 18 08:42:14 2019 -0500

    many changes

commit eb9fa2f41d944e3d7d1b65aaa92c83b969aeccf3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jul 14 11:51:43 2019 -0500

    nested comprehension

commit 0233be7497faf8e50abf54c6aabe5e17ec7e19ca
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 11 17:12:04 2019 -0500

    Fixed a bug when the SMT model has functions that accepts int arguments

commit 021b921b67cb198c15414f8f4d343700ad9b1ef5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 11 16:48:05 2019 -0500

    added $ to the parser

commit 6cc8293f8f0c9079fae987caebfb2083ebf954bb
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 11 12:32:19 2019 -0500

    example bank accounts

commit 4d82b4dbf2846f4d5806d7b0b2616d58f5fc833d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 10 16:31:06 2019 -0500

    example bank accounts

commit dc3cea7bec2f24ca37fe241439ccd399079af799
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 10 16:24:34 2019 -0500

    Translated ExprLet as macro 2

commit 83c9332dd9d2189bc2c2d89962fadb93dc1ec42e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 10 15:55:55 2019 -0500

    Translated ExprLet as macro 1

commit 3670553dba18ce01ac16ddfeb1ab43b051cf7a20
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 10 05:29:07 2019 -0500

    Towards fixing sets quantifiers in integer functions

commit ec26b97c7b24b9b2312b930853be298a60430446
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Fri Jul 5 14:22:52 2019 -0500

    Update guidelines.md

commit 1c095a1c890240c862ea1acb636bec64acda1841
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jul 5 11:40:05 2019 -0500

    Refactored VariableDeclaration

commit dcee9550931c3c6adca668962989366fdbbe61b5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 4 23:20:26 2019 -0500

    Added more tests

commit 28512d1bc3563e59e635655a99ff56500e5c4045
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 4 11:47:02 2019 -0500

    small changes

commit 959de2923fb3056135b06a4975762bde98b94648
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 4 11:44:42 2019 -0500

    small changes

commit aede68aee0198839466dfa4628ca70a8f313a77b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 4 11:36:40 2019 -0500

    util/ordering

commit 8ee76f1cde915f16547ab07df2e2f02b04bab804
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jul 4 11:18:01 2019 -0500

    Added more tests

commit a81b1a84e623e951729cdd8164a6e8d697e6cdb5
Merge: 4c4bedc1 fc26b3cf
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 18:17:14 2019 -0500

    Merge branch 'replaceExpr' of https://github.com/CVC4/org.alloytools.alloy into replaceExpr

commit 4c4bedc113cc44b11fb0261ad206b121fb378987
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 18:16:23 2019 -0500

    examples

commit fc26b3cf9d4588cd5a8e48093ffe5885864f15d5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 18:01:20 2019 -0500

    small change

commit 6f5eb7f4a7f5acbe82951e98826fae9e9cd79c0b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 17:01:58 2019 -0500

    refactoring

commit 22e545ef6bb307ca4e0aa66e6e64e363f3597502
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 15:30:16 2019 -0500

    Fixed field

commit da6d5326aba6c60c4ba7fba525597691ac33dd87
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 13:10:40 2019 -0500

    Refactoring

commit dfcf6b6ed2ed7454cf4f340fe19102f5732f7113
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 13:01:43 2019 -0500

    Fixed substitution for ExprQt declared Expr

commit 39e71ea506f88bb7c33039f2b20925c6dd83fe95
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 11:32:50 2019 -0500

    Added missing environment

commit a2bbe35c025ad3b877533c75d509e01c4c57b013
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jul 3 11:20:56 2019 -0500

    Fixed || body instanceof Sig.Field

commit 09105677cfc1ea2f65e66641fe61845e4070ebcb
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 20:13:06 2019 -0500

    refactored ExprCallTranslator

commit e5f9403c647242d22dec112119a1bde3c2849879
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 19:46:47 2019 -0500

    Added command generated assertions between push and pop

commit 9145cb78b4e226d6bca04b3686c00edb7e36a90e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 19:01:22 2019 -0500

    Removed function translation

commit f38edc97a664c9056e0cb53044b7c65ea0677fd3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 18:13:46 2019 -0500

    ExprITE

commit d74deec5dc675b9110562485a059a5c54d436aef
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 18:04:15 2019 -0500

    Fix disjoint2 when there is no field

commit e1d7068bc516fee7c937c7dc8637a2163445c335
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 17:27:17 2019 -0500

    ExprConstant

commit f50779b0ea5e15f65c457f156817e12397f00368
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 17:15:47 2019 -0500

    ExprLet

commit 734aa16fc3f5986f95bf8a29ccb4155d666bf24f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 16:19:51 2019 -0500

    expr substitute

commit e2a6e22e054c3f45af516f87681dcdc617580a09
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 12:13:56 2019 -0500

    small changes

commit 02f3ab16c7a5388a9efe3cdf2c7dd7b49c665943
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 11:44:21 2019 -0500

    refactored CVC4

commit 3163a680239d9b06f06cfecec8b47b2b96a32a1a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jul 2 11:14:22 2019 -0500

    For testing

commit 364098ecd6e8a20db4c1358f5c739b136f0e265d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 28 19:05:29 2019 -0500

    Some changes

commit 59b77e6acf8da41c462ed5ee523ddc19016232b4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 27 19:18:19 2019 -0500

    changes

commit 31da7ef69d471504ba40cbaac91328fc882cc675
Merge: 20993fd3 4328f43b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 25 18:27:07 2019 -0500

    Merge from master branch

commit 4328f43bd25a774a0eb2595b19e59db90cc4efb5
Merge: a56c9f17 886f744d
Author: mudathirmahgoub <mudathir-mahgoubyahia@uiowa.edu>
Date:   Tue Jun 25 16:53:16 2019 -0500

    Merge pull request #3 from AlloyTools/master

    Glucose41

commit 20993fd3285d387e4184d79a3dbf11b46f5bd361
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 25 14:18:23 2019 -0500

    weird

commit 3edda981611334c0b3dec965a6ab0d962568feee
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 25 12:28:11 2019 -0500

    Scope warning

commit 2a4eb2b1989433e6f400c0368146513aaa120a89
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 16:10:40 2019 -0500

    weird

commit a255b62119c514ad89ee79aadab8f4b1ff04356c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 16:08:37 2019 -0500

    Full Command string

commit 79ae98203fe4b2e515d3d0457104cc0b56406322
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 12:39:45 2019 -0500

    small change

commit 8f0a4a4c8183d70973d2a22b16dd573816f71e40
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 12:19:30 2019 -0500

    Fixed a bug

commit e067f6c034d6378ed97ca4d27a2d45cf2ef1e429
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 06:28:28 2019 -0500

    Refactoring

commit a2e417b5985e203dd0d5fbf9477047510881c3e1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 06:10:02 2019 -0500

    Refactored BoolConstant

commit e041ceae84095c49074d7ac628bf7ff23407b838
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 05:56:43 2019 -0500

    disjoint quantifiers

commit ec6aa23ce7da464ac4265cf2a73d2bccbdd75f3e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 24 05:37:07 2019 -0500

    refactoring

commit 88d393fc5e2e2bd62ab27276d85bde45467e585d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jun 23 19:31:09 2019 -0500

    refactoring

commit 5755cd0b8a4e61e4f50abd1e96dbcc4c7c524ce9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jun 23 18:54:56 2019 -0500

    refactoring

commit aa82b8c306519f5bacce5de66e16868f7dff0d2c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jun 23 18:18:35 2019 -0500

    refactoring

commit dda48301dce2b9bb6333c6401602f4064cba9856
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jun 23 12:24:42 2019 -0500

    refactoring

commit d28144ce632c824017ad560571b31030b852ad74
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 14:48:04 2019 -0500

    refactoring

commit 86e9207eaa8b2792f67e5c65c4252e9aa3ee4d52
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 13:57:56 2019 -0500

    refactored BinaryExpression

commit 2e965394f8218860762ff1a77e29a53198866c9f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 07:06:07 2019 -0500

    refactored ITEExpression

commit 4907fd4f3c4ac3d836959340ba05f4bc9dfa9553
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 07:02:09 2019 -0500

    refactored LetExpression

commit efc47ae2dd3843460c204854cf886c4671771d4f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 06:56:32 2019 -0500

    refactored MultiArityExpression

commit 86c9b17f16ede4d9f3681cbb35c10ce16dd90351
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 06:48:48 2019 -0500

    refactored UnaryExpression and QuantifiedExpression

commit 5016c7b85a519e656f37f61ac72ebe2569b75f27
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 05:42:37 2019 -0500

    Optimized Tuple quantifiers

commit 6e87d9889f8a5fdf12de5041ad9d0ce974486f37
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 00:24:24 2019 -0500

    (define-fun this/A () (Set (Tuple Atom)) (as emptyset (Set (Tuple Atom))))
    (define-fun |this/A'| () (Set (Tuple Atom)) (as emptyset (Set (Tuple Atom))))
    (define-fun |this/A"| () (Set (Tuple Atom)) (as emptyset (Set (Tuple Atom))))

commit 4fbb3f62053add97d101f1ffe4c66324db51248c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 22 00:10:10 2019 -0500

    used smt lib bars |identifier|

commit ef86e98b47a26e94777a81f4671d982abfc87c69
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 20 21:38:09 2019 -0500

    disjoint2 fields values

commit a3d521f7bbeb6fd3c24176b8e8267d9a46891d94
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 20 13:08:42 2019 -0500

    disjoint fields

commit b973f0834978ada1e44e1d69b5ffff1a288e3ba9
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 20 11:02:57 2019 -0500

    Fixed " special translation

commit 6318bd94975a4c6ecd66c78758d83db20b703b7c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 19 22:09:44 2019 -0500

    Fixed disjointness constraints for grandchildren

commit ad6ab066d812706493434557fcba492a2aaba48c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 19 21:58:39 2019 -0500

    Fixed disjointness constraints for grandchildren

commit 3414859c359494ae5a9b7bfac5f144ba7bfe3044
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 19 19:50:04 2019 -0500

    Fixed disjointness constraints for grandchildren

commit 5c76f2451d29a93788b5cf3e2e019cd8e619ef35
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 19 18:20:23 2019 -0500

    updated translation for unary fields

commit dc0744f085e277c2e7aeb780ee18be89f2fe672e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 19 10:11:37 2019 -0500

    draft changes

commit 886f744d5742cbbfd9d4f2450c750135be831aa7
Author: Peter Kriens <Peter.Kriens@aqute.biz>
Date:   Wed Jun 19 12:06:49 2019 +0200

    [title] Uses main class name that looks better in the menu bar

commit cefafcdf27e76a0f87e9869c153b0c5e11ec9eb2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 18 22:22:44 2019 -0500

    Fixed one scope signature case

commit 8457b0c6ae2b3b54d218896d69e4e493b9c2bf34
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 18 22:13:46 2019 -0500

    a lot of changes to support constraints for variables

commit ecebfe03360159e57e26a9a21f56f6c2b120c870
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 18 01:00:41 2019 -0500

    Progress

commit af68b9435780f8c8a396a8e7d67f003f608f10f0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sun Jun 16 12:31:53 2019 -0500

    Fixed systems/views type bug
    Replaced quantified arguments in membership expressions

commit d7af05a8d0c39c142481096b9c03b088027aad99
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 19:15:27 2019 -0500

    annoying scope rules

commit f926dd1826775e88451aa00f6da5af595effc8c6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 19:01:07 2019 -0500

    annoying scope rules

commit 4da6bb506719456e0e4b4824f2cfb9fa6f577346
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 07:25:33 2019 -0500

    small change

commit b8f3d41382fe41c21fbd953e5fcad8af43dc9572
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 06:50:07 2019 -0500

    small change

commit 263fe69dfeb4f5177c8d2df7e9ed33c5751d675c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 05:24:57 2019 -0500

    Fixed parsing function return sort in Smt.g4 file

commit 62a137b4a172ea94613dab7228c26d3a89f14d6d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 15 05:11:00 2019 -0500

    handle different types for quantifiers in comprehensions

commit 5b65cea54f05bd5e4c0f902aa572a3df2eb11756
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 23:51:21 2019 -0500

    added replace function

commit 6a6ce37955c5704e0126bdd8669a1fe1918b9602
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 20:41:18 2019 -0500

    refactoring (Introducing Environment)

commit a26d4a69a55dd6ca6ceb93209fcc54250f40d729
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 18:08:52 2019 -0500

    Fixed a unit test

commit 0cd9e7beb9770633a33cfb4492f2c0206887537e
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 17:01:27 2019 -0500

    ExprQt and ExprBinary ranges

commit 1661d6114ae53405f794d5056fbc31263108170c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 14:40:34 2019 -0500

    comprehension first attempt

commit a9b7bf88fd3250c6fd4e8d6c162dbe81f1131212
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 14 14:39:06 2019 -0500

    comprehension first attempt

commit 688f12d1474f2319ec1c0bb96ae41a548cc4b2d2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 23:50:33 2019 -0500

    ExprQt multiplicity one

commit e69fc333bd8bfde860a3d4435c6485fa80d85cc6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 22:28:39 2019 -0500

    ExprQt multiplicity all

commit 73e7df1f684d4b0100b6345fb13b2e9139c577a3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 22:16:03 2019 -0500

    ExprQt multiplicity some

commit a6d0975e37c0cb9bec53c3442a0b7208a9ae1471
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 20:39:10 2019 -0500

    New translation for ExprQt (lone)

commit d4fd694b9b069278d779000c66c8b45908508fe3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 20:32:41 2019 -0500

    New translation for ExprQt (one)

commit 9d4025cee809805bd2eb183026e5f08929d9b940
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 17:24:01 2019 -0500

    New translation for ExprQt (one)

commit 3473fd6b05b6025e96a9ed4444e4622a769a6b76
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 16:19:09 2019 -0500

    New translation for ExprQt (some)

commit 84f8d3f14db589e9fd8c1a6009d05650d8128b66
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 13 15:48:14 2019 -0500

    New translation for ExprQt

commit d1be2de52aa54ef13f88f0adad9f120622de3c2a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 11 09:46:09 2019 -0500

    small change

commit 518171032d3aa3995264452dc9d836ad66f5705c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 11 09:44:18 2019 -0500

    handling pipe being closed

commit b77cae45758e793e2a358377d0543efebf2f25a1
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 10 16:09:58 2019 -0500

    more tests

commit 403bed478e752d6a55a144cedd80ba98d578ca35
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 10 14:00:27 2019 -0500

    more tests

commit 2964978b3ba9740aeb91b6db82cc599c62f31101
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon Jun 10 12:18:38 2019 -0500

    functions dependencies across modules

commit ccb2d39d924b4a803cb0a55b9b68b6462d524c8b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 8 21:28:10 2019 -0500

    functions dependencies across modules

commit 0a49a7f55105c8acc0be325b464694c579a99360
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 8 07:10:11 2019 -0500

    nasty bug

commit e1ea358a80ff8378dd7fee483476831dd708e847
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 8 06:35:17 2019 -0500

    small changes

commit 4fd62bef53e8e37c80ef8f7a5701eca126508eaa
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 7 22:07:29 2019 -0500

    Replaced old field translation with Alloy semantics

commit 8684e878d77cc25083f3e0b817bd6b0986a2597c
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 7 18:06:45 2019 -0500

    Fixed type bug

commit e5496b49e0468cd3042d9831fe5d9b87374e34d4
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Fri Jun 7 14:56:45 2019 -0500

    trying to fix "this" expression

commit 591020f08cf0ba71275d8d876d4b2244929bb702
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 6 16:59:06 2019 -0500

    New untranslated cases

commit fac494c853f33372b1a6471c05916723fbb2d50f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Thu Jun 6 12:54:47 2019 -0500

    Fixed let expression bug

commit 5754bb88abf1dd75801a02651d976bf50c814e70
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 17:36:46 2019 -0500

    Fixed fields with multiple types

commit 55719c1ece47313065c411f66822f558588de5f0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 13:09:54 2019 -0500

    addr: Name -> (Name ++ Name)

commit a86faa6466201d4657aaecb281c4aabc18566a5a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:57:41 2019 -0500

    intUniverse

commit a87fa0743cc7317f5d758fdf52d2b321863cb6a5
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:46:30 2019 -0500

    Only ISSEQ_ARROW_LONE remain

commit 3b03ca7dd21d162477a6e996f20b1abdfacaedd3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:37:40 2019 -0500

    A some -> set A
    A set -> some A

commit bbaea25a7005ac6b4bab97c414b6245204d59750
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:30:40 2019 -0500

    A lone -> set A
    A set -> lone A

commit 37bbcfd1171ac289acfa5044b2684d9402f12636
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:24:04 2019 -0500

    A one -> set A
    A set -> one A

commit 352d73d6c45acda59752d309053e616cfce594cf
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:14:18 2019 -0500

    A lone -> some A
    A some -> lone A

commit 3fd37e36d07a30ef3efc57232ebd4f9a7bf9b626
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 01:05:41 2019 -0500

    A some -> one A

commit 484b020943aa15e6454d34e6213d03358543ea32
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 00:58:55 2019 -0500

    A some -> some A

commit 2879634a5c0e68c3bd9a72db844158f021c455c6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 00:55:24 2019 -0500

    A one -> some A

commit e729dacd5288bce5523e525275b276cb4e9b795b
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 00:46:58 2019 -0500

    A lone -> one A

commit 62fb10fdb6d3531f78e646f3c6cc55d6801d7297
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Wed Jun 5 00:44:26 2019 -0500

    A one -> lone A
    A lone -> lone A

commit fd9a45797f84ca6a3f0a054aa7811acd32da9c79
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 23:45:16 2019 -0500

    Finally supported sig A {r: A} fact f {#A = 2 and r in A one -> one A }

commit bcd4a789628ab12e8e3c5758c5db4c410219cf85
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 20:06:09 2019 -0500

    Cvc4Process Assertion failure with tlimit

commit 61bee4ede4b5cd70ee97a797cf14d753915bad15
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 12:19:36 2019 -0500

    arity > 3

commit 400c2ac632782d3cff4377e84591d3f3d5fcdba0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 11:16:10 2019 -0500

    changes

commit 77a75d79ed1ed01f27bbe409a51f58a9147db34d
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 08:03:57 2019 -0500

    updated guidelines

commit bcc24d9582b968e6be6202a99fdf6165d2aa191f
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 02:15:24 2019 -0500

    Supported intUniv

commit fd52587bae8837629e92905e6f30a99d11516fc8
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 01:41:19 2019 -0500

    Fixed bug related to multiple declared quantifiers

commit 511a3c2aab85f417e3a730ffdd394fa432fa4979
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue Jun 4 00:48:05 2019 -0500

    Refactored ExprQtTranslator

commit f4ad21d4ae782c38bd26cb357205e437012b45f2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 1 16:45:16 2019 -0500

    fixing predicates quantified expression

commit a56c9f176d58120bcba4e132e5770afa3f6d3373
Merge: 30b41ae8 9a2c89d2
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Sat Jun 1 13:22:56 2019 -0500

    Merge pull request #1 from AlloyTools/master

    Merge from AlloyTools repository master branch

commit 598626673af2fb94ab5cad0decb43cd4d6d4938a
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue May 21 19:39:52 2019 -0500

    course examples

commit 18ec0a82b621437daa080274d0630ff1069786d3
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue May 21 19:16:44 2019 -0500

    Fixed cardinality 0
    scope semantics issue with family 3

commit 90f8320f0dcba8566e0a7f42d22d0b252ba87a45
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Tue May 21 18:31:33 2019 -0500

    Bug fixing

commit 79cc0b5200f9e4a19a8998c413bb46778fd0eb44
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon May 20 20:22:41 2019 -0500

    abstract scope

commit 11dba9a9900998cae53281c152805e937b5d6f65
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon May 20 20:07:21 2019 -0500

    abstract scope

commit a31b57782d1881cc2078f29ca8b7fdf6c9af99dd
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon May 20 18:51:29 2019 -0500

    tests

commit ae7472cf460340304ce08baba9c1f20d06e6adc0
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon May 20 17:49:39 2019 -0500

    sanitized name

commit 68b84811c8ab363bcaf81ac4386fc03742da0cb6
Author: mudathirmahgoub <mudathirmahgoub@gmail.com>
Date:   Mon May 20 15:01:54 2019 -0500

    tests

commit 524ecd76376c3ddd91126de5…
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@mudathirmahgoub