aboutsummaryrefslogtreecommitdiff
path: root/src/utils/hammer.cc
AgeCommit message (Collapse)AuthorFilesLines
2013-06-26Rewrite s-expression reader.dos-reis1-1/+1
2013-06-22 * include/FileMapping.H: New.dos-reis1-0/+1
2013-06-22Use Byte for data from input source.dos-reis1-21/+21
2010-08-26 * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Check for ln -sdos-reis1-1/+1
and sed. * config/var-def.mk (oa_target_includedir): New.
2010-08-24 Implement an s-expression C++ library.dos-reis1-7/+9
* utils/hash-table.H: New. * utils/sexpr.H: Likewise. * utils/sexpr.cc: Likewise. * utils/string-pool.H: Likewise. * utils/string-pool.cc: Likewise. * utils/storage.H: Include openaxiom-c-macros.h (Memory::Storage): New. (Memory::Arena): Likewise. * utils/storage.cc: Implement member functions of new class. * utils/Makefile.in (libOpenAxiom_HEADERS): Include hash-table.H, string-pool.H, and sexpr.H (libOpenAxiom_SOURCES): Include string-pool.cc and sexpr.cc
2010-08-21 External tool noweb is no longer required.dos-reis1-0/+414
* INSTALL: Update instructions. * Makefile.pamphlet: Remove rules for building noweb. (AXIOM_SRC_TARGETS): Include all-utils. * config/open-axiom.m4 (OPENAXIOM_BUILD_TOOLS): Don't check for notangle and noweave. * config/setup-dep.mk: Remove rules for generating document. * config/var-def.mk: Remove NOTANGLE and NOWEAVE variables. * configure.ac: Instantiate Makefile for src/utils.