Commit Graph

375 Commits

Author SHA1 Message Date
Sameer Rahmani 7c35f6a95e Add asserts to check for the first element of the list in def and fn forms 2021-04-24 18:04:04 +01:00
Mina ba932c2ad9 fix: `cmake --build .` step was missing 2021-04-24 13:01:52 -04:00
Sameer Rahmani 573550ca07 Add Fn expression and List rewrite to Fn 2021-04-24 14:39:43 +01:00
Sameer Rahmani 16d02a0fb1 Finish up the basic 'def' rewrite rules 2021-04-23 16:48:14 +01:00
Sameer Rahmani 806987b0ad Setup the minimal semantic analysis foundation 2021-04-22 10:20:15 +01:00
Sameer Rahmani f614d35b7f Change toString format and finalize Def::isValid signature 2021-04-22 00:49:11 +01:00
Sameer Rahmani 751eb49538 Rename the Result success/error methods to be consistent with the coding style 2021-04-20 19:33:25 +01:00
Sameer Rahmani 4fde47311e Remove the old implementations to keep the source tree as clean as possible 2021-04-20 00:17:28 +01:00
Sameer Rahmani 17b778bc49 Move the Error expression to it's own namespace 2021-04-19 23:34:39 +01:00
Sameer Rahmani a486b03d10 Add a very basic Error Expression to be used in semantic analysis 2021-04-19 19:49:05 +01:00
Sameer Rahmani 9f90e42bbb Setup the minimal rewrite wiring to rewrite 'def' to Def 2021-04-18 18:39:48 +01:00
Sameer Rahmani 30c54f9e73 Add more tests for List to test and iterators 2021-04-18 17:32:33 +01:00
Sameer Rahmani 7c9ee97895 Finish up the analyze setup before moving back to vector/shared_ptr setup 2021-04-17 19:36:25 +01:00
Sameer Rahmani 3b6d165baa Replace the shared_ptr in the node with a unique ptr 2021-04-17 00:18:13 +01:00
Sameer Rahmani 1330bad6fb Add a new type alias for Result<shared_ptr<Expressoin>> 2021-04-14 21:59:22 +01:00
Sameer Rahmani c737af51a4 Fix the failing test case for the Result Type 2021-04-14 18:14:39 +01:00
Sameer Rahmani 3223fc6944 Restructure the source tree to have tests and impl files in src 2021-04-13 13:53:12 +01:00
Sameer Rahmani 38089606c1 Remove the goimpl and move it to a separate branch 2021-04-13 13:47:13 +01:00
Sameer Rahmani 202f041515 Merge branch 'mlir' 2021-04-13 12:03:27 +01:00
Sameer Rahmani 81f78f2387 Update the logo from the master branch 2021-04-13 10:58:30 +01:00
Sameer Rahmani 0b7f40d715 Update the readme file 2021-04-13 10:39:13 +01:00
Sameer Rahmani 470f23acef Short circute the 'analyze' method of expressions for now 2021-04-13 00:45:08 +01:00
Sameer Rahmani 8b4f2941cf Add the Result type as an error wrapper type 2021-04-12 23:18:32 +01:00
Sameer Rahmani f4c28ae722 Upgrade to C++17 for now 2021-04-11 18:36:00 +01:00
Sameer Rahmani 11df9a6d1d Add some test cases for the reader 2021-04-11 15:13:10 +01:00
Sameer Rahmani 555e770c01 Finalize migration to new expression interface 2021-04-11 00:02:56 +01:00
Sameer Rahmani e4b0823e49 Fall back to the OOP design and setup the test env 2021-04-10 15:36:16 +01:00
Sameer Rahmani 944efcd1a9 Finish up the single dispatcher 2021-04-08 23:41:52 +01:00
Sameer Rahmani fd211653f2 Fix the expression instantiation 2021-04-08 19:59:47 +01:00
Sameer Rahmani a42259d684 Add c++20 support flag to cmake 2021-04-07 19:56:54 +01:00
Sameer Rahmani c1bec1ec99 Document the Expression type 2021-04-07 01:01:12 +01:00
Sameer Rahmani cd6552960d Fix the cmake file to use the new reader files 2021-04-06 19:13:24 +01:00
Sameer Rahmani 08e661c508 Rename the reader header files 2021-04-06 18:28:50 +01:00
Sameer Rahmani e620d8dcb2 rename location.hpp to location.h 2021-04-06 18:24:05 +01:00
Sameer Rahmani f1f77386ae Finish up the new Expression implementation 2021-04-06 16:20:20 +01:00
Sameer Rahmani 0020f95a80 Setup tests via Catch2 2021-04-06 00:21:43 +01:00
Sameer Rahmani f73cfe7aaf Introduce the new polymorphic approach to expressions 2021-04-05 19:02:30 +01:00
Sameer Rahmani 062b24e701 Add doxygen support for the documentation 2021-04-05 17:51:09 +01:00
Sameer Rahmani 9ff707c726 Save the progress before introducing the semantic analysis 2021-04-04 23:08:57 +01:00
Sameer Rahmani 53ec0c240a Change the different generator methods to be a polymorphic function 2021-04-01 23:37:12 +01:00
Sameer Rahmani f6ca246f0d Implement classof in derived expressions 2021-03-31 19:37:32 +01:00
Sameer Rahmani 3a899d82b3 Add Location and LocationRange support to expressions 2021-03-29 01:02:29 +01:00
Sameer Rahmani f50e20567a Move reader related files to the reader namespace 2021-03-28 23:14:32 +01:00
Sameer Rahmani e9daeb9d13 Add support for a dummy value operation to demonstrate a value 2021-03-28 10:53:32 +01:00
Mary Salehi e44daa8e2e Change the logo design 2021-03-27 15:51:16 +00:00
Sameer Rahmani 21b1958ecf Add symbol type to the dialect 2021-03-26 21:39:25 +00:00
Sameer Rahmani 50c2054f0a Add a barebone MLIR dialect with the necessary cmake changes" 2021-03-25 00:53:44 +00:00
Sameer Rahmani 737b6e1a41 Remove unused code to simplify the project to the bare min 2021-03-23 22:31:20 +00:00
Sameer Rahmani 04a50eb65b Update the serene executable to use llvm::cl and spit out the AST 2021-03-22 19:53:10 +00:00
Sameer Rahmani 5c736b6c85 Add a white background to the logo 2021-03-21 16:50:44 +00:00