Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / githwxi/ats-postiats-contrib issues and pull requests
#43 - SDL2 MinGW fix
Pull Request -
State: open - Opened by ashalkhakov almost 6 years ago
- 1 comment
#43 - SDL2 MinGW fix
Pull Request -
State: open - Opened by ashalkhakov almost 6 years ago
- 1 comment
#42 - Add basic X11 Library
Pull Request -
State: closed - Opened by ryantking about 8 years ago
- 1 comment
#42 - Add basic X11 Library
Pull Request -
State: closed - Opened by ryantking about 8 years ago
- 1 comment
#41 - Fix wrong function names
Pull Request -
State: closed - Opened by steinwaywhw almost 9 years ago
- 1 comment
#41 - Fix wrong function names
Pull Request -
State: closed - Opened by steinwaywhw almost 9 years ago
- 1 comment
#40 - Adding support for integer sets in the statics for patsolve_z3
Pull Request -
State: open - Opened by wdblair almost 9 years ago
#40 - Adding support for integer sets in the statics for patsolve_z3
Pull Request -
State: open - Opened by wdblair almost 9 years ago
#39 - HTML2PATS
Pull Request -
State: closed - Opened by ashalkhakov about 9 years ago
- 5 comments
#39 - HTML2PATS
Pull Request -
State: closed - Opened by ashalkhakov about 9 years ago
- 5 comments
#38 - Support ATS2-0.2.3 on LinuxKerneling project
Pull Request -
State: closed - Opened by master-q over 9 years ago
#38 - Support ATS2-0.2.3 on LinuxKerneling project
Pull Request -
State: closed - Opened by master-q over 9 years ago
#37 - building libatscc2py
Issue -
State: closed - Opened by bbarker over 9 years ago
- 3 comments
#37 - building libatscc2py
Issue -
State: closed - Opened by bbarker over 9 years ago
- 3 comments
#36 - Updating External Constraint Solver for New Formats
Pull Request -
State: closed - Opened by wdblair over 9 years ago
#36 - Updating External Constraint Solver for New Formats
Pull Request -
State: closed - Opened by wdblair over 9 years ago
#35 - ATS-extsolve
Issue -
State: closed - Opened by sheganinans almost 10 years ago
- 17 comments
#35 - ATS-extsolve
Issue -
State: closed - Opened by sheganinans almost 10 years ago
- 17 comments
#34 - solver_smt.dats: Don't use mapfree on linear list of non-linear values
Pull Request -
State: closed - Opened by shlevy almost 10 years ago
- 3 comments
#34 - solver_smt.dats: Don't use mapfree on linear list of non-linear values
Pull Request -
State: closed - Opened by shlevy almost 10 years ago
- 3 comments
#33 - ATS-extsolve: Get rid of verbose . overload
Pull Request -
State: closed - Opened by shlevy almost 10 years ago
#33 - ATS-extsolve: Get rid of verbose . overload
Pull Request -
State: closed - Opened by shlevy almost 10 years ago
#32 - Add missing case in fprint_s2rt
Pull Request -
State: closed - Opened by shlevy almost 10 years ago
- 1 comment
#32 - Add missing case in fprint_s2rt
Pull Request -
State: closed - Opened by shlevy almost 10 years ago
- 1 comment
#31 - Fixed issue with Bacon.combineWith()
Pull Request -
State: closed - Opened by abreen almost 10 years ago
#31 - Fixed issue with Bacon.combineWith()
Pull Request -
State: closed - Opened by abreen almost 10 years ago
#30 - Error when building gui applications with MinGW
Issue -
State: closed - Opened by muspellsson almost 10 years ago
- 2 comments
#30 - Error when building gui applications with MinGW
Issue -
State: closed - Opened by muspellsson almost 10 years ago
- 2 comments
#29 - Peuler
Pull Request -
State: closed - Opened by bbarker about 10 years ago
- 2 comments
#29 - Peuler
Pull Request -
State: closed - Opened by bbarker about 10 years ago
- 2 comments
#28 - Creating a gradle wrapper for makefiles that build ATS programs
Pull Request -
State: closed - Opened by bbarker about 10 years ago
- 4 comments
#28 - Creating a gradle wrapper for makefiles that build ATS programs
Pull Request -
State: closed - Opened by bbarker about 10 years ago
- 4 comments
#27 - improving Arduino build a bit
Pull Request -
State: closed - Opened by bbarker about 10 years ago
- 2 comments
#27 - improving Arduino build a bit
Pull Request -
State: closed - Opened by bbarker about 10 years ago
- 2 comments
#26 - Missing Arduino.mk
Issue -
State: closed - Opened by bbarker about 10 years ago
- 2 comments
#26 - Missing Arduino.mk
Issue -
State: closed - Opened by bbarker about 10 years ago
- 2 comments
#25 - Run CI on contrib/GTK/
Pull Request -
State: closed - Opened by master-q about 10 years ago
- 3 comments
#25 - Run CI on contrib/GTK/
Pull Request -
State: closed - Opened by master-q about 10 years ago
- 3 comments
#24 - Support Travis-CI with empty Makefile
Pull Request -
State: closed - Opened by master-q about 10 years ago
- 7 comments
#23 - Do CI more.
Issue -
State: closed - Opened by master-q about 10 years ago
- 9 comments
#22 - minor fixes for Cygwin
Pull Request -
State: closed - Opened by bbarker about 10 years ago
#22 - minor fixes for Cygwin
Pull Request -
State: closed - Opened by bbarker about 10 years ago
#21 - needed in Cygwin
Pull Request -
State: closed - Opened by bbarker about 10 years ago
- 3 comments
#21 - needed in Cygwin
Pull Request -
State: closed - Opened by bbarker about 10 years ago
- 3 comments
#20 - minor fixes
Pull Request -
State: closed - Opened by bbarker about 10 years ago
#20 - minor fixes
Pull Request -
State: closed - Opened by bbarker about 10 years ago
#19 - ATS development environment
Pull Request -
State: closed - Opened by bbarker about 10 years ago
#19 - ATS development environment
Pull Request -
State: closed - Opened by bbarker about 10 years ago
#18 - Revert "Gradle example"
Pull Request -
State: closed - Opened by githwxi about 10 years ago
- 1 comment
#17 - Gradle example
Pull Request -
State: closed - Opened by bbarker about 10 years ago
- 17 comments
#17 - Gradle example
Pull Request -
State: closed - Opened by bbarker about 10 years ago
- 17 comments
#16 - Update Makefile
Pull Request -
State: closed - Opened by bbarker about 10 years ago
#16 - Update Makefile
Pull Request -
State: closed - Opened by bbarker about 10 years ago
#15 - Updating External Constraint Solver and Examples
Pull Request -
State: closed - Opened by wdblair about 10 years ago
#15 - Updating External Constraint Solver and Examples
Pull Request -
State: closed - Opened by wdblair about 10 years ago
#14 - Ignore Arduino-Makefile directory
Pull Request -
State: closed - Opened by master-q about 10 years ago
#13 - Support for CIL bytecode in ATS-parse-emit
Pull Request -
State: closed - Opened by ashalkhakov over 10 years ago
- 15 comments
#13 - Support for CIL bytecode in ATS-parse-emit
Pull Request -
State: closed - Opened by ashalkhakov over 10 years ago
- 15 comments
#12 - ATS2 mode now uses patscc
Pull Request -
State: closed - Opened by bbarker over 10 years ago
#12 - ATS2 mode now uses patscc
Pull Request -
State: closed - Opened by bbarker over 10 years ago
#11 - added mpi_hello.dats
Pull Request -
State: closed - Opened by bbarker over 10 years ago
#10 - Improved the external constraint solver 'patsolve'
Pull Request -
State: closed - Opened by wdblair over 10 years ago
- 3 comments
#9 - Adding Z3 ATS Bindings and External Constraint Solver
Pull Request -
State: closed - Opened by wdblair over 10 years ago
#8 - ATS-paremit: adding dynload0 support.
Pull Request -
State: closed - Opened by ashalkhakov over 10 years ago
#7 - Added working OpenMP for loop example (omp_for.dats)
Pull Request -
State: closed - Opened by bbarker over 10 years ago
#6 - Naive OpenMP 'for loop' attempt
Pull Request -
State: closed - Opened by bbarker over 10 years ago
- 8 comments
#5 - added wiki reference
Pull Request -
State: closed - Opened by bbarker over 10 years ago
#4 - add sds library wrapper
Pull Request -
State: closed - Opened by steinwaywhw over 10 years ago
#3 - moving over libats-bbarker and custom ATS mode for emacs
Pull Request -
State: closed - Opened by bbarker over 10 years ago
#2 - minor fix for including vertical check
Pull Request -
State: closed - Opened by bbarker over 10 years ago
#1 - Updating the Z3 ATS2 library to its current state.
Pull Request -
State: closed - Opened by wdblair over 10 years ago