Jun 17 2022 #28
Open
Jun 17 2022 #28
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
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…
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.