Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / imandra-ai/itr-ast issues and pull requests

#44 - Add interpretation of LString.append

Pull Request - State: closed - Opened by sam-tombury about 1 month ago - 1 comment

#43 - Add logging levels to evaluator

Issue - State: open - Opened by ewenmaclean 4 months ago

#43 - Add logging levels to evaluator

Issue - State: open - Opened by ewenmaclean 4 months ago

#41 - Ewen/time only

Pull Request - State: closed - Opened by ewenmaclean 4 months ago

#41 - Ewen/time only

Pull Request - State: closed - Opened by ewenmaclean 4 months ago

#40 - fix: replace function call items as well as body and args

Pull Request - State: closed - Opened by ewenmaclean 4 months ago

#40 - fix: replace function call items as well as body and args

Pull Request - State: closed - Opened by ewenmaclean 4 months ago

#39 - fix: before ground check use fix eval

Pull Request - State: closed - Opened by ewenmaclean 5 months ago

#39 - fix: before ground check use fix eval

Pull Request - State: closed - Opened by ewenmaclean 5 months ago

#38 - chore: make desriptions back compatible for decoding

Pull Request - State: closed - Opened by ewenmaclean 5 months ago

#38 - chore: make desriptions back compatible for decoding

Pull Request - State: closed - Opened by ewenmaclean 5 months ago

#36 - chore: do not fix evaluate internally - fix evaluate on test

Pull Request - State: closed - Opened by ewenmaclean 5 months ago

#36 - chore: do not fix evaluate internally - fix evaluate on test

Pull Request - State: closed - Opened by ewenmaclean 5 months ago

#35 - Ewen/action get field

Pull Request - State: closed - Opened by ewenmaclean 5 months ago

#35 - Ewen/action get field

Pull Request - State: closed - Opened by ewenmaclean 5 months ago

#34 - Auto-gen to/from json via deriving yojson

Pull Request - State: open - Opened by benbellick 6 months ago - 1 comment

#34 - Auto-gen to/from json via deriving yojson

Pull Request - State: open - Opened by benbellick 6 months ago - 1 comment

#33 - Description in instructions

Pull Request - State: closed - Opened by benbellick 6 months ago - 2 comments

#33 - Description in instructions

Pull Request - State: closed - Opened by benbellick 6 months ago - 2 comments

#32 - remove : - and make simply : in case split

Pull Request - State: closed - Opened by ewenmaclean 6 months ago

#32 - remove : - and make simply : in case split

Pull Request - State: closed - Opened by ewenmaclean 6 months ago

#31 - Evaluate function args under hof calls

Pull Request - State: closed - Opened by sam-tombury 6 months ago

#31 - Evaluate function args under hof calls

Pull Request - State: closed - Opened by sam-tombury 6 months ago

#30 - fix: literal groundness checks

Pull Request - State: closed - Opened by ewenmaclean 7 months ago

#30 - fix: literal groundness checks

Pull Request - State: closed - Opened by ewenmaclean 7 months ago

#29 - Ewen/eval fixes

Pull Request - State: closed - Opened by ewenmaclean 7 months ago

#29 - Ewen/eval fixes

Pull Request - State: closed - Opened by ewenmaclean 7 months ago

#28 - fix: map hof type

Pull Request - State: closed - Opened by ewenmaclean 7 months ago

#28 - fix: map hof type

Pull Request - State: closed - Opened by ewenmaclean 7 months ago

#27 - Fix evaluation of defaultIfNotSet if field path is not present

Pull Request - State: closed - Opened by sam-tombury 7 months ago

#27 - Fix evaluation of defaultIfNotSet if field path is not present

Pull Request - State: closed - Opened by sam-tombury 7 months ago

#26 - feat: allowing mixture between lists and rgs on forall2/map2

Pull Request - State: closed - Opened by ewenmaclean 7 months ago

#26 - feat: allowing mixture between lists and rgs on forall2/map2

Pull Request - State: closed - Opened by ewenmaclean 7 months ago

#25 - Literal collection <-> Repeating group equivalence

Pull Request - State: closed - Opened by sam-tombury 7 months ago

#25 - Literal collection <-> Repeating group equivalence

Pull Request - State: closed - Opened by sam-tombury 7 months ago

