Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.
Current directory: [Public] / 2001 / blindfold / src
| File | Rev. | Age | Author | Last log entry |
|---|---|---|---|---|
![[BACK]](/icons/back.gif){kind=icon}
Previous Directory
| ||||
![[DIR]](/icons/dir.gif){kind=icon}
Attic/
[Don't hide] | ||||
![[TXT]](/icons/text.gif){kind=icon}
abstract_grammar.c
| 1.33 | 6 years | sandro | in the middle of hacking the actions to pieces |
|
abstract_grammar.h
| 1.21 | 6 years | sandro | in the middle of hacking the actions to pieces |
|
ebnf.c.y
| 1.35 | 6 years | sandro | in the middle of hacking the actions to pieces |
|
ebnf_scanner.c.l
| 1.23 | 6 years | sandro | in the middle of hacking the actions to pieces |
|
parser_common_foot.h
| 1.9 | 6 years | sandro | cleaned up switch in action syntax |
|
parser_common_head.h
| 1.15 | 6 years | sandro | cleaned up switch in action syntax |
|
ParseType.cpp
| 1.9 | 6 years | sandro | unix groups works, now using unnamed nodes instead of genid |
|
ParseType.h
| 1.7 | 6 years | sandro | unix-groups works! |
|
YaccGeneratedParser.cpp
| 1.10 | 6 years | sandro | unix-groups works! |
|
YaccGeneratedParser.h
| 1.8 | 6 years | sandro | unix-groups works! |
|
main.cpp
| 1.41 | 6 years | sandro | unix-groups works, except for access to .text |
|
InMemoryPool.cpp
| 1.16 | 6 years | sandro | parent renaming works in a simple test, as does new! |
|
TripleSink.h
| 1.22 | 6 years | sandro | intermediate; compiles; trying to get delay/undelay working |
|
config.h
| 1.15 | 6 years | sandro | intermediate; compiles; trying to get delay/undelay working |
|
Symbol.h
| 1.22 | 6 years | sandro | intermediate; compiles; trying to get delay/undelay working |
|
version.c
| 1.4 | 6 years | sandro | seems to run an n3 grammar with a little @send annotation |
|
build_number.h
| 1.3 | 6 years | sandro | testing version |
|
make
| 1.2 | 6 years | sandro | testing version |
|
Makefile
| 1.64 | 6 years | sandro | added a vague attempt at version numbering |
|
Token.cpp
| 1.2 | 6 years | sandro | added a vague attempt at version numbering |
|
version.h
| 1.1 | 6 years | sandro | added a vague attempt at version numbering |
|
Token.h
| 1.1 | 6 years | sandro | belatedly addding Token to CVS |
|
Otter.cpp
| 1.1 | 6 years | sandro | intermidiate, working on XML parsers |
|
Otter.h
| 1.1 | 6 years | sandro | intermidiate, working on XML parsers |
|
Rule.cpp
| 1.1 | 6 years | sandro | intermidiate, working on XML parsers |
|
Rule.h
| 1.1 | 6 years | sandro | intermidiate, working on XML parsers |
|
XMLTokenizer.cpp
| 1.2 | 6 years | sandro | intermidiate, working on XML parsers |
|
XMLTokenizer.h
| 1.2 | 6 years | sandro | intermidiate, working on XML parsers |
|
blindfold_grammar_compiler
| 1.9 | 6 years | sandro | intermidiate, working on XML parsers |
|
genmake.info
| 1.14 | 6 years | sandro | intermidiate, working on XML parsers |
|
EBNFParser.cpp
| 1.2 | 6 years | sandro | working a bit better |
|
EBNFParser.h
| 1.2 | 6 years | sandro | working a bit better |
|
Parser.cpp
| 1.6 | 6 years | sandro | working a bit better |
|
Task_FileReader.cpp
| 1.4 | 6 years | sandro | working a bit better |
|
Task_Manager.cpp
| 1.2 | 6 years | sandro | working a bit better |
|
NTriplesParser.cpp
| 1.15 | 6 years | sandro | continuing to refactor parser streams (compiles, still missing yylex) |
|
NTriplesParser.h
| 1.7 | 6 years | sandro | continuing to refactor parser streams (compiles, still missing yylex) |
|
Parser.h
| 1.5 | 6 years | sandro | continuing to refactor parser streams (compiles, still missing yylex) |
|
Pool.cpp
| 1.10 | 6 years | sandro | continuing to refactor parser streams (compiles, still missing yylex) |
|
Pool.h
| 1.14 | 6 years | sandro | continuing to refactor parser streams (compiles, still missing yylex) |
|
Task_FileReader.h
| 1.3 | 6 years | sandro | continuing to refactor parser streams (compiles, still missing yylex) |
|
Task_Reader.cpp
| 1.2 | 6 years | sandro | continuing to refactor parser streams (compiles, still missing yylex) |
|
Task_Reader.h
| 1.3 | 6 years | sandro | continuing to refactor parser streams (compiles, still missing yylex) |
|
ebnf.h
| 1.3 | 6 years | sandro | continuing to refactor parser streams (compiles, still missing yylex) |
|
generated_parser.h
| 1.2 | 6 years | sandro | continuing to refactor parser streams (compiles, still missing yylex) |
|
ByteSink.cpp
| 1.6 | 6 years | sandro | yylexpat is now XML_Tokenizer; also got FileReader to compile * still not enough... |
|
ByteSink.h
| 1.9 | 6 years | sandro | in process of folding expat properly into Task stream |
|
Task_IOTask.h
| 1.2 | 6 years | sandro | in process of folding expat properly into Task stream |
|
ReferenceCountedObject.h
| 1.4 | 6 years | sandro | make embeddable in const objects |
|
FlowManager.h
| 1.9 | 6 years | sandro | soon to be replaced with Tasks |
|
ByteBuffer.cpp
| 1.1 | 6 years | sandro | stop-gap, until properly integrated with ByteSink/ByteFIFO |
|
ByteBuffer.h
| 1.1 | 6 years | sandro | stop-gap, until properly integrated with ByteSink/ByteFIFO |
|
Task_IOTask.cpp
| 1.1 | 6 years | sandro | Tasks, which should replace FlowManager |
|
Task_Manager.h
| 1.1 | 6 years | sandro | Tasks, which should replace FlowManager |
|
Task_Parent.cpp
| 1.1 | 6 years | sandro | Tasks, which should replace FlowManager |
|
Task_Parent.h
| 1.1 | 6 years | sandro | Tasks, which should replace FlowManager |
|
Task_Socket.cpp
| 1.1 | 6 years | sandro | Tasks, which should replace FlowManager |
|
Task_Socket.h
| 1.1 | 6 years | sandro | Tasks, which should replace FlowManager |
|
Task_Writer.cpp
| 1.1 | 6 years | sandro | Tasks, which should replace FlowManager |
|
Task_Writer.h
| 1.1 | 6 years | sandro | Tasks, which should replace FlowManager |
|
Logic_Connective.cpp
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_Connective.h
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_Disjunction.cpp
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_Disjunction.h
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_FunctionTerm.cpp
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_FunctionTerm.h
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_Implication.cpp
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_Implication.h
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_Negation.cpp
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_Negation.h
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_QuantifiedSentence.cpp
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_QuantifiedSentence.h
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_Sentence.cpp
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_Sentence.h
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_Symbol.cpp
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_Symbol.h
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_Term.cpp
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_Term.h
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_AtomicSentence.cpp
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_AtomicSentence.h
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_Biconditional.cpp
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_Biconditional.h
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_Conjunction.cpp
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_Conjunction.h
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_ConnectedSentence.cpp
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
Logic_ConnectedSentence.h
| 1.1 | 6 years | sandro | a rough logic-sentence class tree |
|
TripleSource.cpp
| 1.18 | 6 years | sandro | added a check for XSB really running properly change diff/rdiff to posdiff/negdi... |
|
TripleSource.h
| 1.23 | 6 years | sandro | added a check for XSB really running properly change diff/rdiff to posdiff/negdi... |
|
XSBAgent.cpp
| 1.16 | 6 years | sandro | added a check for XSB really running properly change diff/rdiff to posdiff/negdi... |
|
XSBAgent.h
| 1.9 | 6 years | sandro | added a check for XSB really running properly change diff/rdiff to posdiff/negdi... |
|
XSBPool.cpp
| 1.7 | 6 years | sandro | added a check for XSB really running properly change diff/rdiff to posdiff/negdi... |
|
sstream
| 1.2 | 6 years | sandro | added static_cast to get rid of warning in sstream |
|
QueryablePool.cpp
| 1.7 | 6 years | sandro | fixed bug where nothing-in-common was a segv |
|
ForeignVariableScope.cpp
| 1.5 | 6 years | sandro | modified to work (compile at least) without STLport |
|
InMemoryPool.h
| 1.18 | 6 years | sandro | working again, better than ever. renamed union->conjoin, intersection->common,... |
|
Symbol.cpp
| 1.16 | 6 years | sandro | working again, better than ever. renamed union->conjoin, intersection->common,... |
|
TripleSink.cpp
| 1.16 | 6 years | sandro | working again, better than ever. renamed union->conjoin, intersection->common,... |
|
Agent.h
| 1.8 | 6 years | sandro | still broken -- probably some little typo |
|
CachingPool.h
| 1.6 | 6 years | sandro | still broken -- probably some little typo |
|
DeductivePool.h
| 1.7 | 6 years | sandro | still broken -- probably some little typo |
|
FilePool.h
| 1.6 | 6 years | sandro | still broken -- probably some little typo |
|
OnDiskPool.h
| 1.6 | 6 years | sandro | still broken -- probably some little typo |
|
QueryablePool.h
| 1.5 | 6 years | sandro | still broken -- probably some little typo |
|
WatchablePool.h
| 1.7 | 6 years | sandro | still broken -- probably some little typo |
|
FlowManager.cpp
| 1.8 | 6 years | sandro | union,intersection,diff,rdiff seem to work |
|
Query.h
| 1.7 | 6 years | sandro | renamed scope -> getScope(); set operations are doing better |
|
TripleAdder.h
| 1.7 | 6 years | sandro | renamed scope -> getScope(); set operations are doing better |
|
VariableScope.h
| 1.8 | 6 years | sandro | renamed scope -> getScope(); set operations are doing better |
|
XSBQuery.cpp
| 1.12 | 6 years | sandro | renamed scope -> getScope(); set operations are doing better |
|
ForeignVariableScope.h
| 1.2 | 6 years | sandro | renamed scope -> getScope(); set operations are doing better |
|
Agent.cpp
| 1.2 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
ByteFIFO.cpp
| 1.6 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
ByteSource.cpp
| 1.3 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
ByteWriter.cpp
| 1.3 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
CachingPool.cpp
| 1.4 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
DeductivePool.cpp
| 1.4 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
FilePool.cpp
| 1.4 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
FlatN3FilePool.cpp
| 1.11 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
Generator.cpp
| 1.3 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
LoggingTripleSink.cpp
| 1.4 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
LoopState.cpp
| 1.4 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
NTriplesGenerator.cpp
| 1.5 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
OnDiskPool.cpp
| 1.4 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
Query.cpp
| 1.3 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
ReferenceCountedObject.cpp
| 1.3 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
SimpleVariableScope.cpp
| 1.6 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
SplittingTripleSink.cpp
| 1.3 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
SymbolMap.cpp
| 1.2 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
SymbolTable.cpp
| 1.8 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
Trace.cpp
| 1.2 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
Triple.cpp
| 1.5 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
TripleAdder.cpp
| 1.3 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
TripleSinkReifier.cpp
| 1.5 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
UnitTest.cpp
| 1.4 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
VariableScope.cpp
| 1.2 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
WatchablePool.cpp
| 1.7 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
XSBPool.h
| 1.5 | 6 years | sandro | added Trace, revised main(), some union/intersect/diff |
|
EqStr.h
| 1.1 | 6 years | sandro | working on Trace |
|
SymbolTable.h
| 1.5 | 6 years | sandro | working on Trace |
|
Trace.h
| 1.1 | 6 years | sandro | working on Trace |
|
NTriplesGenerator.h
| 1.4 | 6 years | sandro | added ForeignVariableScope |
|
SimpleVariableScope.h
| 1.6 | 6 years | sandro | added ForeignVariableScope |
|
XSBQuery.h
| 1.6 | 6 years | sandro | Made XSBAgent write out the C support it needs |
|
ByteWriter.h
| 1.3 | 6 years | sandro | (broken) changed a boilerplate comment, continued work on XSBPool & XSBQuery |
|
Generator.h
| 1.3 | 6 years | sandro | (broken) changed a boilerplate comment, continued work on XSBPool & XSBQuery |
|
SplittingTripleSink.h
| 1.3 | 6 years | sandro | (broken) changed a boilerplate comment, continued work on XSBPool & XSBQuery |
|
SymbolMap.h
| 1.2 | 6 years | sandro | (broken) changed a boilerplate comment, continued work on XSBPool & XSBQuery |
|
Triple.h
| 1.7 | 6 years | sandro | (broken) changed a boilerplate comment, continued work on XSBPool & XSBQuery |
|
TripleSinkReifier.h
| 1.4 | 6 years | sandro | (broken) changed a boilerplate comment, continued work on XSBPool & XSBQuery |
|
ntriples.cpp.y
| 1.3 | 6 years | sandro | dunno |
|
FlatN3FilePool.h
| 1.10 | 6 years | sandro | converted to using proper stl:: namespaces |
|
LoggingTripleSink.h
| 1.5 | 6 years | sandro | converted to using proper stl:: namespaces |
|
LoopState.h
| 1.8 | 6 years | sandro | converted to using proper stl:: namespaces |
|
UnitTest.h
| 1.6 | 6 years | sandro | converted to using proper stl:: namespaces |
|
ByteFIFO.h
| 1.8 | 6 years | sandro | converted to using proper stl:: namespaces |
|
ByteSource.h
| 1.4 | 6 years | sandro | converted to using proper stl:: namespaces |
|
hashmap.c
| 1.2 | 6 years | sandro | Filled in Triple implementation; set up stuff to link with XSB (Compiles again.)... |
|
hashmap.h
| 1.1 | 6 years | sandro | implemented decent C hash tables (hashmap) |
|
parser.h
| 1.6 | 6 years | sandro | set up dynamic compilation and loading of parsed grammars; still missing a few b... |
|
ntriples.h
| 1.1 | 6 years | sandro | no message |
|
dts.c
| 1.2 | 6 years | sandro | just cleaning up |
|
iter.h
| 1.4 | 6 years | sandro | figuring out how to do examples a bit. |
|
blindfold.h
| 1.7 | 7 years | sandro | current output from doc++ |
|
dts.h
| 1.3 | 7 years | sandro | Add C++ declarations for Triple Store hierarchy (experimentally) |
|
boilerplate.txt
| 1.1 | 7 years | sandro | Add C++ declarations for Triple Store hierarchy (experimentally) |
|
iter_demo.c
| 1.1 | 7 years | sandro | added abstract iteration support in iter.h |
|
bytestream.h
| 1.4 | 7 years | sandro | major reorg mostly done; compiles, with lots of code not yet implemented; interf... |
|
bytestream-implementation.h
| 1.1 | 7 years | sandro | intermediate checkin; still cleaning up interface definitions |
|
dltree.h
| 1.2 | 7 years | sandro | intermediate commit; doing various reorg & using doc++ now |
|
blindfold.c
| 1.1 | 7 years | sandro | added some argument handling to main; wrote O-O C versions of bytestream.h and b... |
|
dltree.c
| 1.1 | 7 years | sandro | abstracted tree structuring to dltree; implemented repeat() for "x? x* x+" |