Nathan Braswell
|
6fa06f2b7e
|
Removed LALR parser and an associated member from Symbol, which is used so much that actually got us down to ~3.42GB!
|
2015-03-23 15:28:03 -04:00 |
|
Nathan Braswell
|
2c4dbc60d1
|
Fixes for state generation to reduce memory usage - adding in optional semicolons balooned our memory usage to somewhere under 8 gigs, with some simple refactoring we're back down to a bit over 4. Needs to be smaller, but it's an improvement
|
2015-03-23 14:35:28 -04:00 |
|
Nathan Braswell
|
15c4a4bf0e
|
Better compiler invocation style and put all generated files (including dot files) in output folder
|
2015-03-15 18:41:55 -04:00 |
|
Nathan Braswell
|
7a865b82e9
|
Use std:cerr for errors
|
2015-03-14 02:42:07 -04:00 |
|
Nathan Braswell
|
9e9b4371da
|
Fixed up testing etc
|
2015-01-09 14:28:07 -05:00 |
|
Nathan Braswell
|
7dbfd8ca38
|
Almost have it working, but member function lookup through a typedef doesn't quite work. (I think the problem's in CGenerator)
|
2014-06-10 00:53:30 -07:00 |
|
Nathan Braswell
|
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
|
2014-05-21 13:14:16 -04:00 |
|
Nathan Braswell
|
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.
|
2014-05-21 12:01:45 -04:00 |
|
Nathan Braswell
|
17b80d4102
|
Fixed a typo that caused indirection operators to do the reverse on types. Also cleaned up some comments. One more test working.
|
2014-05-20 23:53:19 -04:00 |
|
Nathan Braswell
|
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.
|
2014-05-20 22:21:07 -04:00 |
|
Nathan Braswell
|
6a75832b59
|
Added trivial standard library and search paths.
|
2014-05-01 01:18:01 -04:00 |
|
Nathan Braswell
|
37cffac9cd
|
Objects work now! We have methods!
|
2014-02-18 21:55:00 -05:00 |
|
Nathan Braswell
|
62933af8f8
|
Basic structures work, prep work for function pointers and other stuff,a couple of bugs fixed.
|
2014-01-19 18:20:52 -05:00 |
|
Nathan Braswell
|
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.
|
2014-01-01 17:29:19 -06:00 |
|
Nathan Braswell
|
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.
|
2013-12-31 23:43:49 -06:00 |
|
Nathan Braswell
|
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.
|
2013-12-31 02:53:52 -06:00 |
|
Nathan Braswell
|
3455348951
|
Rookie mistake
|
2013-12-28 21:55:43 -05:00 |
|
Nathan Braswell
|
dd9c8059ff
|
Clean up, some small additions.
|
2013-12-28 21:54:22 -05:00 |
|
Nathan Braswell
|
98b899b8a9
|
Added rough but working scoping.
|
2013-12-27 13:05:07 -06:00 |
|
Nathan Braswell
|
15674fec2a
|
Added Type class, bettered types a bit, made address of and dereference operators work.
|
2013-12-23 01:26:24 -06:00 |
|
Nathan Braswell
|
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.
|
2013-12-22 01:34:59 -06:00 |
|
Nathan Braswell
|
6ad406e42d
|
Small fixes to the grammer, ASTTransformation and CGenerator. Should now be ready to begin implementation of multiple files, conditional inclusion, and code passthrough.
|
2013-12-19 10:39:36 -06:00 |
|
Nathan Braswell
|
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.
|
2013-12-18 18:05:21 -06:00 |
|
Nathan Braswell
|
d38fd32323
|
More AST stuff. Now supports boolean stuff
|
2013-11-07 22:19:33 -05:00 |
|
Nathan Braswell
|
77f2b0a3e5
|
Lot's of work on a CGenerator, AST and language improvements
|
2013-11-01 02:52:18 -04:00 |
|
Jason Orendorff
|
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.
|
2013-10-26 23:48:02 -07:00 |
|
Jason Orendorff
|
7859b29725
|
Fix a minor bug in the lexer (it would not match the last character of the input) and add Lexer tests.
|
2013-10-26 23:13:15 -07:00 |
|
Nathan Braswell
|
ebe6b3520a
|
More AST work. Getting close to fully transforming language as specified by current grammer. (which is a subset of what it will become)
|
2013-10-26 15:05:42 -04:00 |
|
Nathan Braswell
|
752b04b71b
|
Merge pull request #1 from jorendorff/master
Merge jorendoff's very kind cleanup (and tests!) of StringReader code
|
2013-10-26 08:51:37 -07:00 |
|
Nathan Braswell
|
e818236e90
|
Some more AST work. Functions no longer retain an identifer for their name.
|
2013-10-26 11:47:34 -04:00 |
|
Jason Orendorff
|
08baae465a
|
Add unit tests for StringReader. You can run them with ./kraken --test.
|
2013-10-25 02:04:22 -07:00 |
|
Nathan Braswell
|
02fd878c92
|
Further work on AST transformation
|
2013-10-16 01:43:18 -04:00 |
|
Nathan Braswell
|
b9ffe33d0b
|
Made Symbol always stack, not heap, allocated. Finally fixed bugs with ASTTransformation.
|
2013-10-02 03:15:20 -04:00 |
|
Nathan Braswell
|
0110672f50
|
Added in structure for tree transformations.
|
2013-09-26 15:16:58 -04:00 |
|
Nathan Braswell
|
d1f2ba5fc8
|
Fixed the bug! Probabally other bugs too.
|
2013-08-26 15:37:49 -04:00 |
|
Nathan Braswell
|
2eaf640855
|
In progress
|
2013-08-16 00:03:26 -04:00 |
|
Nathan Braswell
|
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.
|
2013-08-06 01:49:45 -04:00 |
|
Nathan Braswell
|
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.
|
2013-07-31 23:51:05 -04:00 |
|
Nathan Braswell
|
3fba45591b
|
Changed Parser to be a virtual base class, inherited by LALRParser
|
2013-07-30 01:42:51 -04:00 |
|
Nathan Braswell
|
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.
|
2013-07-28 19:45:08 -04:00 |
|
Nathan Braswell
|
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.
|
2013-07-10 23:50:53 -04:00 |
|
Nathan Braswell
|
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.
|
2013-07-02 01:47:42 -04:00 |
|
Nathan Braswell
|
c2520ec2c4
|
NodeTree now also has a link to the Symbol it represents.
|
2013-06-27 23:45:38 -04:00 |
|
Nathan Braswell
|
a307e1f143
|
Changed followset to work on states, fixed many bugs. Kraken now should have a fairly legitimate LALR(1) parser. (null productions have not yet been added.)
|
2013-06-23 05:06:38 -04:00 |
|
Nathan Braswell
|
66b88cb5d7
|
Added followSets(Symbol*) function to compute follow sets.
|
2013-06-13 23:43:12 -04:00 |
|
Nathan Braswell
|
da6e5f3de9
|
Added a firstSet(Symbol*) function that takes in a Symbol* and returns a vector of Symbol* s that are the first set of the first Symbol*.
|
2013-06-13 19:11:31 -04:00 |
|
Nathan Braswell
|
0c651a5d9e
|
Added EOF symbol, making the getTable() saner for ACCEPT and lookahead support in ParseRule
|
2013-06-13 14:25:10 -04:00 |
|
Nathan Braswell
|
949dbc532a
|
Fixed lots of bugs, added much more sane and efficient ParseAction table instead of recalculating every time. Fixed lots of bugs and inefficencies. Some temporary hacks in the table, mostly having to do with not having an EOF Symbol yet.
|
2013-06-04 19:50:16 -04:00 |
|
Nathan Braswell
|
0c4af245bf
|
Cleaned up some debug messages, parseInput(string) now returns a parse tree of NodeTree*. This is done by having each non-terminal Symbol have it's own subtree and calling a method to combine subtrees and terminals on each reduce. The output is now the DOT version of the parse tree.
|
2013-05-30 19:49:19 -04:00 |
|
Nathan Braswell
|
69713ffe1a
|
Actually parses LR(0) grammers and sentences\! Only two problems is very inefficint gotoTable() and actionTable(), and it REJECTS the sentence after completing the Goal->Sentence(*) production. However, need to go to bed now. Does practially work though\! Yay\!
|
2013-05-29 20:43:35 -04:00 |
|