Ecosyste.ms: Issues

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

GitHub / githwxi/ATS-Postiats issues and pull requests

#281 - Add Nix flake support

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

#280 - Fix: Download link at README.md

Pull Request - State: closed - Opened by AkihiroSanada about 2 months ago - 1 comment

#279 - "implicit declaration of function" error at compilation

Issue - State: open - Opened by AkihiroSanada about 2 months ago - 1 comment

#277 - Where-expression Error

Issue - State: closed - Opened by edward70 12 months ago - 2 comments

#276 - 'Move' linear variable?

Issue - State: closed - Opened by sparverius over 1 year ago - 3 comments

#274 - fix broken Makefiles

Pull Request - State: closed - Opened by bobajeff almost 2 years ago - 1 comment

#273 - Expose fields of `_unfold` dataviewtype

Issue - State: open - Opened by leifhelm about 2 years ago - 3 comments

#272 - exit_errmsg/assert_errmsg need a terminating newline

Issue - State: closed - Opened by okeuday over 2 years ago - 3 comments

#271 - Bit fields?

Issue - State: open - Opened by armeenm over 2 years ago - 1 comment

#269 - relaxing ATSERRORnotenvless

Issue - State: closed - Opened by okeuday over 3 years ago - 4 comments

#268 - function effects tags information

Issue - State: open - Opened by okeuday over 3 years ago - 4 comments

#267 - invalid read due to exceptions with threads

Issue - State: closed - Opened by okeuday over 3 years ago - 2 comments

#266 - stropt2stropt1 should be strptr2stropt1

Issue - State: closed - Opened by okeuday over 3 years ago - 1 comment

#265 - libats/SATS/athread.sats lacks support for joinable pthreads

Issue - State: closed - Opened by okeuday over 3 years ago - 1 comment

#264 - exn type information

Issue - State: closed - Opened by okeuday over 3 years ago - 1 comment

#263 - A result type

Issue - State: closed - Opened by okeuday over 3 years ago - 1 comment

#262 - build files missing in git repo but available in tar archive

Issue - State: open - Opened by saifikhan over 3 years ago - 5 comments

#261 - function template type for cast fails

Issue - State: closed - Opened by okeuday over 3 years ago - 2 comments

#260 - Emacs mode improvements

Pull Request - State: closed - Opened by rgrinberg over 3 years ago

#259 - GCC toolchain is hardcoded in distribution makefile

Issue - State: closed - Opened by avanov almost 4 years ago - 5 comments

#258 - patscc displaying previous version number (0.4.1)

Issue - State: open - Opened by d4v3y5c0n3s almost 4 years ago - 4 comments

#257 - adjusting release notes slightly (missed adding changes)

Pull Request - State: closed - Opened by bbarker almost 4 years ago

#256 - updating release notes with checksums

Pull Request - State: closed - Opened by bbarker almost 4 years ago

#255 - minor release-oriented fixes

Pull Request - State: closed - Opened by bbarker almost 4 years ago - 1 comment

#254 - ICE: Running into "dead code"

Issue - State: closed - Opened by Istvan91 over 4 years ago - 1 comment

#253 - Fix for lexing character escape sequences

Pull Request - State: closed - Opened by melloc over 4 years ago - 2 comments

#252 - Fix negation in effects list

Pull Request - State: closed - Opened by melloc over 4 years ago - 5 comments

#251 - support distro CFLAGS and LDFLAGS

Issue - State: open - Opened by juhp almost 5 years ago

#250 - Issue building 0.4.0

Issue - State: closed - Opened by qcfu-bu almost 5 years ago - 5 comments

#249 - Build fails under Void Linux

Issue - State: closed - Opened by davidgarland almost 5 years ago - 12 comments

#248 - undefined reference to `atspre_fileref_get_line_string_main2`

Issue - State: closed - Opened by morgancmartin about 5 years ago - 6 comments

#247 - Update main.atxt

Pull Request - State: closed - Opened by morgancmartin about 5 years ago - 2 comments

#246 - There are a few missing necessities in patsolve_smt2

Issue - State: open - Opened by chemoelectric over 5 years ago - 1 comment

