microsoft
/
formula
зеркало из https://github.com/microsoft/formula.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

Граф коммитов

  • 0364478104 separate MacOS work from Ubuntu and Windows liy94 2024-05-29 12:36:17 -0500
  • e2e7d2432d temporarily remove macos liy94 2024-05-29 12:24:49 -0500
  • 459a5275d6 add macos-latest to os liy94 2024-05-29 12:17:59 -0500
  • 83faa10d5b Add ARM builds to GitHub Actions workflow liy94 2024-05-28 10:54:58 -0500
  • d5b1460e74
         Merge pull request #57 from VUISIS/fix_symbolic_counting Daniel Balasubramanian 2024-04-29 10:59:30 -0500
  • 2e2107f28a
         Temporarily remove macos-latest from build Daniel Balasubramanian 2024-04-29 10:51:04 -0500
  • f46b3c32dc
         Bump setup-dotnet from v2 to v4 Daniel Balasubramanian 2024-04-29 10:31:23 -0500
  • f4f3f99bdf
         Bump setup-dotnet from v2 to v4 Daniel Balasubramanian 2024-04-29 10:29:30 -0500
  • 3980c58fc5 Use a pseudoboolean encoding for symbolic counting constraints Daniel Balasubramanian 2024-04-29 10:03:59 -0500
  • c4d34ba360
         Merge pull request #56 from VUISIS/fix_join_constraint_bug Daniel Balasubramanian 2024-04-17 10:04:15 -0500
  • 77d919c264 Fix bug in which equality constraints implied by unification during a 'no' match were not being asserted Daniel Balasubramanian 2024-04-11 15:59:06 -0500
  • 48f3b6d5ce
         Update README.md Stephen Johnson 2024-03-25 14:48:15 -0500
  • ff13c5124c
         Added dotnet flags for selecting net6 sdk in nix build. Stephen Johnson 2024-03-25 14:39:55 -0500
  • 68f4fa1497
         Update build.yml Stephen Johnson 2024-03-25 12:08:47 -0500
  • d5dbd5ac88
         Update dotnet.yml Stephen Johnson 2024-03-25 11:54:31 -0500
  • 40936f4b81
         Update dotnet.yml Stephen Johnson 2024-03-25 11:41:53 -0500
  • 01e8677b1f Added 7 and 8 dotnet frameworks. Stephen Johnson 2024-03-21 12:08:44 -0500
  • b5e5a98d66
         Merge pull request #52 from VUISIS/parser-error Daniel Balasubramanian 2024-03-21 12:48:21 -0400
  • a1f8f5cb20 Added SymMax and SymCount to opKindStrings. Resolves #51 Daniel Balasubramanian 2024-02-14 15:58:09 -0600
  • 3a12d66638
         Update dotnet.yml Stephen Johnson 2024-02-14 13:17:28 -0600
  • b4e0cbf2cb Fixed old parser build error. Stephen Johnson 2024-02-14 12:55:45 -0600
  • 19a699992f Added instructions for local dotnet tool install. Stephen Johnson 2024-02-01 13:21:20 -0600
  • f644c84b14 Updated readme. Stephen Johnson 2023-09-15 14:18:09 -0500
  • 249057b03b Fixed nix build and updated the README. Stephen Johnson 2023-09-15 14:05:00 -0500
  • 6a20e3b5e7 Set version to run number. Stephen Johnson 2023-09-15 13:39:11 -0500
  • cc95f97eb4 Updated version number for each push. Stephen Johnson 2023-09-15 11:07:45 -0500
  • a1d9a3e5e6 Updated version number for each push. Stephen Johnson 2023-09-15 11:04:41 -0500
  • fcc7f81b17 Merge branch 'master' of github.com:VUISIS/formula Stephen Johnson 2023-09-15 10:41:35 -0500
  • a4d8c92b64 Updated github action to include packing and publishing the nuget package. Stephen Johnson 2023-09-15 10:40:56 -0500
  • 27810942c3
         Update README.md Stephen Johnson 2023-09-14 13:49:23 -0500
  • a9ec0d5a9b
         Merge pull request #50 from VUISIS/ignore_requires_constraints Daniel Balasubramanian 2023-09-11 10:04:20 -0500
  • d731f6bd5b Adding Battery example Daniel Balasubramanian 2023-08-29 10:28:22 -0500
  • 55b20c7791
         Update build.yml Stephen Johnson 2023-08-03 14:51:55 -0500
  • 48aab86308 Don't check requires constaints eagerly. Remove core minimization option. Resolves #47. Daniel Balasubramanian 2023-07-24 14:30:56 -0500
  • 9f2fe48add
         Merge pull request #45 from VUISIS/fix_or_encoding Daniel Balasubramanian 2023-07-21 13:27:56 -0500
  • e2508462e7 Rename printed variables. Check if solvable before trying to print core. Daniel Balasubramanian 2023-07-21 13:26:38 -0500
  • c27973b09e Correct bug in CNF encoding for OR constraints. Fixes #44 Daniel Balasubramanian 2023-07-11 16:49:38 -0500
  • fd0b2494cb
         Merge pull request #43 from VUISIS/error_reporting Daniel Balasubramanian 2023-07-06 10:34:41 -0500
  • 14345b1f55 Cleaned up the error listener. saj122 2023-06-01 09:48:14 -0500
  • e2df61c03d Merge branch 'error_reporting' of github.com:VUISIS/formula into error_reporting saj122 2023-05-31 15:45:30 -0500
  • 93e0cf307f Fixed issue #5 and the parser not recognizing text outside of listed modules. saj122 2023-05-31 15:43:30 -0500
  • d7c34d937c
         Merge 0e98aa2cc0 into 194777459a Brian Broll 2023-05-29 14:41:25 -0500
  • 223e8f912a
         Merge pull request #42 from VUISIS/formula-debugger Daniel Balasubramanian 2023-05-05 14:04:33 -0500
  • d55519c978 Merge. saj122 2023-05-04 16:15:05 -0500
  • 21c4acb549 Merge master into branch. saj122 2023-05-04 16:05:58 -0500
  • 80d61c44de
         Merge pull request #41 from VUISIS/refactor_constraint_terms Daniel Balasubramanian 2023-04-26 10:34:58 -0500
  • f35e248717 Use derivations to identify positive constraint terms Daniel Balasubramanian 2023-04-21 11:09:40 -0500
  • 560c2840f6
         Merge pull request #38 from VUISIS/fix_missing_constraints Daniel Balasubramanian 2023-04-19 14:47:13 -0500
  • 3be10ce191
         Merge pull request #37 from YiuuTran/sym-maxmin Daniel Balasubramanian 2023-04-19 14:44:32 -0500
  • 34498f165a orAll Changes yiuutran 2023-04-19 14:28:01 -0500
  • 49e30268ad orAll yiuutran 2023-04-19 13:13:48 -0500
  • c1e1818c12 Support for SymMinAll yiuutran 2023-04-19 10:07:52 -0500
  • f1bc2d9a7a changed to && yiuutran 2023-04-18 20:54:14 -0500
  • 6b5921804e New MaxAll Changes yiuutran 2023-04-18 13:07:17 -0500
  • 1cd87c918d Support for SymOr yiuutran 2023-04-17 10:03:36 -0500
  • 67bc015df3 Add constraints even when Term already exists Daniel Balasubramanian 2023-04-13 17:04:05 -0500
  • 2627460e89 AndAll Passes, Adjusted MaxAll yiuutran 2023-04-11 14:52:23 -0500
  • 91f6e64bb7
         Merge pull request #34 from VUISIS/cnf_core Daniel Balasubramanian 2023-04-11 10:51:22 -0500
  • 9b2856c976 Added indicator for tasks running. Added Z3Printer for prefix to infix. saj122 2023-04-04 20:12:50 -0500
  • fd55189fb5
         Merge pull request #33 from Abdullah13521/master Daniel Balasubramanian 2023-04-04 15:01:52 -0500
  • cf8edc7254 added method for accessing programs from Env.cs Abdullah Nassar 2023-04-04 14:52:55 -0500
  • ec3561fc6a Fix conflicts with SymExecuter merge Daniel Balasubramanian 2023-04-03 14:28:15 -0500
  • bfed7e7a0f Ensure no duplicate constraints before converting to CNF Daniel Balasubramanian 2023-04-03 13:57:34 -0500
  • bb3d2ed5d7 Use extract command to print core Daniel Balasubramanian 2023-03-31 13:35:26 -0500
  • 61f7c71db7 Improved unsat core to Term mapping Daniel Balasubramanian 2023-03-31 11:51:51 -0500
  • ddd0c2099c New Test File + AndAll Changes yiuutran 2023-03-28 15:40:24 -0500
  • 456e8cd391 added check for partial model and default case when there is only one model Abdullah Nassar 2023-03-28 15:03:15 -0500
  • 1762e4f183
         Merge pull request #32 from Abdullah13521/formula-debugger Stephen Johnson 2023-03-27 10:46:56 -0500
  • 47dca30445 modified the code for reading the text file to remove the symbols at the end Abdullah Nassar 2023-03-25 18:52:48 -0400
  • 3509ac9c3d Merge branch 'formula-debugger' of github.com:Abdullah13521/formula into temp Abdullah Nassar 2023-03-25 18:17:30 -0400
  • 4f6a00e78f added indices to the list boxes in solver view Abdullah Nassar 2023-03-25 18:16:55 -0400
  • 3719f5e470
         Merge branch 'VUISIS:formula-debugger' into formula-debugger Abdullah Nassar 2023-03-23 11:52:31 -0500
  • b3ffb6ce83 Added indices before the list items in each view Abdullah Nassar 2023-03-23 02:37:58 -0400
  • 457cdb48d2 Convert constraints to CNF. WIP. Daniel Balasubramanian 2023-03-22 22:11:04 -0500
  • 5bd60191a9 Added recursive function for traversing function term arguments and replace the added symbolic string from variable names. saj122 2023-03-22 17:33:13 -0500
  • 49c62eb107 added support for default solve Abdullah Nassar 2023-03-22 16:22:39 -0500
  • 44804331b7
         Merge pull request #31 from VUISIS/keep_derivations Daniel Balasubramanian 2023-03-22 10:27:01 -0500
  • e4b034dab4
         Merge pull request #29 from VUISIS/path-fix Daniel Balasubramanian 2023-03-22 10:23:59 -0500
  • d6c78a1694 attempt at maxAll yiuutran 2023-03-21 14:51:50 -0500
  • 87673ac8c8 Fixed build warnings in debugger. Added tests for simple solvable and unsat. saj122 2023-03-20 18:31:34 -0500
  • f1b332e56d Attempt at MaxAll yiuutran 2023-03-06 15:44:29 -0600
  • 5b23b91e22 MkLt yiuutran 2023-02-28 15:34:41 -0600
  • 03d3e037a3 Revert "Fixed symobolic min using LT" yiuutran 2023-02-28 15:18:12 -0600
  • d23cad2eb7 Fixed symobolic min using LT yiuutran 2023-02-28 15:16:43 -0600
  • 98765f1fc8 min yiuutran 2023-02-28 14:40:56 -0600
  • 31f47c615c Added simple unsat and solvable to tests. Changed text boxes to be readonly, but copyable. saj122 2023-03-20 18:19:53 -0500
  • 97cd3d4497 Removed unused includes. Added load tests folders. saj122 2023-03-20 16:38:41 -0500
  • b82f9a5e2e Added loading tests for spaces in folders. Removed unused includes. saj122 2023-03-20 16:38:01 -0500
  • 88b1d0c1f6 Fixed FileInfo and FileStream only accepting unescaped string paths. Removed unused variables in OpPluginFunc. saj122 2023-03-20 16:16:28 -0500
  • 41b74625b8 Added check for key in EnvParams. saj122 2023-03-20 12:52:17 -0500
  • abe2d3f7a6 Removed extract commands being printed. and consecutive solutions printed. saj122 2023-03-03 20:54:36 -0600
  • 645c8cb6f5 Fixed solutions output and extract output. saj122 2023-03-03 16:14:58 -0600
  • 9137f0f840 Added solution generation. Solution output. saj122 2023-03-03 16:03:52 -0600
  • e8febc67ed Fixed missing query model. saj122 2023-03-03 14:19:17 -0600
  • 71d0ccc19f Fixed solution output. saj122 2023-03-03 09:44:46 -0600
  • b1fb00afd9 Merge remote-tracking branch 'origin/keep_derivations' into formula-debugger saj122 2023-03-02 13:02:58 -0600
  • 83ec58eee8 Added clearing of publisher variables. saj122 2023-03-02 10:28:47 -0600
  • 8f1b4e847d Changed styling. saj122 2023-03-02 09:56:55 -0600
  • 889326db01 Store flattened derivations. Add basic prefix to infix. Needs expansion. Daniel Balasubramanian 2023-03-01 16:47:49 -0600
  • 04bcc2a870 Fixed solve execute and init tasks. Added variables to combobox. saj122 2023-03-01 16:30:59 -0600