summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Allow building in a separate build directoryGravatar Anders Kaseorg2013-11-22
* Remove autogenerated config.h.in from version controlGravatar Anders Kaseorg2013-11-22
* xml/parse: Accept entity files on the command lineGravatar Anders Kaseorg2013-11-22
* Add autogen.shGravatar Adam Chlipala2013-11-21
* Switch back to working version modeGravatar Adam Chlipala2013-11-21
* Remove autogenerated files from version controlGravatar Adam Chlipala2013-11-21
* Add bin to EXTRA_DISTGravatar Adam Chlipala2013-11-21
* Add src/c/*.h to EXTRA_DISTGravatar Adam Chlipala2013-11-21
* Add more include files to EXTRA_DISTGravatar Adam Chlipala2013-11-21
* Some more EXTRA_DISTGravatar Adam Chlipala2013-11-21
* Getting more specific about 'src' in EXTRA_DISTGravatar Adam Chlipala2013-11-21
* Experimenting with distribution via 'make dist', to allow deletion of autogen...Gravatar Adam Chlipala2013-11-21
* Regenerate Makefile.inGravatar Adam Chlipala2013-11-21
* compileC: Link libraries in the right orderGravatar Anders Kaseorg2013-11-21
* Add missing inter-library dependenciesGravatar Anders Kaseorg2013-11-21
* Manual: add a pointer to background reading on inference rule notationGravatar Adam Chlipala2013-11-17
* Fix more of client-side error handlersGravatar Adam Chlipala2013-11-14
* Fix regression in execution of 'onError' handlersGravatar Adam Chlipala2013-11-14
* Identify more local definitions as functions that should be lifted to the top...Gravatar Adam Chlipala2013-11-05
* A fancier test for the new SQL constraints subtypingGravatar Adam Chlipala2013-11-04
* Interpret 'table' signature items more flexibly, automatically adding (Ur) co...Gravatar Adam Chlipala2013-11-04
* Rename ListPair.map2 to ListPair.mpGravatar Adam Chlipala2013-11-04
* ListPair.map2, based on code by escalier@riseup.netGravatar Adam Chlipala2013-11-03
* Save disjointness environments across top-level declarationsGravatar Adam Chlipala2013-10-17
* Change Pthread thread creation logic to avoid Cygwin limitations with setting...Gravatar Adam Chlipala2013-10-14
* New header file scheme to support FFI code in either of C or C++ [based on su...Gravatar Adam Chlipala2013-10-11
* Remove uw_cutErrorLocation() hijinksGravatar Adam Chlipala2013-10-10
* Remove debug printsGravatar Adam Chlipala2013-10-10
* Make transactional FFI functions effectful by defaultGravatar Adam Chlipala2013-10-10
* Take proper account of signatures changing during page generationGravatar Adam Chlipala2013-10-10
* Add <dl> <dt> <dd> tagsGravatar Sergey Mironov2013-10-07
* Manual entries for -ccompiler and -print-ccompilerGravatar Adam Chlipala2013-10-10
* Add xhead typeGravatar Sergey Mironov2013-10-07
* Add <em> and <strong> tagsGravatar Sergey Mironov2013-10-07
* Add -print-ccompiler command line optionGravatar Sergey Mironov2013-09-18
* Add -ccompiler command line argumentGravatar Sergey Mironov2013-08-20
* Add monoize case for 'dml' typeGravatar Adam Chlipala2013-10-01
* Detect more SQL uses without 'database' directiveGravatar Adam Chlipala2013-09-30
* Get -root working properly againGravatar Adam Chlipala2013-09-26
* Tweak Sergey's patch to work with PostgresGravatar Adam Chlipala2013-09-13
* Add hex SQL syntax for blobs, such as X'0ABC12343'. Works with sqlite.Gravatar Sergey Mironov2013-09-13
* Potentially exponential search through where to head-normalize in [decompileCon]Gravatar Adam Chlipala2013-08-19
* Allow [where con] to descend within submodule structure; open submodule const...Gravatar Adam Chlipala2013-08-19
* Expand coverage of 'functionInside' for EspecializeGravatar Adam Chlipala2013-08-10
* Add 'rel' attribute to <a>Gravatar Adam Chlipala2013-08-09
* Extend Especialize rule: find maximal argument prefixes that end in 1 or more...Gravatar Adam Chlipala2013-08-09
* Make that error message even more helpfulGravatar Adam Chlipala2013-07-17
* Make that new error message text a bit more accurateGravatar Adam Chlipala2013-07-17
* Tweak error message about naughty GET handlersGravatar Adam Chlipala2013-07-17
* Postgres unicode printing fix from Artyom ShalkhakovGravatar Adam Chlipala2013-07-17