#245 - Use mimalloc memory allocator

Issue - State: open - Opened by rodolphito over 5 years ago - 2 comments

#244 - Provide an example of `ats-mode` usage (Emacs)

Issue - State: closed - Opened by vyorkin over 5 years ago - 4 comments

#243 - Segfault in compiled program

Issue - State: closed - Opened by Potpourri over 5 years ago - 4 comments

#242 - Assertions in tests to minimize reliance on human judgment.

Pull Request - State: closed - Opened by ashalkhakov over 5 years ago

#241 - Usage of abstract can make the compiler generate no C code without error

Issue - State: open - Opened by antoyo over 5 years ago - 3 comments

#240 - WIP: changes necessary to compile to Windows-native programs

Pull Request - State: open - Opened by ashalkhakov over 5 years ago - 4 comments

#239 - Constraint solver only works with separate function in some cases

Issue - State: closed - Opened by antoyo over 5 years ago - 3 comments

#238 - Constraint not taken into account when using &&

Issue - State: closed - Opened by antoyo over 5 years ago - 2 comments

#237 - libatscc2js: fix duplicate function declarations

Pull Request - State: closed - Opened by mephistopheles-8 over 5 years ago - 1 comment

#236 - Warning when using lstat

Issue - State: closed - Opened by antoyo over 5 years ago - 2 comments

#235 - release notes for 0.3.13

Pull Request - State: closed - Opened by bbarker over 5 years ago - 11 comments

#234 - release doc updates

Pull Request - State: closed - Opened by bbarker over 5 years ago

#233 - updating directions and adding back generation of ATS include tgz

Pull Request - State: closed - Opened by bbarker over 5 years ago - 1 comment

#232 - any benchmark data?

Issue - State: closed - Opened by yunfan almost 6 years ago - 4 comments

#231 - Error with order of functions

Issue - State: open - Opened by antoyo almost 6 years ago - 2 comments

#230 - Undefined reference to exception related symbols

Issue - State: closed - Opened by Potpourri almost 6 years ago - 2 comments

#229 - Passing an array by reference does not work in a conditional expression

Issue - State: closed - Opened by rightfold almost 6 years ago - 2 comments

#228 - Minor change to build script.

Pull Request - State: closed - Opened by sparverius almost 6 years ago - 1 comment

#227 - Prelude problems in integers

Issue - State: open - Opened by chemoelectric almost 6 years ago

#226 - For building and releasing ATS2intknd and ATS2gmpknd

Pull Request - State: closed - Opened by sparverius almost 6 years ago - 1 comment

#225 - Precedence of method calls

Issue - State: open - Opened by antoyo almost 6 years ago - 1 comment

#224 - git ignore tidying and buildRelease check for configure.ac

Pull Request - State: closed - Opened by bbarker almost 6 years ago - 1 comment

#223 - no type error for retained viewtypes when declared outside of a function body

Issue - State: closed - Opened by sparverius almost 6 years ago - 2 comments

#222 - Strict aliasing problem in lazy evaluation (Postiats 0.3.11 or 0.3.12)

Issue - State: open - Opened by chemoelectric almost 6 years ago - 3 comments

#221 - A guide to compile examples?

Issue - State: open - Opened by piton182 almost 6 years ago - 6 comments

#220 - fix appveyor config

Pull Request - State: closed - Opened by sazl about 6 years ago - 1 comment

#219 - atscc2php: Escape dollar signs in string literals.

Pull Request - State: closed - Opened by mephistopheles-8 about 6 years ago - 1 comment

#218 - finalizing release notes for 0.3.12

Pull Request - State: closed - Opened by bbarker about 6 years ago - 2 comments

#217 - In 'fnx a ... and b', the b function isn't accessible afterwards

Issue - State: closed - Opened by jrfondren about 6 years ago - 1 comment

#216 - Polymorphic function segfaults with optimization less than -O2

Issue - State: open - Opened by jrfondren about 6 years ago - 1 comment

#215 - Polymorphic function fails to compile in C

Issue - State: open - Opened by jrfondren about 6 years ago - 1 comment

