467de7eadd Merkle hash validation at database startup add Merkle hash validation at arbitrary times with command add Merkle hash documentationAgentM6 years ago 584b01dresolve TupleExprs within their own transaction contextsAgentM7 years ago c612d04WIP compilation checkpointAgentM7 years ago 5780162WIP compilation checkpointAgentM7 years ago e9f1023move dataframe creation and sorting to server-side via Client.hs add preliminary testAgentM8 years ago 4bbe64aworking dynamic atom function loadingAgentM8 years ago 52a18c6fix confusing error message when creating incdep where the expressions do not have equal relation types resolves #181AgentM9 years ago 91a357ause errors when nonsensical attributes are passed to toUpdateExpr, toDeleteExpr,AgentM9 years ago 1a39a5breject duplicate attribute names when creating empty relation resolves #170AgentM9 years ago f901574validate ConstructedAtom argument count resolves #149AgentM9 years ago b5ef26aincrement db format version due to addition of timestamps improve validation of on-disk database format resolves #133AgentM9 years ago 0747adaMerge branch 'master' into 33_autorebaseAgentM9 years ago f0825a5WIP compilation checkpoint complete refactoring of eval graph path change Maybe x functions to Either RelationalError so that they can be easily used in an Either/Error monadAgentM9 years ago 8247956fix database context function test add database context function utiltiesAgentM9 years ago 0fd3b52implement support for tracking disconnected transaction dirtiness return an error if an empty commit is attemptedAgentM9 years ago 57faeaeWIP compilation checkpoint when the graph is changed behind the process' back, TransactionIsNotHeadError is returned unconditionally, which is a mistake- it should only return that error only if the same head is being contendedAgentM9 years ago 08e09b6replace AnyAtomType with real type variables remove useless TypeConstructorArg allow atom functions to have polymorphic typesAgentM10 years ago f09f894polymorphic return values for functions now resolves to concrete typesAgentM10 years ago 6ea4ad3functioning atom function and database context function serialization dbc test is brokenAgentM10 years ago a1f0542atom function error + updated testAgentM10 years ago f4794d3WIP add dbc function errorsAgentM10 years ago a476d28WIP first pass at working stored functions -needs tests -needs atom type validation in RelationalExpression.hsAgentM10 years ago 111ec3dfix missing cases in async handlingAgentM10 years ago 0b8b0a7WIP working propagation of timeout error to timeout exception in clientAgentM10 years ago ec960c4WIP major refactoring in order to pass tuples in relational expression stateAgentM10 years ago 39c33d1add schema validation testAgentM10 years ago d0ed854inclusion dependency schema conversion working isomorph rename and passthroughAgentM10 years ago e7e0776WIP set/get current schema nameAgentM10 years ago e426984#43 allow executables to run with atom function scripting disabled if the feature's dependencies are missingAgentM10 years ago 6dbd0b1add trans graph relational expression head lookup backtracking ala git (~/^)AgentM10 years ago 4db1312handle exceptions in AtomFunctionBody scriptsAgentM10 years ago f667ac5add function atom argument count validationAgentM10 years ago aed8762WIP compilation checkpoint tutd switching to compiling project-m36 library as a dependency for executables switched to Atom ADT AtomFunctionBody somewhat workingAgentM10 years ago