on f7fc888 help sign in
all commits
467de7eadd Merkle hash validation at database startup add Merkle hash validation at arbitrary times with command add Merkle hash documentationAgentM 634dd65implement hlint suggestionsAgentM ec66d53fix transaction merge testAgentM 469c243WIP merkle-ize transaction graphAgentM 01340e6implement hlint suggestionsAgentM bb13048Merge branch 'master' into new_transgraphAgentM f407d5dnearly all tests passAgentM a76ee6ftest-tutoriald passesAgentM 38cee47WIP merge transaction treatmentAgentM 170009aWIP more test fixes remove DisconnectedTransaction diff exprAgentM 1046167WIP compilation checkpointAgentM 1706097WIP partial compilation checkpoint GraphRefRelationalExprM and friends StaticOptimizerMonadM ProcessExprMAgentM 5780162WIP compilation checkpointAgentM 51b014dWIP RelationalExpr + StaticOptimizer treatmentAgentM 9ada9c7RelationalExpression.hs compilation checkpointAgentM 8b5114dwip morphing function signaturesAgentM 4ecb53asquelch warnings surrounding Data.Monoid use and othersAgentM 46098e8fix hlint suggestionsAgentM 66ee004WIPAgentM cfa7253WIP compilation checkpointAgentM 3ac630erefactoring checkpointAgentM 51fdb18fix hlint suggestionAgentM ace7680update codebase for hlint 2.1.1 lots of <$> changesAgentM 6990bd8Merge branch 'master' into appveyorAgentM 2c0c706fix transaction graph backtracking with timestamp VMs have lower resolution timers, so this was caught in appveyorAgentM 56286b0fix new hlint warnings regarding use of fmapAgentM 52a18c6fix confusing error message when creating incdep where the expressions do not have equal relation types resolves #181AgentM 254007bfix hlint suggestions due to new hlint 2.0.10 versionAgentM f901574validate ConstructedAtom argument count resolves #149AgentM fc9e67afix failure to jump to proper head after automergetohead resolves #131AgentM 2aba32aadd commit timestamps the timestamp is from the start of the transaction creation, not when it is committed (a few milliseconds later typically)- this is identical to postgresql's now() stamp resolves #123AgentM b27ae9ffix or squelch all hlint hints in src, examples, test directoriesAgentM 00c9dc73noch found that automerge was not writing all new transactions to disk this was caused by the transaction graph persistence optimization which assumed writing only the latest heads was safe this has been replaced by commit infrastructure being explicit about which transactions it has added to the graph this is potentially a further optimization since it shouldn't need to check the filesystem for which heads have already been written resolves #128AgentM add8d97all tests passAgentM 89229c7auto merge tests pass flip args on createSessionAtHead for consistency add constraint checking to post-merge operation- critical bug fixedAgentM 0747adaMerge branch 'master' into 33_autorebaseAgentM 59a15aeWIP automerge -work on refactoring Client.commit code to separate out STM componentAgentM a2d81eeWIP compilation checkpoint for new automerge method needs ProjectM36.Client glueAgentM 18d17f5updates to haddock documentation in preparation for hackage release references #116AgentM 8573aedWIP autorebaseAgentM d293692#106 implement Commit options regarding how to handle empty commitsAgentM 0fd3b52implement support for tracking disconnected transaction dirtiness return an error if an empty commit is attemptedAgentM 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 contendedAgentM a476d28WIP first pass at working stored functions -needs tests -needs atom type validation in RelationalExpression.hsAgentM 585420aMerge branch 'master' of https://github.com/agentm/project-m36AgentM 167d163finish functional dependency implementation including documentation and testAgentM 3e4fee1add ":deletebranch" tutoriald operator resolves #34AgentM f3f99cdWIP compilation checkpointAgentM 6dbd0b1add trans graph relational expression head lookup backtracking ala git (~/^)AgentM 20a004dcompilation checkpoint- tutd, server components in place still need to merge relationalexpr/transgraphrelationalexpr add support for git-style graph navigation from head ~^AgentM