miloignis/kraken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • ae9e652f1e Mostly implemented Simultaneous Declaration, only template instantation during pass 2 remains to be implemented Nathan Braswell 2014-05-24 14:04:32 -04:00
  • 0f6b6c0c67 Posets now integrated into the CGenerator, so the CGenerator now chooses a valid order for the object definitions based on their dependence on each other. Another test now passing Nathan Braswell 2014-05-21 13:14:16 -04:00
  • d37a07201a Created a Poset template class. It can store the relationships of a partially ordered set, then generate a topological ordering. It will be used to order the type_def declarations in the CGenerator, as they depend on each other in a poset fashion. Nathan Braswell 2014-05-21 12:01:45 -04:00
  • 6350f93f24 Fixed the recursion bug. 8/10 tests pass now, remaining need to fix define order and CGenerator order Nathan Braswell 2014-05-21 01:20:39 -04:00
  • 17b80d4102 Fixed a typo that caused indirection operators to do the reverse on types. Also cleaned up some comments. One more test working. Nathan Braswell 2014-05-20 23:53:19 -04:00
  • 2566cbb67c Added testing! call kraken like so ./kraken --test ../path/to/test/name_of_test_without_extention This will make kraken compile and run name_of_test_without_extention.krak and compare the output it generates on stdout to name_of_test_without_extention.expected_results. If they pass, then it records the pass, if not, it records the failure and saves the intermediate files generated. It has revealed some bugs which I will fix in upcoming commits. Nathan Braswell 2014-05-20 22:21:07 -04:00
  • 39f945940d Fixed a ton of stuff with function templates. Works well now. Next up: multiple template types and fixing object definition ordering (both where templates should go and objects with other pointers) Nathan Braswell 2014-05-19 20:00:35 -04:00
  • b2c61b00f2 Function templates working\! Nathan Braswell 2014-05-15 17:58:41 -04:00
  • 2a4edf9afd Simple Templates work! Even Templates in other files work. Happy day Nathan Braswell 2014-05-10 19:28:36 -04:00
  • 5022fc0802 Significant work on templates. They should be close to working now (for single replacement). However, they do not show up in the global scope the the C generator can't see them. Plus, their names will have to be Cified. Nathan Braswell 2014-05-09 02:56:55 -04:00
  • 5de2ff58bb Some template implementation/tests Nathan Braswell 2014-05-08 01:07:57 -04:00
  • 6c3267a8b2 Some groundwork for templates Nathan Braswell 2014-05-07 02:33:04 -04:00
  • c4dea26cca Finished simple array notation, fixed address of operator. Nathan Braswell 2014-05-06 13:54:53 -04:00
  • 209985310e Fixed type propagation for dereference and address-of, needs work for all the other operators also. Starting ground work for array notation Nathan Braswell 2014-05-05 13:52:12 -04:00
  • 9a4507a0f5 Added passthroughs and small fix for malloc/free Nathan Braswell 2014-05-03 20:46:10 -04:00
  • 6a75832b59 Added trivial standard library and search paths. Nathan Braswell 2014-05-01 01:18:01 -04:00
  • 1997ba49d2 Fixed operator overloading so that both method and non-method operator overloads work. Nathan Braswell 2014-04-27 02:48:57 -04:00
  • 30e3938fdd Merge branch 'master' of https://www.github.com/Limvot/kraken Nathan Braswell 2014-03-14 16:55:33 -04:00
  • 3728a849de Work in progress commit. Working on method operator overloading, fixed c-style block comments. Nathan Braswell 2014-03-14 15:55:45 -04:00
  • 663b124680 NOW it should be fixed. Nathan Braswell 2014-03-09 03:13:08 -04:00
  • 6eee808f96 Fixed a lot of stuff to do with objects and method calls. Nathan Braswell 2014-03-08 16:13:09 -05:00
  • 51e04498d6 Function overloading works\! Nathan Braswell 2014-03-07 14:17:07 -05:00
  • 57976beb40 Just got paranoid about saving all this work. Almost finished operator overloading, but everything is slightly broken right now. Nathan Braswell 2014-03-06 13:13:40 -05:00
  • 7f902880c5 Cleaned up and added line number to error messages Nathan Braswell 2014-02-20 18:24:04 -05:00
  • 37cffac9cd Objects work now! We have methods! Nathan Braswell 2014-02-18 21:55:00 -05:00
  • 1791738cd9 Working on objects and scoping. To finish, need to actually implement decent propogation of types Nathan Braswell 2014-02-03 11:41:25 -05:00
  • 62933af8f8 Basic structures work, prep work for function pointers and other stuff,a couple of bugs fixed. Nathan Braswell 2014-01-19 18:20:52 -05:00
  • b59fd26d4a Add triple quoted string regex for posterity. Nathan Braswell 2014-01-18 15:28:17 -05:00
  • 00ef8f0a7c Fixed the triple string RegEx. Had included quotes in the main part of the RegEx by accident. Nathan Braswell 2014-01-07 21:43:39 -05:00
  • 0d47a03986 Fixed regex! Much simpler and sensible implementation too. Nathan Braswell 2014-01-07 21:31:56 -05:00
  • 0297f29dcd Save state before re-write of RegEx. Nathan Braswell 2014-01-07 13:14:58 -05:00
  • 82df9b1592 Update README.md Nathan Braswell 2014-01-01 17:40:07 -06:00
  • 53b45f360d Now generates for all files that have been imported. CGenerator uses this to generate all files AND a shell script with the compile command to compile the generated C file. Nathan Braswell 2014-01-01 17:29:19 -06:00
  • dbf1820428 Can import other files now. (in same directory, use filename without .krak file extention) Right now, still need to compile both files with kraken. Nathan Braswell 2013-12-31 23:43:49 -06:00
  • 005659b7b7 Added caching of the RNGLR table. It is automatically regenerated whenever the grammer changes. Right now it has dropped compiling the test file from 30 seconds to less than one second. Nathan Braswell 2013-12-31 02:53:52 -06:00
  • 3455348951 Rookie mistake Nathan Braswell 2013-12-28 21:55:43 -05:00
  • dd9c8059ff Clean up, some small additions. Nathan Braswell 2013-12-28 21:54:22 -05:00
  • 98b899b8a9 Added rough but working scoping. Nathan Braswell 2013-12-27 13:05:07 -06:00
  • 15674fec2a Added Type class, bettered types a bit, made address of and dereference operators work. Nathan Braswell 2013-12-23 01:26:24 -06:00
  • 935cc6f968 Added generator-dependent compilation and simple passthrough that allows us to have non-cheated emitted, printing c-code for the first time! (no typechecking or anything yet, but we'll get there). It's also still rough. Nathan Braswell 2013-12-22 01:34:59 -06:00
  • 6ad406e42d Small fixes to the grammer, ASTTransformation and CGenerator. Should now be ready to begin implementation of multiple files, conditional inclusion, and code passthrough. Nathan Braswell 2013-12-19 10:39:36 -06:00
  • f273deaedc FINALLY fixed an error that took weeks. Turned out that the ParseRule was shallow copied, and the lookahead was not copied correctly. So it got extended and thus skipped over the state when it should have been redone. Nathan Braswell 2013-12-18 18:05:21 -06:00
  • d38fd32323 More AST stuff. Now supports boolean stuff Nathan Braswell 2013-11-07 22:19:33 -05:00
  • 61aad90258 Merge branch 'master' of https://www.github.com/Limvot/kraken Nathan Braswell 2013-11-03 20:44:22 -05:00
  • 1117fdf0cb Fix a Lexer test Nathan Braswell 2013-11-03 20:44:07 -05:00
  • d5512ec78e Fix the non-working Lexer test. Nathan Braswell 2013-11-03 20:36:18 -05:00
  • 77f2b0a3e5 Lot's of work on a CGenerator, AST and language improvements Nathan Braswell 2013-11-01 02:52:18 -04:00
  • ededb069c1 Merge pull request #2 from jorendorff/master Nathan Braswell 2013-10-28 10:12:46 -07:00
  • 14a4f822ae Add a passing Lexer test. Jason Orendorff 2013-10-27 00:01:39 -07:00
  • 4d156fa743 Fix substr() bug when the Lexer consumes all the input at once. Jason Orendorff 2013-10-27 00:00:55 -07:00
  • 0c50ad4197 Add passing RegEx tests. Jason Orendorff 2013-10-26 23:56:40 -07:00
  • 9336193aaf Allow RegEx matches of length 0. This seems more correct to me. (However, this is not super important in practice. Grammar files should not contain regular expressions that could match the empty string; if such a RegEx matched 0 characters once, it would match again and again forever, since it wouldn't consume any input.) Jason Orendorff 2013-10-26 23:52:54 -07:00
  • d2d38e2516 Fix what looks like an off-by-one error in RegEx::longestMatch()'s lastMatch calculation, and a corresponding +1 in code using longestMatch, and add a test. Jason Orendorff 2013-10-26 23:29:23 -07:00
  • 7859b29725 Fix a minor bug in the lexer (it would not match the last character of the input) and add Lexer tests. Jason Orendorff 2013-10-26 23:05:25 -07:00
  • ebe6b3520a More AST work. Getting close to fully transforming language as specified by current grammer. (which is a subset of what it will become) Nathan Braswell 2013-10-26 15:05:42 -04:00
  • 752b04b71b Merge pull request #1 from jorendorff/master Nathan Braswell 2013-10-26 08:51:37 -07:00
  • e818236e90 Some more AST work. Functions no longer retain an identifer for their name. Nathan Braswell 2013-10-26 11:47:34 -04:00
  • 83af1b1c5a Use std::string::substr() instead of adding one character at a time. This patch also removes a few unused util functions that are easily written using substr(). Jason Orendorff 2013-10-25 02:42:12 -07:00
  • 727529fe0b Remove one unnecessary backslash-check in StringReader::getTokens(). (This patch looks like it's removing the last backslash-counting loop, but really it removes the first one and then reindents everything.) Jason Orendorff 2013-10-25 02:32:39 -07:00
  • 64a405cab1 Replace some code in StringReader::getTokens() with std::string::find_first_of(). Since this makes found_pos unsigned, a few comparisons involving found_pos must be adjusted (unsigned integers are always >= 0). Jason Orendorff 2013-10-25 02:26:31 -07:00
  • a18b4f41a7 Add tests for parsing quoted strings. Jason Orendorff 2013-10-25 02:17:02 -07:00
  • 08baae465a Add unit tests for StringReader. You can run them with ./kraken --test. Jason Orendorff 2013-10-25 02:04:22 -07:00
  • 02fd878c92 Further work on AST transformation Nathan Braswell 2013-10-16 01:43:18 -04:00
  • b9ffe33d0b Made Symbol always stack, not heap, allocated. Finally fixed bugs with ASTTransformation. Nathan Braswell 2013-10-02 03:15:20 -04:00
  • 0110672f50 Added in structure for tree transformations. Nathan Braswell 2013-09-26 15:16:58 -04:00
  • 7cfdc1e66b Merge branch 'master' of https://github.com/Limvot/kraken Nathan Braswell 2013-08-27 16:47:48 -04:00
  • f07582e692 Fixed up grammer to resolve some ambiguities. Nathan Braswell 2013-08-27 16:47:33 -04:00
  • d31a1c9d79 Updated README.md with how to invoke the program and how to build. Nathan Braswell 2013-08-27 13:32:25 -04:00
  • d7fde25e65 Updated README.md with some of the current progress. Nathan Braswell 2013-08-27 13:29:59 -04:00
  • e868c240d8 Added current, in progress grammer/ Nathan Braswell 2013-08-27 13:23:37 -04:00
  • d1f2ba5fc8 Fixed the bug! Probabally other bugs too. Nathan Braswell 2013-08-26 15:37:49 -04:00
  • 84274ed138 A bit more work. Nathan Braswell 2013-08-23 01:51:58 -04:00
  • 35a0677d07 Still in progress Nathan Braswell 2013-08-22 15:41:30 -04:00
  • 2eaf640855 In progress Nathan Braswell 2013-08-16 00:03:26 -04:00
  • d21f521266 Have a nullableParts generator now. It works for simple cases and may work for advanced cases, but more testing is required to ensure full usability. Nathan Braswell 2013-08-13 14:01:53 -04:00
  • 3a5d94caaa Started adding the nullable parts machinery. Also started to fix addStates for RNGLR and null reductions so it only truncated the rule to what had already been parsed, but now it looks like it maybe shouldn't truncate at all and use pointer position for length. However, I have to go to bed and will pick up later. Nathan Braswell 2013-08-12 00:02:50 -04:00
  • af0c1f0a81 Fixed some more DOT generation stuff. Nathan Braswell 2013-08-11 01:15:26 -04:00
  • ea42cb5bc7 The out of orderness was actually the fault of the dot graphing program, not Kraken, so that's good news. DOT generation has also been modified so that it properly inserts \n's (actually \n's) where line returns are so that dot can parse the \n and not the line return. Nathan Braswell 2013-08-11 00:37:12 -04:00
  • b292bd15ae Now parses into parse trees! Still does not add the null-reducable trees, and there are a few ordering mistakes, but it works. Nathan Braswell 2013-08-10 18:24:37 -04:00
  • 9f3370481e Fixed all syntax errors, but NULL crops up where it shouldn't. Checks for it as stop-gap, creates very truncated trees. Does run, and still correctly accepts. Calling it a night. Nathan Braswell 2013-08-09 04:39:43 -04:00
  • 8570b8f641 Well, just before I went to bed I fixed the errors in NodeTree and GraphStructuredStack. To tackle RNGLRParser tommrow. Nathan Braswell 2013-08-08 03:06:28 -04:00
  • 31d7c02ef9 Finished writing first code for turning the RNGLR recognizer into a parser. Doesn't compile yet, needs lots of bugfixing, but I'm calling it a night. Nathan Braswell 2013-08-08 02:44:17 -04:00
  • 680d978dcb Problem was actually in grammer, fixed it. Also made identical rules with different lookahead merge. Now just started on creating parse trees. Stopping for night. Nathan Braswell 2013-08-06 01:49:45 -04:00
  • 9460bacf1c Fixed some problems with grammer loading of null rules and rules non-terminals and terminals that had the same name Nathan Braswell 2013-08-04 14:24:20 -04:00
  • d5b33efb22 Null rules work in RNGLR now, but there seems to be a bug where somehow some states/rules get no lookahead. Nathan Braswell 2013-08-02 15:21:42 -04:00
  • 49d149bc1f RNGLR Recognizer now works for grammers without null rules. Nathan Braswell 2013-08-02 02:47:01 -04:00
  • 9887555dd5 Have almost got the RNGLR recognizer. Something is wrong with the GSS, I think when it's built. It seems to sometimes have parents as children, or something. Nathan Braswell 2013-07-31 23:51:05 -04:00
  • 3fba45591b Changed Parser to be a virtual base class, inherited by LALRParser Nathan Braswell 2013-07-30 01:42:51 -04:00
  • 733fe1c08d Changed Table to store vectors of actions, changed Parser appropriately. Nathan Braswell 2013-07-28 23:48:10 -04:00
  • 6d7b38a03b More work towards RNGLR. First, NodeTree is now a template. Second, I've started writing the actual GLR parser and GSS and other things, but am still in the first write process. Nathan Braswell 2013-07-28 19:45:08 -04:00
  • 726ead0455 Pull out table to it's own Table class in prep for adding RNGLR algorithm. Nathan Braswell 2013-07-16 11:15:58 -04:00
  • f84657f1ed Fixed a lot of bugs. Actually gets through the entire experimental grammer. (A largeish experimental grammer for Kraken written to continue testing and to really start language development. Nathan Braswell 2013-07-10 23:50:53 -04:00
  • 1c85e3693e Added support for null rules, works well. Nathan Braswell 2013-07-09 02:45:59 -04:00
  • 4c2fd967f0 Perens now work fully! The RegEx part of Kraken should now be fully legitimate. The only problem is not gracefully letting the user know about faulty input, but that goes for all of Kraken. Nathan Braswell 2013-07-07 02:13:05 -04:00
  • 502929963c Added alternation and fixed a bug with the repetition operators exposed by the addition of the alternation. (for some reason the repetition operators used a loop making endless circles) Nathan Braswell 2013-07-04 15:10:32 -04:00
  • 84566c4ff6 Extended the Regular Expression class to now support * and ? as well as +. Next up, perens and alternation Nathan Braswell 2013-07-03 23:40:36 -04:00
  • cc6ff21986 Fixed some bugs, including modifing StringReader to treat quoted strings as whole words. Nathan Braswell 2013-07-02 13:14:40 -04:00
  • 85da0bf646 Lexer/RegExs now work on a very basic level. Regular expressions have not been fully implemented, but the structure is there. It creates trivial regexs that only accept a specified sequence, no actual regular expression power. Nathan Braswell 2013-07-02 01:47:42 -04:00
  • 94a7739bd9 Added structure for Regular Expressions, saving work as a backup because of software upgrade. Nathan Braswell 2013-07-01 22:45:33 -04:00
  • c2520ec2c4 NodeTree now also has a link to the Symbol it represents. Nathan Braswell 2013-06-27 23:45:38 -04:00