graph
- Drop in some new autoconf scripts2010-06-03, by Adam Chlipala
- New release2010-06-03, by Adam Chlipala
- Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize2010-06-03, by Adam Chlipala
- Allow complex attribute records in Tag2010-06-01, by Adam Chlipala
- Try harder to place wildified 'con' declarations properly2010-06-01, by Adam Chlipala
- Improve consNeq to detect unequal projected cons2010-06-01, by Adam Chlipala
- Include new config.h in C source files2010-05-30, by Adam Chlipala
- Include config.h.in in distribution2010-05-29, by Adam Chlipala
- -moduleOf command-line option; compatibility fixes and better error messages for SQLite2010-05-27, by Adam Chlipala
- Consider view declarations while shaking2010-05-27, by Adam Chlipala
- Fix bug in module path generation with module roots; push wildification through substructures2010-05-27, by Adam Chlipala
- Support HTTP caching of app.js2010-05-23, by Adam Chlipala
- Switch to strings and eval for thunkifying JavaScripted functions2010-05-22, by Adam Chlipala
- Add thunking to CHANGELOG2010-05-22, by Adam Chlipala
- Thunking recursive JavaScripted function ASTs, to reduce page load time dramatically2010-05-22, by Adam Chlipala
- URL-escape with '.' instead of '%', to avoid confusing proxies2010-05-18, by Adam Chlipala
- Fix width/height CSS choices for table rows/columns; stop warning about inability to embed type in JavaScript2010-05-16, by Adam Chlipala
- Fix C-mangling of datatype names2010-05-16, by Adam Chlipala
- Avoid reimplementing conversion to C strings2010-05-15, by Adam Chlipala
- New release2010-05-06, by Adam Chlipala
- Merge2010-05-06, by Adam Chlipala
- Some Iflow improvements for gradebook2010-05-06, by Adam Chlipala
- Safe unmodeled SQL expressions marked as known2010-05-01, by Adam Chlipala
- Basic handling of recursive functions in Iflow2010-05-01, by Adam Chlipala
- Add rand to Basis and handle it in Iflow2010-04-29, by Adam Chlipala
- Complain about DValRec; optimizations for unit-valued ECase and forgetting of path conditions across ESeq2010-04-29, by Adam Chlipala
- Avoid state space explosion with ECase that just writes a constant in each case2010-04-18, by Adam Chlipala
- Fix innappropriate removal of duplicate tables from DML policies2010-04-18, by Adam Chlipala
- Better handling of DELETE and UPDATE2010-04-18, by Adam Chlipala
- Take advantage of equalities between get_cookie calls2010-04-18, by Adam Chlipala
- Use key information in more places, and catch cases where one key completion depends on another having happened already2010-04-18, by Adam Chlipala
- Parsing boolean SQL constants and fixing a related prover bug2010-04-18, by Adam Chlipala
- At loop heads, havoc relations that might be changed by the loop2010-04-17, by Adam Chlipala
- Check for implicit flows via expressions injected into SQL2010-04-15, by Adam Chlipala
- 'also' policies and policy reduction; calendar in good shape2010-04-15, by Adam Chlipala
- Parsing ORDER BY2010-04-15, by Adam Chlipala
- Get refurbished Iflow working with calendar2010-04-14, by Adam Chlipala
- More descriptive info flow error message2010-04-13, by Adam Chlipala
- Completely redid main Iflow logic; so far, policy and policy2 work2010-04-13, by Adam Chlipala
- Command-line use of Iflow2010-04-13, by Adam Chlipala
- Catching lame FFI applications2010-04-13, by Adam Chlipala
- Fix problem with overly weak ambients for queries; fix known-related bug in assert for Dt12010-04-13, by Adam Chlipala
- When applying multiple policies at once, filter the policy set at the beginning, removing unmatchable policies2010-04-13, by Adam Chlipala
- Avoid pointless rebuilding of hypothesis E-graphs2010-04-13, by Adam Chlipala
- Havoc relations that have been updated2010-04-13, by Adam Chlipala
- sendOwnIds policies2010-04-11, by Adam Chlipala
- Using multiple policies to check a written value2010-04-11, by Adam Chlipala
- Iflow working with a UNION2010-04-11, by Adam Chlipala
- Use functional dependency information2010-04-11, by Adam Chlipala
- Tweaks to table signatures and MonoOpt summarizing2010-04-11, by Adam Chlipala
- Complete update records with fields that are not being set2010-04-11, by Adam Chlipala
- Update policies2010-04-11, by Adam Chlipala
- Express all query outputs using record literals2010-04-11, by Adam Chlipala
- Delete policies2010-04-11, by Adam Chlipala
- Insert policies2010-04-11, by Adam Chlipala
- Constants are known2010-04-10, by Adam Chlipala
- Path conditions, used to track implicit flows2010-04-10, by Adam Chlipala
- Abstract type for evalExp state; handle WHERE conditions soundly2010-04-10, by Adam Chlipala
- Some serious debugging of the new Cc2010-04-08, by Adam Chlipala
- Implemented proper congruence closure, to the point where tests/policy works2010-04-08, by Adam Chlipala