#24 - Repeating group evaluation fixes

Pull Request - State: closed - Opened by sam-tombury 7 months ago

#24 - Repeating group evaluation fixes

Pull Request - State: closed - Opened by sam-tombury 7 months ago

#23 - Ewen/add forall2 map2

Pull Request - State: closed - Opened by ewenmaclean 8 months ago

#23 - Ewen/add forall2 map2

Pull Request - State: closed - Opened by ewenmaclean 8 months ago

#22 - Fix get_vars

Pull Request - State: closed - Opened by EmmaTye 9 months ago

#22 - Fix get_vars

Pull Request - State: closed - Opened by EmmaTye 9 months ago

#21 - Fix Repeating Group evaluation of in

Pull Request - State: closed - Opened by sam-tombury 10 months ago

#21 - Fix Repeating Group evaluation of in

Pull Request - State: closed - Opened by sam-tombury 10 months ago

#20 - fix: opam package name

Pull Request - State: closed - Opened by crvdgc 10 months ago

#20 - fix: opam package name

Pull Request - State: closed - Opened by crvdgc 10 months ago

#19 - Simplify map of take(1, arr)

Pull Request - State: closed - Opened by sam-tombury about 1 year ago

#19 - Simplify map of take(1, arr)

Pull Request - State: closed - Opened by sam-tombury about 1 year ago

#18 - Simplify IsSet(Find X) to (Exists X)

Pull Request - State: closed - Opened by sam-tombury about 1 year ago

#18 - Simplify IsSet(Find X) to (Exists X)

Pull Request - State: closed - Opened by sam-tombury about 1 year ago

#17 - Case expression and hof body simplification

Pull Request - State: closed - Opened by sam-tombury about 1 year ago

#17 - Case expression and hof body simplification

Pull Request - State: closed - Opened by sam-tombury about 1 year ago

#16 - Evaluation fixes

Pull Request - State: closed - Opened by sam-tombury about 1 year ago

#16 - Evaluation fixes

Pull Request - State: closed - Opened by sam-tombury about 1 year ago

#15 - feat: simplify cases when all but one false

Pull Request - State: closed - Opened by ewenmaclean about 1 year ago

#15 - feat: simplify cases when all but one false

Pull Request - State: closed - Opened by ewenmaclean about 1 year ago

#14 - fix: allow older jsons with int encoded spans

Pull Request - State: closed - Opened by ewenmaclean about 1 year ago

#14 - fix: allow older jsons with int encoded spans

Pull Request - State: closed - Opened by ewenmaclean about 1 year ago

#13 - Ewen/m p

Pull Request - State: closed - Opened by ewenmaclean over 1 year ago

#13 - Ewen/m p

Pull Request - State: closed - Opened by ewenmaclean over 1 year ago

#12 - Ewen/more printing

Pull Request - State: closed - Opened by ewenmaclean over 1 year ago

#11 - Ewen/adding dune tests

Pull Request - State: closed - Opened by ewenmaclean over 1 year ago

#11 - Ewen/adding dune tests

Pull Request - State: closed - Opened by ewenmaclean over 1 year ago

#10 - Ewen/update take

Pull Request - State: closed - Opened by ewenmaclean almost 2 years ago

#9 - add support for List.take

Issue - State: closed - Opened by ewenmaclean almost 2 years ago

#8 - Ewen/pico

Pull Request - State: closed - Opened by ewenmaclean almost 2 years ago

#7 - Back-compatible decoders

Issue - State: closed - Opened by ewenmaclean over 2 years ago

#6 - Remove datetime module and use imandra-ptime directly

Issue - State: closed - Opened by Bronsa over 2 years ago - 4 comments

#5 - add evaluation for datetime ops

Issue - State: closed - Opened by Bronsa over 2 years ago - 1 comment

#4 - Ewen/update to hof

Pull Request - State: closed - Opened by ewenmaclean over 2 years ago

#3 - add proper evaluation for repeating groups

Issue - State: closed - Opened by ewenmaclean over 2 years ago

#2 - add evaluation for ObjectProperty

Issue - State: closed - Opened by Bronsa over 2 years ago
Labels: enhancement

#1 - updating with map evaluation funcs

Pull Request - State: closed - Opened by ewenmaclean over 2 years ago