Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Squashed commit of the following: commit bd7ea99d0eebc859984efff139e180275d7b3e64 Merge: 5a684db6 6d625171 Author: mudathirmahgoub <[email protected]> Date: Wed Sep 8 09:10:12 2021 -0500 Merge branch 'main_merge' commit 6d6251716dab792f64d234d7b45e2603aeb56890 Author: mudathirmahgoub <[email protected]> Date: Wed Sep 8 08:33:11 2021 -0500 3 commit fc53ff24767941502f2bcd801e6a94ae8b3cb4d3 Author: mudathirmahgoub <[email protected]> Date: Wed Sep 8 07:59:05 2021 -0500 2 commit 5d77dadd13e9d78a336ce8a7b9f29276e3b7e080 Author: mudathirmahgoub <[email protected]> Date: Wed Sep 8 02:01:40 2021 -0500 1 commit 50b559959d6639c38d464650119b551a6cb1f1c6 Author: mudathirmahgoub <[email protected]> Date: Wed Sep 8 00:06:15 2021 -0500 merge commit 13b4339970a841152b5ae252b110339b37da4c28 Author: mudathirmahgoub <[email protected]> Date: Tue Sep 7 22:33:24 2021 -0500 merge commit 047eac66a4bc1c8e9ba14e123c4aae130a96f550 Author: mudathirmahgoub <[email protected]> Date: Tue Sep 7 22:00:49 2021 -0500 merge from alloytools commit 86bfb76d28fbcfab045e7c347301e08b1850748f Author: mudathirmahgoub <[email protected]> Date: Thu May 28 14:06:00 2020 -0500 functions commit 0915c41bdd6f13e2358d7dd651fd333daf56d2ff Author: mudathirmahgoub <[email protected]> Date: Thu May 28 01:08:05 2020 -0500 AnyArrowOne commit 5bbb534f64fe78bbaf588ac84dc4f24c18ffe828 Author: mudathirmahgoub <[email protected]> Date: Wed May 27 23:55:17 2020 -0500 Fixed the translation commit d71ee6cffd90466f344d50e2bed751bb280f38b5 Author: mudathirmahgoub <[email protected]> Date: Wed May 27 22:49:05 2020 -0500 One arrow Any optimization commit ab7c73093a03fe8518a68735e25e6edfd8398433 Author: mudathirmahgoub <[email protected]> Date: Wed May 27 17:49:48 2020 -0500 cegqi-all false commit 1d73e3d7da468dfbe4ca2f201258c53a548d6f8d Author: mudathirmahgoub <[email protected]> Date: Wed May 27 17:10:57 2020 -0500 gradle commit f938bf39f871245da773bce025fbb35d3ee2d8d9 Author: mudathirmahgoub <[email protected]> Date: Wed May 27 17:10:40 2020 -0500 removed gradle commit ce274bee5419664c98e40007bea8740ae6ba73db Author: mudathirmahgoub <[email protected]> Date: Wed May 27 16:42:17 2020 -0500 Updated gradle to 6.4 commit eab27fb79c54961d625c5678fd033db12e5635bf Author: Mudathir Mahgoub Yahia Mohamed <[email protected]> Date: Sat May 23 14:16:30 2020 -0500 updated cvc4_mac commit 8b32a5680872133826946002e6540430cf0297ee Author: Mudathir Mahgoub Yahia Mohamed <[email protected]> Date: Fri May 22 20:28:03 2020 -0500 cvc4 mac commit 303ffb207c402a03a5028f02796aef4753644446 Merge: 8cac6a4f 2685d100 Author: mudathirmahgoub <[email protected]> Date: Thu May 21 16:40:37 2020 -0500 Merge pull request #21 from CVC4/multiplicity Product multiplicity commit 2685d1005ea5f5dc78c4be1f26a5449e0ef7fd13 Author: mudathirmahgoub <[email protected]> Date: Thu May 21 16:37:55 2020 -0500 Product multiplicity commit 8cac6a4f9743fbfc23044a0945fa87ec52439fac Author: mudathirmahgoub <[email protected]> Date: Thu May 14 14:35:23 2020 -0500 cegqi-all commit eeef07cb4b8a80b7a0b60f06e03f83f501c464bf Author: mudathirmahgoub <[email protected]> Date: Fri May 8 00:52:18 2020 -0500 Optimized function translations commit 6ac3d51532e513fc056e2ebaab0b1f4115cd3a7f Merge: 29464da7 9543687e Author: mudathirmahgoub <[email protected]> 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 <[email protected]> Date: Sun May 3 21:40:19 2020 -0500 small change commit de548c7673ae828651adc2dae2c88f56b17dfe3f Author: mudathirmahgoub <[email protected]> Date: Sun May 3 19:37:23 2020 -0500 Some progress commit 29464da79cf6b23fcfd9bf2b36d5b2ec3d51e5d2 Merge: c5303438 932918f1 Author: mudathirmahgoub <[email protected]> Date: Sun May 3 13:48:03 2020 -0500 Merge pull request #18 from CVC4/SmtOptimizerVisitor Added SMTRewriter commit c53034388c10306705a71a614804b57e8c157aab Author: mudathirmahgoub <[email protected]> Date: Sat May 2 19:36:38 2020 -0500 Permissions commit 932918f12b3de8649cfc33e984f2ae1d3573b233 Author: mudathirmahgoub <[email protected]> Date: Sat May 2 19:22:44 2020 -0500 Some progress commit c70fa8558d2263809463a437550239b6a287e746 Author: mudathirmahgoub <[email protected]> Date: Sat May 2 18:20:56 2020 -0500 Some progress commit 899863f81f6e18d551239b4648901505d73986d3 Author: mudathirmahgoub <[email protected]> Date: Sat May 2 14:34:55 2020 -0500 Some progress commit b51458cd3fe55f72f8167d0502cf49058ba019c2 Author: mudathirmahgoub <[email protected]> Date: Sat May 2 11:56:34 2020 -0500 Some progress commit d4a2407912df5e4321d127a9ef6f6fdfc0373895 Author: mudathirmahgoub <[email protected]> Date: Sat May 2 05:34:50 2020 -0500 SmtRewriter commit ad31180de4947af7cb5f04d0b68c11c22f5f0ed6 Merge: cfe75299 368f3cd5 Author: mudathirmahgoub <[email protected]> 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 <[email protected]> Date: Thu Apr 30 18:19:00 2020 -0500 Updated CVC4 binary for linux commit a0e6267b69e32e9f40c8a7d77e254dfad9b6cc02 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 30 18:13:31 2020 -0500 Added *.smt2 to .gitignore commit a5a97c10130e37c8b02aad7c73bf6e66972c4c26 Merge: e88c802e 7e109f63 Author: mudathirmahgoub <[email protected]> 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 <[email protected]> Date: Thu Apr 30 16:07:32 2020 -0500 cleanup commit 5edeceb2556086373db9d881eeaed24cc847d795 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 30 16:05:06 2020 -0500 cleanup commit 98022d58792caef0ec85b48f2fb4fd7c52effc04 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 30 16:02:14 2020 -0500 cleanup commit b10dd07b7f82cb10d12ebd0df8ec869cce82f489 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 30 15:52:50 2020 -0500 removed integer singletons only option commit b2507ab0f9a738ccaace9f4ebb7b0e7b5aad76f7 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 30 15:41:13 2020 -0500 reverted unintended changes commit 5e40559cc72ee0497f428fb5cf74cbf1ab23748f Author: mudathirmahgoub <[email protected]> Date: Thu Apr 30 15:22:35 2020 -0500 Add choose singleton constraint commit b6d6411b3fe0b000d20bac098c824af900a806a7 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 30 14:49:56 2020 -0500 Examples tests commit ebbd89142cbe63d6c8c6f1ae878c3313ed4db779 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 30 08:19:42 2020 -0500 Fixed Env bug commit 0c3ca8d92f357bc42c9e29cab00d64f25a7a1461 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 30 07:26:07 2020 -0500 toString commit aea4186fc62f2e04a95aa77eaab21c5a7016ea0f Author: mudathirmahgoub <[email protected]> Date: Thu Apr 30 06:36:03 2020 -0500 toString commit 8bb013783f079788f80889dc741d7607aebee7b4 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 30 06:14:04 2020 -0500 refactoring commit d335dd9c95941e1cad1984a8c52dbdef04f45f19 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 30 06:05:29 2020 -0500 containsExpr commit e2ede60173edcb3addcadfc71d05d2372b2ec940 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 30 03:45:14 2020 -0500 Refactoring commit f51d588cf93f320c405f9cfb9f270d557e44be50 Author: mudathirmahgoub <[email protected]> Date: Wed Apr 29 19:48:28 2020 -0500 small change commit fad0bf192022ecce8a4cf39ac562bfe6c117c73b Author: mudathirmahgoub <[email protected]> Date: Wed Apr 29 19:16:59 2020 -0500 small change commit 123d859c995a9ba8ba91693d0a23a5cba268ac1b Author: mudathirmahgoub <[email protected]> Date: Wed Apr 29 18:18:03 2020 -0500 time limit commit 40a1b291a239fcf445d6d110755e7a096c9403b8 Author: mudathirmahgoub <[email protected]> Date: Wed Apr 29 17:59:42 2020 -0500 small change commit 70ae7fa7c24ca9fdf1647cb204670ede3e62822a Author: mudathirmahgoub <[email protected]> Date: Wed Apr 29 17:41:20 2020 -0500 translate functions commit be29d0fcfbdca13e6a88a19ece191f77d335d62d Author: mudathirmahgoub <[email protected]> Date: Fri Apr 24 04:12:55 2020 -0500 Added infinity time limit option commit 2356ffc745cd33cc9c6257acd414295028bcaf50 Author: mudathirmahgoub <[email protected]> Date: Fri Apr 24 03:38:52 2020 -0500 Refactoring commit 6f9b22af5a267a4d00d967d5df0b109f48b27331 Author: mudathirmahgoub <[email protected]> Date: Fri Apr 24 03:20:45 2020 -0500 Documentation commit 8e3bcc2f89ad20d4d1ddbd52e6e885c3cddd0b6d Author: mudathirmahgoub <[email protected]> Date: Fri Apr 24 03:08:40 2020 -0500 Fixed subset translation when there is an auxiliary set variable commit 8719bd24125daa6cb2818e9b0ac3600d86cddf25 Author: mudathirmahgoub <[email protected]> Date: Fri Apr 24 02:17:10 2020 -0500 small refactoring commit f79e04a7bd73f4904d594b638177d1969bce0598 Author: mudathirmahgoub <[email protected]> Date: Fri Apr 24 00:42:23 2020 -0500 refactoring commit d05c64befc8e00c703f61ce07a05363847788f9e Author: mudathirmahgoub <[email protected]> Date: Thu Apr 23 21:41:13 2020 -0500 optimized tuplsel 0 for unary tuples commit af8018ea4e9821629e67bf8a8193192846b27689 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 23 20:57:19 2020 -0500 optimized tuplsel 0 for unary tuples commit b95dea3279ceb3c2df231745f51b108ce01a96f7 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 23 18:19:07 2020 -0500 30 seconds commit 4a87ff217ff8a946d6d1295597770f83815eb385 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 23 18:18:09 2020 -0500 Fixed ordering module commit a3785768cfe2b982f3feb705d0e2b6b044c1b249 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 23 16:41:54 2020 -0500 Fixed scoping issues with integer constants commit 301eea4e199ba3113eb2bdd576f2396c38bec8f4 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 23 15:42:44 2020 -0500 Fixed let test commit f1cdd0cba00d9373a8f50ad429751ae52292f809 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 23 15:18:34 2020 -0500 Added arrow test commit c9c94ed7e9c21969ac574aefbefbc00b5d773ae2 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 23 14:43:22 2020 -0500 Replaced translateAuxiliaryFormula with addAuxiliaryVaraibles commit 3c1a08f9cc175b89903c655d61e30d4d55bf828c Author: mudathirmahgoub <[email protected]> Date: Thu Apr 23 12:36:38 2020 -0500 Refactored Environment to SmtEnv commit 82d31439858a9e2adbc57644dc9853fd3a610c36 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 23 12:07:34 2020 -0500 Fixed when the constraint of a variable is null commit 813b8d19ff1f3f2065e200d6397a42557b0b82d9 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 23 06:32:06 2020 -0500 Restored arithmetic functions commit 120b486d08b6dec685e1a31bf1883fe41fa6354f Author: mudathirmahgoub <[email protected]> Date: Thu Apr 23 06:03:13 2020 -0500 Fixed some quantifier commit 80efe0bdb81359400468ca513eaa328a6cecd637 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 23 05:53:50 2020 -0500 Fixed an error when a function is called multiple times commit 30255bddad8ebcdea44e477fc9ba05e452963922 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 23 05:40:26 2020 -0500 Comprehension commit d9831c7c4fe71d8b0be8ee8ca19d44f1cbf20ea6 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 23 04:09:11 2020 -0500 Refactored quantifiers to use Decl translator commit b8bab189addf24dc50c88f893e78c611724066c0 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 23 02:33:23 2020 -0500 Format commit 0feb6d24cf502b6d93301b63d38fa2b52dd0c6a4 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 23 01:19:37 2020 -0500 Documentation commit a15158ca4dec71b1e432f2b59b8abb400b8c244d Author: mudathirmahgoub <[email protected]> Date: Thu Apr 16 16:45:46 2020 -0500 someof commit 8b9eba0f809c4b5daacb4ecdfc3c8d625d7e41c8 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 16 16:20:56 2020 -0500 Changed predicates and functions to sets commit 08b74fc651d3a66b5662b9435af7912186823db6 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 16 16:01:14 2020 -0500 Decl translation commit c5f9e7cc421e6d7ea9e4655549b6c5964b6938c9 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 16 14:42:45 2020 -0500 one commit 336b36a53397c4b40e60b069b95a5c3deda38ca5 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 16 13:15:37 2020 -0500 removed ConstantDeclaration.java commit 36bbaefc4a99018e941a01d2b07f3cf403d40f21 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 9 15:53:55 2020 -0500 towards predicates and functions again commit 23bf065ef402a74d25abaf0fd03de387c636f610 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 9 12:58:37 2020 -0500 refactored VariableDeclaration.java to SmtVariable commit 3d604ea91e64b32da6a7978a762b806dcf12505b Author: mudathirmahgoub <[email protected]> Date: Thu Apr 9 01:12:14 2020 -0500 refactored Expression to SmtExpr commit 224bd29836846dfb5d4f99fd7e940243fc3d7a5e Author: mudathirmahgoub <[email protected]> Date: Wed Apr 8 22:46:08 2020 -0500 choose operator commit 3419f5cd6ee87b5a34183d647519c4c44a9ffe04 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 2 20:28:02 2020 -0500 2 smt files commit af3eb6bf7bc65fa10db18e3e721e442c15a49acb Author: mudathirmahgoub <[email protected]> Date: Thu Apr 2 14:12:54 2020 -0500 Fixed unavailable signatures and fields in an smt model commit cbfdd0564b8e2abc9f10ec6e945cadf6dddd96f4 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 2 14:02:39 2020 -0500 Small changes commit e02e509435e1dd78e2c9b770a1aed24624e12201 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 2 13:59:19 2020 -0500 Major refactoring commit fb7f3f82720dd327c38b766ec05f72527ee6b8c0 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 2 11:16:18 2020 -0500 small change commit 13a1bc30757ec28ac9b2b8cb339e4df62089fda9 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 2 11:14:10 2020 -0500 towards removing integers if they are not used commit 9f2be8a82635fbfe46324cc5a9d7034c5177c2ce Author: mudathirmahgoub <[email protected]> Date: Thu Apr 2 10:32:19 2020 -0500 towards removing integers if they are not used commit 1617cdaac84c084b4acebf4f8acaa927441e611b Author: mudathirmahgoub <[email protected]> Date: Thu Apr 2 06:17:32 2020 -0500 towards removing integers if they are not used commit 655310a4e282febc79cc8af970a931790c9bdaba Author: mudathirmahgoub <[email protected]> Date: Thu Apr 2 05:22:08 2020 -0500 towards removing integers if they are not used commit e5379760a8dd9369a715d864318a030bd72e09d1 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 2 01:27:49 2020 -0500 SmtOptimizer commit 789a0c48bab8b1681bbdaf36d572f16d4800a729 Author: mudathirmahgoub <[email protected]> Date: Thu Apr 2 00:17:19 2020 -0500 renamed program to script commit 5c9226b9d85e347a6e9cc2c7ed6fbd3fdae673d9 Author: mudathirmahgoub <[email protected]> Date: Wed Apr 1 23:19:03 2020 -0500 Before major changes commit e88c802e25522599140740398cb887c9af82c20f Author: Cesare Tinelli <[email protected]> Date: Thu Mar 26 11:06:49 2020 -0500 Update issue templates commit 2e158bbea65702be0d3f6b19bfdd27b5cd49c720 Author: mudathirmahgoub <[email protected]> Date: Thu Mar 19 14:28:58 2020 -0500 Refactored cardinality comparisons commit 3e2144bf8d672d07c9fbbd2797b98dd5bb51d432 Author: mudathirmahgoub <[email protected]> Date: Thu Mar 19 13:56:19 2020 -0500 Refactored cardinality comparisons commit 25edefcd5750dc0cf0602cb02daa6e6a0b52eb62 Author: mudathirmahgoub <[email protected]> Date: Thu Mar 19 12:26:09 2020 -0500 Supported rClosure for integers commit 15e69150eafbb3a5a09f34fbcb1e5843960d159e Author: mudathirmahgoub <[email protected]> Date: Thu Feb 27 14:49:35 2020 -0600 refactoring commit efc059ec96af328ce1807e53d4b57f35e94123fc Author: mudathirmahgoub <[email protected]> Date: Wed Feb 26 15:31:14 2020 -0600 refactoring commit 39d79bd2b7ff130bf3ebd8a26e864d3bda5b2ae0 Author: mudathirmahgoub <[email protected]> Date: Wed Feb 26 15:22:13 2020 -0600 refactoring commit f3c71fa8ceeb1afbd43605b2b5eaa0bb2bb2bdb4 Author: mudathirmahgoub <[email protected]> Date: Thu Feb 20 01:17:30 2020 -0600 Bug Cardinality < 0 returns sat!! commit 7e095f787a8af7817bdc53ddeed4f5af51a49428 Author: mudathirmahgoub <[email protected]> Date: Sat Feb 1 21:50:41 2020 -0600 commit commit 1caf4079195b6b25f39c7c4b0de2a92f564c88fa Author: mudathirmahgoub <[email protected]> Date: Fri Jan 24 08:37:02 2020 -0600 refactoring commit 2dfa106e859622ee6c88dce1159e9674abf0b7c1 Author: mudathirmahgoub <[email protected]> Date: Fri Jan 24 08:28:32 2020 -0600 refactoring commit fabf0d5f299a13ae2d6ff94fd137c39f24964dd4 Author: mudathirmahgoub <[email protected]> Date: Mon Jan 13 15:27:50 2020 -0600 Fixed wrong translation commit 7a98de4d7f150a777c36fca1324628797c8ebbd0 Author: mudathirmahgoub <[email protected]> Date: Mon Jan 13 14:03:23 2020 -0600 added comment string to Expression commit eb6dc0fc563d9fc629a898b9c25db420034ade05 Author: mudathirmahgoub <[email protected]> Date: Mon Jan 13 13:50:23 2020 -0600 added comment string to Expression commit be91e7eb5e44c4603da459bb4b63d9371d265881 Author: mudathirmahgoub <[email protected]> Date: Fri Jan 10 13:21:15 2020 -0600 almost commit 35720262d8d551f654d9177767dbd617f7c51d86 Author: mudathirmahgoub <[email protected]> Date: Fri Jan 10 08:54:09 2020 -0600 logical operators commit 678f16db72a6a1d150223e3f1396b2b3c0a400af Author: mudathirmahgoub <[email protected]> Date: Fri Jan 10 03:56:16 2020 -0600 cardinality equality commit adfec08bf80a80a5f7f50637674c9ccfd7cbc2bf Author: mudathirmahgoub <[email protected]> Date: Fri Jan 10 02:40:01 2020 -0600 set equality commit c8ed3bb4016d15f3401cb062a62183b6fe1a4405 Author: mudathirmahgoub <[email protected]> Date: Fri Jan 10 02:23:40 2020 -0600 refactoring commit 698e4a1037f3af5909b90988467414bf9c11e046 Author: mudathirmahgoub <[email protected]> Date: Fri Jan 10 01:54:34 2020 -0600 refactoring no, lone, some, loneOf commit 1ba997a41899358a468822470eeb42f38a103754 Author: mudathirmahgoub <[email protected]> Date: Fri Jan 10 00:50:51 2020 -0600 refactoring commit 2c35ab6a2aa34e08d294f68d50eed7f6bace306b Author: mudathirmahgoub <[email protected]> Date: Fri Jan 10 00:35:49 2020 -0600 comprehension test commit fd6db807448c7e5f3cde7279d5447e3fd253c4b7 Author: mudathirmahgoub <[email protected]> Date: Thu Jan 9 19:11:50 2020 -0600 bank account commit f5ea2ad0cd385165e471e5d3611d6101f2e9f3c4 Author: mudathirmahgoub <[email protected]> Date: Thu Jan 9 18:46:57 2020 -0600 bank account commit 5db90e9cbe799d11e7126ad3e908634a4af11e32 Author: mudathirmahgoub <[email protected]> Date: Thu Jan 9 18:45:59 2020 -0600 bank account commit b1c00a1555c867c03aba2cbbb0fc1ba3cd8b3ad3 Author: mudathirmahgoub <[email protected]> Date: Thu Jan 9 16:13:47 2020 -0600 makeSet commit 7e98f9194f959870c14304e587d29dec1e73a944 Author: mudathirmahgoub <[email protected]> Date: Thu Jan 9 14:33:08 2020 -0600 betterThanAlloy commit 7dda2e5ddc3d82fe0e32f0f9b88de66afffe84ff Author: mudathirmahgoub <[email protected]> Date: Thu Jan 9 14:14:11 2020 -0600 Fixed translating field multiplicity commit ebf544e8a6f61466968cb04371aa2647440eea86 Author: mudathirmahgoub <[email protected]> Date: Tue Dec 31 23:02:39 2019 -0600 finally some progress commit 582660136db2bf1f03d41996f2db60f3adfc0581 Author: mudathirmahgoub <[email protected]> Date: Tue Dec 31 21:54:27 2019 -0600 finally some progress commit 9c0ae50d6f4876750d89480e1c6fe91852b25d86 Author: mudathirmahgoub <[email protected]> Date: Tue Dec 31 21:44:06 2019 -0600 changing the model on the fly commit 60593bafb989d25c29af38c5d23d09231f703982 Author: mudathirmahgoub <[email protected]> Date: Tue Dec 31 01:49:40 2019 -0600 refactoring commit 7e944083e3f2892e7aba1a56345de15bc45e2c8b Author: mudathirmahgoub <[email protected]> Date: Mon Dec 30 19:42:48 2019 -0600 towards int singletons commit 1a1471155f65f6331f65dee9013dccfd3b97149e Author: mudathirmahgoub <[email protected]> Date: Sat Dec 28 16:02:09 2019 -0600 Argument quantifiers commit ac7ff53f136d8e59d6d70b84de257002b235410a Author: Mudathir <[email protected]> Date: Thu Oct 24 18:01:25 2019 -0500 relational solver commit dd1bfb86eca10ddac1a6b49d95f97138202c48b1 Author: mudathirmahgoub <[email protected]> Date: Sun Oct 20 19:46:50 2019 -0500 Added int value to its corresponding uninterpreted int name commit f24e77615740b6990cc030378fc574b84cce7f2d Author: mudathirmahgoub <[email protected]> Date: Sun Oct 20 17:23:15 2019 -0500 Argument quantifiers commit e8de4f6bad0ee694156191dc79ead59bf946d47a Author: mudathirmahgoub <[email protected]> Date: Sun Oct 20 16:39:55 2019 -0500 getFreeVariables commit c995b9893e4d08fccbfbe4d8c8c7c3edfa4d1586 Author: mudathirmahgoub <[email protected]> Date: Sat Oct 12 23:16:45 2019 -0500 Argument quantifiers commit ef6698b50808d8fba31dae882510371786cebaa6 Author: mudathirmahgoub <[email protected]> Date: Sat Oct 12 23:16:15 2019 -0500 Argument quantifiers commit a4dd6fce3a59270646e1c7b0eab0fdfff138c384 Author: mudathirmahgoub <[email protected]> Date: Sat Oct 12 22:44:29 2019 -0500 small change commit 7a303b41e1f85d36b2647c99b5300790e3cf5a50 Author: mudathirmahgoub <[email protected]> Date: Sat Oct 12 22:40:33 2019 -0500 Integer singletons only option commit 73674489ffdbe61df94e8c60dccee4a4b6acec0a Author: Mudathir <[email protected]> Date: Fri Oct 11 17:31:59 2019 -0500 status commit e513c91a37372140adeb125bb8b1251d3c6f9356 Author: Mudathir <[email protected]> Date: Fri Oct 11 16:11:40 2019 -0500 change commit 24a5a41b2def59fbf674a95a572dad994a41e2d1 Author: mudathirmahgoub <[email protected]> Date: Fri Oct 11 15:49:47 2019 -0500 changew commit 933bffdfa7eadf157715843423a4394c7e71438e Author: mudathirmahgoub <[email protected]> Date: Wed Sep 25 13:56:57 2019 -0500 updated projects dependency graph commit eac689f639cbd9f0e8946cbb91c8f509b9b995a4 Author: mudathirmahgoub <[email protected]> Date: Wed Sep 25 13:39:52 2019 -0500 small changes commit cbc61625b60c9656a5cc8534dd00b1477b541edf Author: Cesare Tinelli <[email protected]> Date: Wed Sep 25 10:39:29 2019 -0500 Added README commit 3c20b690c66af91687ce65ab6004fcefb0e5919b Author: Cesare Tinelli <[email protected]> Date: Wed Sep 25 00:20:54 2019 -0500 Minor edits commit 1fa92bfb9b967b55c25b7f9a19989e6093c2f06c Author: Cesare Tinelli <[email protected]> Date: Wed Sep 25 00:15:45 2019 -0500 Updated section on quantification over Int. commit 9a006070e85b8f486be701882adf9e8681446e76 Author: mudathirmahgoub <[email protected]> Date: Tue Sep 24 17:50:31 2019 -0500 small changes commit 5c9b356b012b5c4df3880e9c616e8612e5303604 Author: mudathirmahgoub <[email protected]> Date: Tue Sep 24 17:41:24 2019 -0500 Commented out Int commit 2383dbaa458d72ffac69d7c4fad3622ae931ec62 Author: mudathirmahgoub <[email protected]> Date: Tue Sep 24 17:18:46 2019 -0500 Small change commit febc71e12faa019da9e901ae74cc39119c14cdfd Author: mudathirmahgoub <[email protected]> Date: Tue Sep 24 16:39:01 2019 -0500 Fixed many issues commit 54963d5c5deb9dd451fa047eef033b41d2cb9d3c Author: mudathirmahgoub <[email protected]> Date: Tue Sep 24 15:05:33 2019 -0500 Fixed SMT-Extension.md commit 1b9b3f603c5a75b903eaa7c96cd8779fae507e0b Author: mudathirmahgoub <[email protected]> Date: Tue Sep 24 13:55:56 2019 -0500 Added cvc4 license commit e820aecc41e6066db2bdd751cdfce9153bac6c3a Author: mudathirmahgoub <[email protected]> Date: Tue Sep 24 13:52:32 2019 -0500 Refactoring: restored some examples commit 563b5d3923626fe72179c993923501be3f4644d8 Author: mudathirmahgoub <[email protected]> Date: Tue Sep 24 13:34:44 2019 -0500 Refactoring: moved alloy2smt/* to SMT-Extension/* commit 0576f756b475aad76c11979eba265b3a994d550b Author: Cesare Tinelli <[email protected]> Date: Tue Sep 24 12:36:25 2019 -0500 minor edits commit 73ebff942e87d58e376fed5cdf0ac2d73e21c4cc Author: Cesare Tinelli <[email protected]> Date: Tue Sep 24 12:14:22 2019 -0500 Replaced by SMT-extensions.md commit baab82e52fa71705379333cce155ca5e5a22d253 Author: Cesare Tinelli <[email protected]> Date: Tue Sep 24 12:13:57 2019 -0500 Also moved commit c05946aa49c7691f73f4c6d53bea86346a94215c Author: Cesare Tinelli <[email protected]> Date: Tue Sep 24 12:13:29 2019 -0500 Moved to SMT-Extensions commit 34de38ebf7cfbe653d3c95218936b2501972b004 Author: Cesare Tinelli <[email protected]> Date: Tue Sep 24 12:11:25 2019 -0500 Removed commit f3794fe4774006ec5da27205c806a47fcf908f3c Author: mudathirmahgoub <[email protected]> Date: Mon Sep 23 12:48:06 2019 -0500 changes commit 9423959e26716c9cc5c88dff4877cf78f361adfc Author: mudathirmahgoub <[email protected]> Date: Sat Sep 21 06:24:41 2019 -0500 identity constraint simplified commit b70aa5311f8c96597cfb18660ceaf5db41570d2f Author: mudathirmahgoub <[email protected]> Date: Sat Sep 21 00:07:37 2019 -0500 options commit 8c69bdf96ee17d795d0a2fa20f0b7edb3aa06720 Author: mudathirmahgoub <[email protected]> Date: Fri Sep 20 23:12:49 2019 -0500 options commit 376cc268513e714232ae7694b1cedd2e018e9e8a Merge: 29c41c20 9d745254 Author: mudathirmahgoub <[email protected]> Date: Fri Sep 20 23:10:56 2019 -0500 Merge branch 'master' of https://github.com/CVC4/org.alloytools.alloy commit 29c41c207d64c09fb979c26284c2a22fd4cf32ea Author: mudathirmahgoub <[email protected]> Date: Fri Sep 20 23:10:19 2019 -0500 options commit 9d7452540e28aac1538b6c0a21c65c6b6bedaffe Author: mudathirmahgoub <[email protected]> Date: Mon Aug 19 13:50:11 2019 -0500 minor commit 2c5e96232dae0547081f8617b00fcd8e91fae3f7 Author: mudathirmahgoub <[email protected]> Date: Fri Aug 16 21:09:53 2019 -0500 Draft SMT pretty printer commit a8f29c2191ee65395867e1978912e2a010249cf9 Author: mudathirmahgoub <[email protected]> Date: Fri Aug 16 12:12:01 2019 -0500 generate named formulas only when produceUnsatCore is true commit 63839bac0a45fd0c40c767cc2753a386d22c346f Author: mudathirmahgoub <[email protected]> Date: Thu Aug 15 16:55:28 2019 -0500 refactoring commit 04e88b724165d074f1577ac2ffffa7f5bfba3aa6 Author: mudathirmahgoub <[email protected]> Date: Thu Aug 15 16:43:05 2019 -0500 Refactoring commit b09e811da0c86fd039ecfe2e1dd1791d81836c97 Author: mudathirmahgoub <[email protected]> Date: Wed Aug 14 15:40:25 2019 -0500 enabling and disabling menu items commit 20049db7ee30cf8cf3e59f2a0419741908d0e2a0 Author: mudathirmahgoub <[email protected]> Date: Wed Aug 14 12:51:27 2019 -0500 Used block-model command commit 08418297eab92baad8252526d1318cdbcaeb32a4 Author: mudathirmahgoub <[email protected]> Date: Wed Aug 14 00:27:24 2019 -0500 unsat core commit 61c0dbda103b9e5747f9ce6e8a87f18e5add5449 Author: mudathirmahgoub <[email protected]> Date: Wed Aug 14 00:03:23 2019 -0500 unsat core commit a21a821273c12b0e3729832d62606a50af7dca74 Author: mudathirmahgoub <[email protected]> Date: Tue Aug 13 23:06:24 2019 -0500 unsat core commit 00614bcc4032e48d17ebf8210cf0677fde29d5ce Author: mudathirmahgoub <[email protected]> Date: Tue Aug 13 22:48:41 2019 -0500 unsat core commit 283ac8f7c92fb308ccea101e924ace9c815fbd9c Author: mudathirmahgoub <[email protected]> Date: Tue Aug 13 19:44:57 2019 -0500 refactoring commit 1a1d9010e0b952aa69464851db5d9eee1c281e4a Author: mudathirmahgoub <[email protected]> Date: Tue Aug 13 19:41:22 2019 -0500 Refactoring options commit 9068c93a1059926b06c1b795e4b49ef148487eb5 Author: mudathirmahgoub <[email protected]> Date: Tue Aug 13 04:54:24 2019 -0500 Added function calls and quantified expressions to Smt.g4 commit b0e813fd4e2c97172cc945ce644e4b1b941dae31 Author: mudathirmahgoub <[email protected]> Date: Mon Aug 12 22:38:05 2019 -0500 Added Bool to Abstrct Translator commit cf8d5d1dfd0993d52e015b0e3da51b53879ed7a4 Author: mudathirmahgoub <[email protected]> Date: Mon Aug 12 18:42:29 2019 -0500 added Range and UnsatCore classes commit 9e909eef9795c6e0c6dc68e536801aa7009e57e9 Author: mudathirmahgoub <[email protected]> Date: Mon Aug 12 16:58:48 2019 -0500 Added positions to assertions commit ddc9f6463e453dbb2880803c2430a7108530a951 Author: mudathirmahgoub <[email protected]> Date: Mon Aug 12 09:45:42 2019 -0500 refactoring commit 2234007b094b31f5f058c3dfbd59981b47956579 Author: mudathirmahgoub <[email protected]> Date: Mon Aug 12 09:41:39 2019 -0500 refactoring commit 3ed59989e6ddc5b9040d9dee9c04a51827019ba6 Author: mudathirmahgoub <[email protected]> Date: Tue Aug 6 19:07:07 2019 -0500 added univInt and identInt to integer.als commit fbaaea98db460657b26f6603e98f376694c99657 Author: mudathirmahgoub <[email protected]> Date: Mon Aug 5 21:46:45 2019 -0500 isPrivate commit cae3b1bbbcbf9a2e9ab7dac224cefb72ddad228d Author: mudathirmahgoub <[email protected]> Date: Mon Aug 5 21:36:54 2019 -0500 isPrivate commit 37bca8b952a7ead88a95500b042d36fe5b398082 Author: mudathirmahgoub <[email protected]> Date: Mon Aug 5 20:58:29 2019 -0500 small change commit 61cc0297223a05ad952a7a70605ee06a3f132646 Author: mudathirmahgoub <[email protected]> Date: Mon Aug 5 11:03:05 2019 -0500 restoring bnd files commit 4ce1419510b57f5fee6362848b12a0292f84b573 Author: mudathirmahgoub <[email protected]> Date: Mon Aug 5 10:59:22 2019 -0500 restoring bnd files commit 92d1057763f0d58145884d897b0482aac4770381 Author: mudathirmahgoub <[email protected]> Date: Thu Aug 1 14:56:56 2019 -0500 changes commit 70839e542d55363ab451acf5a58f6cbf6a1667f5 Author: mudathirmahgoub <[email protected]> Date: Thu Aug 1 14:56:14 2019 -0500 small change commit 726f52ce5f530b1dde89be577a8a1aa5d5fdd094 Author: mudathirmahgoub <[email protected]> Date: Thu Aug 1 14:21:10 2019 -0500 changed the Main class from AlloyTools to Alloy commit 633e39fafdb3aa7e9b955fc46bffabd6af1bb71b Merge: 2978adb9 e849d05a Author: mudathirmahgoub <[email protected]> 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 <[email protected]> Date: Thu Aug 1 13:33:36 2019 -0500 Renamed to AlloySolution commit 343c0896067f55dad3ae787b90048d63237906ea Merge: d1d51d58 2978adb9 Author: mudathirmahgoub <[email protected]> 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 <[email protected]> Date: Thu Aug 1 12:42:45 2019 -0500 Merge pull request #8 from AlloyTools/master Merge from AlloyTools commit 63aa8e28f3ed7a2437d85ac700edb9d8cb8ce498 Author: Peter Kriens <[email protected]> Date: Tue Jul 30 18:02:31 2019 +0200 [cosmetic] Tooltips/mac menus commit 83341793fb420b1087b98e90bc1a82498ac5ec9d Author: Peter Kriens <[email protected]> Date: Tue Jul 30 18:01:15 2019 +0200 Naming commit 1e422d9501dc103405ee249c2a1bc89bb44b5244 Author: Peter Kriens <[email protected]> Date: Tue Jul 30 18:00:43 2019 +0200 [solvers] Added plingeling executable commit 9d0ca15892cdc2b610ac1bd02173474c3141115f Author: dnjackson <[email protected]> Date: Fri Jul 26 10:38:39 2019 -0400 SimpleGUI.java: removed logo concerned about box will be too large commit 9f57ffb62de793415084bd64235bd1c2751dcf4a Author: dnjackson <[email protected]> Date: Fri Jul 26 10:32:30 2019 -0400 update about panel text in SimpleGui.java commit d1d51d58aad4c2bea7c1ee4ca77a69e1303881a1 Author: mudathirmahgoub <[email protected]> Date: Thu Jul 25 11:11:37 2019 -0500 Added scope for integers commit 0c8e290b3f7d8f79bb6cf85d0be6ab9368d7bf54 Author: mudathirmahgoub <[email protected]> Date: Wed Jul 24 15:26:37 2019 -0500 changes commit 6a8a684656df182f4990e77309a149417c2b8a12 Author: mudathirmahgoub <[email protected]> Date: Wed Jul 24 15:25:36 2019 -0500 Update guidelines.md commit 77bfff800d178fa6707b6a1c21fc42b23d349c0c Author: mudathirmahgoub <[email protected]> Date: Mon Jul 22 20:43:23 2019 -0500 Small change commit 3f481a44994e12c115e81b25a763c2b42d65cd43 Author: mudathirmahgoub <[email protected]> Date: Mon Jul 22 20:23:16 2019 -0500 Generated constraints for Kodkod instances commit 0d2793321e61faf340f97064a990965f97cfa672 Author: mudathirmahgoub <[email protected]> Date: Mon Jul 22 13:45:09 2019 -0500 Separated alloy variables from generated variables commit 75412f66021eeb1b177b05edb1d889ac5465d422 Author: mudathirmahgoub <[email protected]> Date: Mon Jul 22 11:52:11 2019 -0500 doesn't compile commit 266d6a83307ee025ecb17e27430d154be3a69e0b Author: mudathirmahgoub <[email protected]> Date: Sun Jul 21 21:33:22 2019 -0500 small change commit 5b811cc8ea5306eb7c464d22edb18d1d1f828af5 Author: mudathirmahgoub <[email protected]> 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 <[email protected]> Date: Sun Jul 21 18:49:12 2019 -0500 Fixed removeMultiplicity towards fixing hotel1 example commit 930cdc393a6b69cee940a9d74263ce8ee1d12402 Merge: 4328f43b 395d4e50 Author: mudathirmahgoub <[email protected]> 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 <[email protected]> Date: Sun Jul 21 16:54:06 2019 -0500 handled empty fields and empty signatures commit a105abea5a8eee6bd9c6b6dd45e45243c50ac782 Author: mudathirmahgoub <[email protected]> Date: Sun Jul 21 16:18:07 2019 -0500 Added instance constraints for fields commit 9bc43c00fac49665ee63c54d9e8bdb591d21308c Author: mudathirmahgoub <[email protected]> Date: Sun Jul 21 15:55:32 2019 -0500 Changed timeout to seconds + Less verbosity commit 98870bf6f193ae113a7e9182965c6b6943fd8de5 Author: mudathirmahgoub <[email protected]> Date: Sun Jul 21 14:50:59 2019 -0500 Added signature constraints for an instance returned by CVC4 commit 06dd9add7da193071af6b264a6acffffa0d37c05 Author: mudathirmahgoub <[email protected]> Date: Sat Jul 20 18:45:52 2019 -0500 disabled Predicate and Assertion links when the model is sat commit 395d4e50a3c301f29fae5d8144d41a1f6498a660 Author: Peter Kriens <[email protected]> Date: Sat Jul 20 14:39:49 2019 +0200 [RELEASE] 5.1.0 preparations commit 7c8c5c1a433b3d6134544a8d6575a26fd9ed6aa1 Author: Peter Kriens <[email protected]> Date: Sat Jul 20 12:55:00 2019 +0200 [tooltip] Do not use tableview in tooltip commit cfab293edfdf260126aeae2c4d6f0b720899f393 Author: Peter Kriens <[email protected]> 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 <[email protected]> Date: Sat Jul 20 05:00:13 2019 -0500 intUniverse -> intUniv commit 7ef066136ce19fb7cdc70284f6e157d5efdd0b24 Author: mudathirmahgoub <[email protected]> Date: Sat Jul 20 04:56:19 2019 -0500 used r for fresh relations commit 8b4a616c0f1b4727b46d3c07d7de1e71fc2f80ef Author: mudathirmahgoub <[email protected]> Date: Sat Jul 20 04:09:25 2019 -0500 Added Windows instructions Modified gradle to use AlloyTools commit a64857ef7e72e05edc5663896742fb1a5ff96704 Author: mudathirmahgoub <[email protected]> Date: Sat Jul 20 04:00:14 2019 -0500 Fixed ExprVar equality in substitution commit f309db8ac9ff652227615a97b98f66d5a1622309 Author: mudathirmahgoub <[email protected]> Date: Sat Jul 20 03:48:20 2019 -0500 Used sort-based new fresh names commit b6b1eff53596c9d24cf86aeac661f6ca7348773b Merge: 483ce861 a7248be8 Author: mudathirmahgoub <[email protected]> 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 <[email protected]> Date: Fri Jul 19 17:06:46 2019 -0500 small change commit a7248be861aaa2ec7a4b372f5b944bcd7af77de0 Author: Cesare Tinelli <[email protected]> Date: Fri Jul 19 16:01:10 2019 -0500 Verified a few [checks] commit bd4863e8239edf306de3c526b8f157e2d0b30a22 Author: mudathirmahgoub <[email protected]> Date: Fri Jul 19 13:49:09 2019 -0500 towards using pos commit 89b2dc69faf248f3b7192b5d2560853f153bc4b1 Author: mudathirmahgoub <[email protected]> Date: Fri Jul 19 11:55:17 2019 -0500 towards using pos commit 2d479c04008c3c79c9845ed00c1ef86244121902 Author: mudathirmahgoub <[email protected]> Date: Fri Jul 19 11:26:32 2019 -0500 subset again commit c02b2cb017d27205b9bb9b095d4cb71a9e48d5d8 Author: Cesare Tinelli <[email protected]> Date: Fri Jul 19 02:21:51 2019 -0500 A few more edits and additions commit cc7c08db616dcc8edc8571052b896a6e7431f384 Author: Cesare Tinelli <[email protected]> Date: Thu Jul 18 23:42:02 2019 -0500 added build dir commit a2ef2adc5daba4209983329b686edb8141f77f89 Author: Cesare Tinelli <[email protected]> Date: Thu Jul 18 22:42:23 2019 -0500 Some reformatting + more content commit bb4be23e1a4fdbbf2c56ff62605f8a6d082c3ee4 Author: mudathirmahgoub <[email protected]> Date: Thu Jul 18 20:22:25 2019 -0500 Added ExprVarTranslator commit 3bee1742660edde57735351f126631a2abcd4e57 Author: mudathirmahgoub <[email protected]> Date: Thu Jul 18 16:10:39 2019 -0500 More changes commit c62d93ea854ff16f66b590f50f2afc57ddb83a9e Author: mudathirmahgoub <[email protected]> Date: Thu Jul 18 08:42:14 2019 -0500 many changes commit eb9fa2f41d944e3d7d1b65aaa92c83b969aeccf3 Author: mudathirmahgoub <[email protected]> Date: Sun Jul 14 11:51:43 2019 -0500 nested comprehension commit 0233be7497faf8e50abf54c6aabe5e17ec7e19ca Author: mudathirmahgoub <[email protected]> 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 <[email protected]> Date: Thu Jul 11 16:48:05 2019 -0500 added $ to the parser commit 6cc8293f8f0c9079fae987caebfb2083ebf954bb Author: mudathirmahgoub <[email protected]> Date: Thu Jul 11 12:32:19 2019 -0500 example bank accounts commit 4d82b4dbf2846f4d5806d7b0b2616d58f5fc833d Author: mudathirmahgoub <[email protected]> Date: Wed Jul 10 16:31:06 2019 -0500 example bank accounts commit dc3cea7bec2f24ca37fe241439ccd399079af799 Author: mudathirmahgoub <[email protected]> Date: Wed Jul 10 16:24:34 2019 -0500 Translated ExprLet as macro 2 commit 83c9332dd9d2189bc2c2d89962fadb93dc1ec42e Author: mudathirmahgoub <[email protected]> Date: Wed Jul 10 15:55:55 2019 -0500 Translated ExprLet as macro 1 commit 3670553dba18ce01ac16ddfeb1ab43b051cf7a20 Author: mudathirmahgoub <[email protected]> Date: Wed Jul 10 05:29:07 2019 -0500 Towards fixing sets quantifiers in integer functions commit ec26b97c7b24b9b2312b930853be298a60430446 Author: mudathirmahgoub <[email protected]> Date: Fri Jul 5 14:22:52 2019 -0500 Update guidelines.md commit 1c095a1c890240c862ea1acb636bec64acda1841 Author: mudathirmahgoub <[email protected]> Date: Fri Jul 5 11:40:05 2019 -0500 Refactored VariableDeclaration commit dcee9550931c3c6adca668962989366fdbbe61b5 Author: mudathirmahgoub <[email protected]> Date: Thu Jul 4 23:20:26 2019 -0500 Added more tests commit 28512d1bc3563e59e635655a99ff56500e5c4045 Author: mudathirmahgoub <[email protected]> Date: Thu Jul 4 11:47:02 2019 -0500 small changes commit 959de2923fb3056135b06a4975762bde98b94648 Author: mudathirmahgoub <[email protected]> Date: Thu Jul 4 11:44:42 2019 -0500 small changes commit aede68aee0198839466dfa4628ca70a8f313a77b Author: mudathirmahgoub <[email protected]> Date: Thu Jul 4 11:36:40 2019 -0500 util/ordering commit 8ee76f1cde915f16547ab07df2e2f02b04bab804 Author: mudathirmahgoub <[email protected]> Date: Thu Jul 4 11:18:01 2019 -0500 Added more tests commit a81b1a84e623e951729cdd8164a6e8d697e6cdb5 Merge: 4c4bedc1 fc26b3cf Author: mudathirmahgoub <[email protected]> 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 <[email protected]> Date: Wed Jul 3 18:16:23 2019 -0500 examples commit fc26b3cf9d4588cd5a8e48093ffe5885864f15d5 Author: mudathirmahgoub <[email protected]> Date: Wed Jul 3 18:01:20 2019 -0500 small change commit 6f5eb7f4a7f5acbe82951e98826fae9e9cd79c0b Author: mudathirmahgoub <[email protected]> Date: Wed Jul 3 17:01:58 2019 -0500 refactoring commit 22e545ef6bb307ca4e0aa66e6e64e363f3597502 Author: mudathirmahgoub <[email protected]> Date: Wed Jul 3 15:30:16 2019 -0500 Fixed field commit da6d5326aba6c60c4ba7fba525597691ac33dd87 Author: mudathirmahgoub <[email protected]> Date: Wed Jul 3 13:10:40 2019 -0500 Refactoring commit dfcf6b6ed2ed7454cf4f340fe19102f5732f7113 Author: mudathirmahgoub <[email protected]> Date: Wed Jul 3 13:01:43 2019 -0500 Fixed substitution for ExprQt declared Expr commit 39e71ea506f88bb7c33039f2b20925c6dd83fe95 Author: mudathirmahgoub <[email protected]> Date: Wed Jul 3 11:32:50 2019 -0500 Added missing environment commit a2bbe35c025ad3b877533c75d509e01c4c57b013 Author: mudathirmahgoub <[email protected]> Date: Wed Jul 3 11:20:56 2019 -0500 Fixed || body instanceof Sig.Field commit 09105677cfc1ea2f65e66641fe61845e4070ebcb Author: mudathirmahgoub <[email protected]> Date: Tue Jul 2 20:13:06 2019 -0500 refactored ExprCallTranslator commit e5f9403c647242d22dec112119a1bde3c2849879 Author: mudathirmahgoub <[email protected]> Date: Tue Jul 2 19:46:47 2019 -0500 Added command generated assertions between push and pop commit 9145cb78b4e226d6bca04b3686c00edb7e36a90e Author: mudathirmahgoub <[email protected]> Date: Tue Jul 2 19:01:22 2019 -0500 Removed function translation commit f38edc97a664c9056e0cb53044b7c65ea0677fd3 Author: mudathirmahgoub <[email protected]> Date: Tue Jul 2 18:13:46 2019 -0500 ExprITE commit d74deec5dc675b9110562485a059a5c54d436aef Author: mudathirmahgoub <[email protected]> Date: Tue Jul 2 18:04:15 2019 -0500 Fix disjoint2 when there is no field commit e1d7068bc516fee7c937c7dc8637a2163445c335 Author: mudathirmahgoub <[email protected]> Date: Tue Jul 2 17:27:17 2019 -0500 ExprConstant commit f50779b0ea5e15f65c457f156817e12397f00368 Author: mudathirmahgoub <[email protected]> Date: Tue Jul 2 17:15:47 2019 -0500 ExprLet commit 734aa16fc3f5986f95bf8a29ccb4155d666bf24f Author: mudathirmahgoub <[email protected]> Date: Tue Jul 2 16:19:51 2019 -0500 expr substitute commit e2a6e22e054c3f45af516f87681dcdc617580a09 Author: mudathirmahgoub <[email protected]> Date: Tue Jul 2 12:13:56 2019 -0500 small changes commit 02f3ab16c7a5388a9efe3cdf2c7dd7b49c665943 Author: mudathirmahgoub <[email protected]> Date: Tue Jul 2 11:44:21 2019 -0500 refactored CVC4 commit 3163a680239d9b06f06cfecec8b47b2b96a32a1a Author: mudathirmahgoub <[email protected]> Date: Tue Jul 2 11:14:22 2019 -0500 For testing commit 364098ecd6e8a20db4c1358f5c739b136f0e265d Author: mudathirmahgoub <[email protected]> Date: Fri Jun 28 19:05:29 2019 -0500 Some changes commit 59b77e6acf8da41c462ed5ee523ddc19016232b4 Author: mudathirmahgoub <[email protected]> Date: Thu Jun 27 19:18:19 2019 -0500 changes commit 31da7ef69d471504ba40cbaac91328fc882cc675 Merge: 20993fd3 4328f43b Author: mudathirmahgoub <[email protected]> Date: Tue Jun 25 18:27:07 2019 -0500 Merge from master branch commit 4328f43bd25a774a0eb2595b19e59db90cc4efb5 Merge: a56c9f17 886f744d Author: mudathirmahgoub <[email protected]> Date: Tue Jun 25 16:53:16 2019 -0500 Merge pull request #3 from AlloyTools/master Glucose41 commit 20993fd3285d387e4184d79a3dbf11b46f5bd361 Author: mudathirmahgoub <[email protected]> Date: Tue Jun 25 14:18:23 2019 -0500 weird commit 3edda981611334c0b3dec965a6ab0d962568feee Author: mudathirmahgoub <[email protected]> Date: Tue Jun 25 12:28:11 2019 -0500 Scope warning commit 2a4eb2b1989433e6f400c0368146513aaa120a89 Author: mudathirmahgoub <[email protected]> Date: Mon Jun 24 16:10:40 2019 -0500 weird commit a255b62119c514ad89ee79aadab8f4b1ff04356c Author: mudathirmahgoub <[email protected]> Date: Mon Jun 24 16:08:37 2019 -0500 Full Command string commit 79ae98203fe4b2e515d3d0457104cc0b56406322 Author: mudathirmahgoub <[email protected]> Date: Mon Jun 24 12:39:45 2019 -0500 small change commit 8f0a4a4c8183d70973d2a22b16dd573816f71e40 Author: mudathirmahgoub <[email protected]> Date: Mon Jun 24 12:19:30 2019 -0500 Fixed a bug commit e067f6c034d6378ed97ca4d27a2d45cf2ef1e429 Author: mudathirmahgoub <[email protected]> Date: Mon Jun 24 06:28:28 2019 -0500 Refactoring commit a2e417b5985e203dd0d5fbf9477047510881c3e1 Author: mudathirmahgoub <[email protected]> Date: Mon Jun 24 06:10:02 2019 -0500 Refactored BoolConstant commit e041ceae84095c49074d7ac628bf7ff23407b838 Author: mudathirmahgoub <[email protected]> Date: Mon Jun 24 05:56:43 2019 -0500 disjoint quantifiers commit ec6aa23ce7da464ac4265cf2a73d2bccbdd75f3e Author: mudathirmahgoub <[email protected]> Date: Mon Jun 24 05:37:07 2019 -0500 refactoring commit 88d393fc5e2e2bd62ab27276d85bde45467e585d Author: mudathirmahgoub <[email protected]> Date: Sun Jun 23 19:31:09 2019 -0500 refactoring commit 5755cd0b8a4e61e4f50abd1e96dbcc4c7c524ce9 Author: mudathirmahgoub <[email protected]> Date: Sun Jun 23 18:54:56 2019 -0500 refactoring commit aa82b8c306519f5bacce5de66e16868f7dff0d2c Author: mudathirmahgoub <[email protected]> Date: Sun Jun 23 18:18:35 2019 -0500 refactoring commit dda48301dce2b9bb6333c6401602f4064cba9856 Author: mudathirmahgoub <[email protected]> Date: Sun Jun 23 12:24:42 2019 -0500 refactoring commit d28144ce632c824017ad560571b31030b852ad74 Author: mudathirmahgoub <[email protected]> Date: Sat Jun 22 14:48:04 2019 -0500 refactoring commit 86e9207eaa8b2792f67e5c65c4252e9aa3ee4d52 Author: mudathirmahgoub <[email protected]> Date: Sat Jun 22 13:57:56 2019 -0500 refactored BinaryExpression commit 2e965394f8218860762ff1a77e29a53198866c9f Author: mudathirmahgoub <[email protected]> Date: Sat Jun 22 07:06:07 2019 -0500 refactored ITEExpression commit 4907fd4f3c4ac3d836959340ba05f4bc9dfa9553 Author: mudathirmahgoub <[email protected]> Date: Sat Jun 22 07:02:09 2019 -0500 refactored LetExpression commit efc47ae2dd3843460c204854cf886c4671771d4f Author: mudathirmahgoub <[email protected]> Date: Sat Jun 22 06:56:32 2019 -0500 refactored MultiArityExpression commit 86c9b17f16ede4d9f3681cbb35c10ce16dd90351 Author: mudathirmahgoub <[email protected]> Date: Sat Jun 22 06:48:48 2019 -0500 refactored UnaryExpression and QuantifiedExpression commit 5016c7b85a519e656f37f61ac72ebe2569b75f27 Author: mudathirmahgoub <[email protected]> Date: Sat Jun 22 05:42:37 2019 -0500 Optimized Tuple quantifiers commit 6e87d9889f8a5fdf12de5041ad9d0ce974486f37 Author: mudathirmahgoub <[email protected]> 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 <[email protected]> Date: Sat Jun 22 00:10:10 2019 -0500 used smt lib bars |identifier| commit ef86e98b47a26e94777a81f4671d982abfc87c69 Author: mudathirmahgoub <[email protected]> Date: Thu Jun 20 21:38:09 2019 -0500 disjoint2 fields values commit a3d521f7bbeb6fd3c24176b8e8267d9a46891d94 Author: mudathirmahgoub <[email protected]> Date: Thu Jun 20 13:08:42 2019 -0500 disjoint fields commit b973f0834978ada1e44e1d69b5ffff1a288e3ba9 Author: mudathirmahgoub <[email protected]> Date: Thu Jun 20 11:02:57 2019 -0500 Fixed " special translation commit 6318bd94975a4c6ecd66c78758d83db20b703b7c Author: mudathirmahgoub <[email protected]> Date: Wed Jun 19 22:09:44 2019 -0500 Fixed disjointness constraints for grandchildren commit ad6ab066d812706493434557fcba492a2aaba48c Author: mudathirmahgoub <[email protected]> Date: Wed Jun 19 21:58:39 2019 -0500 Fixed disjointness constraints for grandchildren commit 3414859c359494ae5a9b7bfac5f144ba7bfe3044 Author: mudathirmahgoub <[email protected]> Date: Wed Jun 19 19:50:04 2019 -0500 Fixed disjointness constraints for grandchildren commit 5c76f2451d29a93788b5cf3e2e019cd8e619ef35 Author: mudathirmahgoub <[email protected]> Date: Wed Jun 19 18:20:23 2019 -0500 updated translation for unary fields commit dc0744f085e277c2e7aeb780ee18be89f2fe672e Author: mudathirmahgoub <[email protected]> Date: Wed Jun 19 10:11:37 2019 -0500 draft changes commit 886f744d5742cbbfd9d4f2450c750135be831aa7 Author: Peter Kriens <[email protected]> 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 <[email protected]> Date: Tue Jun 18 22:22:44 2019 -0500 Fixed one scope signature case commit 8457b0c6ae2b3b54d218896d69e4e493b9c2bf34 Author: mudathirmahgoub <[email protected]> Date: Tue Jun 18 22:13:46 2019 -0500 a lot of changes to support constraints for variables commit ecebfe03360159e57e26a9a21f56f6c2b120c870 Author: mudathirmahgoub <[email protected]> Date: Tue Jun 18 01:00:41 2019 -0500 Progress commit af68b9435780f8c8a396a8e7d67f003f608f10f0 Author: mudathirmahgoub <[email protected]> Date: Sun Jun 16 12:31:53 2019 -0500 Fixed systems/views type bug Replaced quantified arguments in membership expressions commit d7af05a8d0c39c142481096b9c03b088027aad99 Author: mudathirmahgoub <[email protected]> Date: Sat Jun 15 19:15:27 2019 -0500 annoying scope rules commit f926dd1826775e88451aa00f6da5af595effc8c6 Author: mudathirmahgoub <[email protected]> Date: Sat Jun 15 19:01:07 2019 -0500 annoying scope rules commit 4da6bb506719456e0e4b4824f2cfb9fa6f577346 Author: mudathirmahgoub <[email protected]> Date: Sat Jun 15 07:25:33 2019 -0500 small change commit b8f3d41382fe41c21fbd953e5fcad8af43dc9572 Author: mudathirmahgoub <[email protected]> Date: Sat Jun 15 06:50:07 2019 -0500 small change commit 263fe69dfeb4f5177c8d2df7e9ed33c5751d675c Author: mudathirmahgoub <[email protected]> Date: Sat Jun 15 05:24:57 2019 -0500 Fixed parsing function return sort in Smt.g4 file commit 62a137b4a172ea94613dab7228c26d3a89f14d6d Author: mudathirmahgoub <[email protected]> Date: Sat Jun 15 05:11:00 2019 -0500 handle different types for quantifiers in comprehensions commit 5b65cea54f05bd5e4c0f902aa572a3df2eb11756 Author: mudathirmahgoub <[email protected]> Date: Fri Jun 14 23:51:21 2019 -0500 added replace function commit 6a6ce37955c5704e0126bdd8669a1fe1918b9602 Author: mudathirmahgoub <[email protected]> Date: Fri Jun 14 20:41:18 2019 -0500 refactoring (Introducing Environment) commit a26d4a69a55dd6ca6ceb93209fcc54250f40d729 Author: mudathirmahgoub <[email protected]> Date: Fri Jun 14 18:08:52 2019 -0500 Fixed a unit test commit 0cd9e7beb9770633a33cfb4492f2c0206887537e Author: mudathirmahgoub <[email protected]> Date: Fri Jun 14 17:01:27 2019 -0500 ExprQt and ExprBinary ranges commit 1661d6114ae53405f794d5056fbc31263108170c Author: mudathirmahgoub <[email protected]> Date: Fri Jun 14 14:40:34 2019 -0500 comprehension first attempt commit a9b7bf88fd3250c6fd4e8d6c162dbe81f1131212 Author: mudathirmahgoub <[email protected]> Date: Fri Jun 14 14:39:06 2019 -0500 comprehension first attempt commit 688f12d1474f2319ec1c0bb96ae41a548cc4b2d2 Author: mudathirmahgoub <[email protected]> Date: Thu Jun 13 23:50:33 2019 -0500 ExprQt multiplicity one commit e69fc333bd8bfde860a3d4435c6485fa80d85cc6 Author: mudathirmahgoub <[email protected]> Date: Thu Jun 13 22:28:39 2019 -0500 ExprQt multiplicity all commit 73e7df1f684d4b0100b6345fb13b2e9139c577a3 Author: mudathirmahgoub <[email protected]> Date: Thu Jun 13 22:16:03 2019 -0500 ExprQt multiplicity some commit a6d0975e37c0cb9bec53c3442a0b7208a9ae1471 Author: mudathirmahgoub <[email protected]> Date: Thu Jun 13 20:39:10 2019 -0500 New translation for ExprQt (lone) commit d4fd694b9b069278d779000c66c8b45908508fe3 Author: mudathirmahgoub <[email protected]> Date: Thu Jun 13 20:32:41 2019 -0500 New translation for ExprQt (one) commit 9d4025cee809805bd2eb183026e5f08929d9b940 Author: mudathirmahgoub <[email protected]> Date: Thu Jun 13 17:24:01 2019 -0500 New translation for ExprQt (one) commit 3473fd6b05b6025e96a9ed4444e4622a769a6b76 Author: mudathirmahgoub <[email protected]> Date: Thu Jun 13 16:19:09 2019 -0500 New translation for ExprQt (some) commit 84f8d3f14db589e9fd8c1a6009d05650d8128b66 Author: mudathirmahgoub <[email protected]> Date: Thu Jun 13 15:48:14 2019 -0500 New translation for ExprQt commit d1be2de52aa54ef13f88f0adad9f120622de3c2a Author: mudathirmahgoub <[email protected]> Date: Tue Jun 11 09:46:09 2019 -0500 small change commit 518171032d3aa3995264452dc9d836ad66f5705c Author: mudathirmahgoub <[email protected]> Date: Tue Jun 11 09:44:18 2019 -0500 handling pipe being closed commit b77cae45758e793e2a358377d0543efebf2f25a1 Author: mudathirmahgoub <[email protected]> Date: Mon Jun 10 16:09:58 2019 -0500 more tests commit 403bed478e752d6a55a144cedd80ba98d578ca35 Author: mudathirmahgoub <[email protected]> Date: Mon Jun 10 14:00:27 2019 -0500 more tests commit 2964978b3ba9740aeb91b6db82cc599c62f31101 Author: mudathirmahgoub <[email protected]> Date: Mon Jun 10 12:18:38 2019 -0500 functions dependencies across modules commit ccb2d39d924b4a803cb0a55b9b68b6462d524c8b Author: mudathirmahgoub <[email protected]> Date: Sat Jun 8 21:28:10 2019 -0500 functions dependencies across modules commit 0a49a7f55105c8acc0be325b464694c579a99360 Author: mudathirmahgoub <[email protected]> Date: Sat Jun 8 07:10:11 2019 -0500 nasty bug commit e1ea358a80ff8378dd7fee483476831dd708e847 Author: mudathirmahgoub <[email protected]> Date: Sat Jun 8 06:35:17 2019 -0500 small changes commit 4fd62bef53e8e37c80ef8f7a5701eca126508eaa Author: mudathirmahgoub <[email protected]> Date: Fri Jun 7 22:07:29 2019 -0500 Replaced old field translation with Alloy semantics commit 8684e878d77cc25083f3e0b817bd6b0986a2597c Author: mudathirmahgoub <[email protected]> Date: Fri Jun 7 18:06:45 2019 -0500 Fixed type bug commit e5496b49e0468cd3042d9831fe5d9b87374e34d4 Author: mudathirmahgoub <[email protected]> Date: Fri Jun 7 14:56:45 2019 -0500 trying to fix "this" expression commit 591020f08cf0ba71275d8d876d4b2244929bb702 Author: mudathirmahgoub <[email protected]> Date: Thu Jun 6 16:59:06 2019 -0500 New untranslated cases commit fac494c853f33372b1a6471c05916723fbb2d50f Author: mudathirmahgoub <[email protected]> Date: Thu Jun 6 12:54:47 2019 -0500 Fixed let expression bug commit 5754bb88abf1dd75801a02651d976bf50c814e70 Author: mudathirmahgoub <[email protected]> Date: Wed Jun 5 17:36:46 2019 -0500 Fixed fields with multiple types commit 55719c1ece47313065c411f66822f558588de5f0 Author: mudathirmahgoub <[email protected]> Date: Wed Jun 5 13:09:54 2019 -0500 addr: Name -> (Name ++ Name) commit a86faa6466201d4657aaecb281c4aabc18566a5a Author: mudathirmahgoub <[email protected]> Date: Wed Jun 5 01:57:41 2019 -0500 intUniverse commit a87fa0743cc7317f5d758fdf52d2b321863cb6a5 Author: mudathirmahgoub <[email protected]> Date: Wed Jun 5 01:46:30 2019 -0500 Only ISSEQ_ARROW_LONE remain commit 3b03ca7dd21d162477a6e996f20b1abdfacaedd3 Author: mudathirmahgoub <[email protected]> Date: Wed Jun 5 01:37:40 2019 -0500 A some -> set A A set -> some A commit bbaea25a7005ac6b4bab97c414b6245204d59750 Author: mudathirmahgoub <[email protected]> Date: Wed Jun 5 01:30:40 2019 -0500 A lone -> set A A set -> lone A commit 37bbcfd1171ac289acfa5044b2684d9402f12636 Author: mudathirmahgoub <[email protected]> Date: Wed Jun 5 01:24:04 2019 -0500 A one -> set A A set -> one A commit 352d73d6c45acda59752d309053e616cfce594cf Author: mudathirmahgoub <[email protected]> Date: Wed Jun 5 01:14:18 2019 -0500 A lone -> some A A some -> lone A commit 3fd37e36d07a30ef3efc57232ebd4f9a7bf9b626 Author: mudathirmahgoub <[email protected]> Date: Wed Jun 5 01:05:41 2019 -0500 A some -> one A commit 484b020943aa15e6454d34e6213d03358543ea32 Author: mudathirmahgoub <[email protected]> Date: Wed Jun 5 00:58:55 2019 -0500 A some -> some A commit 2879634a5c0e68c3bd9a72db844158f021c455c6 Author: mudathirmahgoub <[email protected]> Date: Wed Jun 5 00:55:24 2019 -0500 A one -> some A commit e729dacd5288bce5523e525275b276cb4e9b795b Author: mudathirmahgoub <[email protected]> Date: Wed Jun 5 00:46:58 2019 -0500 A lone -> one A commit 62fb10fdb6d3531f78e646f3c6cc55d6801d7297 Author: mudathirmahgoub <[email protected]> Date: Wed Jun 5 00:44:26 2019 -0500 A one -> lone A A lone -> lone A commit fd9a45797f84ca6a3f0a054aa7811acd32da9c79 Author: mudathirmahgoub <[email protected]> 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 <[email protected]> Date: Tue Jun 4 20:06:09 2019 -0500 Cvc4Process Assertion failure with tlimit commit 61bee4ede4b5cd70ee97a797cf14d753915bad15 Author: mudathirmahgoub <[email protected]> Date: Tue Jun 4 12:19:36 2019 -0500 arity > 3 commit 400c2ac632782d3cff4377e84591d3f3d5fcdba0 Author: mudathirmahgoub <[email protected]> Date: Tue Jun 4 11:16:10 2019 -0500 changes commit 77a75d79ed1ed01f27bbe409a51f58a9147db34d Author: mudathirmahgoub <[email protected]> Date: Tue Jun 4 08:03:57 2019 -0500 updated guidelines commit bcc24d9582b968e6be6202a99fdf6165d2aa191f Author: mudathirmahgoub <[email protected]> Date: Tue Jun 4 02:15:24 2019 -0500 Supported intUniv commit fd52587bae8837629e92905e6f30a99d11516fc8 Author: mudathirmahgoub <[email protected]> Date: Tue Jun 4 01:41:19 2019 -0500 Fixed bug related to multiple declared quantifiers commit 511a3c2aab85f417e3a730ffdd394fa432fa4979 Author: mudathirmahgoub <[email protected]> Date: Tue Jun 4 00:48:05 2019 -0500 Refactored ExprQtTranslator commit f4ad21d4ae782c38bd26cb357205e437012b45f2 Author: mudathirmahgoub <[email protected]> Date: Sat Jun 1 16:45:16 2019 -0500 fixing predicates quantified expression commit a56c9f176d58120bcba4e132e5770afa3f6d3373 Merge: 30b41ae8 9a2c89d2 Author: mudathirmahgoub <[email protected]> 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 <[email protected]> Date: Tue May 21 19:39:52 2019 -0500 course examples commit 18ec0a82b621437daa080274d0630ff1069786d3 Author: mudathirmahgoub <[email protected]> Date: Tue May 21 19:16:44 2019 -0500 Fixed cardinality 0 scope semantics issue with family 3 commit 90f8320f0dcba8566e0a7f42d22d0b252ba87a45 Author: mudathirmahgoub <[email protected]> Date: Tue May 21 18:31:33 2019 -0500 Bug fixing commit 79cc0b5200f9e4a19a8998c413bb46778fd0eb44 Author: mudathirmahgoub <[email protected]> Date: Mon May 20 20:22:41 2019 -0500 abstract scope commit 11dba9a9900998cae53281c152805e937b5d6f65 Author: mudathirmahgoub <[email protected]> Date: Mon May 20 20:07:21 2019 -0500 abstract scope commit a31b57782d1881cc2078f29ca8b7fdf6c9af99dd Author: mudathirmahgoub <[email protected]> Date: Mon May 20 18:51:29 2019 -0500 tests commit ae7472cf460340304ce08baba9c1f20d06e6adc0 Author: mudathirmahgoub <[email protected]> Date: Mon May 20 17:49:39 2019 -0500 sanitized name commit 68b84811c8ab363bcaf81ac4386fc03742da0cb6 Author: mudathirmahgoub <[email protected]> Date: Mon May 20 15:01:54 2019 -0500 tests commit 524ecd76376c3ddd91126de5…
- Loading branch information