summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
* some code cleanup, clone removalAdrian Thurston2015-02-135-74/+113
* some cleanup of the list iterator instructionsAdrian Thurston2015-02-134-15/+18
* added tests for list and map iterationAdrian Thurston2015-02-122-0/+41
* split IterImpl off of IterDef so we can select it at synthesis timeAdrian Thurston2015-02-122-22/+93
* added map_iter, for iterating map elementsAdrian Thurston2015-02-126-2/+69
* added a list iterator so we don't need to use while loopsAdrian Thurston2015-02-127-6/+225
* some more code improvements in pdarunAdrian Thurston2015-02-072-265/+255
* code movement and conventionsAdrian Thurston2015-02-078-249/+250
* new backtrack-halt strategy: count shifts and checkpoint on commitAdrian Thurston2015-02-073-4/+21
* first cut of value-based ints, test cases passAdrian Thurston2015-01-2717-223/+429
* added a destructor for streamAdrian Thurston2015-01-271-0/+15
* function name cleanupAdrian Thurston2015-01-2710-94/+73
* free the parser result in the parser destroyAdrian Thurston2015-01-271-2/+2
* the parse exit instructions leave the parser on the stackAdrian Thurston2015-01-253-14/+26
* the parse append leaves the parser on the stackAdrian Thurston2015-01-252-26/+21
* simplify the setting of parser contextAdrian Thurston2015-01-253-15/+9
* cleanup and duplicate elimination around context instructionsAdrian Thurston2015-01-254-130/+31
* the translate ctx becomes this, also removed ctx from parserAdrian Thurston2015-01-255-39/+10
* require that a new parser of a context-type receive the context at new timeAdrian Thurston2015-01-249-61/+103
* test case for new var captureAdrian Thurston2015-01-241-0/+12
* eliminated the capture synthesis clonesAdrian Thurston2015-01-242-30/+20
* implemented capture for newAdrian Thurston2015-01-244-3/+45
* mandatory arg list for newAdrian Thurston2015-01-2446-132/+132
* construct an input when creating a parserAdrian Thurston2015-01-244-44/+1
* renamed the SAVE_STEPS instruction to LOADAdrian Thurston2015-01-233-14/+15
* simplify the parsing code by appending directly to the parserAdrian Thurston2015-01-233-32/+32
* akeAdrian Thurston2015-01-232-48/+33
* revert "moved away the larger grammars for known langs"Adrian Thurston2015-01-234-0/+5528
* function name improvements in bytecodeAdrian Thurston2015-01-234-142/+149
* can remove TYPE_PTRAdrian Thurston2015-01-232-27/+7
* moved the map functions into the IN_FN spaceAdrian Thurston2015-01-233-164/+168
* use IN_FN for the the list functionsAdrian Thurston2015-01-234-294/+305
* revert "removed GPL license file and stripped GPL headers"Adrian Thurston2015-01-2380-1/+1668
* revert "removed LGPL from aapl code"Adrian Thurston2015-01-2337-0/+1103
* moved away the larger grammars for known langsAdrian Thurston2015-01-234-5528/+0
* some cleanup in the pointerAdrian Thurston2015-01-186-48/+57
* some function and type renamingAdrian Thurston2015-01-186-9/+16
* some instruction renaming to reflect specializations for object semanticsAdrian Thurston2015-01-183-37/+37
* lookup1 converted to object semanticsAdrian Thurston2015-01-181-165/+327
* added value versions of TST EQLAdrian Thurston2015-01-183-8/+45
* implemented get/set of values in treesAdrian Thurston2015-01-184-8/+61
* support casting nil to struct and genericAdrian Thurston2015-01-181-0/+6
* support recursive list elements referencesAdrian Thurston2015-01-182-7/+9
* allow alias inside context declarationsAdrian Thurston2015-01-182-0/+4
* implemented SET_STRUCT_VAL_BKTAdrian Thurston2015-01-182-6/+40
* updated binary1 test caseAdrian Thurston2015-01-172-7/+17
* only undo the insert if the insert was successfulAdrian Thurston2015-01-174-39/+78
* implemented reverse of map insertAdrian Thurston2015-01-172-82/+100
* object-list fix and test caseAdrian Thurston2015-01-173-1/+65
* more of map implemented: can now traverse map elementsAdrian Thurston2015-01-176-116/+162