git.iko.soy
/
project-m36
readme
files
commits
refs
on
56_lazy_commits
help
sign in
3c5d8d4
WIP ideas checkpoint
AgentM
10 years ago
319eca7
non-compiling WIP I need to think more about what conditions are allowable for thunking expressions The processThunks function may not make sense outside the context of the eval function since each case is so different
AgentM
10 years ago
935e8c2
fix bigrel calling evalDatabaseContextExpr
AgentM
10 years ago
016c152
rename evalContextExpr -> evalDatabaseContextExpr across the board
AgentM
10 years ago
9b6ae14
all tests pass
AgentM
10 years ago
47073bc
WIP compilation checkpoint after refactoring RelationalExpression and DatabaseExpression apart and partitioning StaticOptimizers - also create DatabaseContextEvalState which includes the constraint validator so that the validator function can include the static optimizer
AgentM
10 years ago
8ea9b8c
WIP implement inclusion dependency -need to fix circular module dependency between RelationalExpression and StaticOptimmizer
AgentM
10 years ago
02b60f1
add comments to js driver and add some basic websocket/js documentation resolves #77
AgentM
10 years ago
c67c55f
switch to megaparsec 5.2.0 and stack lts-8.0 for GHC 8.0.2 support for earlier stack LTS releases is hereby dropped references #25
AgentM
10 years ago
4ed335e
remove persistent driver in case there is any demand for such a driver, it can be resurrected in the future resolves #79
AgentM
10 years ago
15521e5
fix IRC channel reference due to github markdown rendering
AgentM
10 years ago
a749ff9
fix descriptive error message in Server.hs
AgentM
10 years ago
b5a81b3
update documentation to remove Atomable references and discuss new ADT implementation
AgentM
10 years ago
bababa6
finish out_of_the_tarpit.hs Haskell example references #78
AgentM
10 years ago
8debb5d
add asciinema session demonstrating simple Date example usage and basic time travel
AgentM
10 years ago
d1d6a6a
Add Greek Xi logo next to first heading
AgentM
10 years ago
55aff8b
make 127.0.0.1 the default for running the websocket server. A future release of the websocket modules should include our pull request to support hostnames. resolves #74
AgentM
10 years ago
9cfdd63
fix missing case in remoteCall
AgentM
10 years ago
111ec3d
fix missing cases in async handling
AgentM
10 years ago
d4ddf8c
add missing other-modules identified by stack
AgentM
10 years ago
5235a3c
Merge branch 'master' of https://github.com/AndrewRademacher/project-m36 into AndrewRademacher-master
AgentM
10 years ago
d936047
remove unusued imports
AgentM
10 years ago
99fcf6d
switch to using async timeout as suggested by Tim Watson in https://github.com/haskell-distributed/distributed-process-client-server/issues/7
AgentM
10 years ago
80d74a6
refactor Client to track created transport and release it on disconnect
AgentM
10 years ago
a8097f4
add -n option to tutd which mirrors -n for the servers
AgentM
10 years ago
8a314dd
add Logout handler
AgentM
10 years ago
c8ffbf4
switch default websocket server port to 8000
AgentM
10 years ago
f8121f5
bracket db connection in websocket proxy
AgentM
10 years ago
c4386c7
Removed CPP restriction on Control.Monad
AndrewRademacher
10 years ago
23a79e2
add IRC channel mention to "Community" section
AgentM
10 years ago
bf7c801
add a reference to try.project-m36.io on the main README
AgentM
10 years ago
513c1f9
add a quick websocket client page description
AgentM
10 years ago
fe09376
add default config for websocket-client (for try.project-m36.io)
AgentM
10 years ago
55a065e
fix flipped logic for eval button in websocket client
AgentM
10 years ago
2bb187d
add protocol and path selection in websocket client page resolves #69
AgentM
10 years ago
1d1913d
catch getHomeDirectory exception GHC 7 still throws an exception later on regarding getAppUserDataDirectory while GHC 8 is able to continue
AgentM
10 years ago
87bb020
remove extraneous debugging
AgentM
10 years ago
8407a6b
fix websocket server test to account for new prompt info messages
AgentM
10 years ago
c14a171
remove emacs backup file
AgentM
10 years ago
31af40c
fix hardcoded websocket server port resolves #66
AgentM
10 years ago
79e6fff
fix result of bad timeout merge
AgentM
10 years ago
6d0f15f
Merge branch 'master' of https://github.com/agentm/project-m36
AgentM
10 years ago
1aacb4b
fix prompt updating in websocket client toggle eval button
AgentM
10 years ago
8d057ba
show current branch and schema names in websocket client
AgentM
10 years ago
e63d6a7
ignore dist_build directory
AgentM
10 years ago
fced05d
fix compilation on GHC 8.x regarding Data.Monoid
AgentM
10 years ago
0bb6240
update websocket server with MVar changes
AgentM
10 years ago
eb42ebc
restore server tests and patch websocket server test
AgentM
10 years ago
db9742f
WIP per-request timeout
AgentM
10 years ago
1e82c5c
properly encode DayAtom for websocket-server
AgentM
10 years ago
older commits
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list