repo.or.cz
/
sqlgg.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
sql: EXISTS
2018-11-08
ygrek
sql: EXISTS
commit
|
commitdiff
|
tree
2018-11-04
ygrek
typing: dr
o
p redundant Poly case
commit
|
commitdiff
|
tree
2018-10-16
ygrek
prepare rel
e
ase 0
.
4
.
5
commit
|
commitdiff
|
tree
2018-10-16
ygrek
upgrad
e
opam to 2
.
0
commit
|
commitdiff
|
tree
2018-08-15
y
grek
sql
:
+
AN
Y
_
V
ALUE
commit
|
commitdiff
|
tree
2018-08-07
ygrek
sql:
accept
IS NOT DISTINCT
FROM operator (fix #54)
commit
|
commitdiff
|
tree
2018-08-07
ygrek
CI: + 4
.
0
7
commit
|
commitdiff
|
tree
2018-08-07
ygrek
sql: accept COUNT(DI
S
TINCT
.
.
.
) (fix
#55)
commit
|
commitdiff
|
tree
2018-05-07
ygrek
caml: g
e
n
e
ra
t
e
List t
o
o
commit
|
commitdiff
|
tree
2018-05-07
ygrek
fi
x
and si
m
pli
f
y de
m
o b
u
ild
commit
|
commitdiff
|
tree
2018-05-06
yg
r
ek
gen: forb
i
d
`
-params none` wi
t
h autogenerate
d
p
a
rameters
.
.
.
commit
|
commitdiff
|
tree
2018-05-06
ygr
e
k
sql: more
d
a
t
e
time functions (sqlite)
(close
#5
3
)
commit
|
commitdiff
|
tree
2018-04-28
ygrek
rearrange code between li
b
and cli
commit
|
commitdiff
|
tree
2018-04-26
ygre
k
upda
t
e README
commit
|
commitdiff
|
tree
2018-04-26
ygrek
te
s
ts:
f
ix on windows
(
app
v
eyor)
commit
|
commitdiff
|
tree
2018-04-25
yg
r
e
k
types
:
take into account argume
n
ts
n
umber when r
e
solving
.
.
.
commit
|
commitdiff
|
tree
2018-04-25
ygrek
tests: a
c
tuall
y
exi
t
with
error code o
n
failure
commit
|
commitdiff
|
tree
2018-04-23
ygrek
t
ests: separate test
c
ases for
better res
u
lts
o
verview
commit
|
commitdiff
|
tree
2018-04-23
ygrek
fix single-row detecti
o
n
commit
|
commitdiff
|
tree
2018-04-19
y
g
rek
impl/ocaml/m
y
sql: f
i
x example
commit
|
commitdiff
|
tree
2018-04-18
y
g
rek
imp
l
/ocaml/mysq
l
: allow override value t
y
pes (fix
#49)
commit
|
commitdiff
|
tree
2018-04-18
ygrek
s
q
l: + fr
o
m_unixtime
(
close #5
0
)
commit
|
commitdiff
|
tree
2018-04-18
y
grek
caml: do n
o
t ge
n
e
rate
d
uplicate code i
n
Fold (c
l
ose
.
.
.
commit
|
commitdiff
|
tree
2018-04-18
ygrek
+
.
/run_tes
t
init
commit
|
commitdiff
|
tree
2018-04-17
ygrek
typ
e
s
: m
o
re pr
e
cise types
f
or
v
a
rarg
f
unctions (finis
h
.
.
.
commit
|
commitdiff
|
tree
2018-04-17
yg
r
ek
s
ql:
+
IFNULL, NULLIF; t
y
pe promotion w
h
en matching
.
.
.
commit
|
commitdiff
|
tree
2018-04-17
ygrek
ge
n
: unify param
e
te
r
s
:fac
e
p
a
l
m: (f
i
x
#
4
5)
commit
|
commitdiff
|
tree
2018-04-17
y
g
rek
type
s
:
i
mp
r
ove type for numer
i
c express
i
ons
a bi
t
commit
|
commitdiff
|
tree
2018-04-17
ygrek
cli
:
better debug
commit
|
commitdiff
|
tree
2018-04-17
ygrek
sql: impro
v
e single-row de
t
ectio
n
(fix #47
)
commit
|
commitdiff
|
tree
2018-04-17
y
gr
e
k
sql: suppo
r
t mu
l
ti-value I
N
SERT (
f
ix #46)
commit
|
commitdiff
|
tree
2018-04-17
y
g
rek
t
e
sts: abor
t
on fa
i
lure
commit
|
commitdiff
|
tree
2018-04-14
ygrek
update
oasis
commit
|
commitdiff
|
tree
2018-03-10
ygrek
prepare release
0
.
4
.
4
commit
|
commitdiff
|
tree
2018-03-10
ygrek
upd
a
te README
commit
|
commitdiff
|
tree
2018-03-10
yg
r
ek
render
R
EADM
E
and add
CI ba
d
ges
commit
|
commitdiff
|
tree
2018-03-10
yg
r
e
k
add CI
scripts and
o
pam file
commit
|
commitdiff
|
tree
2018-03-10
ygre
k
bu
i
ld: stop
g
ener
a
t
i
ng o
l
d anno
t
files
commit
|
commitdiff
|
tree
2017-12-11
ygrek
d
rop deri
v
i
n
g, s
w
itch
t
o
p
px_
d
eriving
commit
|
commitdiff
|
tree
2017-10-01
ygrek
p
r
epare release
0
.
4
.
3
commit
|
commitdiff
|
tree
2017-10-01
ygrek
b
u
i
l
d: really do n
o
t require mysql and sqlite3
commit
|
commitdiff
|
tree
2017-10-01
ygr
e
k
prep
a
re release 0
.
4
.
2
commit
|
commitdiff
|
tree
2017-10-01
y
g
rek
use static oasis setup
commit
|
commitdiff
|
tree
2017-10-01
y
g
rek
prepare release 0
.
4
.
1
commit
|
commitdiff
|
tree
2017-10-01
y
gr
e
k
do
n
o
t
req
u
ire
m
y
sq
l
a
nd sql
i
te
3
commit
|
commitdiff
|
tree
2017-10-01
ygr
e
k
p
r
epare re
l
eas
e
0
.
4
.
0
commit
|
commitdiff
|
tree
2017-07-13
y
grek
make oasis
commit
|
commitdiff
|
tree
2017-07-13
ygrek
d
o
no
t
identify bui
l
d us
e
r
i
n
version
commit
|
commitdiff
|
tree
2016-07-17
ygr
e
k
sql: support IF i
n
SE
L
ECT
(
fix #
3
9
)
commit
|
commitdiff
|
tree
2015-12-15
ygrek
sql:
d
ynam
i
call
y
add
function
s
commit
|
commitdiff
|
tree
2015-12-14
ygr
e
k
sql: pa
r
se stored f
u
nct
i
o
n d
e
finitions (closes #37)
commit
|
commitdiff
|
tree
2015-12-14
y
g
rek
sql:
a
ccept dol
l
ar-quoted string literals (pgsql)
commit
|
commitdiff
|
tree
2015-12-08
ygrek
sql: a
c
cept postgres UUID type (c
l
oses #36)
commit
|
commitdiff
|
tree
2015-11-01
ygrek
sql: support V
A
LUES fu
n
ction
commit
|
commitdiff
|
tree
2015-10-26
ygr
e
k
m
ove join
e
d_schema
i
nt
o
environm
e
nt
commit
|
commitdiff
|
tree
2015-10-12
ygrek
minor
commit
|
commitdiff
|
tree
2015-10-12
ygrek
sql:
+ ON D
U
PL
I
C
A
T
E
K
EY UPDATE (closes #3
3
)
commit
|
commitdiff
|
tree
2015-10-11
y
grek
fi
x
ty
p
ing for INSERT
.
.
SE
L
E
CT (clo
s
es #14
)
commit
|
commitdiff
|
tree
2015-10-11
ygrek
testcase for issue #14
commit
|
commitdiff
|
tree
2015-10-08
ygrek
caml
:
support mul
t
iple subst
commit
|
commitdiff
|
tree
2015-10-03
ygrek
re
s
olve_column
commit
|
commitdiff
|
tree
2015-10-03
ygrek
make
m
ore internal types r
e
cords
commit
|
commitdiff
|
tree
2015-10-02
yg
r
ek
s
a
v
e
more precise t
y
pe
for polymorphi
c
param
e
ters
commit
|
commitdiff
|
tree
2015-10-02
ygre
k
add fail
i
n
g test c
a
se
(order dependency)
commit
|
commitdiff
|
tree
2015-10-02
y
g
r
ek
F subsumes Fixed
commit
|
commitdiff
|
tree
2015-10-02
ygrek
more precise typing of CASE without s
e
lec
t
or
commit
|
commitdiff
|
tree
2015-09-26
ygrek
fix typing of
C
A
SE
commit
|
commitdiff
|
tree
2015-08-30
ygrek
pretty-pr
i
nt function types
commit
|
commitdiff
|
tree
2015-08-30
ygrek
add sqlgg
.
* sub
p
ackag
e
s
commit
|
commitdiff
|
tree
2015-08-30
y
grek
n
oop
commit
|
commitdiff
|
tree
2015-08-30
ygrek
Merge branch 'typing'
commit
|
commitdiff
|
tree
2015-08-30
ygrek
fix typing
f
or INTER
V
AL
(closes #32)
commit
|
commitdiff
|
tree
2015-08-30
ygrek
tes
t
case
for issue #32
commit
|
commitdiff
|
tree
2015-08-24
ygrek
fix v
e
rsion
commit
|
commitdiff
|
tree
2015-08-10
y
g
rek
sql: parse index d
e
finition in
C
REATE TABLE
commit
|
commitdiff
|
tree
2015-08-09
ygr
e
k
sql: parse TRUE FALSE (mysql)
commit
|
commitdiff
|
tree
2015-08-07
ygrek
mino
r
commit
|
commitdiff
|
tree
2015-08-07
ygrek
fi
x
COUNT(*)
commit
|
commitdiff
|
tree
2015-08-07
yg
r
ek
fix
typing of SELECT
i
n
expression
commit
|
commitdiff
|
tree
2015-08-07
ygrek
more pre
c
ise typing
for func
t
i
ons
commit
|
commitdiff
|
tree
2015-08-01
ygrek
sql: AV
G
retur
n
s float (c
l
oses #26)
commit
|
commitdiff
|
tree
2015-07-28
ygr
e
k
sql
:
CREA
T
E INDEX on a prefix of
colum
n
commit
|
commitdiff
|
tree
2015-07-23
y
g
rek
d
rop ocaml < 4
.
01
.
0
compatibility
commit
|
commitdiff
|
tree
2015-07-23
ygrek
oasis: use
XOCamlbui
l
dPluginTa
g
s
commit
|
commitdiff
|
tree
2015-07-20
ygrek
s
q
l
: support IS
N
O
T? NULL predicate (closes #20)
commit
|
commitdiff
|
tree
2015-07-20
ygrek
pa
s
s en
v
ironment for table name resolution, quick
h
ack
.
.
.
commit
|
commitdiff
|
tree
2015-07-15
ygrek
oasis: fix build - dr
o
p myb
u
ild fro
m
BuildTools
commit
|
commitdiff
|
tree
2015-07-09
ygrek
impl/
o
c
aml: add Bool
commit
|
commitdiff
|
tree
2015-07-09
y
grek
caml: fix t
r
ailing whitespace i
n
g
enerated code
commit
|
commitdiff
|
tree
2015-07-05
yg
r
ek
use mybuild
commit
|
commitdiff
|
tree
2015-07-05
ygrek
s
tart sepa
r
a
t
e sy
n
tax tree
commit
|
commitdiff
|
tree
2015-07-05
y
g
r
ek
i
mpl: mi
n
or
commit
|
commitdiff
|
tree
2015-04-14
ygrek
p
r
e
pare
r
elease 0
.
3
.
0
commit
|
commitdiff
|
tree
2015-04-14
ygre
k
fix rele
a
se
commit
|
commitdiff
|
tree
2015-04-14
ygrek
mak
e
o
a
sis
commit
|
commitdiff
|
tree
2015-04-05
ygrek
move RA
.
S
c
h
e
m
a to Sql
commit
|
commitdiff
|
tree
2015-04-03
ygrek
s
t
ay compatible
with ocaml
>= 3
.
12
.
1
commit
|
commitdiff
|
tree
2015-03-29
ygrek
f
ix whitespace
commit
|
commitdiff
|
tree
2015-03-29
y
g
rek
fi
x
b
uild warnings
commit
|
commitdiff
|
tree
2015-03-29
ygrek
mod
e
rnize Prelude
commit
|
commitdiff
|
tree
next