#214 - Weird tuple behavior

Issue - State: closed - Opened by antoyo about 6 years ago - 4 comments

#213 - atscc2js: flat record selection

Pull Request - State: closed - Opened by ashalkhakov about 6 years ago - 1 comment

#212 - Syscalls

Issue - State: open - Opened by antoyo about 6 years ago - 4 comments

#211 - Add function in ML to set the seed

Issue - State: closed - Opened by antoyo over 6 years ago - 4 comments

#210 - Comparing generic types

Issue - State: closed - Opened by antoyo over 6 years ago - 2 comments

#209 - Bug with record definitions

Issue - State: open - Opened by Hibou57 over 6 years ago - 3 comments

#208 - Multiple patterns

Issue - State: closed - Opened by antoyo over 6 years ago - 4 comments

#207 - Typo error in comment, after `pats_lexing_token.dats` at line 87.

Pull Request - State: closed - Opened by Hibou57 over 6 years ago - 1 comment

#206 - Fix hex int format

Pull Request - State: closed - Opened by Hibou57 over 6 years ago - 1 comment

#205 - Floats require integral and/or fractional part

Pull Request - State: closed - Opened by Hibou57 over 6 years ago - 1 comment

#204 - symbol_REFAT and T_FLOAT

Pull Request - State: closed - Opened by Hibou57 over 6 years ago - 1 comment

#203 - Two issues with hexadecimal floats

Issue - State: closed - Opened by Hibou57 over 6 years ago - 3 comments

#202 - Removing `symbol_FUN` and `symbol_MINUSLTGT`

Pull Request - State: closed - Opened by Hibou57 over 6 years ago - 3 comments

#201 - “[mpz_init_set_str()] failed” while lexing

Issue - State: closed - Opened by Hibou57 over 6 years ago - 4 comments

#200 - Char literal: test octal when it’s octal which is later parsed

Pull Request - State: closed - Opened by Hibou57 over 6 years ago - 1 comment

#199 - Suspected typo in comment (to be checked)

Pull Request - State: closed - Opened by Hibou57 over 6 years ago - 1 comment

#198 - Typo in comment

Pull Request - State: closed - Opened by Hibou57 over 6 years ago - 1 comment

#197 - `T_CDATA`: is it used?

Issue - State: closed - Opened by Hibou57 over 6 years ago - 3 comments

#196 - Code does not compile

Issue - State: closed - Opened by antoyo over 6 years ago - 7 comments

#195 - Cannot parse let binding in #define macro

Issue - State: closed - Opened by rightfold over 6 years ago - 4 comments

#194 - release update for 0.3.11 and minor release fixes

Pull Request - State: closed - Opened by bbarker over 6 years ago

#193 - minor tidying up of build release tools; shellcheck fixes

Pull Request - State: closed - Opened by bbarker over 6 years ago

#192 - `\0` in strings.

Issue - State: closed - Opened by steinwaywhw over 6 years ago - 4 comments

#191 - Pass Vararg

Issue - State: open - Opened by steinwaywhw over 6 years ago - 1 comment

#190 - Simplify Licensing of ATS2

Issue - State: closed - Opened by sidkshatriya over 6 years ago - 8 comments

#189 - minor release-related changes

Pull Request - State: closed - Opened by bbarker over 6 years ago - 1 comment

#188 - preparing release notes for version 0.3.10

Pull Request - State: closed - Opened by bbarker over 6 years ago - 1 comment

#187 - adding command-line argument for version specification

Pull Request - State: closed - Opened by bbarker over 6 years ago - 3 comments

#186 - WIP: further build automation

Pull Request - State: closed - Opened by bbarker over 6 years ago - 5 comments

#185 - improving gitignore; adding contact for make_distrib.sh

Pull Request - State: closed - Opened by bbarker over 6 years ago

#184 - automating build distribution process further

Pull Request - State: closed - Opened by bbarker over 6 years ago - 3 comments

#183 - minor typo

Pull Request - State: closed - Opened by bbarker over 6 years ago

#182 - file rename to conform - maybe?

Pull Request - State: closed - Opened by bbarker over 6 years ago